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. |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
APTUSAT 2009-03-22 (complete) |
292 | 123 (42.12%) |
69 (23.63%) |
54 (18.49%) |
0 (0%) |
0 (0%) |
168 (57.53%) |
1 (0.34%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
BinMiniSat 2009-03-21 (complete) |
292 | 123 (42.12%) |
75 (25.68%) |
48 (16.44%) |
0 (0%) |
0 (0%) |
168 (57.53%) |
1 (0.34%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
MiniSAT 09z 2009-03-22 (complete) |
292 | 149 (51.03%) |
90 (30.82%) |
59 (20.21%) |
0 (0%) |
0 (0%) |
142 (48.63%) |
1 (0.34%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
minisat2 070721/core (complete) |
292 | 120 (41.1%) |
67 (22.95%) |
53 (18.15%) |
0 (0%) |
0 (0%) |
170 (58.22%) |
2 (0.68%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
MiniSat2hack 2009-03-23 (complete) |
292 | 119 (40.75%) |
67 (22.95%) |
52 (17.81%) |
0 (0%) |
0 (0%) |
171 (58.56%) |
2 (0.68%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
minisat_cumr p-2009-03-18 (complete) |
292 | 142 (48.63%) |
84 (28.77%) |
58 (19.86%) |
0 (0%) |
0 (0%) |
149 (51.03%) |
1 (0.34%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
minisat_cumr r-2009-03-18 (complete) |
292 | 131 (44.86%) |
71 (24.32%) |
60 (20.55%) |
0 (0%) |
0 (0%) |
160 (54.79%) |
1 (0.34%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
Solver Name | Progress | APTUSAT 2009-03-22 (complete) |
|
BinMiniSat 2009-03-21 (complete) |
|
MiniSAT 09z 2009-03-22 (complete) |
|
minisat2 070721/core (complete) |
|
MiniSat2hack 2009-03-23 (complete) |
|
minisat_cumr p-2009-03-18 (complete) |
|
minisat_cumr r-2009-03-18 (complete) |
|
---|