benchmarks.wiki

benchmarks.wiki / Public workspace

ZebraLogicBench / lgp-test-6x3-30 / 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: `Bob`, `Eric`, `Carol`, `Arnold`, `Alice`, `Peter`
 - People use unique phone models: `google pixel 6`, `samsung galaxy s21`, `iphone 13`, `huawei p50`, `oneplus 9`, `xiaomi mi 11`
 - Each person has a favorite color: `white`, `yellow`, `blue`, `green`, `red`, `purple`

## Clues:
1. The person whose favorite color is green is the person who uses a Google Pixel 6.
2. The person who uses a Xiaomi Mi 11 is somewhere to the right of the person who uses a Huawei P50.
3. There are two houses between Peter and the person whose favorite color is red.
4. Eric is somewhere to the right of the person whose favorite color is green.
5. Carol is the person who uses an iPhone 13.
6. The person who loves blue is not in the second house.
7. The person who uses a Samsung Galaxy S21 is somewhere to the left of the person who loves yellow.
8. The person who loves blue is somewhere to the left of the person who loves white.
9. Carol and the person whose favorite color is red are next to each other.
10. The person who uses a Google Pixel 6 is Bob.
11. Alice is the person who uses a Xiaomi Mi 11.
12. The person whose favorite color is green is not in the second house.
13. The person who loves purple is directly left of Carol.
14. Alice is the person who loves purple.

size

6*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-6x3-30
task_id
2f7bb6c7-9bb7-56e7-917f-a9f81ab8b525
task_key
grid~5fmode--test--lgp~2dtest~2d6x3~2d30
task_revision_id
1
config / split
grid_mode / test

Official source

initial import