{"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":"07798c85-84fb-5c06-8987-6875a3512222","task_key":"grid~5fmode--test--lgp~2dtest~2d3x5~2d28","task_revision_id":"1","upstream_id":"lgp-test-3x5-28","short_description":"There are 3 houses, numbered 1 to 3 from left to right, as seen from across the…","config":"grid_mode","split":"test","body":"{\"puzzle\":\"There are 3 houses, numbered 1 to 3 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`, `Peter`, `Arnold`\\n - Everyone has a favorite smoothie: `desert`, `cherry`, `watermelon`\\n - Each person prefers a unique type of vacation: `city`, `mountain`, `beach`\\n - The people are of nationalities: `dane`, `brit`, `swede`\\n - People have unique favorite sports: `tennis`, `soccer`, `basketball`\\n\\n## Clues:\\n1. The Dane is directly left of the person who prefers city breaks.\\n2. The person who loves soccer is Peter.\\n3. Eric is directly left of the Desert smoothie lover.\\n4. The person who loves basketball is directly left of the person who prefers city breaks.\\n5. The Desert smoothie lover is not in the third house.\\n6. Arnold is somewhere to the left of Peter.\\n7. The British person is in the third house.\\n8. The person who likes Cherry smoothies is the Dane.\\n9. The person who likes Cherry smoothies is the person who enjoys mountain retreats.\\n\",\"size\":\"3*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":[]}