Elke puzzel die we serveren is machinaal geverifieerd
We hopen niet alleen dat onze puzzels eerlijk zijn — we bewijzen het, met een solver die los van de generator draait. Hieronder staat de echte data achter elke garantiebadge en hoe je die zelf reproduceert.
FreeCell — 99.9992% van de deals is te winnen
We nummeren onze deals precies als het originele FreeCell van Microsoft (1 tot 1,000,000), zodat elk spel aansluit op decennia aan FreeCell-records. Van het eerste miljoen deals zijn er slechts 8 nooit te winnen — en onze eigen solver bewijst elk onoplosbaar door de hele spelboom uit te putten. We serveren ze nooit: elke deal in rotatie wordt drievoudig gecontroleerd (delen → oplossen → naspelen).
Deal #11982 — het beroemdste onoplosbare FreeCell-spel — is bewezen onoplosbaar in 61,643 zoekknopen.
| Deal nr. | Knopen om onoplosbaarheid te bewijzen |
|---|---|
| #11982 | 61,643 |
| #146692 | 8,637 |
| #186216 | 16,606 |
| #455889 | 11,806 |
| #495505 | 27,688 |
| #512118 | 22,490 |
| #517776 | 67,016 |
| #781948 | 4,381 |
We serveren momenteel 768 geverifieerde deals — 0 onoplosbaar, 0 ongeverifieerd.
Mijnenveger — nooit gokken
Elk bord is vanaf de eerste klik met pure logica op te lossen. Geen 50/50-gokjes. We genereren kandidaatborden en verwerpen elk bord dat tot gokken zou dwingen — op Expert betekent dat ongeveer 89% verwerpen.
| Moeilijkheid | Borden die tot gokken zouden dwingen (verworpen) |
|---|---|
| Makkelijk 9×99×9 / 10 | 7% |
| Gemiddeld 16×1616×16 / 40 | 38.8% |
| Moeilijk 30×1630×16 / 99 | 89% |
100% · Zonder gokken — oplosbaar met alleen logica ✓
Nonogram — precies één oplossing
Elke afbeelding heeft één unieke oplossing die je puur met regel-voor-regel-logica bereikt. Tegen de intuïtie in zijn kleine rasters het moeilijkst uniek te maken — we verwerpen ongeveer 88% van de 5×5-kandidaten.
| Formaat | Kandidaten zonder unieke regellogica-oplossing (verworpen) |
|---|---|
| Makkelijk 5×55×5 | 87.6% |
| Gemiddeld 10×1010×10 | 68.9% |
| Moeilijk 15×1515×15 | 49.6% |
100% · Eén oplossing — alleen met logica oplosbaar ✓
Water Sort — de "par" is het echte minimum
Elk level is oplosbaar, en de par die we tonen is het exact kleinste aantal zetten — bewezen door een A*-solver, niet geschat. Moeilijkere levels vragen meer: Moeilijk zit op 21–35 zetten.
| Moeilijkheid | Minste zetten (optimaal bewezen) |
|---|---|
| Makkelijk (7 buizen)5 colors / 7 tubes | 8–16 (avg 11.8) |
| Gemiddeld (10 buizen)8 colors / 10 tubes | 15–23 (avg 18.8) |
| Moeilijk (14 buizen)12 colors / 14 tubes | 21–35 (avg 26.9) |
100% · Elk bord oplosbaar — optimale zetten in beeld ✓
Hoe je het zelf controleert
Twee regels houden deze garanties eerlijk. Ten eerste is de solver onafhankelijk van de generator — een generator beoordeelt nooit zijn eigen werk. Ten tweede is alles reproduceerbaar: voer node scripts/guarantee-stats.mjs uit en je krijgt dezelfde bewijsgroottes. Elke solver staat open in onze codebase.
Data gegenereerd op 2026-07-26.
Veelgestelde vragen
Zijn alle FreeCell-spellen te winnen?
Bijna allemaal. Van de eerste 1,000,000 genummerde deals zijn er precies 8 onoplosbaar — ongeveer 99.9992% is te winnen. We bewijzen alle 8 onoplosbaar met onze eigen solver en serveren ze nooit.
Welke FreeCell-deals zijn onmogelijk te winnen?
In het eerste miljoen: #11982, #146692, #186216, #455889, #495505, #512118, #517776 en #781948. #11982 is de enige onoplosbare deal onder de oorspronkelijke 32,000 van Microsoft.
Wat betekent Mijnenveger zonder gokken?
Elk bord is puur met logica op te lossen — je komt nooit op een punt waar twee vakjes even waarschijnlijk een mijn zijn en je moet gokken. Borden die tot gokken zouden dwingen, worden vóór het serveren verworpen.
Heeft elk Nonogram een unieke oplossing?
Ja. Elke puzzel wordt geverifieerd op precies één oplossing, bereikbaar met regel-voor-regel-logica — je hoeft dus nooit te gokken of terug te keren uit een verkeerde tak.
Is het aantal zetten van Water Sort het echte minimum?
Ja. De par wordt door een exacte A*-solver berekend als het bewijsbaar kleinste aantal zetten voor dat level, geen benadering.