{"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":"fa6d8eb5-306b-5a9c-ad54-b5a4b052a57c","task_key":"grid~5fmode--test--lgp~2dtest~2d4x4~2d24","task_revision_id":"1","upstream_id":"lgp-test-4x4-24","short_description":"There are 4 houses, numbered 1 to 4 from left to right, as seen from across the…","config":"grid_mode","split":"test","body":"{\"puzzle\":\"There are 4 houses, numbered 1 to 4 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: `Alice`, `Peter`, `Eric`, `Arnold`\\n - Each person has an occupation: `doctor`, `teacher`, `engineer`, `artist`\\n - Each mother is accompanied by their child: `Meredith`, `Fred`, `Bella`, `Samantha`\\n - Everyone has something unique for lunch: `spaghetti`, `pizza`, `stew`, `grilled cheese`\\n\\n## Clues:\\n1. The person who loves the spaghetti eater is directly left of the person who is a teacher.\\n2. Arnold is somewhere to the left of the person's child is named Samantha.\\n3. The person's child is named Bella is in the first house.\\n4. The person who loves the spaghetti eater is directly left of Peter.\\n5. The person who loves the stew is Arnold.\\n6. The person who is an artist is the person who is a pizza lover.\\n7. Arnold is the person who is an engineer.\\n8. Alice is the person's child is named Samantha.\\n9. The person who is a doctor is not in the first house.\\n10. The person's child is named Meredith is not in the fourth house.\\n11. Eric is the person's child is named Bella.\\n\",\"size\":\"4*4\"}","display_format":"text","language":"","answer_status":"unavailable","assets":[],"source_url":"https://huggingface.co/datasets/allenai/ZebraLogicBench","history":"initial import","indexing_mode":"index","subproblems":[],"grids":[]}