{"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":"5b3ef6ae-314d-53cf-8a5f-ec7d9149a9f6","task_key":"grid~5fmode--test--lgp~2dtest~2d3x3~2d17","task_revision_id":"1","upstream_id":"lgp-test-3x3-17","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`, `Peter`, `Eric`\\n - People use unique phone models: `samsung galaxy s21`, `iphone 13`, `google pixel 6`\\n - People have unique favorite music genres: `classical`, `pop`, `rock`\\n\\n## Clues:\\n1. The person who uses a Samsung Galaxy S21 is Arnold.\\n2. The person who loves pop music is in the first house.\\n3. Peter is not in the third house.\\n4. The person who uses a Google Pixel 6 is the person who loves pop music.\\n5. The person who loves classical music is directly left of the person who uses an iPhone 13.\\n\",\"size\":\"3*3\"}","display_format":"text","language":"","answer_status":"unavailable","assets":[],"source_url":"https://huggingface.co/datasets/allenai/ZebraLogicBench","history":"initial import","indexing_mode":"index","subproblems":[],"grids":[]}