benchmarks.wiki

benchmarks.wiki / Public workspace

ZebraLogicBench / lgp-test-6x2-34 / 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: `Peter`, `Eric`, `Arnold`, `Carol`, `Bob`, `Alice`
 - People have unique heights: `super tall`, `very tall`, `tall`, `very short`, `short`, `average`

## Clues:
1. Carol is not in the sixth house.
2. There is one house between Bob and the person who is very tall.
3. The person who is super tall is not in the sixth house.
4. Eric is the person who is very tall.
5. Peter is not in the sixth house.
6. The person who is short is not in the first house.
7. The person who is short is not in the third house.
8. The person who is short is directly left of Eric.
9. The person who is very short is somewhere to the right of the person who is very tall.
10. The person who is tall is Alice.
11. Carol is not in the second house.
12. There are two houses between the person who is super tall and Eric.

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-34
task_id
58dec115-4d3d-5034-9d54-b6c5ec8a62ed
task_key
grid~5fmode--test--lgp~2dtest~2d6x2~2d34
task_revision_id
1
config / split
grid_mode / test

Official source

initial import