{"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":"2a67ca51-b590-53d5-b772-be53d6f21395","task_key":"grid~5fmode--test--lgp~2dtest~2d3x5~2d18","task_revision_id":"1","upstream_id":"lgp-test-3x5-18","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: `Arnold`, `Peter`, `Eric`\\n - They all have a unique favorite flower: `daffodils`, `lilies`, `carnations`\\n - The people are of nationalities: `brit`, `dane`, `swede`\\n - The mothers' names in different houses are unique: `Aniya`, `Holly`, `Janelle`\\n - People have unique favorite sports: `basketball`, `tennis`, `soccer`\\n\\n## Clues:\\n1. The Swedish person is not in the third house.\\n2. The person who loves basketball is directly left of the person who loves tennis.\\n3. Arnold is the person who loves the boquet of lilies.\\n4. The person whose mother's name is Janelle is the Dane.\\n5. The person whose mother's name is Holly is the person who loves a carnations arrangement.\\n6. The person who loves the boquet of lilies is somewhere to the right of Peter.\\n7. The Dane is directly left of the person who loves a carnations arrangement.\\n8. Eric is not in the first house.\\n9. The person whose mother's name is Janelle is directly left of the person who loves basketball.\\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":[]}