{"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":"f92d2687-6118-5379-a14e-b8e47292cae1","task_key":"grid~5fmode--test--lgp~2dtest~2d5x4~2d6","task_revision_id":"1","upstream_id":"lgp-test-5x4-6","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`, `Bob`, `Eric`, `Peter`, `Arnold`\\n - People have unique favorite music genres: `rock`, `pop`, `classical`, `jazz`, `hip hop`\\n - People have unique hair colors: `gray`, `black`, `red`, `blonde`, `brown`\\n - The people are of nationalities: `norwegian`, `german`, `dane`, `brit`, `swede`\\n\\n## Clues:\\n1. The German is somewhere to the left of the person who loves rock music.\\n2. There are two houses between Alice and the British person.\\n3. The person who loves jazz music is the person who has gray hair.\\n4. There are two houses between the person who has black hair and Peter.\\n5. The Swedish person is the person who has red hair.\\n6. The person who loves pop music is somewhere to the left of Peter.\\n7. The person who has gray hair is the German.\\n8. Eric is the person who loves rock music.\\n9. Arnold is in the second house.\\n10. The person who has blonde hair is in the third house.\\n11. Alice is the Dane.\\n12. The person who loves classical music is somewhere to the left of the German.\\n\",\"size\":\"5*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":[]}