benchmarks.wiki

benchmarks.wiki / Public workspace

ZebraLogicBench / lgp-test-6x6-10 / 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`, `Bob`, `Peter`, `Alice`, `Carol`, `Eric`
 - Everyone has something unique for lunch: `stew`, `grilled cheese`, `stir fry`, `soup`, `pizza`, `spaghetti`
 - People have unique heights: `tall`, `average`, `super tall`, `very short`, `very tall`, `short`
 - Each person has a unique favorite drink: `root beer`, `boba tea`, `coffee`, `water`, `tea`, `milk`
 - Each person has a unique type of pet: `hamster`, `fish`, `cat`, `dog`, `bird`, `rabbit`
 - People use unique phone models: `samsung galaxy s21`, `xiaomi mi 11`, `google pixel 6`, `iphone 13`, `huawei p50`, `oneplus 9`

## Clues:
1. The person who uses an iPhone 13 is in the third house.
2. Bob is the person who is tall.
3. The person who loves the soup is in the second house.
4. The root beer lover is directly left of the person who uses a Xiaomi Mi 11.
5. The person who uses a Huawei P50 is directly left of the person who loves eating grilled cheese.
6. The person who loves stir fry is the person who likes milk.
7. The person who loves eating grilled cheese is the person who is tall.
8. The person who uses a Xiaomi Mi 11 is the coffee drinker.
9. The person who uses a OnePlus 9 is Arnold.
10. The person who owns a rabbit is not in the fifth house.
11. The person with a pet hamster is somewhere to the right of the person who uses a Google Pixel 6.
12. The person who is super tall is the person with an aquarium of fish.
13. The person with an aquarium of fish is Alice.
14. The tea drinker is directly left of the person who is a pizza lover.
15. The person who uses a Samsung Galaxy S21 is Carol.
16. The person who is a pizza lover is the person who is short.
17. Arnold is the person who is very tall.
18. The person who loves the spaghetti eater is the person who uses a Google Pixel 6.
19. The boba tea drinker is somewhere to the right of the person who loves the soup.
20. The person with a pet hamster is not in the fifth house.
21. The person who is very tall is not in the second house.
22. The person who is super tall is somewhere to the left of Peter.
23. The person who is very short is the person who loves the spaghetti eater.
24. The person who keeps a pet bird is somewhere to the left of the person who loves the spaghetti eater.
25. The person with an aquarium of fish is directly left of Eric.
26. The person who owns a dog is the person who likes milk.

size

6*6

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-6x6-10
task_id
80333a93-f643-559b-bd7a-8fd8d2b75dd6
task_key
grid~5fmode--test--lgp~2dtest~2d6x6~2d10
task_revision_id
1
config / split
grid_mode / test

Official source

initial import