Solver Name | Progress | AbsconMax 109 EPFC |
|
AbsconMax 109 PFC |
|
aolibdvo 2007-01-17 |
|
aolibpvo 2007-01-17 |
|
CSP4J - MaxCSP 2006-12-19 |
|
toolbar 2007-01-12 |
|
Toolbar_BTD 2007-01-12 |
|
Toolbar_MaxSat 2007-01-19 |
|
Toulbar2 2007-01-12 |
|
---|
Solver Name | #benchs | MOPT. | SAT. | MSAT. | MSAT (timeout) | MSAT (out of mem.) | UNKNOWN | UNKNOWN (timeout) | UNKNOWN (out of mem.) | UNKNOWN (exit code) | UNKNOWN (conv. script) | UNKNOWN (problem) | Sig. Caught | NO CERT. | WRONG OPT. | WRONG CERT. | Misc. |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
AbsconMax 109 EPFC |
190 | 18 (9.47%) |
0 (0%) |
0 (0%) |
172 (90.53%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 |
AbsconMax 109 PFC |
190 | 17 (8.95%) |
0 (0%) |
0 (0%) |
173 (91.05%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 |
CSP4J - MaxCSP 2006-12-19 |
190 | 0 (0%) |
0 (0%) |
0 (0%) |
85 (44.74%) |
0 (0%) |
66 (34.74%) |
0 (0%) |
0 (0%) |
3 (1.58%) |
0 (0%) |
36 (18.95%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 |
Solver Name | Progress | AbsconMax 109 EPFC |
|
AbsconMax 109 PFC |
|
CSP4J - MaxCSP 2006-12-19 |
|
---|
Solver Name | Progress | AbsconMax 109 EPFC |
|
AbsconMax 109 PFC |
|
aolibdvo 2007-01-17 |
|
aolibpvo 2007-01-17 |
|
CSP4J - MaxCSP 2006-12-19 |
|
toolbar 2007-01-12 |
|
Toolbar_BTD 2007-01-12 |
|
Toolbar_MaxSat 2007-01-19 |
|
Toulbar2 2007-01-12 |
|
---|
Solver Name | #benchs | MOPT. | SAT. | MSAT. | MSAT (timeout) | MSAT (out of mem.) | UNKNOWN | UNKNOWN (timeout) | UNKNOWN (out of mem.) | UNKNOWN (exit code) | UNKNOWN (conv. script) | UNKNOWN (problem) | Sig. Caught | NO CERT. | WRONG OPT. | WRONG CERT. | Misc. |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
AbsconMax 109 EPFC |
58 | 15 (25.86%) |
0 (0%) |
0 (0%) |
42 (72.41%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
1 (1.72%) |
0 (0%) |
0 (0%) |
0 |
AbsconMax 109 PFC |
58 | 14 (24.14%) |
0 (0%) |
0 (0%) |
43 (74.14%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
1 (1.72%) |
0 (0%) |
0 (0%) |
0 |
CSP4J - MaxCSP 2006-12-19 |
58 | 0 (0%) |
0 (0%) |
0 (0%) |
44 (75.86%) |
0 (0%) |
7 (12.07%) |
5 (8.62%) |
0 (0%) |
1 (1.72%) |
0 (0%) |
1 (1.72%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 |
Solver Name | Progress | AbsconMax 109 EPFC |
|
AbsconMax 109 PFC |
|
CSP4J - MaxCSP 2006-12-19 |
|
---|
Solver Name | #benchs | MOPT. | SAT. | MSAT. | MSAT (timeout) | MSAT (out of mem.) | UNKNOWN | UNKNOWN (timeout) | UNKNOWN (out of mem.) | UNKNOWN (exit code) | UNKNOWN (conv. script) | UNKNOWN (problem) | Sig. Caught | NO CERT. | WRONG OPT. | WRONG CERT. | Misc. |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
AbsconMax 109 EPFC |
1069 | 479 (44.81%) |
26 (2.43%) |
0 (0%) |
563 (52.67%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
1 (0.09%) |
0 (0%) |
0 (0%) |
0 |
AbsconMax 109 PFC |
1069 | 500 (46.77%) |
26 (2.43%) |
0 (0%) |
542 (50.7%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
1 (0.09%) |
0 (0%) |
0 (0%) |
0 |
CSP4J - MaxCSP 2006-12-19 |
1069 | 2 (0.19%) |
26 (2.43%) |
0 (0%) |
592 (55.38%) |
0 (0%) |
157 (14.69%) |
6 (0.56%) |
0 (0%) |
4 (0.37%) |
0 (0%) |
282 (26.38%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 |
Solver Name | Progress | AbsconMax 109 EPFC |
|
AbsconMax 109 PFC |
|
CSP4J - MaxCSP 2006-12-19 |
|
---|
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 | AbsconMax 109 EPFC |
|
AbsconMax 109 PFC |
|
aolibdvo 2007-01-17 |
|
aolibpvo 2007-01-17 |
|
CSP4J - MaxCSP 2006-12-19 |
|
toolbar 2007-01-12 |
|
Toolbar_BTD 2007-01-12 |
|
Toolbar_MaxSat 2007-01-19 |
|
Toulbar2 2007-01-12 |
|
---|