SAT solvers from the first competitions to Knuth's programs, each as a Docker image with a binary ready to run, the most thorough traceability we can offer (original sources, dated build environment, recipe and verification), and reproducible in a few clicks on your own machine.

A collective site, still being completed: please check, correct and contribute. Everything on these pages is generated from the data of the sat-heritage/docker-images repository as it stands today: which solvers build, which answer correctly, who wrote them, under which licence, with which awards. Much of it was assembled recently, year by year, partly with the help of an AI assistant, and is still being verified. Treat every claim as provisional and check it against the original competition material before relying on it. We strongly encourage pull requests and verification reports: a corrected author line, a licence, a working recipe, a missing solver, or the outcome of running an image on your own machine are all welcome as pull requests or issues. The goal is a site maintained by the SAT community as a whole. Images not on Docker Hub yet can be built locally with satex build <solver>:<year> (pip install satex).
A project by Gilles Audemard, Loïc Paulevé and Laurent Simon · tool paper: SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers, SAT 2020 (arXiv)

Thirty years of SAT solvers, one docker run away.

SAT Heritage archives and rebuilds SAT solvers from their original sources, in a build environment of their time, and verifies that each image still answers correctly: every solver submitted to the SAT competitions since 2002, but also historical releases and programs that never entered a competition, such as Donald Knuth's SAT solvers from The Art of Computer Programming. Browse the catalogue, or pull an image and run it on your instance.

Everything here was assembled from scattered sources, competition archives, proceedings, run scripts and README files, with the help of Claude Fable 5.1 since September 2026, and is reported with caution: despite our efforts, author names may be missing or wrong, versions approximate, and some solvers may not build or run as they did in competition. Contributions are welcome, from a corrected author line to a fixed recipe: open an issue or a pull request on GitHub.

Browse the catalogue →
No compiler, no dependencies: pull it from Docker and run it.
docker pull satex/kissat-sc2024:2024
docker run --rm -v $PWD:/data satex/kissat-sc2024:2024 instance.cnf proof.out
Every solver is an image on Docker Hub, named satex/<solver>:<year>. Give it a DIMACS file, and a proof file if you want one. The satex script (pip install satex) lists, runs and extracts them in one line.
Don't trust, verify. Nothing is hidden: each image carries the full provenance of its build, the archived competition sources, the exact build environment (a Debian image pinned by digest and a dated package snapshot) and the recipe, all versioned in the repository and shown on every solver page. If you would rather not trust our images, satex build <solver>:<year> rebuilds them on your machine from the same sources with the same recipe. It takes longer, but you get the same solver.
967
solver images
880
run through the test suite so far
663
of them compile from source today
192
binary only: the competition binary is packaged, no sources exist
791
of them fully verified (build, SAT, UNSAT, proof)
196 994
Docker Hub pulls, our own builds and tests included
28 327
source archive downloads, GitHub releases and Zenodo records together
873
images on Docker Hub, checked 2026-09-25
21
competition years, 2000 to 2026
612
images with an identified licence (355 unknown)
11
solver families
440
authors
Top 3 solvers by medals →
  1. ppfolio 2011 · 24 pts
  2. sateliteGTI 2005 · 14 pts
  3. kissat-sc2024 2024 · 9 pts
Top 3 authors by medals →
  1. Armin Biere 127 pts
  2. Mathias Fleury 40 pts
  3. Shaowei Cai 35 pts

Solver images per competition year

Each image sits on the highest rung it reached in its last run: source unavailable, source available but build fails, compiles, runs but a check fails, verified (build, SAT model, UNSAT and proof all pass). Gray: never run through the test suite yet. For the binary-only years (2000 to 2005, part of 2007 and 2009) "compiles" only means that the competition binary was packaged.
044892000: 23 images; 18 runs, 5 verified2000: 23 images; 18 runs, 5 verified2320002002: 27 images; 1 runs, 26 verified2002: 27 images; 1 runs, 26 verified2720022003: 33 images; 1 not run yet, 2 runs, 30 verified2003: 33 images; 1 not run yet, 2 runs, 30 verified2003: 33 images; 1 not run yet, 2 runs, 30 verified3320032004: 62 images; 15 runs, 47 verified2004: 62 images; 15 runs, 47 verified6220042005: 44 images; 2 not run yet, 3 runs, 39 verified2005: 44 images; 2 not run yet, 3 runs, 39 verified2005: 44 images; 2 not run yet, 3 runs, 39 verified4420052007: 42 images; 5 not run yet, 37 verified2007: 42 images; 5 not run yet, 37 verified4220072009: 51 images; 6 not run yet, 2 runs, 43 verified2009: 51 images; 6 not run yet, 2 runs, 43 verified2009: 51 images; 6 not run yet, 2 runs, 43 verified5120092011: 89 images; 6 not run yet, 13 source available, 70 verified2011: 89 images; 6 not run yet, 13 source available, 70 verified2011: 89 images; 6 not run yet, 13 source available, 70 verified8920112013: 82 images; 19 not run yet, 3 runs, 60 verified2013: 82 images; 19 not run yet, 3 runs, 60 verified2013: 82 images; 19 not run yet, 3 runs, 60 verified8220132014: 52 images; 7 not run yet, 8 runs, 37 verified2014: 52 images; 7 not run yet, 8 runs, 37 verified2014: 52 images; 7 not run yet, 8 runs, 37 verified5220142016: 48 images; 13 not run yet, 1 runs, 34 verified2016: 48 images; 13 not run yet, 1 runs, 34 verified2016: 48 images; 13 not run yet, 1 runs, 34 verified4820162017: 37 images; 8 not run yet, 1 runs, 28 verified2017: 37 images; 8 not run yet, 1 runs, 28 verified2017: 37 images; 8 not run yet, 1 runs, 28 verified3720172018: 56 images; 6 not run yet, 11 source unavailable, 2 source available, 2 runs, 35 verified2018: 56 images; 6 not run yet, 11 source unavailable, 2 source available, 2 runs, 35 verified2018: 56 images; 6 not run yet, 11 source unavailable, 2 source available, 2 runs, 35 verified2018: 56 images; 6 not run yet, 11 source unavailable, 2 source available, 2 runs, 35 verified2018: 56 images; 6 not run yet, 11 source unavailable, 2 source available, 2 runs, 35 verified5620182019: 53 images; 2 not run yet, 2 runs, 49 verified2019: 53 images; 2 not run yet, 2 runs, 49 verified2019: 53 images; 2 not run yet, 2 runs, 49 verified5320192020: 46 images; 2 not run yet, 44 verified2020: 46 images; 2 not run yet, 44 verified4620202021: 36 images; 1 source available, 1 compiles, 34 verified2021: 36 images; 1 source available, 1 compiles, 34 verified2021: 36 images; 1 source available, 1 compiles, 34 verified3620212022: 54 images; 2 runs, 52 verified2022: 54 images; 2 runs, 52 verified5420222023: 47 images; 1 runs, 46 verified2023: 47 images; 1 runs, 46 verified4720232024: 18 images; 18 verified1820242025: 24 images; 24 verified2420252026: 34 images; 1 not run yet, 33 verified2026: 34 images; 1 not run yet, 33 verified342026
not run yetsource unavailablesource availablecompilesrunsverified

Most credited authors

Number of solver images an author is credited on, all years together. Author lists are still being cleaned up, from submitter names to full credits: if you do not find yourself, send a pull request.
Armin BiereArmin Biere: 7070Norbert MantheyNorbert Manthey: 3939Chu-Min LiChu-Min Li: 3838Rodrigue Konan TchindaRodrigue Konan Tchinda: 3333Clémentin Tayou DjamegniClémentin Tayou Djamegni: 3333Jingchao ChenJingchao Chen: 3030Yang XuYang Xu: 2828Marijn HeuleMarijn Heule: 2828Mao LuoMao Luo: 2727Guanfeng WuGuanfeng Wu: 2727Shaowei CaiShaowei Cai: 2626Chanseok OhChanseok Oh: 2626

Solver families

Detected from the solver name and its executable; 546 images belong to no listed family. Work in progress: a misplaced or missing family is one pull request away.
KissatKissat: 110110GlucoseGlucose: 110110MiniSatMiniSat: 6666MapleMaple: 4747CaDiCaLCaDiCaL: 4646LingelingLingeling: 1616MergeSatMergeSat: 99SLIMESLIME: 77SeqFROSTSeqFROST: 66IsaSATIsaSAT: 44

Award-winning solvers

Winners of every track and category as announced by the competition organizers, 2002 to 2026, with the rest of each podium folded. Ties share a rank; only podiums whose solver has an image here are listed, see data/awards.json for the sources. This summary is an extraction from the database and involves choices and interpretations that may still change (some solver names are not clarified yet); any help is welcome, send a pull request.
Winners in the catalogue → Every awarded solver → Leaderboards →

2026 2 tracks

1st satsuma-iter-kissat main track
1st SAT satsuma-iter-ae-kissat-mab main track, SAT
1st UNSAT satsuma-iter-kissat main track, UNSAT
1st SAT lymphosat AI generated / AI tuned subtrack, SAT
6 more podium places
2nd kissat-mab-hypre main track
3rd kissat-eda-2 main track
2nd SAT kissat-mab-hypre main track, SAT
3rd SAT kissat-ae-hucb main track, SAT
2nd UNSAT kissat-mab-hypre-v2 main track, UNSAT
3rd UNSAT kissat-eda-3 main track, UNSAT

2025 1 track

1st AE_kissat2025_MAB main track
1st SAT AE_kissat2025_MAB main track, SAT
1st UNSAT cadical-sc2025 main track, UNSAT
6 more podium places
2nd kissat-public main track
3rd vsa main track
2nd SAT kissat-public main track, SAT
3rd SAT Kissat-CURE main track, SAT
2nd UNSAT vsa main track, UNSAT
3rd UNSAT AE_kissat2025_bump main track, UNSAT

2024 1 track

1st kissat-sc2024 main track
1st SAT kissat-sc2024 main track, SAT
1st UNSAT kissat-sc2024 main track, UNSAT
6 more podium places
2nd Kissat_MAB-DC main track
3rd hKis main track
2nd SAT BreakID-Kissat main track, SAT
3rd SAT hKis main track, SAT
2nd UNSAT hCaD main track, UNSAT
3rd UNSAT Kissat_MAB-DC main track, UNSAT

2023 2 tracks

1st SBVA main track
1st SAT SBVA main track, SAT
1st UNSAT Kissat_MAB_prop main track, UNSAT
1st CaDiCaL_vivinst CaDiCaL hack track
6 more podium places
2nd Kissat_MAB_prop_pr main track
3rd MapleCaDiCaL_PPD main track
2nd SAT Cadical_rel_1.5.3.Scavel main track, SAT
3rd SAT CaDiCaL_vivinst main track, SAT
2nd UNSAT SBVA main track, UNSAT
3rd UNSAT PReLearn-kissat main track, UNSAT

2022 3 tracks

1st Kissat_MAB-HyWalk main track
1st SAT SeqFROST-ERE-All main track, SAT
1st SAT SeqFROST-NoExtend main track, SAT
1st UNSAT hKis main track, UNSAT
1st UNSAT hKis main track, UNSAT
1st Kissat_MAB_ESA anniversary track
1st SAT kissat-sc2022-bulky anniversary track, SAT
1st UNSAT hKis anniversary track, UNSAT
1st kissat_pre no-limits track
15 more podium places
2nd kissat_inc main track
2nd kissat_pre main track
3rd ekissat-mab-db-v1 main track
2nd SAT kissat_inc main track, SAT
3rd SAT Kissat_MAB-HyWalk main track, SAT
2nd UNSAT kissat-sc2022-bulky main track, UNSAT
3rd UNSAT Kissat_MAB_UCB main track, UNSAT
2nd kissat-sc2022-bulky anniversary track
3rd ekissat-mab-gb-db anniversary track
2nd SAT Kissat_MAB_UCB anniversary track, SAT
3rd SAT ekissat-mab-gb-db anniversary track, SAT
2nd UNSAT Kissat_MAB_ESA anniversary track, UNSAT
3rd UNSAT kissat-sc2022-bulky anniversary track, UNSAT
2nd kissat_inc no-limits track
3rd Kissat_MAB-HyWalk no-limits track

2021 2 tracks

1st SAT+UNSAT kissat-MAB main track, SAT+UNSAT
1st SAT kissat-MAB main track, SAT
1st UNSAT hKiS main track, UNSAT
1st special innovation prize cadical-PriPro main track, special innovation prize
1st SAT+UNSAT SLIME crypto track, SAT+UNSAT
1st best CaDiCaL hack cadical-rp crypto track, best CaDiCaL hack
8 more podium places
2nd SAT+UNSAT kissat-sc2021 main track, SAT+UNSAT
3rd SAT+UNSAT kissat_gb main track, SAT+UNSAT
2nd SAT lstech_maple main track, SAT
3rd SAT kissat_gb main track, SAT
2nd UNSAT kissat_bonus main track, UNSAT
3rd UNSAT kissat-sc2021 main track, UNSAT
2nd SAT+UNSAT Relaxed_LCMDCBDL_SCAVEL01 crypto track, SAT+UNSAT
3rd SAT+UNSAT Relaxed_LCFTP_V2 crypto track, SAT+UNSAT

2020 2 tracks

1st SAT+UNSAT Kissat-sc2020-sat main track, SAT+UNSAT
1st SAT Relaxed_LCMDCBDL_newTech main track, SAT
1st UNSAT Kissat-sc2020-unsat main track, UNSAT
1st SAT+UNSAT cadical-alluip-trail planning track, SAT+UNSAT
8 more podium places
2nd SAT+UNSAT Relaxed_LCMDCBDL_newTech main track, SAT+UNSAT
3rd SAT+UNSAT cryptominisat-ccnr-lsids main track, SAT+UNSAT
2nd SAT Kissat-sc2020-sat main track, SAT
3rd SAT cryptominisat-ccnr-lsids main track, SAT
2nd UNSAT cadical-trail main track, UNSAT
3rd UNSAT MapleLCMDistChronoBT-f2trc-s main track, UNSAT
2nd SAT+UNSAT cryptominisat-ccnr-lsids planning track, SAT+UNSAT
3rd SAT+UNSAT Kissat-sc2020-unsat planning track, SAT+UNSAT

2019 1 track

1st SAT+UNSAT MapleLCMDiscChronoBT-DL-v3 main track, SAT+UNSAT
1st SAT CaDiCaL main track, SAT
1st UNSAT MapleLCMDiscChronoBT-DL-v3 main track, UNSAT
6 more podium places
2nd SAT+UNSAT CaDiCaL main track, SAT+UNSAT
3rd SAT+UNSAT MapleLCMdistCBTcoreFirst main track, SAT+UNSAT
2nd SAT MapleLCMDistChronoBT-DL-v2.1 main track, SAT
3rd SAT smallsat main track, SAT
2nd UNSAT expMaple_CM_GCBumpOnlyLRB main track, UNSAT
3rd UNSAT PSIDS_MapleLCMDistChronoBT main track, UNSAT

2018 5 tracks

1st SAT+UNSAT MapleLCMDistChronoBT main track, SAT+UNSAT
1st SAT MapleLCMDistChronoBT main track, SAT
1st UNSAT CaDiCaL main track, UNSAT
1st SAT+UNSAT GHackCOMSPS_drup glucose hack track, SAT+UNSAT
1st SAT+UNSAT painless-mcomsps parallel track, SAT+UNSAT
1st SAT plingeling-sc18-starexec parallel track, SAT
1st UNSAT painless-mcomsps parallel track, UNSAT
1st SAT Sparrow2Riss-2018 random track, SAT
17 more podium places
2nd SAT+UNSAT Maple_LCM_Scavel main track, SAT+UNSAT
3rd SAT+UNSAT Maple_CM main track, SAT+UNSAT
2nd SAT Maple_LCM_Scavel main track, SAT
3rd SAT cms55-main-all4fixed main track, SAT
2nd UNSAT Maple_LCM_M1 main track, UNSAT
3rd UNSAT Maple_CM main track, UNSAT
2nd SAT+UNSAT inIDGlucose glucose hack track, SAT+UNSAT
3rd SAT+UNSAT glu_mix glucose hack track, SAT+UNSAT
2nd SAT+UNSAT Maple_CM no-limits track, SAT+UNSAT
2nd SAT+UNSAT plingeling-sc18-starexec parallel track, SAT+UNSAT
3rd SAT+UNSAT abcd_para18 parallel track, SAT+UNSAT
2nd SAT painless-mcomsps parallel track, SAT
3rd SAT cmsat55_run_parallel parallel track, SAT
2nd UNSAT plingeling-sc18-starexec parallel track, UNSAT
3rd UNSAT abcd_para18 parallel track, UNSAT
2nd SAT gluHack random track, SAT
3rd SAT glucose-3.0_PADC_10 random track, SAT

2017 4 tracks

1st SAT+UNSAT Maple_LCM_Dist main track, SAT+UNSAT
1st SAT+UNSAT syrup parallel track, SAT+UNSAT
1st SAT yalsat-03s random track, SAT
8 more podium places
2nd SAT+UNSAT MapleCOMSPS_LRB_VSIDS_2_drup main track, SAT+UNSAT
3rd SAT+UNSAT COMiniSatPS_Pulsar_drup main track, SAT+UNSAT
2nd SAT+UNSAT glu_vc agile track, SAT+UNSAT
3rd SAT+UNSAT glucose-4.1 agile track, SAT+UNSAT
2nd SAT+UNSAT plingeling-bbe-sc2017 parallel track, SAT+UNSAT
3rd SAT+UNSAT painless parallel track, SAT+UNSAT
2nd SAT tch_glucose3 random track, SAT
3rd SAT Score2SAT random track, SAT

2016 4 tracks

1st SAT+UNSAT MapleCOMSPS_DRUP main track, SAT+UNSAT
1st best application benchmark solver MapleCOMSPS_DRUP main track, best application benchmark solver
1st best crafted benchmark solver tc_glucose main track, best crafted benchmark solver
1st best glucose hack glucose_hack_kiel_newScript main track, best glucose hack
1st SAT+UNSAT Riss6 agile track, SAT+UNSAT
1st SAT+UNSAT treengeling-bbc-sc2016 parallel track, SAT+UNSAT
1st SAT dimetheus random track, SAT
8 more podium places
2nd SAT+UNSAT Riss6 main track, SAT+UNSAT
3rd SAT+UNSAT Lingelingbbcmain main track, SAT+UNSAT
2nd SAT+UNSAT tb_glucose agile track, SAT+UNSAT
3rd SAT+UNSAT CHBR_glucose agile track, SAT+UNSAT
2nd SAT+UNSAT plingeling-bbc-sc2016 parallel track, SAT+UNSAT
3rd SAT+UNSAT cmsat5_run_parallel parallel track, SAT+UNSAT
2nd SAT CSCCSat random track, SAT
3rd SAT DCCAlm random track, SAT

2014 5 tracks

1st SAT+UNSAT Lingeling application track, SAT+UNSAT
1st SAT minisat_blbd application track, SAT
1st certified UNSAT Lingeling (druplig) application track, certified UNSAT
1st SAT+UNSAT glueSplit_clasp hard-combinatorial track, SAT+UNSAT
1st SAT SparrowToRiss hard-combinatorial track, SAT
1st application SAT+UNSAT MiniSat_HACK_999ED minisat hack track, application SAT+UNSAT
1st application SAT+UNSAT Plingeling parallel track, application SAT+UNSAT
1st hard-combinatorial SAT+UNSAT Treengeling parallel track, hard-combinatorial SAT+UNSAT
1st random SAT pprobSAT parallel track, random SAT
1st SAT dimetheus random track, SAT
16 more podium places
2nd certified UNSAT glucose (certified unsat) application track, certified UNSAT
2nd SAT+UNSAT Lingeling hard-combinatorial track, SAT+UNSAT
3rd SAT+UNSAT SparrowToRiss hard-combinatorial track, SAT+UNSAT
2nd SAT CCAnr+glucose hard-combinatorial track, SAT
3rd SAT SGSeq hard-combinatorial track, SAT
2nd certified UNSAT Lingeling (druplig) hard-combinatorial track, certified UNSAT
3rd certified UNSAT glucose (certified unsat) hard-combinatorial track, certified UNSAT
2nd application SAT+UNSAT minisat_blbd minisat hack track, application SAT+UNSAT
2nd application SAT+UNSAT PeneLoPe parallel track, application SAT+UNSAT
3rd application SAT+UNSAT Treengeling parallel track, application SAT+UNSAT
2nd hard-combinatorial SAT+UNSAT Plingeling parallel track, hard-combinatorial SAT+UNSAT
3rd hard-combinatorial SAT+UNSAT pmcSAT parallel track, hard-combinatorial SAT+UNSAT
2nd random SAT Plingeling parallel track, random SAT
3rd random SAT CSCCSat2014 parallel track, random SAT
2nd SAT BalancedZ random track, SAT
3rd SAT CSCCSat2014 random track, SAT

2013 5 tracks

1st SAT+UNSAT Lingeling application track, SAT+UNSAT
1st SAT Lingeling application track, SAT
1st certified UNSAT glucose application track, certified UNSAT
1st SAT+UNSAT BreakIDGlucose hard-combinatorial track, SAT+UNSAT
1st SAT glucose hard-combinatorial track, SAT
1st certified UNSAT Riss3g hard-combinatorial track, certified UNSAT
1st application SAT+UNSAT SINNminisat minisat hack track, application SAT+UNSAT
1st application SAT+UNSAT Plingeling parallel track, application SAT+UNSAT
1st hard-combinatorial SAT+UNSAT Treengeling parallel track, hard-combinatorial SAT+UNSAT
1st SAT+UNSAT CSHCrandMC random track, SAT+UNSAT
1st SAT probSAT random track, SAT
21 more podium places
2nd SAT+UNSAT Lingeling application track, SAT+UNSAT
3rd SAT+UNSAT ZENN application track, SAT+UNSAT
2nd SAT ZENN application track, SAT
3rd SAT satUZK application track, SAT
2nd certified UNSAT glueminisat-cert-unsat application track, certified UNSAT
3rd certified UNSAT Riss3g application track, certified UNSAT
2nd SAT+UNSAT gluebit_clasp hard-combinatorial track, SAT+UNSAT
3rd SAT+UNSAT glucose hard-combinatorial track, SAT+UNSAT
2nd SAT gluebit_clasp hard-combinatorial track, SAT
3rd SAT BreakIDGlucose hard-combinatorial track, SAT
2nd certified UNSAT glucose hard-combinatorial track, certified UNSAT
3rd certified UNSAT forl hard-combinatorial track, certified UNSAT
2nd application SAT+UNSAT minisat_bit minisat hack track, application SAT+UNSAT
3rd application SAT+UNSAT MiniGolf minisat hack track, application SAT+UNSAT
2nd application SAT+UNSAT Treengeling parallel track, application SAT+UNSAT
3rd application SAT+UNSAT PeneLoPe parallel track, application SAT+UNSAT
2nd hard-combinatorial SAT+UNSAT Plingeling parallel track, hard-combinatorial SAT+UNSAT
3rd hard-combinatorial SAT+UNSAT pmcSAT parallel track, hard-combinatorial SAT+UNSAT
3rd SAT+UNSAT march_vflip random track, SAT+UNSAT
2nd SAT sattime2013 random track, SAT
3rd SAT Ncca+ random track, SAT

2011 7 tracks

1st SAT+UNSAT glucose application track, SAT+UNSAT
1st SAT minisat-hack-contrasat application track, SAT
1st UNSAT glueminisat application track, UNSAT
1st SAT+UNSAT Plingeling application track (wall-clock time), SAT+UNSAT
1st SAT ppfolio application track (wall-clock time), SAT
1st UNSAT CryptoMiniSat application track (wall-clock time), UNSAT
1st SAT ppfolio crafted track, SAT
1st UNSAT clasp crafted track, UNSAT
1st SAT+UNSAT ppfolio crafted track (wall-clock time), SAT+UNSAT
1st SAT ppfolio crafted track (wall-clock time), SAT
1st UNSAT claspmt crafted track (wall-clock time), UNSAT
1st minisat-hack-cir_minisat minisat hack track
1st SAT sparrow2011 random track, SAT
1st UNSAT march_rw random track, UNSAT
1st SAT+UNSAT ppfolio random track (wall-clock time), SAT+UNSAT
1st SAT sparrow2011 random track (wall-clock time), SAT
1st UNSAT march_rw random track (wall-clock time), UNSAT
31 more podium places
2nd SAT+UNSAT glueminisat application track, SAT+UNSAT
3rd SAT+UNSAT Lingeling application track, SAT+UNSAT
2nd SAT minisat-hack-cir_minisat application track, SAT
3rd SAT MPhaseSAT64 application track, SAT
2nd UNSAT glucose application track, UNSAT
3rd UNSAT QuteRSat application track, UNSAT
2nd SAT+UNSAT CryptoMiniSat application track (wall-clock time), SAT+UNSAT
3rd SAT+UNSAT ppfolio application track (wall-clock time), SAT+UNSAT
2nd SAT Plingeling application track (wall-clock time), SAT
3rd SAT minisat-hack-contrasat application track (wall-clock time), SAT
2nd UNSAT glueminisat application track (wall-clock time), UNSAT
3rd UNSAT Plingeling application track (wall-clock time), UNSAT
2nd SAT+UNSAT ppfolio crafted track, SAT+UNSAT
3rd SAT+UNSAT ppfolio crafted track, SAT+UNSAT
2nd SAT ppfolio crafted track, SAT
3rd UNSAT glucose crafted track, UNSAT
2nd SAT+UNSAT claspmt crafted track (wall-clock time), SAT+UNSAT
2nd SAT ppfolio crafted track (wall-clock time), SAT
2nd UNSAT clasp crafted track (wall-clock time), UNSAT
3rd UNSAT ppfolio crafted track (wall-clock time), UNSAT
2nd SAT+UNSAT ppfolio random track, SAT+UNSAT
3rd SAT+UNSAT ppfolio random track, SAT+UNSAT
2nd SAT sattime2011 random track, SAT
3rd SAT EagleUP random track, SAT
2nd UNSAT MPhaseSAT_M random track, UNSAT
3rd UNSAT ppfolio random track, UNSAT
3rd SAT+UNSAT ppfolio random track (wall-clock time), SAT+UNSAT
2nd SAT csls random track (wall-clock time), SAT
3rd SAT sattime2011 random track (wall-clock time), SAT
2nd UNSAT ppfolio random track (wall-clock time), UNSAT
3rd UNSAT MPhaseSAT_M random track (wall-clock time), UNSAT

2009 5 tracks

1st SAT+UNSAT precosat application track, SAT+UNSAT
1st SAT SATzilla2009_I application track, SAT
1st UNSAT glucose application track, UNSAT
1st SAT+UNSAT clasp crafted track, SAT+UNSAT
1st SAT clasp crafted track, SAT
1st UNSAT SATzilla2009_C crafted track, UNSAT
1st MiniSAT_09z minisat hack track
1st application ManySAT-1.1 parallel track, application
1st random gNovelty+-T parallel track, random
1st SAT+UNSAT SATzilla2009_R random track, SAT+UNSAT
1st SAT TNM random track, SAT
1st UNSAT march_hi random track, UNSAT
15 more podium places
2nd SAT+UNSAT glucose application track, SAT+UNSAT
2nd SAT precosat application track, SAT
3rd SAT mxc-sat09 application track, SAT
2nd UNSAT precosat application track, UNSAT
2nd SAT+UNSAT SATzilla2009_C crafted track, SAT+UNSAT
3rd SAT+UNSAT IUT_BMB_SAT crafted track, SAT+UNSAT
2nd SAT SApperloT-base crafted track, SAT
3rd SAT mxc-sat09 crafted track, SAT
2nd UNSAT clasp crafted track, UNSAT
3rd UNSAT IUT_BMB_SAT crafted track, UNSAT
2nd SAT+UNSAT march_hi random track, SAT+UNSAT
2nd SAT gnovelty+2 random track, SAT
3rd SAT adaptg2wsat2009++ random track, SAT
3rd SAT hybridGM3 random track, SAT
2nd UNSAT SATzilla2009_R random track, UNSAT

2007 3 tracks

1st SAT+UNSAT Rsat industrial track, SAT+UNSAT
1st SAT picosat industrial track, SAT
1st UNSAT Rsat industrial track, UNSAT
1st SAT+UNSAT SATzilla crafted track, SAT+UNSAT
1st SAT March_KS crafted track, SAT
1st UNSAT SATzilla crafted track, UNSAT
1st SAT+UNSAT SATzilla random track, SAT+UNSAT
1st SAT gnovelty+ random track, SAT
1st UNSAT March_KS random track, UNSAT
18 more podium places
2nd SAT+UNSAT picosat industrial track, SAT+UNSAT
3rd SAT+UNSAT minisat industrial track, SAT+UNSAT
2nd SAT Rsat industrial track, SAT
3rd SAT minisat industrial track, SAT
2nd UNSAT minisat industrial track, UNSAT
3rd UNSAT TiniSatELite industrial track, UNSAT
2nd SAT+UNSAT minisat crafted track, SAT+UNSAT
3rd SAT+UNSAT MXC crafted track, SAT+UNSAT
2nd SAT SATzilla crafted track, SAT
3rd SAT minisat crafted track, SAT
2nd UNSAT TTS crafted track, UNSAT
3rd UNSAT minisat crafted track, UNSAT
2nd SAT+UNSAT March_KS random track, SAT+UNSAT
3rd SAT+UNSAT KCNFS random track, SAT+UNSAT
2nd SAT adaptg2wsat0 random track, SAT
3rd SAT adaptg2wsat+ random track, SAT
2nd UNSAT KCNFS random track, UNSAT
3rd UNSAT SATzilla random track, UNSAT

2005 3 tracks

1st SAT+UNSAT sateliteGTI industrial track, SAT+UNSAT
1st SAT sateliteGTI industrial track, SAT
1st UNSAT sateliteGTI industrial track, UNSAT
1st SAT+UNSAT vallst crafted track, SAT+UNSAT
1st SAT vallst crafted track, SAT
1st UNSAT sateliteGTI crafted track, UNSAT
1st SAT+UNSAT kcnfs-2004 random track, SAT+UNSAT
1st SAT ranov random track, SAT
1st UNSAT kcnfs-2004 random track, UNSAT
21 more podium places
2nd SAT+UNSAT minisat-static industrial track, SAT+UNSAT
3rd SAT+UNSAT HaifaSat industrial track, SAT+UNSAT
3rd SAT+UNSAT zchaff-rand industrial track, SAT+UNSAT
2nd SAT minisat-static industrial track, SAT
3rd SAT HaifaSat industrial track, SAT
3rd SAT Jerusat1.31-B industrial track, SAT
2nd UNSAT zchaff-rand industrial track, UNSAT
3rd UNSAT HaifaSat industrial track, UNSAT
2nd SAT+UNSAT sateliteGTI crafted track, SAT+UNSAT
3rd SAT+UNSAT march-dl crafted track, SAT+UNSAT
2nd SAT march-dl crafted track, SAT
3rd SAT hsat.1 crafted track, SAT
2nd UNSAT minisat-static crafted track, UNSAT
3rd UNSAT march-dl crafted track, UNSAT
3rd UNSAT vallst crafted track, UNSAT
2nd SAT+UNSAT march-dl random track, SAT+UNSAT
3rd SAT+UNSAT Dew-Satz-1a random track, SAT+UNSAT
2nd SAT g2wsat random track, SAT
3rd SAT vw random track, SAT
2nd UNSAT march-dl random track, UNSAT
3rd UNSAT Dew-Satz-1a random track, UNSAT

2004 3 tracks

1st SAT+UNSAT zchaff-rand industrial track, SAT+UNSAT
1st SAT Jerusat1.3 industrial track, SAT
1st UNSAT zchaff-rand industrial track, UNSAT
1st SAT+UNSAT march-eq-100 crafted track, SAT+UNSAT
1st UNSAT march-eq-100 crafted track, UNSAT
1st SAT+UNSAT adaptnovelty random track, SAT+UNSAT
1st SAT adaptnovelty random track, SAT

2003 3 tracks

1st SAT+UNSAT Forklift industrial track, SAT+UNSAT
1st SAT Forklift industrial track, SAT
1st SAT+UNSAT Satzoo1 handmade track, SAT+UNSAT
1st SAT Satzoo1 handmade track, SAT
1st SAT+UNSAT kcnfs random track, SAT+UNSAT
1st SAT UnitWalk random track, SAT

2002 3 tracks

1st SAT+UNSAT zchaff industrial track, SAT+UNSAT
1st SAT limmat industrial track, SAT
1st SAT+UNSAT zchaff handmade track, SAT+UNSAT
1st SAT berkmin handmade track, SAT
1st SAT+UNSAT oksolver random track, SAT+UNSAT
1st SAT oksolver random track, SAT

Most pulled solvers

Docker Hub pulls per repository, all years of a solver together, read on 2026-09-25. Our own builds and verification runs are counted. Full list →
zchaffzchaff: 14931493ttstts: 10991099adaptnoveltyadaptnovelty: 10391039kcnfskcnfs: 10101010modocmodoc: 10091009unitwalkunitwalk: 993993satosato: 990990compsatcompsat: 968968lsatv1.1lsatv1.1: 962962cadicalcadical: 824824

Most downloaded sources

Downloads of the source archives from the GitHub releases, read on 2026-09-25. Zenodo only counts downloads per record, so the years hosted there do not appear here. Our own builds and verification runs are counted.
Asat (2000)Asat (2000): 5151priss (2011)priss (2011): 4949SATzilla (2007)SATzilla (2007): 4040SLIME SC-2022 (2022)SLIME SC-2022 (2022): 3939ExMapleLCMDistChronoBT (2020)ExMapleLCMDistChronoBT (2020): 3838TiniSatELite (2007)TiniSatELite (2007): 3535SATzilla2009_C (2009)SATzilla2009_C (2009): 3434adaptg2wsat2011 (2011)adaptg2wsat2011 (2011): 3434cadical-hack-gb (2021)cadical-hack-gb (2021): 3131SAT09-reference-solver-ManySATSAT09-reference-solver-ManySAT-1.1 (2011): 3030

Did you know?

2011busiest year, 89 images
Armin Bierepresent in 20 competition years, from 2002 to 2026
363 imagesproduce an UNSAT proof that the test suite verified
440 authorscredited across 21 competition years
2000first competition in the archive (23 images)