{"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":"noindex","profile":{"resources":[],"task_format":"","scoring":"","metric":"","size":"","answer_access":"","license":"","citation":"","maintainer":"","released":"","why_hard":"","related":[]}},"task_id":"be749ba1-877c-5366-88d4-b4abd8a8a1fa","task_key":"grid~5fmode--test--lgp~2dtest~2d6x5~2d22","task_revision_id":"3","upstream_id":"lgp-test-6x5-22","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: `Peter`, `Arnold`, `Eric`, `Carol`, `Alice`, `Bob`\\n - People have unique favorite music genres: `country`, `classical`, `pop`, `hip hop`, `jazz`, `rock`\\n - Each person lives in a unique style of house: `modern`, `mediterranean`, `victorian`, `craftsman`, `ranch`, `colonial`\\n - People use unique phone models: `huawei p50`, `iphone 13`, `google pixel 6`, `oneplus 9`, `xiaomi mi 11`, `samsung galaxy s21`\\n - Each person has a unique type of pet: `hamster`, `dog`, `cat`, `rabbit`, `fish`, `bird`\\n\\n## Clues:\\n1. The person who has a cat is the person in a Mediterranean-style villa.\\n2. Peter is in the second house.\\n3. The person in a modern-style house is the person who uses a Samsung Galaxy S21.\\n4. The person who keeps a pet bird is the person who uses a Google Pixel 6.\\n5. The person who keeps a pet bird is directly left of the person who uses a Xiaomi Mi 11.\\n6. Arnold is the person residing in a Victorian house.\\n7. The person who loves rock music is the person living in a colonial-style house.\\n8. The person in a Craftsman-style house is Carol.\\n9. The person who owns a rabbit is in the sixth house.\\n10. The person who loves pop music is somewhere to the left of the person living in a colonial-style house.\\n11. The person who uses a Huawei P50 and the person who loves country music are next to each other.\\n12. The person who loves hip-hop music is the person who uses a Samsung Galaxy S21.\\n13. Carol and Peter are next to each other.\\n14. The person who uses a OnePlus 9 is Peter.\\n15. The person with a pet hamster is not in the first house.\\n16. The person in a ranch-style home is somewhere to the left of the person who loves classical music.\\n17. There are two houses between Carol and Alice.\\n18. The person who owns a dog is in the fifth house.\\n19. The person in a modern-style house is Eric.\\n20. Peter is the person living in a colonial-style house.\\n21. The person who has a cat is not in the fourth house.\\n\",\"size\":\"6*5\"}","display_format":"text","language":"","answer_status":"unavailable","assets":[],"source_url":"https://huggingface.co/datasets/allenai/ZebraLogicBench","history":"initial import","indexing_mode":"noindex","subproblems":[],"grids":[]}