benchmarks.wiki

benchmarks.wiki / Public workspace

ZebraLogicBench / lgp-test-5x5-26 / There are 5 houses, numbered 1 to 5 from left to right, as seen from across the…

Problem

puzzle

There are 5 houses, numbered 1 to 5 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: `Alice`, `Arnold`, `Eric`, `Bob`, `Peter`
 - Each person has a unique favorite drink: `root beer`, `water`, `coffee`, `tea`, `milk`
 - Each person has a unique birthday month: `jan`, `april`, `sept`, `feb`, `mar`
 - Each person has an occupation: `teacher`, `lawyer`, `engineer`, `doctor`, `artist`
 - Each person prefers a unique type of vacation: `city`, `cruise`, `mountain`, `beach`, `camping`

## Clues:
1. The root beer lover is Bob.
2. The person who is an engineer is Bob.
3. The coffee drinker is not in the first house.
4. Peter is not in the second house.
5. The one who only drinks water is not in the fifth house.
6. The person who is a doctor is directly left of the person who prefers city breaks.
7. The person who likes going on cruises is somewhere to the left of the person whose birthday is in April.
8. The person whose birthday is in February is the person who loves beach vacations.
9. Eric is somewhere to the right of Arnold.
10. The tea drinker is the person who enjoys mountain retreats.
11. The person who enjoys mountain retreats is not in the second house.
12. The person whose birthday is in April is not in the second house.
13. The tea drinker is somewhere to the left of the person who enjoys camping trips.
14. The person who is an engineer is the person who enjoys camping trips.
15. The person who is an artist is the person whose birthday is in April.
16. The person whose birthday is in March is not in the first house.
17. Arnold is the coffee drinker.
18. The coffee drinker is the person whose birthday is in February.
19. The person who is a lawyer is somewhere to the right of the person who is a teacher.
20. The coffee drinker is not in the second house.
21. The person whose birthday is in April is the one who only drinks water.
22. The person whose birthday is in January is the root beer lover.

size

5*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-5x5-26
task_id
fbeaf19f-04b1-5c7c-8c55-bc2555d91b2b
task_key
grid~5fmode--test--lgp~2dtest~2d5x5~2d26
task_revision_id
1
config / split
grid_mode / test

Official source

initial import