{"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":"484aef4c-bf6f-58c8-8c65-9bacc8cab2ba","task_key":"grid~5fmode--test--lgp~2dtest~2d6x3~2d24","task_revision_id":"1","upstream_id":"lgp-test-6x3-24","short_description":"There are 6 houses, numbered 1 to 6 from left to right, as seen from across the…","config":"grid_mode","split":"test","body":"{\"puzzle\":\"There are 6 houses, numbered 1 to 6 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: `Bob`, `Peter`, `Eric`, `Alice`, `Carol`, `Arnold`\\n - Each person prefers a unique type of vacation: `cruise`, `mountain`, `beach`, `camping`, `city`, `cultural`\\n - The people are of nationalities: `german`, `swede`, `brit`, `chinese`, `dane`, `norwegian`\\n\\n## Clues:\\n1. The person who goes on cultural tours is Arnold.\\n2. The person who loves beach vacations is the British person.\\n3. The person who prefers city breaks is Carol.\\n4. The Dane is directly left of the person who prefers city breaks.\\n5. The person who prefers city breaks is the Swedish person.\\n6. The person who likes going on cruises is not in the sixth house.\\n7. The person who loves beach vacations is directly left of the person who likes going on cruises.\\n8. Carol is directly left of Eric.\\n9. The person who prefers city breaks is in the second house.\\n10. Bob is not in the first house.\\n11. Bob is not in the fifth house.\\n12. Eric is somewhere to the left of Peter.\\n13. The British person is somewhere to the left of the Chinese.\\n14. The Norwegian and Arnold are next to each other.\\n15. The Dane is the person who enjoys camping trips.\\n16. The British person is not in the third house.\\n\",\"size\":\"6*3\"}","display_format":"text","language":"","answer_status":"published","assets":[],"source_url":"https://huggingface.co/datasets/allenai/ZebraLogicBench","history":"initial import","indexing_mode":"noindex","subproblems":[],"grids":[]}