{"kind":"task","effective_mode":"full","benchmark":{"kind":"benchmark","effective_mode":"full","slug":"zebralogicbench","formal_name":"ZebraLogicBench","introduction":"ZebraLogicBench evaluates reasoning on logic puzzles that require satisfying clues to determine attribute assignments. The official card lists 1,000 grid-mode puzzles and a separate multiple-choice setting.","introduction_ja":"","introduction_en":"","category":"Category not supplied","task_count":null,"acquisition_status":"Acquisition status not supplied","official_url":"https://huggingface.co/datasets/allenai/ZebraLogicBench","indexing_mode":"noindex","profile":{"resources":[],"task_format":"","scoring":"","metric":"","size":"","answer_access":"","license":"","citation":"","maintainer":"","released":"","why_hard":"","related":[]}},"task_id":"847393ad-ad1a-5759-b0d1-30075462f592","task_key":"grid~5fmode--test--lgp~2dtest~2d3x5~2d7","task_revision_id":"2","upstream_id":"lgp-test-3x5-7","short_description":"There are 3 houses, numbered 1 to 3 from left to right, as seen from across the…","config":"grid_mode","split":"test","body":"{\"puzzle\":\"There are 3 houses, numbered 1 to 3 from left to right, as seen from across the street. Each house is occupied by a different person. Each house has a unique attribute for each of the following characteristics:\\n - Each person has a unique name: `Peter`, `Arnold`, `Eric`\\n - People have unique favorite sports: `soccer`, `basketball`, `tennis`\\n - The people keep unique animals: `cat`, `bird`, `horse`\\n - Each person has a unique favorite drink: `water`, `tea`, `milk`\\n - The people are of nationalities: `swede`, `dane`, `brit`\\n\\n## Clues:\\n1. The person who likes milk is not in the first house.\\n2. The person who keeps horses is somewhere to the left of Eric.\\n3. The person who loves basketball is Peter.\\n4. The Swedish person is somewhere to the left of the one who only drinks water.\\n5. The person who loves tennis is the tea drinker.\\n6. The person who loves soccer is the bird keeper.\\n7. The cat lover is the British person.\\n8. Peter is not in the third house.\\n9. The person who likes milk is the person who loves soccer.\\n\",\"size\":\"3*5\"}","display_format":"text","language":"","answer_status":"unavailable","assets":[],"source_url":"https://huggingface.co/datasets/allenai/ZebraLogicBench","history":"initial import","indexing_mode":"noindex","subproblems":[],"grids":[]}