{"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":"bac82f5f-0b4a-5f99-93bf-a73f3c08dab2","task_key":"grid~5fmode--test--lgp~2dtest~2d3x6~2d13","task_revision_id":"1","upstream_id":"lgp-test-3x6-13","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: `Arnold`, `Eric`, `Peter`\\n - The people are of nationalities: `brit`, `dane`, `swede`\\n - The mothers' names in different houses are unique: `Janelle`, `Aniya`, `Holly`\\n - People have unique favorite sports: `basketball`, `tennis`, `soccer`\\n - Each person has an occupation: `engineer`, `teacher`, `doctor`\\n - People have unique favorite music genres: `classical`, `pop`, `rock`\\n\\n## Clues:\\n1. The person who loves basketball is the person who is an engineer.\\n2. The person who is an engineer is not in the second house.\\n3. Eric is The person whose mother's name is Holly.\\n4. The person who loves basketball is directly left of the person who loves pop music.\\n5. Arnold is the person who loves soccer.\\n6. The person who loves soccer is the person who loves rock music.\\n7. The Dane is Peter.\\n8. Peter is the person who is a teacher.\\n9. The person whose mother's name is Janelle is the Swedish person.\\n\",\"size\":\"3*6\"}","display_format":"text","language":"","answer_status":"unavailable","assets":[],"source_url":"https://huggingface.co/datasets/allenai/ZebraLogicBench","history":"initial import","indexing_mode":"index","subproblems":[],"grids":[]}