benchmarks.wiki

benchmarks.wiki / Public workspace

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

Problem

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:
 - Each person has a unique name: `Bob`, `Arnold`, `Alice`, `Peter`, `Eric`
 - People own unique car models: `toyota camry`, `bmw 3 series`, `ford f150`, `honda civic`, `tesla model 3`
 - Each person has a unique favorite drink: `tea`, `milk`, `water`, `root beer`, `coffee`
 - The people are of nationalities: `dane`, `brit`, `german`, `norwegian`, `swede`
 - People use unique phone models: `oneplus 9`, `iphone 13`, `google pixel 6`, `samsung galaxy s21`, `huawei p50`

## Clues:
1. The person who uses a Google Pixel 6 is somewhere to the right of the Dane.
2. The person who uses a Google Pixel 6 is somewhere to the right of the root beer lover.
3. The person who owns a Tesla Model 3 is the British person.
4. The person who owns a Ford F-150 is the Dane.
5. Eric is the tea drinker.
6. The British person is directly left of the person who owns a Honda Civic.
7. Peter is somewhere to the right of the person who likes milk.
8. Bob is directly left of the Swedish person.
9. The person who uses an iPhone 13 is somewhere to the right of the person who uses a Huawei P50.
10. Arnold is the person who uses a Google Pixel 6.
11. Eric is not in the third house.
12. The person who owns a BMW 3 Series is somewhere to the right of the person who uses a Samsung Galaxy S21.
13. The person who owns a Tesla Model 3 is not in the first house.
14. Alice is somewhere to the left of the person who owns a Ford F-150.
15. The person who uses a OnePlus 9 is somewhere to the right of the person who uses a Samsung Galaxy S21.
16. The German is somewhere to the right of the person who owns a Tesla Model 3.
17. Eric is not in the fourth house.
18. Peter is directly left of the person who uses a Samsung Galaxy S21.
19. The coffee drinker is Bob.

size

5*5

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-5x5-16
task_id
04f189e1-7b4a-5c29-b749-5e9ddbc6cb61
task_key
grid~5fmode--test--lgp~2dtest~2d5x5~2d16
task_revision_id
1
config / split
grid_mode / test

Official source

initial import