{"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":"45e887cc-b896-5480-a077-8c49d56908f3","task_key":"grid~5fmode--test--lgp~2dtest~2d4x5~2d4","task_revision_id":"1","upstream_id":"lgp-test-4x5-4","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`, `Peter`, `Eric`\\n - Everyone has a unique favorite cigar: `pall mall`, `blue master`, `prince`, `dunhill`\\n - People have unique favorite sports: `soccer`, `swimming`, `tennis`, `basketball`\\n - Each person lives in a unique style of house: `ranch`, `colonial`, `craftsman`, `victorian`\\n - Everyone has a favorite smoothie: `watermelon`, `desert`, `cherry`, `dragonfruit`\\n\\n## Clues:\\n1. The Dunhill smoker is in the first house.\\n2. The person who smokes Blue Master is the Watermelon smoothie lover.\\n3. The person in a ranch-style home is the person who loves basketball.\\n4. The person who loves soccer is in the second house.\\n5. The Dunhill smoker is the person who likes Cherry smoothies.\\n6. The person who loves swimming is somewhere to the right of the person who smokes Blue Master.\\n7. The Dragonfruit smoothie lover is Alice.\\n8. The Prince smoker is the Dragonfruit smoothie lover.\\n9. The Watermelon smoothie lover is not in the second house.\\n10. Arnold is the person who smokes Blue Master.\\n11. The person who loves swimming is the person living in a colonial-style house.\\n12. The person who loves swimming is Peter.\\n13. The person in a Craftsman-style house is directly left of the person in a ranch-style home.\\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":[]}