Solver Name | Progress | CMUSAT 2007-02-08 |
|
March KS 2007-02-08 |
|
minisat SAT 2007 |
|
MiraXT v3 |
|
MXC 2007-02-08 |
|
picosat 535 |
|
Rsat 2007-02-08 |
|
SATzilla CRAFTED |
|
TTS 4.0 |
|
---|
Solver Name | Progress | CMUSAT 2007-02-08 |
|
minisat SAT 2007 |
|
MiraXT v3 |
|
MXC 2007-02-08 |
|
picosat 535 |
|
Rsat 2007-02-08 |
|
SAT7 2007-02-08 |
|
SATzilla CRAFTED |
|
Siege V4 |
|
TiniSatELite 2007-02-08 |
|
---|
Solver Name | Progress | adaptg2wsat+ 2007-02-08 |
|
adaptg2wsat0 2007-02-08 |
|
adaptnovelty 2007-02-08 |
|
DEWSATZ 1A 2007-02-08 |
|
gnovelty+ 2007-02-08 |
|
KCNFS 2004 |
|
March KS 2007-02-08 |
|
minisat SAT 2007 |
|
MiraXT v3 |
|
MXC 2007-02-08 |
|
ranov 2007-02-08 |
|
sapsrt 2007-02-08 |
|
SAT7 2007-02-08 |
|
SATzilla RANDOM |
|
---|
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. |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
minisat SAT 2007 |
946 | 370 (39.11%) |
208 (21.99%) |
162 (17.12%) |
0 (0%) |
0 (0%) |
547 (57.82%) |
29 (3.07%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 |
MiraXT v3 |
946 | 310 (32.77%) |
165 (17.44%) |
145 (15.33%) |
0 (0%) |
15 (1.59%) |
600 (63.42%) |
21 (2.22%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 |
MXC 2007-02-08 |
946 | 328 (34.67%) |
179 (18.92%) |
149 (15.75%) |
0 (0%) |
0 (0%) |
618 (65.33%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 |
Solver Name | Progress | minisat SAT 2007 |
|
MiraXT v3 |
|
MXC 2007-02-08 |
|
---|
This table summarizes the results in all categories for all solvers. Note however that some solvers may not have support for some categories. Therefore, the solvers may have run on a different number of benchmarks and this table should not be used to compare them.
Solver Name | Progress | adaptg2wsat+ 2007-02-08 |
|
adaptg2wsat0 2007-02-08 |
|
adaptnovelty 2007-02-08 |
|
CMUSAT 2007-02-08 |
|
DEWSATZ 1A 2007-02-08 |
|
gnovelty+ 2007-02-08 |
|
KCNFS 2004 |
|
March KS 2007-02-08 |
|
minisat SAT 2007 |
|
MiraXT v3 |
|
MXC 2007-02-08 |
|
picosat 535 |
|
ranov 2007-02-08 |
|
Rsat 2007-02-08 |
|
sapsrt 2007-02-08 |
|
SAT7 2007-02-08 |
|
SATzilla CRAFTED |
|
SATzilla RANDOM |
|
Siege V4 |
|
TiniSatELite 2007-02-08 |
|
TTS 4.0 |
|
---|