SAT-Race 2008 Solvers

Here you can find a list of all solvers participating in (the final round of) SAT-Race 2008. Click on a solver's name to download a short description in PDF format.

Main Track (Sequential CNF)

SolverAuthor(s)Affiliation
BarcelogicMorgan Deters, Robert Nieuwenhuis, Albert Oliveras, Enric Rodriguez, Roberto Asin, Germain FaureTech. Univ. Catalonia
claspTorsten Schaub, Martin Gebser, Benjamin Kaufmann, Andre Neumann, Torsten SchaubUniversity of Potsdam
CMUSATHimanshu JainCarnegie Mellon Univ.
eSATSaid Jabbour, Lakhdar Sais, Gilles Audemard, Lucas Bordeaux, Youssef HamadiCrilLens / Microsoft
EurekaVadim Ryvchin, Alexander NadelIntel
kwJohan AlfredssonOepir Consulting
LocalMinisatVadim Ryvchin, Ofer StrichmanTechnion
MiniSatNiklas S÷rensson, Niklas EenIndependent / Cadence Research Lab
MXCDavid Bregman, David MitchellSimonFraserUniversity
picosatArmin BiereJohannes Kepler University
preSATCÚdric Piette, Youssef Hamadi, Lakhdar Sa´sCRIL-CNRS / Microsoft Research
RsatKnot Pipatsrisawat, Adnan DarwicheUCLA
SAT4J2.0Daniel Le BerreCRIL-CNRS
SATzillaLin Xu, Frank Hutter, Holger H. Hoos, Kevin Leyton-BrownUBC
SpearDomagoj BabicUBC
TinisatJinbo HuangNICTA

Special Track 1 (Parallel CNF)

SolverAuthor(s)Affiliation
ManySatYoussef Hamadi, Said Jabbour, Lakhdar SaisMicrosoft Research / CRIL-CNRS
MiraXTTobias Schubert, Matthew Lewis, Bernd BeckerUniversity of Freiburg
pMiniSatGeoffrey ChuUniversity of Melbourne

Special Track 2 (Sequential AIG)

SolverAuthor(s)Affiliation
CMUSAT-AIGHimanshu JainCarnegie Mellon University
kw_aigerJohan AlfredssonOepir Consulting
MiniCircNiklas EÚn, Niklas S÷renssonCadence Research Labs / Independent
MiniSat++Niklas S÷rensson, Niklas EÚnIndependent / Cadence Research Labs
NFLSATHimanshu JainCarnegie Mellon University
picoaigersatArmin BiereJohannes Kepler University