benchmarks.wiki

benchmarks.wiki / Public workspace

ZebraLogicBench / lgp-test-5x4-32 / 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: `Eric`, `Bob`, `Arnold`, `Peter`, `Alice`
 - People use unique phone models: `oneplus 9`, `google pixel 6`, `iphone 13`, `samsung galaxy s21`, `huawei p50`
 - People have unique hair colors: `gray`, `blonde`, `black`, `brown`, `red`
 - People own unique car models: `bmw 3 series`, `tesla model 3`, `ford f150`, `toyota camry`, `honda civic`

## Clues:
1. The person who uses an iPhone 13 is in the third house.
2. The person who owns a Tesla Model 3 is the person who uses a OnePlus 9.
3. The person who has blonde hair is not in the second house.
4. The person who uses a Samsung Galaxy S21 is not in the second house.
5. The person who owns a BMW 3 Series is not in the fourth house.
6. The person who owns a Honda Civic and the person who has brown hair are next to each other.
7. The person who owns a Honda Civic and Arnold are next to each other.
8. The person who owns a Ford F-150 is somewhere to the left of the person who has black hair.
9. Eric is not in the first house.
10. Eric is somewhere to the left of the person who has brown hair.
11. The person who owns a Toyota Camry is Peter.
12. The person who has blonde hair is somewhere to the right of Alice.
13. The person who uses an iPhone 13 is Bob.
14. Peter is the person who uses a Google Pixel 6.
15. The person who owns a Toyota Camry is somewhere to the right of the person who owns a Honda Civic.
16. Peter is the person who has gray hair.

size

5*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-5x4-32
task_id
135d0b10-61bf-528e-896e-0d5bfc31cf0a
task_key
grid~5fmode--test--lgp~2dtest~2d5x4~2d32
task_revision_id
1
config / split
grid_mode / test

Official source

initial import