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 |