benchmarks.wiki

benchmarks.wiki / Public workspace

ZebraLogicBench / lgp-test-5x3-3 / 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`, `Peter`, `Eric`, `Arnold`, `Bob`
 - Each person has a unique birthday month: `sept`, `mar`, `april`, `feb`, `jan`
 - The people keep unique animals: `horse`, `bird`, `dog`, `fish`, `cat`

## Clues:
1. The person whose birthday is in September is Peter.
2. The dog owner is in the first house.
3. Bob is not in the second house.
4. The bird keeper is not in the second house.
5. The bird keeper is not in the fourth house.
6. The person whose birthday is in March is not in the second house.
7. Bob and the person whose birthday is in January are next to each other.
8. The person who keeps horses is the person whose birthday is in February.
9. Eric is in the first house.
10. The person whose birthday is in March and the person whose birthday is in April are next to each other.
11. The bird keeper is not in the third house.
12. The cat lover is not in the second house.
13. Arnold is in the fourth house.

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-3
task_id
98cb9189-951c-5ca2-b3b6-638b23114470
task_key
grid~5fmode--test--lgp~2dtest~2d5x3~2d3
task_revision_id
1
config / split
grid_mode / test

Official source

initial import