{"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":"index","profile":{"resources":[],"task_format":"","scoring":"","metric":"","size":"","answer_access":"","license":"","citation":"","maintainer":"","released":"","why_hard":"","related":[],"history":"","construction":"","limitations":"","saturation":"","scores":[]}},"task_id":"19f7075f-5fc0-5bfb-9fb9-2407aa484987","task_key":"grid~5fmode--test--lgp~2dtest~2d4x6~2d33","task_revision_id":"1","upstream_id":"lgp-test-4x6-33","short_description":"There are 4 houses, numbered 1 to 4 from left to right, as seen from across the…","config":"grid_mode","split":"test","body":"{\"puzzle\":\"There are 4 houses, numbered 1 to 4 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: `Eric`, `Alice`, `Arnold`, `Peter`\\n - The people keep unique animals: `cat`, `fish`, `horse`, `bird`\\n - Each person has a favorite color: `yellow`, `green`, `white`, `red`\\n - Each person prefers a unique type of vacation: `cruise`, `city`, `beach`, `mountain`\\n - Everyone has something unique for lunch: `pizza`, `spaghetti`, `stew`, `grilled cheese`\\n - People have unique favorite sports: `soccer`, `swimming`, `basketball`, `tennis`\\n\\n## Clues:\\n1. The person whose favorite color is red is the person who loves the spaghetti eater.\\n2. The person who loves the stew is the cat lover.\\n3. The person who loves yellow is not in the fourth house.\\n4. Alice is somewhere to the right of Arnold.\\n5. The person who loves the spaghetti eater is somewhere to the right of the person who loves soccer.\\n6. The person who loves white is the person who loves tennis.\\n7. The fish enthusiast is in the second house.\\n8. Arnold is the person who loves the stew.\\n9. The person who prefers city breaks is the person who is a pizza lover.\\n10. The person who prefers city breaks is directly left of the person who likes going on cruises.\\n11. The person who loves swimming is the person who loves beach vacations.\\n12. The person who keeps horses and the person whose favorite color is red are next to each other.\\n13. The person whose favorite color is green is directly left of Eric.\\n14. The person who prefers city breaks is somewhere to the left of the cat lover.\\n\",\"size\":\"4*6\"}","display_format":"text","language":"","answer_status":"unavailable","assets":[],"source_url":"https://huggingface.co/datasets/allenai/ZebraLogicBench","history":"initial import","indexing_mode":"index","subproblems":[],"grids":[]}