Compute all of SATLIB v8

A community game — crowdsource the SATLIB archive through npdollars.

Progress

loading…

–

Instances

–

Solved (SAT/UNSAT)

–

Reduced

–

Remaining

$–

Total Cost

Handle (shows on leaderboard): keep going

Finish the residue — · REDUCED · — · TIMEOUT
Cycles through REDUCED/TIMEOUT with escalated budget — no Lambda spend.

Push mode — big budget, big spend

Spot a laptop's worth of compute on the hardest remaining instances. Each call is capped at $12, monthly spend capped at $50. status

#	Handle	Solves

Built on npdollars v8 · architecture · economics · /developers · /dashboard
Charles Dana · Monce SAS · 2026