SAT-Race 2006 Solvers

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

SolverSubmitterAffiliation
Actin (minisat+i)Raihan KibriaTU Darmstadt
BarcelogicRobert Nieuwenhuis, Albert Oliveras, Tomás Lloret Technical University Catalonia, Barcelona
Cadence MiniSATNiklas Eén, Niklas SörenssonCadence Berkeley Labs, Chalmers University
CompSATArmin BiereJKU Linz
EurekaAlexander Nadel, Moran Gordon, Amit Palti, Ziyad HannaIntel
HyperSATDomagoj Babic, Alan J. HuUniversity of British Columbia
MiniSAT 2.0Niklas Sörensson, Niklas EénChalmers University, Cadence Berkeley Labs
mucsatNicolas Rachinsky, Klaus AehligLMU Munich
MXC v.1David R. Bregman, David G. MitchellSimon Fraser University
PicoSATArmin BiereJKU Linz
QCompSATArmin BiereJKU Linz
QPicoSATArmin BiereJKU Linz
RsatKnot Pipatsrisawat, Adnan DarwicheUCLA
SAT4JDaniel Le BerreCRIL-CNRS
TINISATJinbo HuangNational ICT Australia
zChaff 2006Zhaohui Fu, Yogesh Marhajan, Sharad MalikPrinceton University