La Chaux-de-Fonds · 31 December 1899
A master watchmaker is dead in his atelier. Every clock in the house keeps its own time, and one witness is lying.
Watch it as a 13-minute film, which stops to let you solve it before the reveal.
Read the inspector's note and the six interviews. Then use the bench to set each clock's error and to set aside the witness you think is lying, until the house runs true. Name the murderer and the true minute of the blow.
Inspecteur Léon Matthey, Sûreté de Neuchâtel
Six interviews, taken between one and four in the morning
Readings of clocks and watches are underlined. The interviews are in the order the inspector took them.
Your workbench
Every statement in the interviews is laid out here as a time on a named clock or watch. Set how far each timepiece ran fast or slow, and the bench converts every reading to true time and shows where the accounts disagree. When you think you know who lied, set that witness aside. If no disagreement remains, the house runs true.
The question
Who struck Aurèle Monnier, and at what true time, to the minute?
The movement behind the dial
The answer is Dr Casimir Vauthier, at 22:38.
A solver (z3) checked the formal case, which is every statement as constraints on clocks and moments. If any of the other five were the murderer, the accounts of the remaining people would contradict each other. For each of them, these are the shortest sets of statements that cannot all be true together, out of the minimal sets the solver found.
The bench below is set to the true errors, with the doctor set aside.