SAT-Race 2010 Solvers

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

Main Track (Sequential CNF)

SolverAuthor(s)Affiliation
Barcelogic Asín Roberto, Ignasi Abio, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell TU Catalonia, Spain
borg-satBryan Silverthorn, Risto MiikkulainenU Texas, USA
CircleSATJingchao ChenDonghua U, China
CirCUsHyojung Han, Hyondeuk Kim, Fabio Somenzi, Hoonsang Jin (Cadence Design Systems)U Boulder, USA
CryptoMiniSatMate SoosINRIA, France
glucoseGilles Audamard, George Katsirelos, Laurent SimonCRIL, France
glucosERGeorge Karsirelos, Gilles Audemard, Laurent SimonCRIL-CNRS, France
kwJohan AlfredssonOepir, Sweden
lingelingArmin BiereJKU Linz, Austria
LySATSaid Jabbour, Youssef Hamadi, Lakhdar SaisINRIA - Microsoft JC, France
MiniSatNiklas SörenssonSörensson R&D, Sweden
oprailleurOlivier RousselCRIL-CNRS, France
PicoSATArmin BiereJKU Linz, Austria
PrecoSATArmin BiereJKU Linz, Austria
rissNorbert MantheyTU Dresden, Germany
rclJean-Marie Lagniez, Gilles AudamardCRIL-CNRS, France
SApperloTStephan Kottler, Christian ZielkeU Tübingen, Germany
SAT-PowerAbdorrahim Bahrami, Seyed Rasoul Mousavi, Maryam FrashchianU Isfahan, Iran
SATHYSJean-Marie Lagniez, Gilles Audamard, Bertrand Mazure, Lakhdar SaisCRIL-CNRS, France

Special Track 1 (Parallel CNF)

SolverAuthor(s)Affiliation
antom Tobias Schubert, Matthew Lewis, Bernd Becker U Freiburg, Germany
ManySAT 1.1Said Jabbour, Youssef Hamadi, Lakhdar SaisINRIA - Microsoft JC, France
ManySAT 1.5Said Jabbour, Youssef Hamadi, Lakhdar SaisINRIA - Microsoft JC, France
plingelingArmin BiereJKU Linz, Austria
PMiniSatGeoffrey Chu, Peter J. StuckeyNICTA, Australia
SArTagnanStephan KottlerU Tübingen, Germany

Special Track 2 (Sequential AIG)

SolverAuthor(s)Affiliation
kw_aig Johan Alfredsson Oepir, Sweden
MiniSat++ Niklas SörenssonSörensson R&D, Sweden
NFLSATHimanshu JainCMU, USA