benchmarks.wiki

benchmarks.wiki / Public workspace

ZebraLogicBench / lgp-test-4x5-5 / 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`, `Alice`, `Arnold`, `Peter`
 - Each person has a unique level of education: `master`, `high school`, `associate`, `bachelor`
 - The people keep unique animals: `bird`, `horse`, `cat`, `fish`
 - Each person has a unique type of pet: `bird`, `fish`, `dog`, `cat`
 - Each person has a unique favorite drink: `water`, `tea`, `milk`, `coffee`

## Clues:
1. Peter is directly left of the fish enthusiast.
2. The person with a master's degree is in the second house.
3. The coffee drinker is the person who owns a dog.
4. Arnold is the person with an associate's degree.
5. The person with a bachelor's degree is the person who owns a dog.
6. The one who only drinks water is the bird keeper.
7. Alice is the person with an aquarium of fish.
8. The person who keeps horses is in the first house.
9. The person with a master's degree is the tea drinker.
10. The person with an associate's degree is the person who keeps a pet bird.
11. The fish enthusiast is the coffee drinker.
12. The person with an associate's degree is not in the fourth house.
13. Eric is not in the fourth house.

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-5
task_id
78e96091-0867-53a2-b6e0-7cfb7f08c4da
task_key
grid~5fmode--test--lgp~2dtest~2d4x5~2d5
task_revision_id
1
config / split
grid_mode / test

Official source

initial import