benchmarks.wiki

benchmarks.wiki / Public workspace

ZebraLogicBench / lgp-test-5x4-18 / 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`, `Peter`, `Bob`, `Alice`, `Eric`
 - People own unique car models: `toyota camry`, `tesla model 3`, `bmw 3 series`, `honda civic`, `ford f150`
 - Each person has a favorite color: `blue`, `red`, `green`, `white`, `yellow`
 - The mothers' names in different houses are unique: `Janelle`, `Penny`, `Holly`, `Kailyn`, `Aniya`

## Clues:
1. The person who owns a Honda Civic is the person who loves yellow.
2. The person whose favorite color is red is the person who owns a Tesla Model 3.
3. The person who owns a BMW 3 Series is not in the fourth house.
4. The person whose mother's name is Aniya is the person who loves blue.
5. The person whose favorite color is green is Eric.
6. The person whose favorite color is red is somewhere to the left of the person who owns a Ford F-150.
7. Alice is directly left of Eric.
8. The person whose mother's name is Holly is in the first house.
9. Arnold is the person who loves white.
10. The person whose mother's name is Janelle is the person who loves white.
11. The person whose mother's name is Kailyn is Alice.
12. Arnold is somewhere to the left of Peter.
13. The person who owns a BMW 3 Series is Eric.
14. Bob and the person who owns a Ford F-150 are next to each other.

size

5*4

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-5x4-18
task_id
02a302bd-9235-5981-9a8a-554fe21004cb
task_key
grid~5fmode--test--lgp~2dtest~2d5x4~2d18
task_revision_id
1
config / split
grid_mode / test

Official source

initial import