benchmarks.wiki

benchmarks.wiki / Public workspace

ZebraLogicBench / lgp-test-4x5-17 / 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: `Peter`, `Alice`, `Eric`, `Arnold`
 - People use unique phone models: `samsung galaxy s21`, `oneplus 9`, `google pixel 6`, `iphone 13`
 - Everyone has a unique favorite cigar: `dunhill`, `prince`, `blue master`, `pall mall`
 - People have unique hair colors: `red`, `black`, `blonde`, `brown`
 - Each person has a favorite color: `white`, `yellow`, `red`, `green`

## Clues:
1. The person who uses an iPhone 13 is the person who has brown hair.
2. The person who has black hair is somewhere to the left of the Prince smoker.
3. The person who loves yellow is the person who smokes Blue Master.
4. The Dunhill smoker is the person who uses a OnePlus 9.
5. The person who uses a OnePlus 9 is directly left of the person who has red hair.
6. Alice is not in the second house.
7. The Prince smoker is somewhere to the left of the person who uses a OnePlus 9.
8. The person who smokes Blue Master is the person who uses a Samsung Galaxy S21.
9. Eric is the person who loves white.
10. The person who smokes Blue Master is directly left of the person whose favorite color is red.
11. The person partial to Pall Mall is Arnold.

size

4*5

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-4x5-17
task_id
101a2da0-faa9-56ae-9960-89e696a064d4
task_key
grid~5fmode--test--lgp~2dtest~2d4x5~2d17
task_revision_id
1
config / split
grid_mode / test

Official source

initial import