SAT-Race 2015

Solvers

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

Main Track

SolverSubmitted by
Ratselfax Jan Bruns
CryptoMiniSat Mate Soos
MultiSat Sajjad Siddiqui
Or-tools Frederic Didier
COMiniSatPS Chanseok Oh
GlueMiniSat 2.2.10 Hidetomo Nabeshima
Riss505 + Pcasso Norbert Manthey
glucose Gilles Audemard
Glueminisat-ActivityMini Moon Seongsoo
abcdSat + MiniSat_bcd Jingchao Chen
lingeling-sr15ba[l/q] Armin Biere
satUZK Alexander van der Grinten
glucose_CommunitySwitching Hitoshi Togasaki
Nigma Chuan Jiang
BreakIDGlucose Jo Devriendt
DCCASatToRiss Chuan Luo
CCAglucose2015 Shaowei Cai
Glucose_nbSat Fan Xiao

Parallel Track

SolverSubmitted by
CryptoMiniSat Mate Soos
ParaGlueminisat Moon Seongsoo
cbPenelope Tomohiro SONOBE
Riss505 + Pcasso Norbert Manthey
glucose Gilles Audemard
lingeling-sr15ba[l/q] Armin Biere
satUZK Alexander van der Grinten

Incremental Library Track

SolverSubmitted by
CryptoMiniSat Mate Soos
COMiniSatPS Chanseok Oh
Riss505 + Pcasso Norbert Manthey
glucose Gilles Audemard
satUZK Alexander van der Grinten