benchmarks.wiki

benchmarks.wiki / Public workspace

ZebraLogicBench / lgp-test-5x4-11 / 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`, `Peter`, `Bob`, `Alice`, `Arnold`
 - People have unique heights: `very short`, `average`, `tall`, `short`, `very tall`
 - People own unique car models: `toyota camry`, `bmw 3 series`, `honda civic`, `ford f150`, `tesla model 3`
 - People use unique phone models: `iphone 13`, `oneplus 9`, `samsung galaxy s21`, `google pixel 6`, `huawei p50`

## Clues:
1. Arnold is in the fifth house.
2. The person who is short is the person who owns a Tesla Model 3.
3. The person who has an average height is somewhere to the right of Alice.
4. The person who owns a Honda Civic is not in the third house.
5. The person who owns a BMW 3 Series is directly left of Arnold.
6. The person who uses a OnePlus 9 is directly left of the person who owns a Ford F-150.
7. Alice is directly left of the person who is very short.
8. The person who uses an iPhone 13 is not in the second house.
9. The person who uses a Google Pixel 6 is Arnold.
10. The person who uses a Google Pixel 6 is the person who is tall.
11. Peter is the person who uses a Huawei P50.
12. Peter is directly left of the person who uses a OnePlus 9.
13. Bob is the person who owns a Tesla Model 3.

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-11
task_id
906feb0c-1342-5b3a-a486-5e06410fb859
task_key
grid~5fmode--test--lgp~2dtest~2d5x4~2d11
task_revision_id
1
config / split
grid_mode / test

Official source

initial import