{"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":"6a4ecf43-0746-505c-9b23-5df1e45a31a8","task_key":"grid~5fmode--test--lgp~2dtest~2d3x4~2d16","task_revision_id":"1","upstream_id":"lgp-test-3x4-16","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 - Each person prefers a unique type of vacation: `beach`, `city`, `mountain`\\n - People have unique favorite sports: `soccer`, `basketball`, `tennis`\\n - Each person has a unique birthday month: `april`, `jan`, `sept`\\n\\n## Clues:\\n1. The person whose birthday is in April is not in the third house.\\n2. There is one house between the person who enjoys mountain retreats and the person who loves beach vacations.\\n3. The person who loves soccer is Peter.\\n4. The person who loves tennis is the person who prefers city breaks.\\n5. Eric is directly left of the person who loves tennis.\\n6. The person who loves beach vacations is the person who loves soccer.\\n7. The person who prefers city breaks is the person whose birthday is in January.\\n\",\"size\":\"3*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":[]}