benchmarks.wiki

benchmarks.wiki / Public workspace

ZebraLogicBench / lgp-test-5x3-36 / 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`, `Bob`, `Arnold`, `Eric`, `Peter`
 - People have unique hair colors: `brown`, `red`, `blonde`, `gray`, `black`
 - Each person has a unique type of pet: `fish`, `cat`, `hamster`, `dog`, `bird`

## Clues:
1. The person who has black hair and Alice are next to each other.
2. Bob is directly left of Peter.
3. The person who has blonde hair is in the second house.
4. Alice is directly left of Eric.
5. Eric is somewhere to the left of Bob.
6. The person who has black hair is the person with an aquarium of fish.
7. The person who has a cat is not in the fourth house.
8. The person with a pet hamster is in the third house.
9. The person who keeps a pet bird is the person who has gray hair.
10. The person who has a cat is the person who has brown hair.

size

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

upstream_id / Original problem ID
lgp-test-5x3-36
task_id
4e39aa48-e410-5b62-905c-c77a30a3995f
task_key
grid~5fmode--test--lgp~2dtest~2d5x3~2d36
task_revision_id
1
config / split
grid_mode / test

Official source

initial import