{"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":"5cbfd45f-f511-59da-9063-a19de79a3d22","task_key":"grid~5fmode--test--lgp~2dtest~2d5x2~2d22","task_revision_id":"1","upstream_id":"lgp-test-5x2-22","short_description":"There are 5 houses, numbered 1 to 5 from left to right, as seen from across the…","config":"grid_mode","split":"test","body":"{\"puzzle\":\"There are 5 houses, numbered 1 to 5 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`, `Bob`, `Alice`, `Eric`\\n - People use unique phone models: `iphone 13`, `oneplus 9`, `samsung galaxy s21`, `google pixel 6`, `huawei p50`\\n\\n## Clues:\\n1. Peter is in the fourth house.\\n2. The person who uses a OnePlus 9 is in the second house.\\n3. The person who uses a Huawei P50 and the person who uses a OnePlus 9 are next to each other.\\n4. There is one house between Alice and Eric.\\n5. Eric is in the third house.\\n6. Arnold is somewhere to the left of the person who uses a Samsung Galaxy S21.\\n7. Alice is somewhere to the left of the person who uses a Google Pixel 6.\\n8. There is one house between Alice and the person who uses a Google Pixel 6.\\n9. The person who uses a Samsung Galaxy S21 is not in the fourth house.\\n\",\"size\":\"5*2\"}","display_format":"text","language":"","answer_status":"published","assets":[],"source_url":"https://huggingface.co/datasets/allenai/ZebraLogicBench","history":"initial import","indexing_mode":"noindex","subproblems":[],"grids":[]}