{"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":"825b02f3-903c-5487-a4cb-2dbedcaf875a","task_key":"grid~5fmode--test--lgp~2dtest~2d5x5~2d29","task_revision_id":"1","upstream_id":"lgp-test-5x5-29","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: `Eric`, `Peter`, `Alice`, `Bob`, `Arnold`\\n - The people are of nationalities: `norwegian`, `brit`, `swede`, `dane`, `german`\\n - Each person prefers a unique type of vacation: `cruise`, `mountain`, `camping`, `beach`, `city`\\n - Each person has a unique level of education: `bachelor`, `master`, `associate`, `doctorate`, `high school`\\n - Each person has an occupation: `artist`, `doctor`, `engineer`, `teacher`, `lawyer`\\n\\n## Clues:\\n1. The person who likes going on cruises is the person who is a lawyer.\\n2. The person who loves beach vacations is directly left of Arnold.\\n3. The person with a doctorate is somewhere to the left of Bob.\\n4. The person with an associate's degree is the person who likes going on cruises.\\n5. Peter is not in the first house.\\n6. The person who is an artist is Peter.\\n7. The person who enjoys camping trips is the person with a master's degree.\\n8. The Dane is somewhere to the right of the person who is a doctor.\\n9. The person with an associate's degree is directly left of the person who is an engineer.\\n10. The person who enjoys camping trips is the British person.\\n11. The Norwegian and the person with a bachelor's degree are next to each other.\\n12. The person who is an artist is the Swedish person.\\n13. Bob is not in the fourth house.\\n14. The person who enjoys camping trips is Eric.\\n15. Alice is the German.\\n16. The person who loves beach vacations is somewhere to the left of the person who prefers city breaks.\\n17. The person who enjoys mountain retreats is in the fifth house.\\n18. The person who likes going on cruises is somewhere to the right of the person who loves beach vacations.\\n19. The person with a bachelor's degree is in the third house.\\n\",\"size\":\"5*5\"}","display_format":"text","language":"","answer_status":"unavailable","assets":[],"source_url":"https://huggingface.co/datasets/allenai/ZebraLogicBench","history":"initial import","indexing_mode":"index","subproblems":[],"grids":[]}