CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/lard/
normalized-lard-86-86.xml

Jump to solvers results

General information on the benchmark

Namecsp/lard/
normalized-lard-86-86.xml
MD5SUMcf6bd096c3296e2a346fad55b9e7b112
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark12.1622
Satisfiable
(Un)Satisfiability was proved
Number of variables86
Number of constraints3655
Maximum constraint arity2
Maximum domain size87
Number of constraints which are defined in extension3655
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
Mistral-prime 1.3131034471SAT 12.1622 12.1799
cpHydra k_101045333SAT 12.2501 12.3336
MDG-probe 2008-06-271034460SAT 12.3001 12.3246
Mistral-option 1.3141034470SAT 12.7851 12.8825
MDG-noprobe 2008-06-271034461SAT 13.188 13.3111
cpHydra k_401045962SAT 13.362 13.5066
choco2_impwdeg 2008-06-261034466SAT 17.1914 17.4029
choco2_dwdeg 2008-06-261034467SAT 17.3754 17.5811
Abscon 112v4 ESAC1044704SAT 17.5793 17.6286
Abscon 112v4 AC1044075SAT 18.7132 18.9305
spider 2008-06-141034457SAT 34.7207 34.7748
Concrete + CSP4J - Tabu Engine 2008-05-301034454SAT 56.4264 56.5589
Concrete + CPS4J 2008-05-301034456SAT 59.5379 59.7886
SAT4J CSP 2008-06-131034462SAT 60.6218 60.6962
Concrete + CSP4J - WMC Engine 2008-05-301034455SAT 60.9517 61.6279
casper zito1043446? 27.2029 27.316
casper zao1042817? 28.2767 28.3669
galac E1034469? (problem) 314.993 316.67
galac M1034468? (problem) 316.768 317.984
bpsolver 2008-06-271034465? (problem) 351.267 353.472
Minion/Tailor 2008-07-041104145? (exit code) 30.5374 30.6781
Sugar v1.13+minisat1034464? (MO) 26.1699 26.5387
Sugar v1.13+picosat1034463? (MO) 28.9 29.401

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:
0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1