benchmarks.wiki

benchmarks.wiki / Public workspace

ZebraLogicBench / lgp-test-4x4-33 / There are 4 houses, numbered 1 to 4 from left to right, as seen from across the…

Problem

puzzle

There are 4 houses, numbered 1 to 4 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`, `Alice`, `Arnold`
 - People have unique heights: `average`, `tall`, `very short`, `short`
 - People use unique phone models: `oneplus 9`, `samsung galaxy s21`, `google pixel 6`, `iphone 13`
 - The mothers' names in different houses are unique: `Kailyn`, `Janelle`, `Holly`, `Aniya`

## Clues:
1. The person who uses a Samsung Galaxy S21 is The person whose mother's name is Holly.
2. The person who is tall is directly left of the person who uses a Samsung Galaxy S21.
3. Alice is the person who uses a Google Pixel 6.
4. The person who uses a OnePlus 9 is in the fourth house.
5. The person whose mother's name is Janelle is not in the third house.
6. The person whose mother's name is Janelle is somewhere to the left of Eric.
7. The person whose mother's name is Aniya is somewhere to the left of Alice.
8. Eric is the person who is very short.
9. Peter is somewhere to the left of The person whose mother's name is Kailyn.
10. The person whose mother's name is Holly and the person who has an average height are next to each other.

size

4*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-4x4-33
task_id
fb88b955-cda4-57ac-9cc1-2b03cb2a2c76
task_key
grid~5fmode--test--lgp~2dtest~2d4x4~2d33
task_revision_id
1
config / split
grid_mode / test

Official source

initial import