benchmarks.wiki / Public workspace

ZebraLogicBench / lgp-test-4x4-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: `Arnold`, `Alice`, `Eric`, `Peter`
 - Each person has a unique level of education: `master`, `bachelor`, `high school`, `associate`
 - People have unique heights: `short`, `average`, `tall`, `very short`
 - Each person has a unique favorite drink: `water`, `coffee`, `tea`, `milk`

## Clues:
1. The person who likes milk is somewhere to the left of the person with a bachelor's degree.
2. The person who likes milk and the person with a bachelor's degree are next to each other.
3. Alice is the person who is tall.
4. Peter is not in the second house.
5. Arnold is in the first house.
6. The person who has an average height is not in the second house.
7. Arnold is directly left of the person with a master's degree.
8. The coffee drinker is the person who is short.
9. There is one house between the person with a master's degree and the person with a high school diploma.
10. The one who only drinks water is directly left of Alice.
11. The person who is short is somewhere to the left of the person who is tall.

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

Official source

initial import