{"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":"327dff9a-1beb-52a5-9270-5831ff316267","task_key":"grid~5fmode--test--lgp~2dtest~2d5x6~2d30","task_revision_id":"1","upstream_id":"lgp-test-5x6-30","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: `Eric`, `Alice`, `Peter`, `Arnold`, `Bob`\\n - Each person has a unique type of pet: `cat`, `dog`, `bird`, `fish`, `hamster`\\n - Everyone has a unique favorite cigar: `pall mall`, `blends`, `prince`, `dunhill`, `blue master`\\n - Everyone has a favorite smoothie: `watermelon`, `desert`, `dragonfruit`, `cherry`, `lime`\\n - People use unique phone models: `google pixel 6`, `oneplus 9`, `samsung galaxy s21`, `iphone 13`, `huawei p50`\\n - People have unique favorite sports: `baseball`, `soccer`, `basketball`, `swimming`, `tennis`\\n\\n## Clues:\\n1. The person who loves swimming is directly left of the Prince smoker.\\n2. The person who smokes Blue Master is somewhere to the right of Eric.\\n3. The person who uses a OnePlus 9 is Arnold.\\n4. Arnold is somewhere to the right of the person with a pet hamster.\\n5. The person who owns a dog is Peter.\\n6. Eric is the Desert smoothie lover.\\n7. The person who loves basketball is not in the fifth house.\\n8. The person who has a cat is the person who uses a Samsung Galaxy S21.\\n9. The person who loves baseball is directly left of Peter.\\n10. There is one house between the Desert smoothie lover and the Dunhill smoker.\\n11. The person who loves baseball and the person who uses a Google Pixel 6 are next to each other.\\n12. The person who keeps a pet bird is in the second house.\\n13. The person who uses a Huawei P50 is in the fourth house.\\n14. The person who drinks Lime smoothies is in the fourth house.\\n15. The person partial to Pall Mall is in the fifth house.\\n16. The Dragonfruit smoothie lover is in the second house.\\n17. The person who loves tennis is the person with a pet hamster.\\n18. Bob is somewhere to the right of the person who owns a dog.\\n19. The Watermelon smoothie lover is Arnold.\\n20. The Prince smoker is somewhere to the left of the Dunhill smoker.\\n\",\"size\":\"5*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":[]}