{"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":"68cc4456-f50d-5ec6-9f5e-f8da55e2942c","task_key":"grid~5fmode--test--lgp~2dtest~2d5x5~2d23","task_revision_id":"1","upstream_id":"lgp-test-5x5-23","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: `Bob`, `Eric`, `Arnold`, `Peter`, `Alice`\\n - People have unique favorite sports: `tennis`, `baseball`, `basketball`, `soccer`, `swimming`\\n - Each mother is accompanied by their child: `Fred`, `Bella`, `Meredith`, `Timothy`, `Samantha`\\n - The mothers' names in different houses are unique: `Kailyn`, `Holly`, `Penny`, `Janelle`, `Aniya`\\n - The people keep unique animals: `horse`, `cat`, `dog`, `bird`, `fish`\\n\\n## Clues:\\n1. The person whose mother's name is Penny is in the fourth house.\\n2. Eric is The person whose mother's name is Penny.\\n3. The person who keeps horses is the person who loves swimming.\\n4. The person who loves baseball is the person's child is named Meredith.\\n5. The dog owner is directly left of the person who loves basketball.\\n6. The person who loves soccer is the bird keeper.\\n7. The person who loves swimming is directly left of the person's child is named Fred.\\n8. The person who loves tennis is The person whose mother's name is Kailyn.\\n9. The person who is the mother of Timothy is The person whose mother's name is Aniya.\\n10. Eric is somewhere to the right of the person's child is named Samantha.\\n11. The person who loves basketball is Bob.\\n12. The person who is the mother of Timothy is the fish enthusiast.\\n13. The person's child is named Meredith is somewhere to the right of Peter.\\n14. The person who loves basketball is somewhere to the left of the person who keeps horses.\\n15. The bird keeper is Alice.\\n16. The person whose mother's name is Holly is the bird keeper.\\n17. Bob is not 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":[]}