MAX-CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/rlfapScens11/
normalized-scen11-f2.xml

Jump to solvers results

General information on the benchmark

Namecsp/rlfapScens11/
normalized-scen11-f2.xml
MD5SUMeeb0a55b010d032a275f0f7f80fcdb5a
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMOPT
Best Number of falsified constraints2
Best CPU time to get the best result obtained on this benchmark1488.18
Satisfiable
(Un)Satisfiability was proved
Number of variables680
Number of constraints4103
Maximum constraint arity2
Maximum domain size42
Number of constraints which are defined in extension0
Number of constraints which are defined in intension4103
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerNumber of falsified constraintsCPU timeWall clock time
Sugar v1.13+minisat1113130OPTIMUM2 1488.18 1498.5
AbsconMax 112 pc-d1113128MSAT (TO)2 1636.64 4000.05
AbsconMax 112 pc-w1113127MSAT (TO)2 1656.18 4000.07
Concrete + CSP4J - Tabu Engine 2008-05-301113126MSAT (TO)2 3600.07 3629.32
Concrete + CSP4J - MCRW Engine 2008-05-301113125MSAT (TO)2 3600.09 3621.02
Sugar++ v1.13+minisat-inc1113129? (MO) 67.2608 68.9027

Additionnal information

This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).

Number of falsified constraints: 2
Solution found:
428 666 512 750 652 414 512 750 652 414 680 442 526 764 764 526 764 526 512 750 394 156 100 338 456 694 526 764 380 142 526 764 694 456 666
428 338 100 666 428 44 282 512 750 526 764 498 736 694 456 526 764 142 380 708 470 764 526 526 764 428 666 526 764 254 16 750 512 442 680
442 680 44 282 442 680 282 44 114 352 30 268 268 30 414 652 498 736 764 526 414 652 484 722 526 764 512 750 498 736 428 666 282 44 142 380
498 736 680 442 428 666 512 750 442 680 526 764 680 442 86 324 764 526 498 736 526 764 666 428 456 694 526 764 380 142 750 512 722 484 394
156 282 44 512 750 268 30 680 442 498 736 526 764 380 142 736 498 240 478 394 156 764 526 414 652 484 722 512 750 394 156 58 296 526 764 128
366 666 428 442 680 114 352 526 764 666 428 512 750 652 414 414 652 512 750 72 310 750 512 512 750 352 114 366 128 428 666 296 58 764 526
750 512 512 750 380 142 456 694 526 764 666 428 750 512 142 380 72 310 526 764 512 750 484 722 456 694 498 736 526 764 764 526 666 428 736
498 512 750 428 666 156 394 708 470 456 694 680 442 414 652 750 512 142 380 722 484 352 114 456 694 764 526 128 366 764 526 708 470 428 666
456 694 526 764 380 142 764 526 708 470 750 512 652 414 512 750 764 526 722 484 142 380 526 764 498 736 142 380 750 512 526 764 100 338 282
44 428 666 114 352 764 526 736 498 380 142 694 456 526 764 456 694 282 44 128 366 764 526 442 680 428 666 498 736 652 414 526 764 414 652
470 708 498 736 666 428 414 652 750 512 442 680 512 750 764 526 526 764 498 736 750 512 722 484 282 44 764 526 750 512 526 764 380 142 456
694 296 58 394 156 750 512 526 764 114 352 498 736 442 680 526 764 736 498 512 750 666 428 666 428 114 352 498 736 498 736 142 380 428 666
526 764 512 750 268 30 512 750 142 380 484 722 708 470 498 736 380 142 680 442 526 764 442 680 764 526 666 428 428 666 750 512 764 526 380
142 156 394 708 470 456 694 526 764 764 526 366 128 694 456 86 324 442 680 526 764 736 498 512 750 764 526 512 750 694 456 764 526 694 456
142 380 764 526 526 764 694 456 736 498 394 554 324 86 652 414 114 352 512 750 652 414 296 58 338 100 526 764 526 764 694 456 764 526 680
442 680 442 750 512 512 750 764 526 526 764 694 456 442 680 526 764 456 694 694 456 114 352 442 680 156 394 736 498 750 512 652 414 526 764
526 764 526 764 498 736 694 456 764 526 694 456 526 764 750 512 526 764 324 86 380 142 764 526 694 456 526 764 442 680 526 764 750 512 526
764 526 764 456 694 736 498 680 442 156 394 310 72 526 764 366 128 512 750 526 764 394 156 764 526 128 366 694 456 666 428 526 764 526 764
512 750 750 512 456 694 442 680 414 652 694 456 680 442 142 380 526 764 764 526 764 526 456 694 380 142 764 526 442 680 526 764 680 442 512
750 442 680 764 526 310 72 736 498 750 512 394 156