{"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":"0e1bd6e3-9158-59ef-b96c-598944e6f143","task_key":"grid~5fmode--test--lgp~2dtest~2d4x4~2d17","task_revision_id":"1","upstream_id":"lgp-test-4x4-17","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: `Eric`, `Alice`, `Peter`, `Arnold`\\n - The people are of nationalities: `brit`, `swede`, `norwegian`, `dane`\\n - They all have a unique favorite flower: `carnations`, `lilies`, `roses`, `daffodils`\\n - Each person has a unique level of education: `high school`, `bachelor`, `master`, `associate`\\n\\n## Clues:\\n1. The Norwegian is directly left of the person who loves the rose bouquet.\\n2. The person with a high school diploma is Eric.\\n3. Arnold is not in the first house.\\n4. The person with an associate's degree is the person who loves a carnations arrangement.\\n5. The Dane is not in the third house.\\n6. Peter is the person who loves the rose bouquet.\\n7. The Swedish person and the Norwegian are next to each other.\\n8. Eric is in the second house.\\n9. The person who loves the boquet of lilies is the person with a master's degree.\\n10. The person who loves the boquet of lilies is the Swedish person.\\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":[]}