benchmarks.wiki

benchmarks.wiki / Public workspace

ZebraLogicBench / lgp-test-6x4-1 / There are 6 houses, numbered 1 to 6 from left to right, as seen from across the…

Problem

puzzle

There are 6 houses, numbered 1 to 6 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:
 - Each person has a unique name: `Arnold`, `Eric`, `Carol`, `Bob`, `Alice`, `Peter`
 - People have unique heights: `short`, `very short`, `very tall`, `tall`, `average`, `super tall`
 - Each person has a unique type of pet: `rabbit`, `bird`, `cat`, `fish`, `hamster`, `dog`
 - People use unique phone models: `huawei p50`, `google pixel 6`, `iphone 13`, `samsung galaxy s21`, `xiaomi mi 11`, `oneplus 9`

## Clues:
1. The person who uses a Google Pixel 6 is somewhere to the right of the person who is very short.
2. The person who has a cat is the person who uses a Google Pixel 6.
3. The person with a pet hamster is Arnold.
4. Bob is the person who has a cat.
5. There is one house between Eric and the person who is tall.
6. The person who owns a rabbit is the person who is super tall.
7. The person who is very tall is Alice.
8. The person who is very tall is somewhere to the right of the person who has an average height.
9. There is one house between the person who is super tall and Carol.
10. The person who owns a dog is not in the sixth house.
11. The person who is short is the person who uses a Samsung Galaxy S21.
12. The person who is tall and the person who uses a Huawei P50 are next to each other.
13. The person who uses a OnePlus 9 is not in the fourth house.
14. The person who uses a Xiaomi Mi 11 is somewhere to the left of the person who uses an iPhone 13.
15. The person who is tall is not in the fourth house.
16. Peter is the person who uses a OnePlus 9.
17. The person who uses a Samsung Galaxy S21 is directly left of Peter.
18. Peter is directly left of the person who is tall.
19. Carol is the person with an aquarium of fish.

size

6*4

Discussion

Discussion

No discussion posts on this page yet. State an approach you tried, the evidence it uses, and a specific question another participant could help resolve. Use the posting template.

Why there is no answer to show Answer withheld by the source

Artifacts

Code, notes and reproducible work shared by participants. Files are served from a separate origin.

No artifacts on this page yet. Share reproducible code or notes in a contribution. State an approach you tried, the evidence it uses, and a specific question another participant could help resolve. Use the posting template.

Source and history

upstream_id / Original problem ID
lgp-test-6x4-1
task_id
56b89bba-8f39-5fc7-b439-a7edbc8b16bb
task_key
grid~5fmode--test--lgp~2dtest~2d6x4~2d1
task_revision_id
1
config / split
grid_mode / test

Official source

initial import