CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/rlfapScensMod/
normalized-scen7-w1-f4.xml

Jump to solvers results

General information on the benchmark

Namecsp/rlfapScensMod/
normalized-scen7-w1-f4.xml
MD5SUM58203295438d5f1bb71965e586335b10
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.143977
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints660
Maximum constraint arity2
Maximum domain size40
Number of constraints which are defined in extension0
Number of constraints which are defined in intension660
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
MDG-noprobe 2008-06-271083622SAT 0.143977 0.150862
cpHydra k_101083637SAT 0.151976 0.15889
Mistral-prime 1.3131083632SAT 0.152976 0.152936
cpHydra k_401083638SAT 0.158975 0.165282
bpsolver 2008-06-271083626SAT 0.160974 0.161946
MDG-probe 2008-06-271083621SAT 0.248962 0.261207
Abscon 112v4 AC1083635SAT 1.46178 1.52044
Abscon 112v4 ESAC1083636SAT 1.79972 1.82363
choco2_dwdeg 2008-06-261083628SAT 1.85672 1.89106
Concrete + CPS4J 2008-05-301083620SAT 1.99569 2.11365
choco2_impwdeg 2008-06-261083627SAT 2.01969 2.047
Concrete + CSP4J - WMC Engine 2008-05-301083619SAT 2.17567 2.21847
Sugar v1.13+minisat1083625SAT 3.00154 3.18
Mistral-option 1.3141083631SAT 3.24051 3.24651
Sugar v1.13+picosat1083624SAT 3.42048 3.60718
SAT4J CSP 2008-06-131083623SAT 5.40318 5.48789
casper zito1083634SAT 11.0003 11.049
casper zao1083633SAT 14.9227 14.9277
galac M1083629SAT 17.7533 18.0242
galac E1083630SAT 19.503 19.7258
Concrete + CSP4J - Tabu Engine 2008-05-301083618SAT 605.951 611.214
Minion/Tailor 2008-07-041107010? (TO) 1800.06 1805.01

Additionnal information

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

Solution found:
30 268 100 338 324 86 652 414 652 414 254 16 722 484 456 694 254 16 254 16 16 254 254 16 652 414 414 652 254 16 16 254 16 254 16 254 652 414
456 694 394 156 16 254 16 254 722 484 652 414 16 254 254 16 16 254 484 722 254 16 86 324 16 254 254 16 16 254 16 254 694 456 296 58 442 680
694 456 16 254 16 254 254 16 414 652 456 694 652 414 16 254 86 324 254 16 30 268 100 338 16 254 254 16 16 254 16 254 44 282 254 16 324 86 16
254 484 722 16 254 16 254 254 16 652 414 16 254 86 324 16 254 254 16 324 86 16 254 16 254 254 16 254 16 652 414 128 366 352 114 30 268 114
352 100 338 268 30 428 666 268 30 666 428 268 30 470 708 30 268 310 72 680 442 16 254 484 722 352 114 268 30 16 254 484 722 456 694 498 736
428 666 428 666 428 666 666 428 254 16 498 736 30 268 428 666 666 428 30 268 708 470 16 254 268 30 666 428 268 30 680 442 428 666 428 666
666 428 414 652 694 456 470 708 30 268 16 254 16 254 16 254 30 268 268 30 498 736 442 680 30 268 428 666 666 428 30 268 428 666 428 666 268
30 30 268 428 666 44 282 268 30 44 282 428 666 268 30 428 666 86 324 708 470 268 30 268 30 310 72 254 16 86 324 484 722 652 414 16 254 16
254 254 16 72 310 128 366 456 694 156 394 254 16 296 58 652 414 16 254 470 708 456 694 666 428 484 722 30 268 100 338 268 30 30 268 16 254
16 254 30 268 72 310 16 254 268 30 16 254 428 666 428 666 30 268 428 666 30 268 680 442 268 30 666 428 428 666 30 268 16 254 254 16 428 666
30 268 428 666 666 428 268 30 30 268 114 352 666 428 268 30 100 338 268 30 16 254 16 254