{"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":"812d3ac3-9ee3-5055-b82f-ac2660099280","task_key":"grid~5fmode--test--lgp~2dtest~2d3x6~2d15","task_revision_id":"1","upstream_id":"lgp-test-3x6-15","short_description":"There are 3 houses, numbered 1 to 3 from left to right, as seen from across the…","config":"grid_mode","split":"test","body":"{\"puzzle\":\"There are 3 houses, numbered 1 to 3 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`, `Peter`, `Arnold`\\n - Each person has a unique level of education: `associate`, `high school`, `bachelor`\\n - Each person prefers a unique type of vacation: `city`, `beach`, `mountain`\\n - People have unique favorite music genres: `classical`, `rock`, `pop`\\n - Each person has an occupation: `engineer`, `doctor`, `teacher`\\n - People have unique favorite sports: `tennis`, `basketball`, `soccer`\\n\\n## Clues:\\n1. Peter is in the first house.\\n2. The person with a high school diploma is directly left of the person who loves beach vacations.\\n3. The person who is a doctor is not in the third house.\\n4. The person who loves rock music and the person who loves pop music are next to each other.\\n5. The person who is a teacher is the person who enjoys mountain retreats.\\n6. Peter is the person with a bachelor's degree.\\n7. The person who prefers city breaks is the person who loves rock music.\\n8. The person who loves basketball is the person who enjoys mountain retreats.\\n9. Eric is in the third house.\\n10. The person with a bachelor's degree is the person who loves tennis.\\n\",\"size\":\"3*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":[]}