MAX-CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/rlfapScensMod/
normalized-scen9-w1-f3.xml

Jump to solvers results

General information on the benchmark

Namecsp/rlfapScensMod/
normalized-scen9-w1-f3.xml
MD5SUMd8f5db93cebd0b14f7a96a8145428221
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMOPT
Best Number of falsified constraints1
Best CPU time to get the best result obtained on this benchmark13.4889
Satisfiable
(Un)Satisfiability was proved
Number of variables680
Number of constraints1138
Maximum constraint arity2
Maximum domain size41
Number of constraints which are defined in extension0
Number of constraints which are defined in intension1138
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+minisat-inc1112571OPTIMUM1 13.4889 14.0128
Sugar v1.13+minisat1112572OPTIMUM1 34.2628 35.9497
Concrete + CSP4J - MCRW Engine 2008-05-301112567MSAT (TO)1 3600.05 3601.12
AbsconMax 112 pc-w1112569MSAT (TO)2 1647.91 4000.08
AbsconMax 112 pc-d1112570MSAT (TO)2 1649.06 4000.1
Concrete + CSP4J - Tabu Engine 2008-05-301112568MSAT (TO)15 3600.06 3628.62

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: 1
Solution found:
750 512 156 394 512 750 680 442 750 512 380 142 338 100 512 750 750 512 394 156 268 30 750 512 512 750 72 310 142 380 512 750 750 512 512
750 750 512 456 694 512 750 352 114 512 750 470 708 750 512 128 366 142 380 512 750 750 512 156 394 512 750 86 324 666 750 750 512 512 750
100 338 750 512 512 750 282 44 156 394 156 394 394 156 750 512 86 324 498 736 512 750 750 512 512 750 156 394 512 750 512 750 512 750 750
512 750 512 750 512 512 750 512 750 708 470 512 750 142 380 128 366 512 750 750 512 512 750 750 512 324 86 750 512 394 156 512 750 72 310
512 750 394 156 512 750 512 750 156 394 512 750 512 750 750 512 750 512 478 240 142 380 750 512 512 750 750 512 512 750 414 652 512 750 750
512 442 680 512 750 512 750 254 16 512 750 736 498 512 750 750 512 156 394 512 750 442 680 750 512 750 512 498 736 442 680 512 750 736 498
72 310 512 750 512 750 114 352 142 380 268 30 142 380 750 512 750 512 456 694 750 512 498 736 100 338 128 366 142 380 380 142 694 456 498
736 338 100 512 750 512 750 750 512 72 310 86 324 442 680 142 380 338 100 512 750 366 128 512 750 680 442 470 708 512 750 750 512 512 750
512 750 128 366 750 512 512 750 512 750 338 100 512 750 736 498 512 750 666 428 282 44 750 512 428 666 380 142 750 512 394 156 512 750 512
750 380 142 380 142 750 512 156 394 142 380 142 380 750 512 512 750 380 142 100 338 366 128 512 750 72 310 750 512 512 750 156 394 750 512
750 512 394 156 750 512 750 512 750 512 156 394 156 394 414 652 512 750 512 750 114 352 72 310 380 142 380 142 268 30 512 750 442 680 512
750 268 30 268 30 324 86 338 100 156 394 142 380 512 750 512 750 512 750 680 442 44 282 268 30 498 736 512 750 694 456 750 512 750 512 512
750 512 750 268 30 750 512 380 142 750 512 512 750 736 498 380 142 750 512 708 470 352 114 750 512 380 142 750 512 142 380 750 512 470 708
512 750 394 156 394 156 442 680 750 512 512 750 750 512 394 156 394 156 750 512 142 380 750 512 380 142 512 750 282 44 512 750 282 44 512
750 380 142 750 512 750 512 512 750 394 156 750 512 324 86 16 254 156 394 442 680 512 750 512 750 750 512 512 750 324 86 512 750 512 750 470
708 750 512 324 86 142 380 282 44 512 750 750 512 512 750 750 512 750 512 470 708 694 456 512 750 750 512 750 512 708 470 750 512 750 512
296 58 512 750 296 58 142 380 750 512 750 512 114 352 750 512 750 512 72 310 114 352 750 512 352 114 512 750 512 750 296 58 512 750 380 142
442 680 750 512 380 142 750 512 512 750 156 394 512 750 750 512 86 324 750 512 156 394 750 512 750 512 512 750 750 512 750 512 324 86 750
512 58 296 750 512 750 512 750 512 512 750 380 142 142 380 142 380 750 512 142 380 442 680 512 750 72 310 680 442 512 750 310 72 512 750 324
86 512 750 156 394 750 512 30 268 156 394