{"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":"921cd6a3-5b2e-51cc-8f27-9567d390a6e1","task_key":"grid~5fmode--test--lgp~2dtest~2d5x6~2d17","task_revision_id":"1","upstream_id":"lgp-test-5x6-17","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`, `Alice`, `Eric`, `Peter`, `Arnold`\\n - People use unique phone models: `iphone 13`, `samsung galaxy s21`, `huawei p50`, `google pixel 6`, `oneplus 9`\\n - People have unique favorite sports: `soccer`, `swimming`, `baseball`, `basketball`, `tennis`\\n - Everyone has a favorite smoothie: `cherry`, `dragonfruit`, `lime`, `desert`, `watermelon`\\n - Each person prefers a unique type of vacation: `city`, `cruise`, `beach`, `mountain`, `camping`\\n - The people keep unique animals: `horse`, `fish`, `cat`, `dog`, `bird`\\n\\n## Clues:\\n1. Peter is somewhere to the right of the person who uses an iPhone 13.\\n2. The person who loves tennis is directly left of the person who uses a Google Pixel 6.\\n3. There is one house between the Watermelon smoothie lover and the person who loves beach vacations.\\n4. The person who loves baseball is in the fourth house.\\n5. The dog owner is Peter.\\n6. There is one house between the person who prefers city breaks and the person who keeps horses.\\n7. The fish enthusiast is directly left of the cat lover.\\n8. Arnold is the Desert smoothie lover.\\n9. The person who likes Cherry smoothies is the person who enjoys mountain retreats.\\n10. The person who loves swimming is not in the first house.\\n11. Bob is the person who prefers city breaks.\\n12. The person who uses a Huawei P50 is the fish enthusiast.\\n13. The person who loves tennis is the person who enjoys mountain retreats.\\n14. The person who loves baseball is somewhere to the left of the person who loves soccer.\\n15. The person who uses a OnePlus 9 is Peter.\\n16. There is one house between the person who prefers city breaks and Alice.\\n17. The person who enjoys camping trips is the Dragonfruit smoothie lover.\\n18. The person who loves baseball is the person who enjoys camping trips.\\n19. The person who loves beach vacations is directly left of the person who enjoys camping trips.\\n20. Bob is the fish enthusiast.\\n\",\"size\":\"5*6\"}","display_format":"text","language":"","answer_status":"unavailable","assets":[],"source_url":"https://huggingface.co/datasets/allenai/ZebraLogicBench","history":"initial import","indexing_mode":"index","subproblems":[],"grids":[]}