Solver Name | #benchs | Solved | UNSAT | SAT | UNKNOWN | Bad Answers |
---|---|---|---|---|---|---|
claspmt 2.0-R4095-patched (fixed) (complete) |
300 | 219 (73%) |
122 (40.67%) |
97 (32.33%) |
81 (27%) |
0 (0%) |
CryptoMiniSat Strange-Night-2-mt (fixed) (complete) |
300 | 236 (78.67%) |
133 (44.33%) |
103 (34.33%) |
64 (21.33%) |
0 (0%) |
Plingeling 587f (fixed) (complete) |
300 | 228 (76%) |
123 (41%) |
105 (35%) |
72 (24%) |
0 (0%) |
ppfolio par (complete) |
300 | 235 (78.33%) |
122 (40.67%) |
113 (37.67%) |
65 (21.67%) |
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) |
|
---|