Solver Name | #benchs | Solved | UNSAT. | SAT. | SAT (timeout) | UNKNOWN | UNKNOWN (timeout) | UNKNOWN (out of mem.) | UNKNOWN (exit code) | UNKNOWN (conv. script) | UNKNOWN (problem) | UNKNOWN (abort) | Sig. Caught | NO CERT. | WRONG CERT. | WRONG UNSAT. |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
claspmt 2.0-R4095-patched (fixed) (complete) |
300 | 219 (73%) |
122 (40.67%) |
97 (32.33%) |
0 (0%) |
0 (0%) |
76 (25.33%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
5 (1.67%) |
0 (0%) |
0 (0%) |
0 (0%) |
CryptoMiniSat Strange-Night-2-mt (fixed) (complete) |
300 | 236 (78.67%) |
133 (44.33%) |
103 (34.33%) |
0 (0%) |
0 (0%) |
58 (19.33%) |
6 (2%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
Plingeling 587f (fixed) (complete) |
300 | 228 (76%) |
123 (41%) |
105 (35%) |
0 (0%) |
0 (0%) |
72 (24%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
ppfolio par (complete) |
300 | 235 (78.33%) |
122 (40.67%) |
113 (37.67%) |
0 (0%) |
0 (0%) |
65 (21.67%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
Solver Name | Progress | claspmt 2.0-R4095-patched (fixed) (complete) |
|
CryptoMiniSat Strange-Night-2-mt (fixed) (complete) |
|
Plingeling 587f (fixed) (complete) |
|
ppfolio par (complete) |
|
---|