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
Solver | Submitted 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
Solver | Submitted 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
Solver | Submitted by |
---|---|
CryptoMiniSat | Mate Soos |
COMiniSatPS | Chanseok Oh |
Riss505 + Pcasso | Norbert Manthey |
glucose | Gilles Audemard |
satUZK | Alexander van der Grinten |