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).

Missing solvers

What the archive lacks, and where you can help. SAT Heritage only keeps solvers it can rebuild from source: for the entries below the source is lost, was never published, or only the competition binary survives. If you have a copy, or know where one survives, open an issue or a pull request on GitHub; SOURCES.md lists where every year's archives are hosted.

Images without a usable source (23)

Entries of the catalogue whose source archive is missing, binary-only, or could not be fetched in the last test run. The list grows as the test suite reaches the older years.
SolverYearAuthorsProblem
ornithorynque2007Olivier ROUSSELFIXME no source or binary available?
jMiniSat2011Carsten Sinzno source archive is referenced for this entry
kw2011Johan Alfredssonno source archive is referenced for this entry
SAT07-reference-solver-minisat2011Niklas Sorensson and Niklas Eenno source archive is referenced for this entry
SAT09-reference-solver-SATzilla2009_C2011Lin Xu, Frank Hutter, Holger H. Hoos and Kevin Leyton-Brownno source archive is referenced for this entry
SAT09-reference-solver-SATzilla2009_R2011Lin Xu, Frank Hutter, Holger H. Hoos and Kevin Leyton-Brownno source archive is referenced for this entry
SAT_Intersec_012011Igor Ulyanovskyno source archive is referenced for this entry
satUZK-seq2017Alexander van der GrintenFIXME: only binary
abcd_para182018Jingchao Chenthe archived source could not be downloaded in the last test run
CaDiCaL2018Armin Bierethe archived source could not be downloaded in the last test run
cbpenelope20182018Tomohiro SonobeSources unavailable: cbpenelope2018.zip is not among the files of the Zenodo record 5778760 that hosts the 2018 archives.
ccspenelope20182018Tomohiro SonobeSources unavailable: ccspenelope2018.zip is not among the files of the Zenodo record 5778760 that hosts the 2018 archives.
cmsat55_run_parallel2018Mate Soosthe archived source could not be downloaded in the last test run
ddc-submit182018Alexander van der Grintenthe archived source could not be downloaded in the last test run
hordesat2018authors not recordedthe archived source could not be downloaded in the last test run
manyglucose-4.1-2-satcomp20182018Yuuya Gotou, Hidetomo Nabeshimathe archived source could not be downloaded in the last test run
painless-mcomsps2018Ludovic Le Frioux, Hakan Metin, Souheib Baarir, Maximilien Colange, Julien Sopena, Fabrice Kordonthe archived source could not be downloaded in the last test run
penelope_MDCL2018Rodrigue Konan Tchinda, Clémentin Tayou Djamegnithe archived source could not be downloaded in the last test run
plingeling-sc18-starexec2018Armin Bierethe archived source could not be downloaded in the last test run
scalope2018Rodrigue Konan Tchinda, Clémentin Tayou DjamegniSources unavailable: scalope.zip is not among the files of the Zenodo record 5778760 that hosts the 2018 archives.
syrup2018Gilles Audemard, Laurent Simonthe archived source could not be downloaded in the last test run
treengeling-sc18-starexec2018Armin Bierethe archived source could not be downloaded in the last test run
cadical-trail2020Randy Hickey, Nick Feng, Fahiem BacchusFIXME: miss sources.

Solvers we only have as a binary (192)

The competition kept and published the binary but not the sources (2002 to 2005 in particular). The image packages that binary as is, so it runs and can be verified, but nothing can be rebuilt, studied or fixed. If you are an author and still have the sources, or know where they survive, they are very welcome. See them in the catalogue →
SolverYearAuthorsStatus
csat2000Olivier Dubois, Pascal André, Yacine Boufkhad, Jacques CarlierVerified (packaged binary)
eqsatz2000Chu Min LiPackaged binary, checks failed
heerhugo2000Jan Friso Groote, Joost P. WarnersPackaged binary, checks failed
modoc2000Allen Van Gelder, Fumiaki KamiyaVerified (packaged binary)
modoc-2.02000Allen Van Gelder, Fumiaki KamiyaPackaged binary, checks failed
nsat2000João Marques-Silva, Karem A. SakallahPackaged binary, checks failed
ntab2000James M. Crawford, Larry D. AutonPackaged binary, checks failed
ntab_back2000James M. Crawford, Larry D. AutonPackaged binary, checks failed
ntab_back22000James M. Crawford, Larry D. AutonPackaged binary, checks failed
oksolver2000Oliver KullmannVerified (packaged binary)
posit2000Jon William FreemanPackaged binary, checks failed
relsat2000Roberto J. Bayardo, Robert SchragPackaged binary, checks failed
relsat-2002000Roberto J. Bayardo, Robert SchragPackaged binary, checks failed
sat-grasp2000João Marques-Silva, Karem A. SakallahPackaged binary, checks failed
sato2000Hantao ZhangVerified (packaged binary)
sato-3.2.12000Hantao ZhangPackaged binary, checks failed
satz2000Chu Min Li, AnbulaganPackaged binary, checks failed
satz-2132000Chu Min Li, AnbulaganPackaged binary, checks failed
satz-2152000Chu Min Li, AnbulaganPackaged binary, checks failed
zchaff2000Lintao Zhang, Sharad MalikVerified (packaged binary)
zres2000Philippe Chatalic, Laurent SimonPackaged binary, checks failed
2clseq2002Fahiem BacchusVerified (packaged binary)
berkmin2002Eugene Goldberg, Yakov NovikovVerified (packaged binary)
blindsat2002Anatoly Plotnikov, Stas BusyginPackaged binary, checks failed
dlmsat12002Benjamin Wah, Alan Zhe WuVerified (packaged binary)
dlmsat22002Benjamin Wah, Alan Zhe WuVerified (packaged binary)
dlmsat32002Benjamin Wah, Alan Zhe WuVerified (packaged binary)
ga2002Anton Eremeev, Pavel BorisovskyVerified (packaged binary)
limmat2002Armin BiereVerified (packaged binary)
lsat2002Richard Ostrowski, Bertrand Mazure, Lakhdar SaisVerified (packaged binary)
marchI2002Marijn Heule, Hans van Maaren, Mark Dufour, Joris van ZwietenVerified (packaged binary)
marchI-hc2002Marijn Heule, Hans van Maaren, Mark Dufour, Joris van ZwietenVerified (packaged binary)
marchII2002Marijn Heule, Hans van Maaren, Mark Dufour, Joris van ZwietenVerified (packaged binary)
marchII-hc2002Marijn Heule, Hans van Maaren, Mark Dufour, Joris van ZwietenVerified (packaged binary)
marchIIse2002Marijn Heule, Hans van Maaren, Mark Dufour, Joris van ZwietenVerified (packaged binary)
marchIIse-hc2002Marijn Heule, Hans van Maaren, Mark Dufour, Joris van ZwietenVerified (packaged binary)
marchIse2002Marijn Heule, Hans van Maaren, Mark Dufour, Joris van ZwietenVerified (packaged binary)
modoc2002Allen Van GelderVerified (packaged binary)
oksolver2002Oliver KullmannVerified (packaged binary)
partsat2002John KolenVerified (packaged binary)
rb2cl2002Allen Van GelderVerified (packaged binary)
sato2002Hantao ZhangVerified (packaged binary)
saturn2002Steven PrestwichVerified (packaged binary)
simo2002Armando Tacchella, Enrico Giunchiglia, Marco MarateaVerified (packaged binary)
unitwalk2002Edward A. Hirsch, Arist KojevnikovVerified (packaged binary)
usat052002Bu DongboVerified (packaged binary)
usat102002Bu DongboVerified (packaged binary)
zchaff2002Lintao Zhang, Sharad MalikVerified (packaged binary)
BerkMin5612003Eugene Goldberg, Yakov NovikovVerified (packaged binary)
BerkMin622003Eugene Goldberg, Yakov NovikovVerified (packaged binary)
bmSat2003Xiaowei XuVerified (packaged binary)
compsat2003Armin BiereVerified (packaged binary)
farseer2003Martin GirardVerified (packaged binary)
Forklift2003Eugene Goldberg, Yakov NovikovVerified (packaged binary)
funex2003Armin BiereVerified (packaged binary)
Jerusat1.12003Alexander NadelVerified (packaged binary)
Jerusat1.1.b2003Alexander NadelVerified (packaged binary)
Jerusat1.1.c2003Alexander NadelVerified (packaged binary)
jquest2.jar2003Inês Lynce, João Marques-SilvaVerified (packaged binary)
kcnfs2003Gilles Dequen, Olivier DuboisVerified (packaged binary)
limmat2003Armin BiereVerified (packaged binary)
lsatv1.12003Richard Ostrowski, Bertrand Mazure, Lakhdar SaisVerified (packaged binary)
march-sp2003Mark Dufour, Marijn Heule, Joris van Zwieten, Hans van MaarenVerified (packaged binary)
march-tt2003Mark Dufour, Marijn Heule, Joris van Zwieten, Hans van MaarenVerified (packaged binary)
march-xq2003Mark Dufour, Marijn Heule, Joris van Zwieten, Hans van MaarenVerified (packaged binary)
Oepir2003Johan AlfredssonVerified (packaged binary)
opensatcomp.jar2003Gilles Audemard, Daniel Le Berre, Olivier RousselVerified (packaged binary)
QingTing2003Xiao Yu Li, Matthias F. Stallmann, Franc BrglezNot run yet
satnik2003Niklas SörenssonVerified (packaged binary)
sato2003Hantao ZhangVerified (packaged binary)
saturn2003Steven PrestwichVerified (packaged binary)
satzilla2003Kevin Leyton-Brown, Eugene Nudelman, Galen Andrew, Carla Gomes, Jim McFadden, Bart Selman, Yoav ShohamPackaged binary, checks failed
satzilla22003Kevin Leyton-Brown, Eugene Nudelman, Galen Andrew, Carla Gomes, Jim McFadden, Bart Selman, Yoav ShohamVerified (packaged binary)
Satzoo02003Niklas EénVerified (packaged binary)
Satzoo12003Niklas EénVerified (packaged binary)
siege2003Lawrence RyanVerified (packaged binary)
submit182003Sean Vogt, Andrew MachenVerified (packaged binary)
tts2003Ivor SpencePackaged binary, checks failed
UnitWalk2003Edward Hirsch, Arist KojevnikovVerified (packaged binary)
xQingTing2003Xiao Yu Li, Matthias F. Stallmann, Franc BrglezVerified (packaged binary)
zchaff2003Yinlei Yu, Lintao ZhangVerified (packaged binary)
adaptnovelty2004Holger Hoos, Dave TompkinsVerified (packaged binary)
brchaff2004Renato BruniVerified (packaged binary)
brchaff22004authors not recordedPackaged binary, checks failed
CirCUs2004HoonSang JinVerified (packaged binary)
CirCUsH02004HoonSang JinPackaged binary, checks failed
CirCUsH12004HoonSang JinVerified (packaged binary)
cls2004Wheeler RumlVerified (packaged binary)
compsat2004Armin BiereVerified (packaged binary)
CQuest2004Inês LynceVerified (packaged binary)
eqube12004Massimo NarizzanoVerified (packaged binary)
eqube22004Massimo NarizzanoVerified (packaged binary)
eureka2004authors not recordedVerified (packaged binary)
Forklift2004authors not recordedVerified (packaged binary)
funex2004Armin BiereVerified (packaged binary)
GaSAT2004Frédéric LardeuxVerified (packaged binary)
ISAT12004N. S. NarayanaswamyVerified (packaged binary)
ISAT22004N. S. NarayanaswamyVerified (packaged binary)
ISAT32004N. S. NarayanaswamyVerified (packaged binary)
Jerusat1.32004Alexander NadelVerified (packaged binary)
kcnfs2004Gilles Dequen, Olivier DuboisVerified (packaged binary)
lsatv1.12004Richard OstrowskiVerified (packaged binary)
march-0012004Marijn HeuleVerified (packaged binary)
march-0072004Marijn HeuleVerified (packaged binary)
march-eq-0102004Marijn Heule, Hans van MaarenVerified (packaged binary)
march-eq-1002004Marijn Heule, Hans van MaarenVerified (packaged binary)
minilearning.jar2004Daniel Le BerreVerified (packaged binary)
modoc2004Allen Van GelderVerified (packaged binary)
nanosat2004Armin BiereVerified (packaged binary)
novelty352004Holger HoosVerified (packaged binary)
novelty502004Holger HoosVerified (packaged binary)
OepirA2004Johan AlfredssonVerified (packaged binary)
OepirB2004Johan AlfredssonVerified (packaged binary)
OepirC2004Johan AlfredssonVerified (packaged binary)
ofsat2004Olivier FourdrinoyVerified (packaged binary)
QingTing2004Xiao Yu LiVerified (packaged binary)
quantor2004Armin BiereVerified (packaged binary)
rsaps2004Dave TompkinsVerified (packaged binary)
saprover2004Arist KojevnikovPackaged binary, checks failed
saps2004Dave TompkinsVerified (packaged binary)
sapsnr2004Dave TompkinsVerified (packaged binary)
SatELite_iota92004authors not recordedPackaged binary, checks failed
SatELite_lambda2004authors not recordedPackaged binary, checks failed
SatELite_lambda_all2004authors not recordedPackaged binary, checks failed
SatELite_mu2004authors not recordedVerified (packaged binary)
sato4.22004Hantao ZhangPackaged binary, checks failed
sato4.32004Hantao ZhangPackaged binary, checks failed
satzilla2004Eugene NudelmanPackaged binary, checks failed
satzilla-nr2004Eugene NudelmanPackaged binary, checks failed
satzilla-r2004Eugene NudelmanPackaged binary, checks failed
Satzoo-1.022004Niklas EénVerified (packaged binary)
siege_v42004authors not recordedPackaged binary, checks failed
tts-2-02004Ivor SpenceVerified (packaged binary)
UnitWalk2004Arist KojevnikovVerified (packaged binary)
walksatmp2004Henry KautzPackaged binary, checks failed
walksatskc2004Henry KautzPackaged binary, checks failed
Werewolf2004Jarrod RoyVerified (packaged binary)
wllsatv12004Richard OstrowskiPackaged binary, checks failed
zchaff2004Zhaohui Fu, Yogesh MahajanVerified (packaged binary)
zchaff-rand2004Zhaohui Fu, Yogesh MahajanVerified (packaged binary)
adaptnovelty2005Holger Hoos, Dave TompkinsVerified (packaged binary)
CirCUsA2005HoonSang Jin, Fabio SomenziVerified (packaged binary)
CirCUsB2005HoonSang Jin, Fabio SomenziVerified (packaged binary)
CirCUsD2005HoonSang Jin, Fabio SomenziVerified (packaged binary)
compsat2005Armin BiereVerified (packaged binary)
csat2005Feng Lu, Kai Yang, Kwang-Ting ChengVerified (packaged binary)
Dew-Satz-1a2005AnbulaganVerified (packaged binary)
Dew-Satz-1b2005AnbulaganVerified (packaged binary)
Dew-Satz-1c2005AnbulaganPackaged binary, checks failed
Dew-Satz-1d2005AnbulaganVerified (packaged binary)
Dew-Satz-1e2005AnbulaganVerified (packaged binary)
eureka-A2005Alexander Nadel, Ziyad HannaVerified (packaged binary)
eureka-B2005Alexander Nadel, Ziyad HannaVerified (packaged binary)
eureka-C2005Alexander Nadel, Ziyad HannaVerified (packaged binary)
g2wsat2005Chu Min Li, Wen Qi HuangVerified (packaged binary)
HaifaSat2005Roman GershmanVerified (packaged binary)
HaifaSat22005Roman GershmanVerified (packaged binary)
hsat.12005Domagoj BabicVerified (packaged binary)
hsat.52005Domagoj BabicVerified (packaged binary)
hsatrr2005Domagoj BabicVerified (packaged binary)
Jerusat1.31-A2005Alexander NadelVerified (packaged binary)
Jerusat1.31-B2005Alexander NadelVerified (packaged binary)
kcnfs2005Gilles Dequen, Olivier DuboisVerified (packaged binary)
kcnfs-20042005Gilles Dequen, Olivier DuboisVerified (packaged binary)
lsatv1.12005Richard OstrowskiVerified (packaged binary)
march-dl2005Marijn Heule, Mark Dufour, Joris van Zwieten, Hans van MaarenNot run yet
march-eq-1002005authors not recordedVerified (packaged binary)
midisat-static2005Raihan Kibria, Niklas Eén, Niklas SörenssonVerified (packaged binary)
minisat-static2005Niklas Sörensson, Niklas EénVerified (packaged binary)
ranov2005Duc Nghia Pham, AnbulaganVerified (packaged binary)
rpaws102005Duc Nghia Pham, AnbulaganVerified (packaged binary)
rpaws402005Duc Nghia Pham, AnbulaganVerified (packaged binary)
rpaws52005Duc Nghia Pham, AnbulaganVerified (packaged binary)
rrsaps2005Duc Nghia Pham, AnbulaganVerified (packaged binary)
saps2005Dave Tompkins, Holger Hoos, Frank HutterVerified (packaged binary)
sat4j-sat2005.jar2005Daniel Le Berre, Mederic Baron, Geoffrey BourgeoisVerified (packaged binary)
sat4j.jar2005Daniel Le Berre, Mederic Baron, Geoffrey BourgeoisVerified (packaged binary)
tts-3-02005Ivor SpenceVerified (packaged binary)
vw2005Steven PrestwichPackaged binary, checks failed
wllsatv12005Richard OstrowskiPackaged binary, checks failed
zchaff2005Zhaohui FuVerified (packaged binary)
zchaff-rand2005Yogesh Mahajan, Sharad Malik, Lintao Zhang, Zhaohui FuVerified (packaged binary)
saps2007Dave A.D. Tompkins, Frank Hutter and Holger HoosVerified (packaged binary)
sapsrt2007Dave A.D. Tompkins, Frank Hutter and Holger HoosVerified (packaged binary)
Spear2007Domagoj BabicVerified (packaged binary)
Spear FH2007Domagoj BabicVerified (packaged binary)
Spear FHS2007Domagoj BabicVerified (packaged binary)
kw2009Johan AlfredssonVerified (packaged binary)
MiniSat2009Niklas Sorensson, Niklas EenVerified (packaged binary)
ppfolio2011Olivier ROUSSELVerified (packaged binary)
ppfolio2011Olivier ROUSSELVerified (packaged binary)
Sat4j default2023Daniel Le BerreVerified (packaged binary)

Solvers without an identified licence (355)

Their archive carries neither a licence file nor a licence header that we recognize. SAT Heritage redistributes competition sources as the competitions did; if you are an author, tell us the licence of your solver (an issue or a pull request adding a license field to its entry is enough). See them in the catalogue →

Award-winning solvers absent from the archive (37)

Podium places announced by the competition organizers whose solver has no image here: the entry was never archived, or the archive holds a different variant and the mapping is unresolved. Contributions welcome, from the sources themselves to a pointer to the right variant.
Competition nameYearPodiumNotes
CaDiCaL_watch_sat20211st SAT+UNSAT · cadical hack track 2021winner of the CaDiCaL hack track; not in the repository set source
Cryptominisat520201st · incremental track 2020IPASIR library track winner; not in the repository set source
ReasonLS20181st SAT+UNSAT · no-limits track 2018no-limits track: top-3 announced by the organizers but no awards given; not in the repository set source
CryptoMiniSat 5.5 V2020183rd SAT+UNSAT · no-limits track 2018no-limits track: top-3 announced by the organizers but no awards given; entry cms55-nolimits-otherconf-v20, not in the repository set source
CaDiCaL Agile20171st SAT+UNSAT · agile track 2017agile-track binary cadical-agile (no proof output); the repository holds the main-track proof builds cadical-sc17-agile-proof / cadical-sc17-proof, so no mapping; the organizers list the team's other entries in the same medal cell: CaDiCaL NoProof source
AbcdSAT20171st · incremental track 2017IPASIR library entry; not in the repository set source
Glucose20172nd · incremental track 2017tie for second place with Riss; IPASIR library entry, not in the repository set source
Riss20172nd · incremental track 2017tie for second place with Glucose; IPASIR library entry, not in the repository set source
COMiniSatPS Pulsar20171st SAT+UNSAT · no-limits track 2017no-limits entry COMiniSatPS_Pulsar_no_drup; the repository holds the proof-producing main-track build, so no mapping source
MapleCOMSPS LRB VSIDS 220172nd SAT+UNSAT · no-limits track 2017no-limits entry MapleCOMSPS_LRB_VSIDS_2_no_drup; the repository holds the proof-producing main-track build, so no mapping; the organizers list the team's other entries in the same medal cell: MapleCOMSPS LRB VSIDS source
CaDiCaL NoProof20173rd SAT+UNSAT · no-limits track 2017no-limits entry cadical-sc17-noproof; not in the repository set source
CryptoMiniSat20161st · incremental track 2016IPASIR library entry (cryptominisat4); not in the repository set source
Glucose20162nd · incremental track 2016IPASIR library entry (glucose4); not in the repository set source
Riss20163rd · incremental track 2016IPASIR library entry (riss_521/riss_600); not in the repository set source
BreakIDCOMiniSatPS20161st SAT+UNSAT · no-limits track 2016not in the repository 2016 set source
Lingeling20162nd SAT+UNSAT · no-limits track 2016no-limit entry 'Lingeling bbc notrace' differs from the main-track build Lingelingbbcmain; no mapping source
abcdSAT20163rd SAT+UNSAT · no-limits track 2016no-limit entry abcdSAT_lim differs from the main-track abcdSAT_drup; no mapping source
Riss BlackBox20142nd SAT · application track 2014the repository holds three entries named Riss (riss, riss_1, riss_2); the 'BlackBox' configuration cannot be identified; no mapping source
SWDiA5BY20143rd SAT · application track 2014the repository holds two entries named SWDiA5BY (swdia5by, swdia5by_1) and the results do not say which one; no mapping source
SWDiA5BY20142nd SAT+UNSAT · application track 2014the repository holds two entries named SWDiA5BY (swdia5by, swdia5by_1) and the results do not say which one; no mapping source
Riss BlackBox20143rd SAT+UNSAT · application track 2014the repository holds three entries named Riss (riss, riss_1, riss_2); the 'BlackBox' configuration cannot be identified; no mapping source
SWDiA5BY20143rd certified UNSAT · application track 2014the repository holds two entries named SWDiA5BY (swdia5by, swdia5by_1) and the results do not say which one; no mapping source
Riss BlackBox20141st certified UNSAT · hard-combinatorial track 2014the repository holds three entries named Riss (riss, riss_1, riss_2); the 'BlackBox' configuration cannot be identified; no mapping source
ROKKminisat20143rd application SAT+UNSAT · minisat hack track 2014the repository has ROKK and ROKK(sat) but no entry named ROKKminisat; no mapping source
CSHCpar820131st · open track 2013not in the repository 2013 set source
MIPSat20132nd · open track 2013open-track (mixed benchmarks) configuration; not mapped to the application-track mipsat entry source
GlucoRed+March r53120133rd · open track 2013open-track combination; not the same entry as glucored source
MIPSat random sat_unsat20132nd SAT+UNSAT · random track 2013the repository only holds the application and hard-combinatorial MIPSat configurations source
3S (coach)20113rd SAT · crafted track 20113S (coach) is not part of the repository 2011 set source
3S (coach)20111st SAT+UNSAT · crafted track 20113S (coach) is not part of the repository 2011 set source
3S (coach)20112nd UNSAT · crafted track 20113S (coach) is not part of the repository 2011 set source
3S (coach)20113rd SAT · crafted track (wall-clock time) 2011wall-clock time ranking (parallel and sequential solvers together); 3S (coach) is not part of the repository 2011 set source
3S (coach)20113rd SAT+UNSAT · crafted track (wall-clock time) 2011wall-clock time ranking (parallel and sequential solvers together); 3S (coach) is not part of the repository 2011 set source
3S (coach)20111st SAT+UNSAT · random track 20113S (coach) is not part of the repository 2011 set source
3S (coach)20112nd SAT+UNSAT · random track (wall-clock time) 2011wall-clock time ranking (parallel and sequential solvers together); 3S (coach) is not part of the repository 2011 set source
LySAT i20093rd SAT+UNSAT · application track 2009awarded entry is LySAT i (industrial version, 2009-03-20); the repository only holds LySAT c (crafted version), so no mapping source
LySAT i20093rd UNSAT · application track 2009awarded entry is LySAT i (industrial version, 2009-03-20); the repository only holds LySAT c (crafted version), so no mapping source