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 | UNKNOWN | Bad Answers |
---|---|---|---|---|---|---|
gNovelty+-T 2009-03-22 (16 threads) (incomplete) |
570 | 237 (41.58%) |
0 (0%) |
237 (41.58%) |
333 (58.42%) |
0 (0%) |
gNovelty+-T 2009-03-22 (4 threads) (incomplete) |
570 | 296 (51.93%) |
0 (0%) |
296 (51.93%) |
274 (48.07%) |
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) |
|
---|