{"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":"3c191390-c923-59c8-a18a-4d39af79f8e6","task_key":"grid~5fmode--test--lgp~2dtest~2d6x4~2d25","task_revision_id":"1","upstream_id":"lgp-test-6x4-25","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`, `Peter`, `Alice`, `Carol`, `Bob`, `Eric`\\n - Each person has an occupation: `artist`, `nurse`, `engineer`, `lawyer`, `teacher`, `doctor`\\n - The mothers' names in different houses are unique: `Holly`, `Penny`, `Aniya`, `Janelle`, `Sarah`, `Kailyn`\\n - People have unique favorite music genres: `pop`, `rock`, `classical`, `jazz`, `hip hop`, `country`\\n\\n## Clues:\\n1. The person who is an engineer is directly left of the person who is an artist.\\n2. The person whose mother's name is Janelle is the person who is an artist.\\n3. The person who loves classical music is directly left of Peter.\\n4. The person whose mother's name is Janelle and the person who loves pop music are next to each other.\\n5. The person whose mother's name is Sarah is somewhere to the left of Arnold.\\n6. The person who loves country music is The person whose mother's name is Aniya.\\n7. The person whose mother's name is Penny is not in the second house.\\n8. Bob is the person who loves jazz music.\\n9. Carol is not in the sixth house.\\n10. The person who is an engineer is the person who loves classical music.\\n11. The person who is a nurse is somewhere to the right of the person who loves rock music.\\n12. There are two houses between Bob and The person whose mother's name is Penny.\\n13. The person who is a lawyer is directly left of the person who is a doctor.\\n14. The person whose mother's name is Penny is not in the third house.\\n15. The person who is an engineer is not in the fourth house.\\n16. The person who is a doctor is The person whose mother's name is Kailyn.\\n17. Carol is somewhere to the right of the person who loves country music.\\n18. The person who loves classical music is Alice.\\n19. The person who is a nurse is The person whose mother's name is Holly.\\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":[]}