{"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":"index","profile":{"resources":[],"task_format":"","scoring":"","metric":"","size":"","answer_access":"","license":"","citation":"","maintainer":"","released":"","why_hard":"","related":[],"history":"","construction":"","limitations":"","saturation":"","scores":[]}},"task_id":"b85830ed-e3d9-5266-925b-e0303c2c10ad","task_key":"grid~5fmode--test--lgp~2dtest~2d6x5~2d32","task_revision_id":"1","upstream_id":"lgp-test-6x5-32","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: `Eric`, `Carol`, `Peter`, `Bob`, `Alice`, `Arnold`\\n - People have unique favorite sports: `swimming`, `basketball`, `volleyball`, `tennis`, `soccer`, `baseball`\\n - Each person has a unique birthday month: `mar`, `feb`, `may`, `sept`, `april`, `jan`\\n - Everyone has a favorite smoothie: `cherry`, `lime`, `desert`, `watermelon`, `blueberry`, `dragonfruit`\\n - People have unique favorite music genres: `country`, `hip hop`, `jazz`, `rock`, `pop`, `classical`\\n\\n## Clues:\\n1. The person whose birthday is in March is not in the fifth house.\\n2. Peter is not in the sixth house.\\n3. The person whose birthday is in September is not in the sixth house.\\n4. The person whose birthday is in March is somewhere to the left of the Desert smoothie lover.\\n5. The person who loves jazz music is Eric.\\n6. The person who loves swimming is somewhere to the right of the person who loves basketball.\\n7. The person who loves swimming is the person who loves jazz music.\\n8. There is one house between the person whose birthday is in September and the Desert smoothie lover.\\n9. The Watermelon smoothie lover is the person who loves jazz music.\\n10. There are two houses between the person whose birthday is in January and the Desert smoothie lover.\\n11. The person whose birthday is in February and the person who drinks Lime smoothies are next to each other.\\n12. There is one house between Bob and the person who loves jazz music.\\n13. The Watermelon smoothie lover is somewhere to the right of the person whose birthday is in April.\\n14. The person who loves rock music is Carol.\\n15. The person who loves volleyball is directly left of the Dragonfruit smoothie lover.\\n16. The person who loves rock music is directly left of the person whose birthday is in March.\\n17. The Desert smoothie lover is the person who loves soccer.\\n18. The person whose birthday is in January is the person who loves pop music.\\n19. There are two houses between the person who drinks Blueberry smoothies and the Desert smoothie lover.\\n20. The person whose birthday is in January is somewhere to the left of the person whose birthday is in March.\\n21. The Dragonfruit smoothie lover is directly left of the person who loves baseball.\\n22. Alice is the person who loves hip-hop music.\\n23. The person who loves classical music is in the sixth 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":"index","subproblems":[],"grids":[]}