benchmarks.wiki / Public workspace

ZebraLogicBench / lgp-test-6x3-12 / There are 6 houses, numbered 1 to 6 from left to right, as seen from across the…

Problem

puzzle

There are 6 houses, numbered 1 to 6 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`, `Arnold`, `Eric`, `Carol`, `Bob`
 - Each person has a unique favorite drink: `water`, `milk`, `root beer`, `tea`, `coffee`, `boba tea`
 - Each person has an occupation: `artist`, `doctor`, `teacher`, `engineer`, `nurse`, `lawyer`

## Clues:
1. The person who is a lawyer is somewhere to the left of the one who only drinks water.
2. The boba tea drinker is Alice.
3. Arnold is directly left of the coffee drinker.
4. Peter and the person who is an artist are next to each other.
5. Arnold is the person who is a nurse.
6. Carol is not in the first house.
7. The person who is a teacher is somewhere to the right of the person who is a doctor.
8. The root beer lover is somewhere to the left of the tea drinker.
9. The person who is a lawyer is Carol.
10. Bob is the one who only drinks water.
11. Eric is not in the fourth house.
12. The tea drinker is not in the sixth house.
13. The person who is a teacher is the root beer lover.
14. The one who only drinks water is somewhere to the left of Alice.

size

6*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

Official source

initial import