Varje pussel vi serverar är maskinverifierat
Vi hoppas inte bara att våra pussel är rättvisa — vi bevisar det, med en solver som körs oberoende av generatorn. Nedan finns den verkliga datan bakom varje garantimärke och hur du reproducerar den själv.
FreeCell — 99.9992 % av givarna går att vinna
Vi numrerar givarna precis som Microsofts ursprungliga FreeCell (1 till 1,000,000), så varje spel stämmer med decennier av FreeCell-register. Av den första miljonen givar går bara 8 aldrig att vinna — och vår egen solver bevisar var och en olösbar genom att uttömma hela spelträdet. Vi serverar dem aldrig: varje giva i rotation trippelkontrolleras (ge → lösa → spela upp).
Giva #11982 — det mest kända olösbara FreeCell-spelet — bevisas olösbart i 61,643 söknoder.
| Giva nr | Noder för att bevisa olösbarhet |
|---|---|
| #11982 | 61,643 |
| #146692 | 8,637 |
| #186216 | 16,606 |
| #455889 | 11,806 |
| #495505 | 27,688 |
| #512118 | 22,490 |
| #517776 | 67,016 |
| #781948 | 4,381 |
Vi serverar för närvarande 768 verifierade givar — 0 olösbara, 0 overifierade.
Minesweeper — aldrig gissa
Varje bräde går att röja med ren logik från första klicket. Inga 50/50-slantsinglingar. Vi genererar kandidatbräden och förkastar alla som skulle tvinga fram en gissning — på Expert innebär det att förkasta ungefär 89 %.
| Svårighetsgrad | Bräden som skulle tvinga fram en gissning (förkastade) |
|---|---|
| Lätt 9×99×9 / 10 | 7% |
| Medel 16×1616×16 / 40 | 38.8% |
| Svår 30×1630×16 / 99 | 89% |
100% · Utan gissningar — lösbart med enbart logik ✓
Nonogram — exakt en lösning
Varje bild har en enda unik lösning som du når enbart med rad-för-rad-logik. Tvärtemot intuitionen är små rutnät svårast att göra unika — vi förkastar ungefär 88 % av 5×5-kandidaterna.
| Storlek | Kandidater utan unik radlogik-lösning (förkastade) |
|---|---|
| Lätt 5×55×5 | 87.6% |
| Medel 10×1010×10 | 68.9% |
| Svårt 15×1515×15 | 49.6% |
100% · En lösning — lösbart med enbart logik ✓
Water Sort — "par" är det verkliga minimet
Varje nivå går att lösa, och paret vi visar är exakt minsta möjliga antal drag — bevisat av en A*-solver, inte uppskattat. Svårare nivåer kräver fler: Svår ligger på 21–35 drag.
| Svårighetsgrad | Minsta antal drag (optimalt bevisat) |
|---|---|
| Lätt (7 rör)5 colors / 7 tubes | 8–16 (avg 11.8) |
| Medel (10 rör)8 colors / 10 tubes | 15–23 (avg 18.8) |
| Svårt (14 rör)12 colors / 14 tubes | 21–35 (avg 26.9) |
100% · Varje bräde lösbart — optimala drag visas ✓
Så kontrollerar du själv
Två regler håller dessa garantier ärliga. För det första är solvern oberoende av generatorn — en generator betygsätter aldrig sitt eget arbete. För det andra är allt reproducerbart: kör node scripts/guarantee-stats.mjs så får du samma bevisstorlekar. Varje solver är öppen i vår kodbas.
Data genererad 2026-07-26.
Vanliga frågor
Går alla FreeCell-spel att vinna?
Nästan alla. Av de första 1,000,000 numrerade givarna är exakt 8 olösbara — ungefär 99.9992 % går att vinna. Vi bevisar alla 8 olösbara med vår egen solver och serverar dem aldrig.
Vilka FreeCell-givar är omöjliga att vinna?
I den första miljonen: #11982, #146692, #186216, #455889, #495505, #512118, #517776 och #781948. #11982 är den enda olösbara givan bland Microsofts ursprungliga 32,000.
Vad betyder Minesweeper utan gissningar?
Varje bräde går att lösa enbart med logik — du når aldrig ett läge där två rutor är lika sannolika att vara en mina och du måste gissa. Bräden som skulle tvinga fram en gissning förkastas innan vi serverar dem.
Har varje Nonogram en unik lösning?
Ja. Varje pussel verifieras ha exakt en lösning, nåbar med rad-för-rad-logik — så du behöver aldrig gissa eller backa från en felaktig gren.
Är Water Sorts antal drag det verkliga minimet?
Ja. Paret beräknas av en exakt A*-solver som det bevisbart minsta antalet drag för den nivån, inte en approximation.