Solver Name | Progress | ManySAT 1.1 aimd 0/2009-03-20 (4 threads) (complete) |
|
ManySAT 1.1 aimd 1/2009-03-20 (4 threads) (complete) |
|
ManySAT 1.1 aimd 2/2009-03-20 (4 threads) (complete) |
|
satake 2009-03-22 (16 threads) (complete) |
|
satake 2009-03-22 (4 threads) (complete) |
|
ttsth-5-0 2009-03-19 (16 threads) (complete) |
|
ttsth-5-0 2009-03-19 (4 threads) (complete) |
|
---|
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. |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
gNovelty+-T 2009-03-22 (16 threads) (incomplete) |
570 | 237 (41.58%) |
0 (0%) |
237 (41.58%) |
0 (0%) |
0 (0%) |
333 (58.42%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
gNovelty+-T 2009-03-22 (4 threads) (incomplete) |
570 | 296 (51.93%) |
0 (0%) |
296 (51.93%) |
0 (0%) |
0 (0%) |
274 (48.07%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
Solver Name | Progress | gNovelty+-T 2009-03-22 (16 threads) (incomplete) |
|
gNovelty+-T 2009-03-22 (4 threads) (incomplete) |
|
---|
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 | gNovelty+-T 2009-03-22 (16 threads) (incomplete) |
|
gNovelty+-T 2009-03-22 (4 threads) (incomplete) |
|
ManySAT 1.1 aimd 0/2009-03-20 (4 threads) (complete) |
|
ManySAT 1.1 aimd 1/2009-03-20 (4 threads) (complete) |
|
ManySAT 1.1 aimd 2/2009-03-20 (4 threads) (complete) |
|
satake 2009-03-22 (16 threads) (complete) |
|
satake 2009-03-22 (4 threads) (complete) |
|
ttsth-5-0 2009-03-19 (16 threads) (complete) |
|
ttsth-5-0 2009-03-19 (4 threads) (complete) |
|
---|