benchmarks.wiki

benchmarks.wiki / Public workspace

ZebraLogicBench / lgp-test-5x3-23 / 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`, `Eric`, `Alice`, `Arnold`, `Peter`
 - The people keep unique animals: `horse`, `dog`, `cat`, `fish`, `bird`
 - People use unique phone models: `oneplus 9`, `iphone 13`, `huawei p50`, `google pixel 6`, `samsung galaxy s21`

## Clues:
1. Bob is not in the fourth house.
2. The person who uses an iPhone 13 is somewhere to the left of the person who uses a OnePlus 9.
3. The person who uses a Huawei P50 is somewhere to the left of Alice.
4. Arnold is the dog owner.
5. Peter is somewhere to the left of the cat lover.
6. Arnold is not in the fourth house.
7. Peter is somewhere to the left of the fish enthusiast.
8. Peter is the person who uses a Huawei P50.
9. The person who uses a OnePlus 9 is directly left of the person who uses a Google Pixel 6.
10. The dog owner is somewhere to the right of the person who keeps horses.
11. The person who keeps horses is not in the first house.
12. There is one house between Bob and the person who uses an iPhone 13.
13. Eric is the person who uses a Google Pixel 6.
14. The person who uses a Google Pixel 6 is somewhere to the right of the fish enthusiast.

size

5*3

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-5x3-23
task_id
b6b59d5e-2a72-503c-8eb1-0f773654e5ec
task_key
grid~5fmode--test--lgp~2dtest~2d5x3~2d23
task_revision_id
1
config / split
grid_mode / test

Official source

initial import