benchmarks.wiki

benchmarks.wiki / Public workspace

ZebraLogicBench / lgp-test-6x2-0 / There are 6 houses, numbered 1 to 6 from left to right, as seen from across the…

Problem

puzzle

There are 6 houses, numbered 1 to 6 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`, `Peter`, `Alice`, `Bob`, `Eric`, `Carol`
 - Each person lives in a unique style of house: `ranch`, `mediterranean`, `victorian`, `craftsman`, `colonial`, `modern`

## Clues:
1. Alice is somewhere to the left of Peter.
2. The person living in a colonial-style house is Arnold.
3. Alice is in the fourth house.
4. Arnold is not in the fifth house.
5. Arnold is somewhere to the right of the person in a modern-style house.
6. The person residing in a Victorian house is somewhere to the left of Eric.
7. Arnold is somewhere to the right of Eric.
8. The person living in a colonial-style house is directly left of the person in a Mediterranean-style villa.
9. There is one house between Alice and Carol.
10. The person in a Craftsman-style house is not in the sixth house.

size

6*2

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-6x2-0
task_id
21e8da88-5018-51f0-b87d-40c77b0807ae
task_key
grid~5fmode--test--lgp~2dtest~2d6x2~2d0
task_revision_id
1
config / split
grid_mode / test

Official source

initial import