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. |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Haifa-MUC 2011-04-07 (complete) |
300 | 248 (82.67%) |
248 (82.67%) |
0 (0%) |
0 (0%) |
0 (0%) |
24 (8%) |
22 (7.33%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
6 (2%) |
0 (0%) |
0 (0%) |
0 (0%) |
Haifa-MUC 2011-04-07 (complete) |
300 | 250 (83.33%) |
250 (83.33%) |
0 (0%) |
0 (0%) |
0 (0%) |
24 (8%) |
20 (6.67%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
6 (2%) |
0 (0%) |
0 (0%) |
0 (0%) |
Haifa-MUC-A 2011-04-07 (complete) |
300 | 210 (70%) |
210 (70%) |
0 (0%) |
0 (0%) |
16 (5.33%) |
74 (24.67%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
MiniUnsat2 2011-02-22 (complete) |
300 | 185 (61.67%) |
185 (61.67%) |
0 (0%) |
0 (0%) |
0 (0%) |
115 (38.33%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
MoUsSaka 2011-03-26 (complete) |
300 | 243 (81%) |
243 (81%) |
0 (0%) |
0 (0%) |
0 (0%) |
6 (2%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
51 (17%) |
0 (0%) |
0 (0%) |
MUSer 2011-02-10 (complete) |
300 | 241 (80.33%) |
241 (80.33%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
10 (3.33%) |
49 (16.33%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
OptimuS a100_source (complete) |
300 | 114 (38%) |
114 (38%) |
0 (0%) |
0 (0%) |
15 (5%) |
90 (30%) |
1 (0.33%) |
80 (26.67%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
OptimuS p100_source (complete) |
300 | 117 (39%) |
117 (39%) |
0 (0%) |
0 (0%) |
14 (4.67%) |
87 (29%) |
1 (0.33%) |
81 (27%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
OptimuS x100_source (complete) |
300 | 126 (42%) |
126 (42%) |
0 (0%) |
0 (0%) |
14 (4.67%) |
78 (26%) |
2 (0.67%) |
80 (26.67%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
PicoMUS 941 (complete) |
300 | 222 (74%) |
222 (74%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
78 (26%) |
0 (0%) |
0 (0%) |
SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) |
300 | 189 (63%) |
189 (63%) |
0 (0%) |
0 (0%) |
1 (0.33%) |
12 (4%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
94 (31.33%) |
4 (1.33%) |
0 (0%) |
Solver Name | Progress | Haifa-MUC 2011-04-07 (complete) |
|
Haifa-MUC 2011-04-07 (complete) |
|
Haifa-MUC-A 2011-04-07 (complete) |
|
MiniUnsat2 2011-02-22 (complete) |
|
MoUsSaka 2011-03-26 (complete) |
|
MUSer 2011-02-10 (complete) |
|
OptimuS a100_source (complete) |
|
OptimuS p100_source (complete) |
|
OptimuS x100_source (complete) |
|
PicoMUS 941 (complete) |
|
SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) |
|
---|