benchmarks.wiki

benchmarks.wiki / Public workspace

ZebraLogicBench / lgp-test-5x4-22 / 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: `Peter`, `Eric`, `Alice`, `Arnold`, `Bob`
 - The people keep unique animals: `fish`, `dog`, `bird`, `cat`, `horse`
 - Each person prefers a unique type of vacation: `beach`, `city`, `mountain`, `camping`, `cruise`
 - People use unique phone models: `google pixel 6`, `huawei p50`, `samsung galaxy s21`, `iphone 13`, `oneplus 9`

## Clues:
1. Alice is not in the fifth house.
2. Arnold is not in the fifth house.
3. The person who uses a OnePlus 9 is the person who enjoys mountain retreats.
4. Bob is the person who loves beach vacations.
5. The cat lover is in the second house.
6. There are two houses between the person who uses a Google Pixel 6 and the fish enthusiast.
7. The person who enjoys camping trips is the person who keeps horses.
8. The fish enthusiast and the person who enjoys mountain retreats are next to each other.
9. The dog owner is not in the fifth house.
10. The fish enthusiast is Alice.
11. The person who prefers city breaks is the person who uses a Huawei P50.
12. There are two houses between Arnold and the person who uses a Samsung Galaxy S21.
13. The person who loves beach vacations is in the third house.
14. Eric is somewhere to the left of the person who enjoys mountain retreats.

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-22
task_id
095f34b6-3493-5d05-9c3d-24eba741d929
task_key
grid~5fmode--test--lgp~2dtest~2d5x4~2d22
task_revision_id
4
config / split
grid_mode / test

Official source

initial import