{"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":"5dae6464-062a-5137-ab61-7a41e67150b1","task_key":"grid~5fmode--test--lgp~2dtest~2d4x5~2d15","task_revision_id":"1","upstream_id":"lgp-test-4x5-15","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: `Peter`, `Alice`, `Arnold`, `Eric`\\n - The people keep unique animals: `cat`, `fish`, `bird`, `horse`\\n - People have unique favorite sports: `soccer`, `swimming`, `tennis`, `basketball`\\n - People have unique hair colors: `blonde`, `brown`, `black`, `red`\\n - Each person has a unique type of pet: `bird`, `fish`, `dog`, `cat`\\n\\n## Clues:\\n1. The person who loves tennis is in the second house.\\n2. The person who has brown hair and the person who loves basketball are next to each other.\\n3. Alice is the person who keeps a pet bird.\\n4. Arnold is the person who loves soccer.\\n5. The person who has blonde hair is the person with an aquarium of fish.\\n6. The person who keeps a pet bird is in the second house.\\n7. Arnold is in the third house.\\n8. The person who loves swimming is in the first house.\\n9. The person who has red hair is not in the first house.\\n10. The person who keeps horses is in the fourth house.\\n11. Eric is somewhere to the left of the fish enthusiast.\\n12. The person who has a cat is directly left of the bird keeper.\\n\",\"size\":\"4*5\"}","display_format":"text","language":"","answer_status":"unavailable","assets":[],"source_url":"https://huggingface.co/datasets/allenai/ZebraLogicBench","history":"initial import","indexing_mode":"index","subproblems":[],"grids":[]}