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 | Solved | MOPT | SAT | MSAT | UNKNOWN | Incomplete Answers | Bad Answers | Misc. |
---|---|---|---|---|---|---|---|---|---|
AbsconMax 109 EPFC |
190 | 18 (9.47%) |
18 (9.47%) |
0 (0%) |
172 (90.53%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 |
AbsconMax 109 PFC |
190 | 17 (8.95%) |
17 (8.95%) |
0 (0%) |
173 (91.05%) |
0 (0%) |
0 (0%) |
0 (0%) |
0 |
CSP4J - MaxCSP 2006-12-19 |
190 | 0 (0%) |
0 (0%) |
0 (0%) |
85 (44.74%) |
105 (55.26%) |
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 | Solved | MOPT | SAT | MSAT | UNKNOWN | Incomplete Answers | Bad Answers | Misc. |
---|---|---|---|---|---|---|---|---|---|
AbsconMax 109 EPFC |
58 | 15 (25.86%) |
15 (25.86%) |
0 (0%) |
42 (72.41%) |
0 (0%) |
1 (1.72%) |
0 (0%) |
0 |
AbsconMax 109 PFC |
58 | 14 (24.14%) |
14 (24.14%) |
0 (0%) |
43 (74.14%) |
0 (0%) |
1 (1.72%) |
0 (0%) |
0 |
CSP4J - MaxCSP 2006-12-19 |
58 | 0 (0%) |
0 (0%) |
0 (0%) |
44 (75.86%) |
14 (24.14%) |
0 (0%) |
0 (0%) |
0 |
Solver Name | Progress | AbsconMax 109 EPFC |
|
AbsconMax 109 PFC |
|
CSP4J - MaxCSP 2006-12-19 |
|
---|
Solver Name | #benchs | Solved | MOPT | SAT | MSAT | UNKNOWN | Incomplete Answers | Bad Answers | Misc. |
---|---|---|---|---|---|---|---|---|---|
AbsconMax 109 EPFC |
1069 | 505 (47.24%) |
479 (44.81%) |
26 (2.43%) |
563 (52.67%) |
0 (0%) |
1 (0.09%) |
0 (0%) |
0 |
AbsconMax 109 PFC |
1069 | 526 (49.2%) |
500 (46.77%) |
26 (2.43%) |
542 (50.7%) |
0 (0%) |
1 (0.09%) |
0 (0%) |
0 |
CSP4J - MaxCSP 2006-12-19 |
1069 | 28 (2.62%) |
2 (0.19%) |
26 (2.43%) |
592 (55.38%) |
449 (42%) |
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 |
|
---|