{"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":"3965d170-66eb-5de6-892d-364beb6bb5de","task_key":"grid~5fmode--test--lgp~2dtest~2d6x3~2d15","task_revision_id":"1","upstream_id":"lgp-test-6x3-15","short_description":"There are 6 houses, numbered 1 to 6 from left to right, as seen from across the…","config":"grid_mode","split":"test","body":"{\"puzzle\":\"There are 6 houses, numbered 1 to 6 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: `Carol`, `Peter`, `Arnold`, `Alice`, `Bob`, `Eric`\\n - Each person has an occupation: `lawyer`, `teacher`, `artist`, `engineer`, `nurse`, `doctor`\\n - Each person has a unique type of pet: `dog`, `hamster`, `rabbit`, `cat`, `fish`, `bird`\\n\\n## Clues:\\n1. Carol is in the third house.\\n2. Carol is the person who owns a rabbit.\\n3. Arnold is in the fifth house.\\n4. The person with a pet hamster is not in the fourth house.\\n5. The person with an aquarium of fish is not in the fourth house.\\n6. The person who owns a dog is Peter.\\n7. Eric is the person who is a nurse.\\n8. The person who is a teacher is in the second house.\\n9. Alice is somewhere to the left of the person who has a cat.\\n10. The person with a pet hamster is somewhere to the left of Eric.\\n11. The person with an aquarium of fish is not in the second house.\\n12. The person who owns a dog is directly left of the person who is an artist.\\n13. The person who is a doctor and the person who is a teacher are next to each other.\\n14. Bob is the person with an aquarium of fish.\\n15. The person who is a lawyer is the person with a pet hamster.\\n\",\"size\":\"6*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":[]}