{"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":"02cfbfb3-003e-57ad-94b4-d825a31b4ae7","task_key":"grid~5fmode--test--lgp~2dtest~2d6x2~2d27","task_revision_id":"1","upstream_id":"lgp-test-6x2-27","short_description":"There are 6 houses, numbered 1 to 6 from left to right, as seen from across the…","config":"grid_mode","split":"test","body":"{\"puzzle\":\"There are 6 houses, numbered 1 to 6 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`, `Alice`, `Bob`, `Peter`, `Eric`, `Carol`\\n - People have unique favorite sports: `baseball`, `soccer`, `swimming`, `basketball`, `volleyball`, `tennis`\\n\\n## Clues:\\n1. Carol is in the first house.\\n2. Alice is not in the second house.\\n3. There are two houses between the person who loves baseball and Eric.\\n4. The person who loves tennis is not in the fourth house.\\n5. The person who loves baseball is not in the fifth house.\\n6. The person who loves swimming is not in the third house.\\n7. The person who loves volleyball is not in the sixth house.\\n8. Bob is in the sixth house.\\n9. Eric is the person who loves swimming.\\n10. Alice is not in the fourth house.\\n11. The person who loves tennis is Arnold.\\n12. Peter is somewhere to the right of the person who loves soccer.\\n\",\"size\":\"6*2\"}","display_format":"text","language":"","answer_status":"unavailable","assets":[],"source_url":"https://huggingface.co/datasets/allenai/ZebraLogicBench","history":"initial import","indexing_mode":"index","subproblems":[],"grids":[]}