{"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":"119cda57-9611-5c2b-bae1-203fb40eb795","task_key":"grid~5fmode--test--lgp~2dtest~2d5x4~2d37","task_revision_id":"1","upstream_id":"lgp-test-5x4-37","short_description":"There are 5 houses, numbered 1 to 5 from left to right, as seen from across the…","config":"grid_mode","split":"test","body":"{\"puzzle\":\"There are 5 houses, numbered 1 to 5 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`, `Bob`, `Peter`, `Eric`, `Arnold`\\n - People have unique favorite sports: `swimming`, `basketball`, `soccer`, `tennis`, `baseball`\\n - Each mother is accompanied by their child: `Meredith`, `Bella`, `Fred`, `Samantha`, `Timothy`\\n - Each person has a unique birthday month: `april`, `feb`, `sept`, `jan`, `mar`\\n\\n## Clues:\\n1. The person who loves soccer is the person's child is named Fred.\\n2. The person whose birthday is in April is somewhere to the left of the person who loves soccer.\\n3. The person whose birthday is in January is Peter.\\n4. The person who loves baseball is the person whose birthday is in September.\\n5. The person who is the mother of Timothy is the person who loves baseball.\\n6. There are two houses between the person whose birthday is in February and Peter.\\n7. Eric is directly left of the person who loves basketball.\\n8. Eric is the person who loves tennis.\\n9. The person's child is named Meredith is directly left of Peter.\\n10. Alice is directly left of the person whose birthday is in September.\\n11. The person's child is named Bella is somewhere to the left of the person's child is named Samantha.\\n12. Eric is in the third house.\\n13. The person who loves soccer is Arnold.\\n\",\"size\":\"5*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":[]}