{"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":"98cb9189-951c-5ca2-b3b6-638b23114470","task_key":"grid~5fmode--test--lgp~2dtest~2d5x3~2d3","task_revision_id":"1","upstream_id":"lgp-test-5x3-3","short_description":"There are 5 houses, numbered 1 to 5 from left to right, as seen from across the…","config":"grid_mode","split":"test","body":"{\"puzzle\":\"There are 5 houses, numbered 1 to 5 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: `Alice`, `Peter`, `Eric`, `Arnold`, `Bob`\\n - Each person has a unique birthday month: `sept`, `mar`, `april`, `feb`, `jan`\\n - The people keep unique animals: `horse`, `bird`, `dog`, `fish`, `cat`\\n\\n## Clues:\\n1. The person whose birthday is in September is Peter.\\n2. The dog owner is in the first house.\\n3. Bob is not in the second house.\\n4. The bird keeper is not in the second house.\\n5. The bird keeper is not in the fourth house.\\n6. The person whose birthday is in March is not in the second house.\\n7. Bob and the person whose birthday is in January are next to each other.\\n8. The person who keeps horses is the person whose birthday is in February.\\n9. Eric is in the first house.\\n10. The person whose birthday is in March and the person whose birthday is in April are next to each other.\\n11. The bird keeper is not in the third house.\\n12. The cat lover is not in the second house.\\n13. Arnold is in the fourth house.\\n\",\"size\":\"5*3\"}","display_format":"text","language":"","answer_status":"unavailable","assets":[],"source_url":"https://huggingface.co/datasets/allenai/ZebraLogicBench","history":"initial import","indexing_mode":"index","subproblems":[],"grids":[]}