{"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":"2a258e23-3eab-5742-9992-425ffca839d3","task_key":"grid~5fmode--test--lgp~2dtest~2d4x5~2d9","task_revision_id":"1","upstream_id":"lgp-test-4x5-9","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: `Arnold`, `Peter`, `Eric`, `Alice`\\n - The people keep unique animals: `fish`, `cat`, `horse`, `bird`\\n - Everyone has a unique favorite cigar: `pall mall`, `blue master`, `dunhill`, `prince`\\n - They all have a unique favorite flower: `lilies`, `roses`, `daffodils`, `carnations`\\n - People have unique favorite music genres: `classical`, `jazz`, `rock`, `pop`\\n\\n## Clues:\\n1. The Dunhill smoker is Eric.\\n2. Eric is the cat lover.\\n3. The person who loves the boquet of lilies is the person who loves pop music.\\n4. The person partial to Pall Mall is the fish enthusiast.\\n5. The person who smokes Blue Master is the person who keeps horses.\\n6. Arnold is not in the third house.\\n7. The person who loves rock music is somewhere to the left of the person who loves a carnations arrangement.\\n8. The person who loves classical music is somewhere to the left of the fish enthusiast.\\n9. The person who loves rock music is Peter.\\n10. The person who loves jazz music is the person who smokes Blue Master.\\n11. The person who loves a bouquet of daffodils is in the fourth house.\\n\",\"size\":\"4*5\"}","display_format":"text","language":"","answer_status":"unavailable","assets":[],"source_url":"https://huggingface.co/datasets/allenai/ZebraLogicBench","history":"initial import","indexing_mode":"index","subproblems":[],"grids":[]}