{"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":"cfbf7372-71ff-5bba-8579-56586d294ab8","task_key":"grid~5fmode--test--lgp~2dtest~2d4x4~2d30","task_revision_id":"1","upstream_id":"lgp-test-4x4-30","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`, `Arnold`, `Alice`, `Peter`\\n - They all have a unique favorite flower: `lilies`, `carnations`, `roses`, `daffodils`\\n - Each person has an occupation: `teacher`, `engineer`, `artist`, `doctor`\\n - Everyone has a favorite smoothie: `desert`, `dragonfruit`, `watermelon`, `cherry`\\n\\n## Clues:\\n1. The Dragonfruit smoothie lover is in the first house.\\n2. The person who is a doctor is somewhere to the right of Eric.\\n3. Eric is the person who likes Cherry smoothies.\\n4. Peter is directly left of the person who is an artist.\\n5. The Desert smoothie lover is the person who loves a carnations arrangement.\\n6. The person who is a teacher is directly left of the Desert smoothie lover.\\n7. The person who loves the boquet of lilies is directly left of the person who likes Cherry smoothies.\\n8. The person who is a teacher is the person who loves the rose bouquet.\\n9. The person who is an engineer is Alice.\\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":[]}