{"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":"ca2c32f8-870d-561e-8af9-d52b4d2b049a","task_key":"grid~5fmode--test--lgp~2dtest~2d3x6~2d1","task_revision_id":"3","upstream_id":"lgp-test-3x6-1","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`, `Arnold`, `Peter`\\n - People use unique phone models: `google pixel 6`, `iphone 13`, `samsung galaxy s21`\\n - The people keep unique animals: `bird`, `horse`, `cat`\\n - Each person has an occupation: `doctor`, `engineer`, `teacher`\\n - Each person has a unique birthday month: `jan`, `sept`, `april`\\n - Everyone has something unique for lunch: `grilled cheese`, `pizza`, `spaghetti`\\n\\n## Clues:\\n1. The person who keeps horses is directly left of the person who is a teacher.\\n2. The person who loves the spaghetti eater is the person who is an engineer.\\n3. The person who uses a Samsung Galaxy S21 is not in the third house.\\n4. The person who is a doctor is the cat lover.\\n5. The person who uses an iPhone 13 is Peter.\\n6. The person who loves the spaghetti eater is the person whose birthday is in January.\\n7. The person who uses a Samsung Galaxy S21 is the person who loves eating grilled cheese.\\n8. The person who uses a Samsung Galaxy S21 and Eric are next to each other.\\n9. The person whose birthday is in January is somewhere to the right of the person whose birthday is in September.\\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":"noindex","subproblems":[],"grids":[]}