Jedes Rätsel, das wir ausliefern, ist maschinell geprüft
Wir hoffen nicht bloß, dass unsere Rätsel fair sind — wir beweisen es, mit einem Solver, der unabhängig vom Generator läuft. Unten stehen die echten Daten hinter jedem Garantie-Badge und wie du sie selbst reproduzierst.
FreeCell — 99.9992 % der Deals sind gewinnbar
Wir nummerieren unsere Deals genau wie das originale FreeCell von Microsoft (1 bis 1,000,000), sodass jedes Spiel zu jahrzehntelangen FreeCell-Aufzeichnungen passt. Von der ersten Million Deals sind nur 8 nie zu gewinnen — und unser eigener Solver beweist jeden als unlösbar, indem er den gesamten Spielbaum ausschöpft. Wir liefern sie nie aus: Jeder Deal in Rotation wird dreifach geprüft (geben → lösen → nachspielen).
Deal #11982 — das berühmteste unlösbare FreeCell-Spiel — wird in 61,643 Suchknoten als unlösbar bewiesen.
| Deal-Nr. | Knoten für den Unlösbarkeitsbeweis |
|---|---|
| #11982 | 61,643 |
| #146692 | 8,637 |
| #186216 | 16,606 |
| #455889 | 11,806 |
| #495505 | 27,688 |
| #512118 | 22,490 |
| #517776 | 67,016 |
| #781948 | 4,381 |
Wir liefern derzeit 768 geprüfte Deals aus — 0 unlösbar, 0 ungeprüft.
Minesweeper — nie raten
Jedes Feld lässt sich ab dem ersten Klick mit reiner Logik lösen. Kein 50/50-Münzwurf. Wir erzeugen Kandidatenfelder und verwerfen jedes, das zum Raten zwingen würde — auf Experte heißt das, rund 89 % zu verwerfen.
| Schwierigkeit | Felder, die zum Raten zwingen würden (verworfen) |
|---|---|
| Leicht 9×99×9 / 10 | 7% |
| Mittel 16×1616×16 / 40 | 38.8% |
| Schwer 30×1630×16 / 99 | 89% |
100% · Ohne Raten — allein mit Logik lösbar ✓
Nonogramm — genau eine Lösung
Jedes Bild hat eine einzige eindeutige Lösung, die du allein durch Zeile-für-Zeile-Logik erreichst. Widersinnig, aber wahr: Kleine Gitter sind am schwersten eindeutig zu machen — wir verwerfen rund 88 % der 5×5-Kandidaten.
| Größe | Kandidaten ohne eindeutige Zeilenlogik-Lösung (verworfen) |
|---|---|
| Einfach 5×55×5 | 87.6% |
| Mittel 10×1010×10 | 68.9% |
| Schwer 15×1515×15 | 49.6% |
100% · Einzige Lösung — allein mit Logik lösbar ✓
Water Sort — das „Par" ist das echte Minimum
Jedes Level ist lösbar, und das angezeigte Par ist die exakt kleinste mögliche Zugzahl — von einem A*-Solver bewiesen, nicht geschätzt. Schwerere Level brauchen mehr: Schwer liegt bei 21–35 Zügen.
| Schwierigkeit | Wenigste Züge (Optimum bewiesen) |
|---|---|
| Einfach (7 Röhren)5 colors / 7 tubes | 8–16 (avg 11.8) |
| Mittel (10 Röhren)8 colors / 10 tubes | 15–23 (avg 18.8) |
| Schwer (14 Röhren)12 colors / 14 tubes | 21–35 (avg 26.9) |
100% · Jedes Brett lösbar — optimale Züge angezeigt ✓
So prüfst du es selbst
Zwei Regeln halten diese Garantien ehrlich. Erstens ist der Solver unabhängig vom Generator — ein Generator benotet nie seine eigene Arbeit. Zweitens ist alles reproduzierbar: Führe node scripts/guarantee-stats.mjs aus und du erhältst dieselben Beweisgrößen. Jeder Solver ist in unserem Code offen einsehbar.
Daten erzeugt am 2026-07-26.
Häufige Fragen
Sind alle FreeCell-Spiele gewinnbar?
Fast alle. Von den ersten 1,000,000 nummerierten Deals sind genau 8 unlösbar — rund 99.9992 % sind gewinnbar. Wir beweisen alle 8 mit unserem eigenen Solver als unlösbar und liefern sie nie aus.
Welche FreeCell-Deals sind unmöglich zu gewinnen?
In der ersten Million: #11982, #146692, #186216, #455889, #495505, #512118, #517776 und #781948. #11982 ist der einzige unlösbare Deal unter Microsofts ursprünglichen 32,000.
Was bedeutet Minesweeper ohne Raten?
Jedes Feld lässt sich allein durch Logik lösen — du kommst nie an einen Punkt, an dem zwei Felder gleich wahrscheinlich eine Mine sind und du raten musst. Felder, die zum Raten zwingen würden, werden vor der Auslieferung verworfen.
Hat jedes Nonogramm eine eindeutige Lösung?
Ja. Jedes Rätsel wird darauf geprüft, genau eine Lösung zu haben, erreichbar durch Zeile-für-Zeile-Logik — du musst also nie raten oder von einem falschen Ast zurückspringen.
Ist die Zugzahl bei Water Sort das echte Minimum?
Ja. Das Par berechnet ein exakter A*-Solver als die beweisbar kleinste Zugzahl für dieses Level, keine Näherung.