{"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":"noindex","profile":{"resources":[],"task_format":"","scoring":"","metric":"","size":"","answer_access":"","license":"","citation":"","maintainer":"","released":"","why_hard":"","related":[]}},"task_id":"e904823c-523e-53ac-9d12-d5f819a82567","task_key":"grid~5fmode--test--lgp~2dtest~2d4x6~2d0","task_revision_id":"3","upstream_id":"lgp-test-4x6-0","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: `Alice`, `Arnold`, `Eric`, `Peter`\\n - Each person has a unique level of education: `master`, `bachelor`, `associate`, `high school`\\n - People have unique favorite sports: `tennis`, `soccer`, `swimming`, `basketball`\\n - Each person has an occupation: `teacher`, `engineer`, `doctor`, `artist`\\n - They all have a unique favorite flower: `carnations`, `daffodils`, `lilies`, `roses`\\n - People have unique heights: `very short`, `average`, `tall`, `short`\\n\\n## Clues:\\n1. Eric is the person who loves a carnations arrangement.\\n2. The person who loves swimming is somewhere to the left of the person who is an artist.\\n3. Arnold is directly left of the person who is tall.\\n4. The person who loves swimming and the person who is a teacher are next to each other.\\n5. The person who loves basketball is the person with a bachelor's degree.\\n6. The person who is a doctor is the person who loves the rose bouquet.\\n7. The person who loves the boquet of lilies is the person who loves tennis.\\n8. The person who loves a carnations arrangement is the person with a master's degree.\\n9. The person who is a teacher is directly left of Alice.\\n10. The person who is an artist is the person with an associate's degree.\\n11. The person who loves a bouquet of daffodils is the person who is an artist.\\n12. The person who loves soccer is not in the fourth house.\\n13. The person who loves a bouquet of daffodils is somewhere to the right of the person who is short.\\n14. The person with a master's degree is the person who is very short.\\n\",\"size\":\"4*6\"}","display_format":"text","language":"","answer_status":"unavailable","assets":[],"source_url":"https://huggingface.co/datasets/allenai/ZebraLogicBench","history":"initial import","indexing_mode":"noindex","subproblems":[],"grids":[]}