MAX-CSP 2006 Competition: solvers results per benchmarks

Result page for benchmark

Jump to solvers results

General information on the benchmark

Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints218
Best CPU time to get the best result obtained on this benchmark28.5767
(Un)Satisfiability was proved
Number of variables30
Number of constraints390
Maximum constraint arity2
Maximum domain size2
Number of constraints which are defined in extension390
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Toolbar_MaxSat 2007-01-19279850OPTIMUM 18.0053 18.1426
toolbar 2007-01-12279852OPTIMUM 28.5767 28.8394
Toolbar_BTD 2007-01-12279851OPTIMUM 28.7546 28.8971
aolibpvo 2007-01-17279844OPTIMUM 148.553 149.724
aolibdvo 2007-01-17279845OPTIMUM 160.161 161.532
Toulbar2 2007-01-12279849OPTIMUM 185.374 186.196
AbsconMax 109 PFC279848OPTIMUM 1977.7 1988.66
AbsconMax 109 EPFC279847OPTIMUM 2141.2 2151.33
CSP4J - MaxCSP 2006-12-19279846MSAT (TO) 2400.01 2410.36