Go faster
Raw throughput: bit tricks, cache-friendly layouts, nodes-per-second engineering, and why speed alone cannot crack the puzzle.
Why it's hard
Build a solver
The lab
experiment
Single-core benchmark
page
The reference engine behind this site
finding
Making a beam producer 10x better: the answer is width
page
The DFS study
page
How the DFS study is built
page
What the DFS study found
page
The repair study
page
How the repair study is built
page
What the repair study found
concept
Going fast: when a solver spends its budget on speed
experiment
The JIT backtracker: portable Rust that ties hand-tuned C on hard boards
experiment
McGavin's C backtracker: the throughput story, built here
experiment
Blackwood's solver, decoded and run here
page
Verhaard's eii: the solver that won the only prize
experiment
Verhaard reimplementation