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 constraints605
Best CPU time to get the best result obtained on this benchmark38.2442
(Un)Satisfiability was proved
Number of variables80
Number of constraints704
Maximum constraint arity2
Maximum domain size2
Number of constraints which are defined in extension704
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-19277708OPTIMUM 4.79327 4.88785
toolbar 2007-01-12277710OPTIMUM 38.2442 38.2629
Toolbar_BTD 2007-01-12277709OPTIMUM 40.1379 40.1564
Toulbar2 2007-01-12277707OPTIMUM 230.165 231.917
aolibpvo 2007-01-17277702OPTIMUM 370.693 370.802
aolibdvo 2007-01-17277703OPTIMUM 382.203 383.558
AbsconMax 109 PFC277706MSAT (TO) 2400.1 2402.82
AbsconMax 109 EPFC277705MSAT (TO) 2400.12 2411.65
CSP4J - MaxCSP 2006-12-19277704? (problem) 0.562914 0.664007