Solver Name | #benchs | Solved | UNSAT. | OPT | SAT | SAT (subopt.) | SAT (timeout) | SAT (out of mem.) | UNKNOWN | UNKNOWN (timeout) | UNKNOWN (out of mem.) | UNKNOWN (exit code) | UNKNOWN (problem) | Sig. Caught | NO CERT. | WRONG CERT. | WRONG OPT. | WRONG UNSAT. | Misc. |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
bsolo 2006/05 |
355 | 44 (12.39%) |
30 (8.45%) |
14 (3.94%) |
0 (0%) |
58 (16.34%) |
11 (3.1%) |
0 (0%) |
215 (60.56%) |
6 (1.69%) |
0 (0%) |
0 (0%) |
0 (0%) |
21 (5.92%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 |
minisat+ 1.14 |
355 | 71 (20%) |
38 (10.7%) |
33 (9.3%) |
0 (0%) |
0 (0%) |
52 (14.65%) |
0 (0%) |
0 (0%) |
198 (55.77%) |
0 (0%) |
0 (0%) |
0 (0%) |
34 (9.58%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 |
SAT4JPSEUDO 2006.2 |
355 | 46 (12.96%) |
39 (10.99%) |
7 (1.97%) |
0 (0%) |
2 (0.56%) |
75 (21.13%) |
0 (0%) |
1 (0.28%) |
230 (64.79%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
1 (0.28%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 |
SAT4JPSEUDO 2006.2 Heuristics |
355 | 94 (26.48%) |
37 (10.42%) |
57 (16.06%) |
0 (0%) |
1 (0.28%) |
76 (21.41%) |
0 (0%) |
1 (0.28%) |
183 (51.55%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 |
Solver Name | Progress | bsolo 2006/05 |
|
minisat+ 1.14 |
|
SAT4JPSEUDO 2006.2 |
|
SAT4JPSEUDO 2006.2 Heuristics |
|
---|
Solver Name | Progress | absconPseudo 1 |
|
bsolo 2006/05 |
|
glpPB 0.2 |
|
minisat+ 1.14 |
|
PBS 4.1L |
|
Pueblo 1.3 |
|
Pueblo 1.4 |
|
SAT4JPSEUDO 2006.2 |
|
SAT4JPSEUDO 2006.2 Heuristics |
|
---|
Solver Name | Progress | absconPseudo 1 |
|
bsolo 2006/05 |
|
glpPB 0.2 |
|
minisat+ 1.14 |
|
PBS 4.1L |
|
PB-smodels 1.28 |
|
PB-smodels 1.31 |
|
Pueblo 1.3 |
|
Pueblo 1.4 |
|
SAT4JPSEUDO 2006.2 |
|
SAT4JPSEUDO 2006.2 Heuristics |
|
wildcat-rnp 0.8.0 |
|
wildcat-skc 0.8.0 |
|
---|
Solver Name | #benchs | Solved | UNSAT. | OPT | SAT | SAT (subopt.) | SAT (timeout) | SAT (out of mem.) | UNKNOWN | UNKNOWN (timeout) | UNKNOWN (out of mem.) | UNKNOWN (exit code) | UNKNOWN (problem) | Sig. Caught | NO CERT. | WRONG CERT. | WRONG OPT. | WRONG UNSAT. | Misc. |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
bsolo 2006/05 |
2 | 1 (50%) |
0 (0%) |
0 (0%) |
1 (50%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
1 (50%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 |
minisat+ 1.14 |
2 | 1 (50%) |
0 (0%) |
0 (0%) |
1 (50%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
1 (50%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 |
SAT4JPSEUDO 2006.2 |
2 | 0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
2 (100%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 |
SAT4JPSEUDO 2006.2 Heuristics |
2 | 0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
2 (100%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 |
Solver Name | Progress | bsolo 2006/05 |
|
minisat+ 1.14 |
|
SAT4JPSEUDO 2006.2 |
|
SAT4JPSEUDO 2006.2 Heuristics |
|
---|
Solver Name | Progress | absconPseudo 1 |
|
bsolo 2006/05 |
|
glpPB 0.2 |
|
minisat+ 1.14 |
|
PBS 4.1L |
|
Pueblo 1.3 |
|
Pueblo 1.4 |
|
SAT4JPSEUDO 2006.2 |
|
SAT4JPSEUDO 2006.2 Heuristics |
|
---|
Solver Name | Progress | absconPseudo 1 |
|
bsolo 2006/05 |
|
glpPB 0.2 |
|
minisat+ 1.14 |
|
PBS 4.1L |
|
PB-smodels 1.28 |
|
PB-smodels 1.31 |
|
Pueblo 1.3 |
|
Pueblo 1.4 |
|
SAT4JPSEUDO 2006.2 |
|
SAT4JPSEUDO 2006.2 Heuristics |
|
wildcat-rnp 0.8.0 |
|
wildcat-skc 0.8.0 |
|
---|
Solver Name | #benchs | Solved | UNSAT. | OPT | SAT | SAT (subopt.) | SAT (timeout) | SAT (out of mem.) | UNKNOWN | UNKNOWN (timeout) | UNKNOWN (out of mem.) | UNKNOWN (exit code) | UNKNOWN (problem) | Sig. Caught | NO CERT. | WRONG CERT. | WRONG OPT. | WRONG UNSAT. | Misc. |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
bsolo 2006/05 |
1753 | 731 (41.7%) |
181 (10.33%) |
429 (24.47%) |
121 (6.9%) |
305 (17.4%) |
51 (2.91%) |
0 (0%) |
579 (33.03%) |
23 (1.31%) |
0 (0%) |
0 (0%) |
0 (0%) |
64 (3.65%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 |
minisat+ 1.14 |
1753 | 853 (48.66%) |
253 (14.43%) |
441 (25.16%) |
159 (9.07%) |
0 (0%) |
311 (17.74%) |
0 (0%) |
0 (0%) |
535 (30.52%) |
0 (0%) |
0 (0%) |
0 (0%) |
54 (3.08%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 |
SAT4JPSEUDO 2006.2 |
1753 | 631 (36%) |
171 (9.75%) |
366 (20.88%) |
94 (5.36%) |
20 (1.14%) |
384 (21.91%) |
0 (0%) |
2 (0.11%) |
708 (40.39%) |
0 (0%) |
4 (0.23%) |
0 (0%) |
0 (0%) |
4 (0.23%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 |
SAT4JPSEUDO 2006.2 Heuristics |
1753 | 682 (38.9%) |
170 (9.7%) |
418 (23.84%) |
94 (5.36%) |
18 (1.03%) |
368 (20.99%) |
0 (0%) |
2 (0.11%) |
674 (38.45%) |
0 (0%) |
6 (0.34%) |
0 (0%) |
0 (0%) |
3 (0.17%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 |
Solver Name | Progress | bsolo 2006/05 |
|
minisat+ 1.14 |
|
SAT4JPSEUDO 2006.2 |
|
SAT4JPSEUDO 2006.2 Heuristics |
|
---|
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 | absconPseudo 1 |
|
bsolo 2006/05 |
|
glpPB 0.2 |
|
minisat+ 1.14 |
|
PBS 4.1L |
|
PB-smodels 1.28 |
|
PB-smodels 1.31 |
|
Pueblo 1.3 |
|
Pueblo 1.4 |
|
SAT4JPSEUDO 2006.2 |
|
SAT4JPSEUDO 2006.2 Heuristics |
|
wildcat-rnp 0.8.0 |
|
wildcat-skc 0.8.0 |
|
---|