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-HLMUC 2011-04-07 (complete) |
197 | 197 (100%) |
197 (100%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
Haifa-HLMUC 2011-04-07 (complete) |
197 | 180 (91.37%) |
180 (91.37%) |
0 (0%) |
0 (0%) |
0 (0%) |
10 (5.08%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
7 (3.55%) |
0 (0%) |
Haifa-HLMUC-A 2011-04-07 (complete) |
197 | 196 (99.49%) |
196 (99.49%) |
0 (0%) |
0 (0%) |
0 (0%) |
1 (0.51%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
Haifa-HLMUC-A 2011-04-07 (complete) |
197 | 196 (99.49%) |
196 (99.49%) |
0 (0%) |
0 (0%) |
0 (0%) |
1 (0.51%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
MoUsSaka 2011-03-26 (complete) |
197 | 194 (98.48%) |
194 (98.48%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
3 (1.52%) |
0 (0%) |
0 (0%) |
MUSer 2011-02-10 (complete) |
197 | 184 (93.4%) |
184 (93.4%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
12 (6.09%) |
0 (0%) |
0 (0%) |
0 (0%) |
1 (0.51%) |
0 (0%) |
0 (0%) |
0 (0%) |
PicoGCNF 941 (complete) |
197 | 181 (91.88%) |
181 (91.88%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
16 (8.12%) |
0 (0%) |
0 (0%) |
SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) |
197 | 115 (58.38%) |
115 (58.38%) |
0 (0%) |
0 (0%) |
0 (0%) |
1 (0.51%) |
0 (0%) |
1 (0.51%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
78 (39.59%) |
2 (1.02%) |
0 (0%) |
Solver Name | Progress | Haifa-HLMUC 2011-04-07 (complete) |
|
Haifa-HLMUC 2011-04-07 (complete) |
|
Haifa-HLMUC-A 2011-04-07 (complete) |
|
Haifa-HLMUC-A 2011-04-07 (complete) |
|
MoUsSaka 2011-03-26 (complete) |
|
MUSer 2011-02-10 (complete) |
|
PicoGCNF 941 (complete) |
|
SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) |
|
---|