Skip to content

Reproduce index

Every result on the wiki that ships a reproduce command, in one table: what the command does, whether it re-runs the search or only re-checks a stored board, and roughly what it costs to run. Click a column head to reorder.

40 commands

Pipeline
A sound colour-counting prune for break-tolerant searchseededsearch25 s cap per A/B arm on the phase 1 grid, 300 s per arm on the certificate rows0.056—
Blackwood's solver, decoded and run hereheavysearch60-120 s per run0.033—
CASseededsearchbaseline arm 45 s × 8 frames; CAS arm deterministic per-shell beam over 20 frames (the source's per-shell MIP took 25 to 45 s per frame)0.10cas-annular
Constraint immediacy: every fill order pays the same 480exactsearch——constraint-immediacy
CSP presets, measuredseededsearch60 s2.0—
Entropy and the area lawexactsearch——entropy-area-law
Forbidden patternsexactsearch——forbidden-patterns
GAUNTLETstochasticverify only~5 min ALNS lift per build (exploratory run, not the standardized single-core bench)0.67record-boards
KEYRINGstochasticverify onlynot logged (exploratory run, not the standardized single-core bench)—record-boards
Linking the clues early does not help, it hurtsexactsearch——clue-corridors
LODESTONEstochasticverify onlynot logged (exploratory run, not the standardized single-core bench)—record-boards
Making a beam producer 10x better: the answer is widthseededsearch12 s saturated width-law passes; 3 s per A/B arm (192 arms in the powered SMC comparison)0.0033beam-width-smc
McGavin's C backtracker: the throughput story, built hereheavysearch30 s per run0.0083—
No forced movesexactsearch——no-forced-moves
PALIMPSESTstochasticverify only~30 min × 6 seeds (exploratory run, not the standardized single-core bench)4.0record-boards
Piece theft, where solvers dieexactsearch——piece-theft
PRIORstochasticverify onlynot logged (exploratory run, not the standardized single-core bench)—record-boards
Reading a row's future in its leftover piecesseededsearchabout 2 minutes for the full 120-seed run, single core0.27—
Reference numbersexactsearch——subgrid-placement-counts
Single-core benchmarkseededsearch60 s2.5—
STAGEDstochasticverify onlynot logged (exploratory run, not the standardized single-core bench)—record-boards
The 470 wall: a phase boundary, not an engineering limitexactsearch——the-470-wall
The board as a codewordexactsearch——permutation-code-wall
The border balanceexactsearch——border-mismatch-share
The DFS studyseededsearch60 s0.017—
The fluid frameexactsearchwell under a minute for the 500-frame main run on one core (; a preflight at the default scale completed in about 7 s)0.016—
The frame is not the basin: a different border does not open a different high boardseededsearch——frame-is-not-the-basin
The hard region you cannot design awayseededsearch——irreducible-hard-region
The hint studyseededsearch8 s per run0.0022—
The JIT backtracker: portable Rust that ties hand-tuned C on hard boardsheavysearch6–30 s per benchmark run0.0083—
The piece set is extreme on every measured axisexactsearch——adversarial-piece-set
The rare colors live on the frameexactsearch——rare-color-geography
The repair studyseededsearch60 s0.017—
The scaling ladderseededsearch12 s single-core budget per (solver, instance, seed) run; 4 rungs × 8 seeds × 2 solvers = 64 runs0.0033scaling-ladder
The tail as its own exact problemseededsearch——exact-tail-endgame
Tuned to the hardness peakexactsearch——phase-transition
Verhaard reimplementationseededsearch120 s0.033—
Where you place the hints beats how manyseededsearch———
Why a faster computer doesn't helpexactsearch——prune-vs-speed
Why basin-hopping looks impossibleexactverify only——sigma-cycles