{"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":"25c788de-0221-5f98-b6c1-37861259b0ea","task_key":"grid~5fmode--test--lgp~2dtest~2d4x6~2d4","task_revision_id":"1","upstream_id":"lgp-test-4x6-4","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`, `Arnold`, `Alice`, `Peter`\\n - People have unique favorite sports: `swimming`, `soccer`, `tennis`, `basketball`\\n - Each person has a unique type of pet: `bird`, `fish`, `cat`, `dog`\\n - Everyone has a favorite smoothie: `dragonfruit`, `desert`, `watermelon`, `cherry`\\n - People have unique hair colors: `brown`, `black`, `blonde`, `red`\\n - Each person has a unique birthday month: `jan`, `feb`, `sept`, `april`\\n\\n## Clues:\\n1. The person whose birthday is in September is the person who likes Cherry smoothies.\\n2. The person whose birthday is in February is not in the first house.\\n3. The Desert smoothie lover is the person who loves basketball.\\n4. Peter is the person who has black hair.\\n5. The person who loves tennis is somewhere to the right of the person who has a cat.\\n6. The person with an aquarium of fish is not in the fourth house.\\n7. Arnold is directly left of the person who has blonde hair.\\n8. There is one house between the person who has red hair and the person whose birthday is in January.\\n9. The person whose birthday is in September is directly left of the person who loves soccer.\\n10. Peter is directly left of the person who loves basketball.\\n11. The person who has blonde hair is the person whose birthday is in September.\\n12. Arnold is the person who keeps a pet bird.\\n13. The person whose birthday is in January is the Watermelon smoothie lover.\\n14. The person who has blonde hair is Eric.\\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":[]}