Solver Name | #benchs | Solved | UNSAT. | SAT. | SAT (timeout) | UNKNOWN | UNKNOWN (timeout) | UNKNOWN (out of mem.) | UNKNOWN (exit code) | UNKNOWN (conv. script) | UNKNOWN (problem) | Sig. Caught | NO CERT. | WRONG CERT. | WRONG UNSAT. | Misc. |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
aig-cmusat 2007-05-15 |
341 | 233 (68.33%) |
185 (54.25%) |
48 (14.08%) |
0 (0%) |
0 (0%) |
98 (28.74%) |
3 (0.88%) |
0 (0%) |
0 (0%) |
6 (1.76%) |
0 (0%) |
0 (0%) |
0 (0%) |
1 (0.29%) |
0 |
aigsat-sp 2007-05-15 |
341 | 196 (57.48%) |
160 (46.92%) |
36 (10.56%) |
0 (0%) |
0 (0%) |
103 (30.21%) |
33 (9.68%) |
0 (0%) |
0 (0%) |
8 (2.35%) |
0 (0%) |
0 (0%) |
1 (0.29%) |
0 (0%) |
0 |
aigsat-wc 2007-05-15 |
341 | 204 (59.82%) |
164 (48.09%) |
40 (11.73%) |
0 (0%) |
0 (0%) |
101 (29.62%) |
28 (8.21%) |
0 (0%) |
0 (0%) |
7 (2.05%) |
0 (0%) |
0 (0%) |
1 (0.29%) |
0 (0%) |
0 |
minicirc 2007-05-17 |
341 | 208 (61%) |
169 (49.56%) |
39 (11.44%) |
0 (0%) |
0 (0%) |
93 (27.27%) |
0 (0%) |
0 (0%) |
0 (0%) |
39 (11.44%) |
0 (0%) |
0 (0%) |
0 (0%) |
1 (0.29%) |
0 |
picoaigersat 2007-05-15 |
341 | 228 (66.86%) |
175 (51.32%) |
53 (15.54%) |
0 (0%) |
0 (0%) |
106 (31.09%) |
0 (0%) |
0 (0%) |
0 (0%) |
6 (1.76%) |
0 (0%) |
0 (0%) |
0 (0%) |
1 (0.29%) |
0 |
Solver Name | Progress | aig-cmusat 2007-05-15 |
|
aigsat-sp 2007-05-15 |
|
aigsat-wc 2007-05-15 |
|
minicirc 2007-05-17 |
|
picoaigersat 2007-05-15 |
|
---|