{"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":"e6322efb-7fdd-520c-bb23-e2acc37ecea3","task_key":"grid~5fmode--test--lgp~2dtest~2d6x5~2d25","task_revision_id":"1","upstream_id":"lgp-test-6x5-25","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: `Arnold`, `Alice`, `Eric`, `Peter`, `Bob`, `Carol`\\n - They all have a unique favorite flower: `daffodils`, `roses`, `tulips`, `iris`, `carnations`, `lilies`\\n - People have unique favorite sports: `basketball`, `swimming`, `soccer`, `volleyball`, `tennis`, `baseball`\\n - Everyone has a favorite smoothie: `cherry`, `watermelon`, `lime`, `blueberry`, `dragonfruit`, `desert`\\n - Each person has an occupation: `lawyer`, `doctor`, `teacher`, `artist`, `nurse`, `engineer`\\n\\n## Clues:\\n1. The person who loves a bouquet of daffodils is the person who is an artist.\\n2. The person who loves tennis is not in the second house.\\n3. The person who is an artist is somewhere to the right of the person who likes Cherry smoothies.\\n4. The person who loves soccer is somewhere to the right of the person who is a teacher.\\n5. The person who loves basketball is directly left of the person who loves the vase of tulips.\\n6. The person who is a nurse is in the sixth house.\\n7. The person who loves a bouquet of daffodils and the Dragonfruit smoothie lover are next to each other.\\n8. The person who loves tennis is not in the third house.\\n9. The person who loves the boquet of iris is not in the second house.\\n10. The person who is a teacher is not in the second house.\\n11. The person who loves a carnations arrangement is the Watermelon smoothie lover.\\n12. There are two houses between the person who loves a bouquet of daffodils and the person who is a nurse.\\n13. The person who loves volleyball is the Dragonfruit smoothie lover.\\n14. Peter is the person who is a nurse.\\n15. There are two houses between the person who is a doctor and the person who is a lawyer.\\n16. The person who loves baseball is somewhere to the left of the person who drinks Blueberry smoothies.\\n17. The person who drinks Lime smoothies is somewhere to the left of Carol.\\n18. The person who loves the vase of tulips is the Desert smoothie lover.\\n19. The person who drinks Blueberry smoothies is Alice.\\n20. There is one house between the person who is an artist and Arnold.\\n21. Eric is directly left of Arnold.\\n22. There is one house between the person who is a doctor and Alice.\\n23. The person who loves the boquet of lilies is in the first house.\\n24. The person who is a doctor is not in the fifth 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":[]}