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 480exactsearchconstraint-immediacy
CSP presets, measuredseededsearch60 s2.0
Entropy and the area lawexactsearchentropy-area-law
Forbidden patternsexactsearchforbidden-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 hurtsexactsearchclue-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 movesexactsearchno-forced-moves
PALIMPSESTstochasticverify only~30 min × 6 seeds (exploratory run, not the standardized single-core bench)4.0record-boards
Piece theft, where solvers dieexactsearchpiece-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 numbersexactsearchsubgrid-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 limitexactsearchthe-470-wall
The board as a codewordexactsearchpermutation-code-wall
The border balanceexactsearchborder-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 boardseededsearchframe-is-not-the-basin
The hard region you cannot design awayseededsearchirreducible-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 axisexactsearchadversarial-piece-set
The rare colors live on the frameexactsearchrare-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 problemseededsearchexact-tail-endgame
Tuned to the hardness peakexactsearchphase-transition
Verhaard reimplementationseededsearch120 s0.033
Where you place the hints beats how manyseededsearch
Why a faster computer doesn't helpexactsearchprune-vs-speed
Why basin-hopping looks impossibleexactverify onlysigma-cycles