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 constraints24871
Best CPU time to get the best result obtained on this benchmark231.676
(Un)Satisfiability was proved
Number of variables445
Number of constraints24874
Maximum constraint arity2
Maximum domain size20
Number of constraints which are defined in extension24874
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
Toulbar2 2007-01-12280695OPTIMUM 231.676 232.609
Toolbar_BTD 2007-01-12280697OPTIMUM 237.59 238.812
toolbar 2007-01-12280698OPTIMUM 246.913 247.022
aolibdvo 2007-01-17280691OPTIMUM 1005.76 1006.46
AbsconMax 109 PFC280694OPTIMUM 1214.04 1214.4
aolibpvo 2007-01-17280690OPTIMUM 2074.96 2075.57
AbsconMax 109 EPFC280693OPTIMUM 2336.53 2337.25
CSP4J - MaxCSP 2006-12-19280692? 0.430933 0.445153
Toolbar_MaxSat 2007-01-19280696? (TO) 2400.1 2411.02