benchmarks.wiki / Public workspace

ZebraLogicBench / lgp-test-5x3-9 / 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: `Arnold`, `Eric`, `Alice`, `Peter`, `Bob`
 - Each person has a unique type of pet: `hamster`, `bird`, `cat`, `dog`, `fish`
 - Each person has a unique birthday month: `jan`, `feb`, `mar`, `april`, `sept`

## Clues:
1. The person who has a cat is not in the fifth house.
2. The person whose birthday is in April is somewhere to the left of Peter.
3. Arnold is the person whose birthday is in April.
4. There are two houses between Arnold and Bob.
5. The person whose birthday is in April is somewhere to the right of the person whose birthday is in February.
6. Arnold is the person with a pet hamster.
7. Eric is not in the fourth house.
8. Peter is the person whose birthday is in January.
9. The person whose birthday is in September is the person with an aquarium of fish.
10. Eric is the person whose birthday is in September.
11. The person who keeps a pet bird is somewhere to the left of the person whose birthday is in January.
12. Alice is somewhere to the left of the person who has a cat.

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

Official source

initial import