{"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":"a8142d96-13f0-5ab4-b799-0766763f8bcb","task_key":"grid~5fmode--test--lgp~2dtest~2d4x4~2d39","task_revision_id":"1","upstream_id":"lgp-test-4x4-39","short_description":"There are 4 houses, numbered 1 to 4 from left to right, as seen from across the…","config":"grid_mode","split":"test","body":"{\"puzzle\":\"There are 4 houses, numbered 1 to 4 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: `Peter`, `Eric`, `Arnold`, `Alice`\\n - People have unique favorite music genres: `rock`, `jazz`, `classical`, `pop`\\n - The people are of nationalities: `dane`, `brit`, `swede`, `norwegian`\\n - Each person has a favorite color: `green`, `red`, `yellow`, `white`\\n\\n## Clues:\\n1. The British person and Peter are next to each other.\\n2. Eric is somewhere to the left of the British person.\\n3. The Swedish person is directly left of the person whose favorite color is red.\\n4. The person who loves classical music is in the second house.\\n5. There is one house between the British person and the person whose favorite color is red.\\n6. The person who loves rock music is the Norwegian.\\n7. The person who loves yellow is not in the first house.\\n8. The Norwegian is Arnold.\\n9. The Dane and the person who loves white are next to each other.\\n10. There are two houses between the person who loves pop music and the person who loves rock music.\\n\",\"size\":\"4*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":[]}