{"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":"9cb61c4c-a28b-5bf2-92f4-ee748cfd92b7","task_key":"grid~5fmode--test--lgp~2dtest~2d6x4~2d17","task_revision_id":"1","upstream_id":"lgp-test-6x4-17","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: `Arnold`, `Eric`, `Bob`, `Alice`, `Carol`, `Peter`\\n - The people are of nationalities: `german`, `brit`, `dane`, `chinese`, `swede`, `norwegian`\\n - People have unique favorite music genres: `pop`, `jazz`, `hip hop`, `classical`, `country`, `rock`\\n - Each person has a unique level of education: `doctorate`, `associate`, `master`, `bachelor`, `high school`, `trade school`\\n\\n## Clues:\\n1. The Chinese is the person who loves pop music.\\n2. The person with a bachelor's degree is directly left of Arnold.\\n3. The person with a master's degree is in the first house.\\n4. Carol is somewhere to the left of Peter.\\n5. The Dane is the person with a doctorate.\\n6. The person who loves classical music is the person with a master's degree.\\n7. The person with a bachelor's degree is in the fifth house.\\n8. Eric is somewhere to the right of Bob.\\n9. Carol is the British person.\\n10. The person with a doctorate is somewhere to the right of the Norwegian.\\n11. The person with a doctorate is the person who loves rock music.\\n12. The Norwegian is somewhere to the right of the German.\\n13. The person who attended trade school is somewhere to the left of the person with a high school diploma.\\n14. The person who attended trade school and the Chinese are next to each other.\\n15. The person who loves jazz music is Arnold.\\n16. The person who loves hip-hop music is directly left of Alice.\\n\",\"size\":\"6*4\"}","display_format":"text","language":"","answer_status":"unavailable","assets":[],"source_url":"https://huggingface.co/datasets/allenai/ZebraLogicBench","history":"initial import","indexing_mode":"index","subproblems":[],"grids":[]}