benchmarks.wiki

benchmarks.wiki / Public workspace

ZebraLogicBench / lgp-test-4x5-0 / 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`, `Arnold`, `Alice`
 - Everyone has a favorite smoothie: `dragonfruit`, `cherry`, `desert`, `watermelon`
 - Everyone has a unique favorite cigar: `blue master`, `pall mall`, `dunhill`, `prince`
 - People have unique heights: `tall`, `average`, `short`, `very short`
 - People use unique phone models: `google pixel 6`, `samsung galaxy s21`, `iphone 13`, `oneplus 9`

## Clues:
1. The Dragonfruit smoothie lover is Eric.
2. The Dunhill smoker is the person who likes Cherry smoothies.
3. The person who uses a Samsung Galaxy S21 is directly left of the person who uses an iPhone 13.
4. The Dunhill smoker is somewhere to the right of the person who is very short.
5. The Watermelon smoothie lover is somewhere to the right of the Desert smoothie lover.
6. The Prince smoker is the person who uses a OnePlus 9.
7. The person who is tall is in the third house.
8. The person who is very short is the person who uses an iPhone 13.
9. The person who smokes Blue Master is not in the first house.
10. The Dunhill smoker is the person who is short.
11. Peter is not in the third house.
12. Arnold is the person who uses a Google Pixel 6.
13. The Dragonfruit smoothie lover is the person partial to Pall Mall.

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-0
task_id
e696084d-680a-51d1-990a-127401d28a0a
task_key
grid~5fmode--test--lgp~2dtest~2d4x5~2d0
task_revision_id
1
config / split
grid_mode / test

Official source

initial import