{"kind":"task","effective_mode":"full","benchmark":{"kind":"benchmark","effective_mode":"full","slug":"zebralogicbench","formal_name":"ZebraLogicBench","introduction":"手掛かりの制約を組み合わせて対応関係を決める、論理パズルのベンチマークです。公式データカードでは表を埋めるgrid_modeに1,000問があり、多肢選択のmc_modeも別設定で配布されます。\n\nZebraLogicBench 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"},"task_id":"780528e0-1b3f-508a-95ed-91da55162404","task_key":"grid~5fmode--test--lgp~2dtest~2d3x6~2d26","task_revision_id":"1","upstream_id":"lgp-test-3x6-26","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: `Peter`, `Eric`, `Arnold`\\n - People have unique favorite sports: `soccer`, `basketball`, `tennis`\\n - Each person lives in a unique style of house: `victorian`, `colonial`, `ranch`\\n - Each person has a unique type of pet: `fish`, `dog`, `cat`\\n - Each person has a unique birthday month: `sept`, `april`, `jan`\\n - The people are of nationalities: `swede`, `dane`, `brit`\\n\\n## Clues:\\n1. The person who loves soccer is the person residing in a Victorian house.\\n2. The person who owns a dog is the person whose birthday is in April.\\n3. The person who owns a dog is the person residing in a Victorian house.\\n4. The person living in a colonial-style house is Arnold.\\n5. The person living in a colonial-style house is the person whose birthday is in January.\\n6. Arnold is directly left of the person whose birthday is in April.\\n7. The British person is the person who loves basketball.\\n8. The Swedish person is the person whose birthday is in April.\\n9. The Dane is Eric.\\n10. The person who has a cat is the person whose birthday is in January.\\n11. The person who loves soccer is in the third house.\\n\",\"size\":\"3*6\"}","display_format":"text","language":"","answer_status":"published","assets":[],"source_url":"https://huggingface.co/datasets/allenai/ZebraLogicBench","history":"initial import","indexing_mode":"noindex","subproblems":[],"grids":[]}