benchmarks.wiki

benchmarks.wiki / Public workspace

ZebraLogicBench / lgp-test-5x5-18 / 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: `Bob`, `Alice`, `Arnold`, `Peter`, `Eric`
 - The mothers' names in different houses are unique: `Penny`, `Aniya`, `Kailyn`, `Janelle`, `Holly`
 - The people keep unique animals: `cat`, `bird`, `dog`, `fish`, `horse`
 - Everyone has a favorite smoothie: `desert`, `dragonfruit`, `cherry`, `watermelon`, `lime`
 - Each person has an occupation: `doctor`, `engineer`, `artist`, `teacher`, `lawyer`

## Clues:
1. Bob is the Desert smoothie lover.
2. The cat lover is the person who is an engineer.
3. The person whose mother's name is Penny is the bird keeper.
4. The person who is a lawyer is the fish enthusiast.
5. The person who likes Cherry smoothies is directly left of Alice.
6. The Watermelon smoothie lover and the person who is an engineer are next to each other.
7. The person whose mother's name is Holly is the dog owner.
8. The person who is a teacher is in the first house.
9. The person whose mother's name is Penny is in the second house.
10. The person who drinks Lime smoothies is the person who is a doctor.
11. The person whose mother's name is Janelle is the person who is a lawyer.
12. Arnold is not in the third house.
13. The Dragonfruit smoothie lover is directly left of Peter.
14. The person whose mother's name is Kailyn is the Dragonfruit smoothie lover.
15. Arnold is somewhere to the right of Peter.
16. The dog owner is not in the fifth house.
17. The Watermelon smoothie lover is somewhere to the left of the Desert smoothie 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-18
task_id
0341f0d8-0057-5155-99bf-47662763d8bc
task_key
grid~5fmode--test--lgp~2dtest~2d5x5~2d18
task_revision_id
1
config / split
grid_mode / test

Official source

initial import