CSP 2008 Competition: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Namecsp/lard/
normalized-lard-90-90.xml
MD5SUM0f684d9f34d64adafc4625b528ae43df
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 benchmark14.4998
Satisfiable
(Un)Satisfiability was proved
Number of variables90
Number of constraints4005
Maximum constraint arity2
Maximum domain size91
Number of constraints which are defined in extension4005
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.3131034453SAT 14.4998 14.5628
MDG-probe 2008-06-271034442SAT 14.9827 15.0532
MDG-noprobe 2008-06-271034443SAT 15.7416 15.8257
Mistral-option 1.3141034452SAT 15.8136 15.9755
cpHydra k_401045961SAT 16.1735 16.3352
cpHydra k_101045332SAT 16.1855 17.0504
Abscon 112v4 ESAC1044703SAT 20.9888 21.1239
Abscon 112v4 AC1044074SAT 21.2258 21.4678
spider 2008-06-141034439SAT 42.1186 42.3293
Concrete + CSP4J - Tabu Engine 2008-05-301034436SAT 70.6713 71.0388
Concrete + CSP4J - WMC Engine 2008-05-301034437SAT 71.2402 71.7806
Concrete + CPS4J 2008-05-301034438SAT 73.0079 73.1719
SAT4J CSP 2008-06-131034444SAT 74.9966 75.2979
Sugar v1.13+minisat1034446? 125.776 126.623
choco2_dwdeg 2008-06-261034449? (problem) 43.9083 44.15
choco2_impwdeg 2008-06-261034448? (problem) 44.6572 44.8864
galac E1034451? (problem) 333.485 333.715
galac M1034450? (problem) 359.541 360.869
bpsolver 2008-06-271034447? (problem) 406.213 407.861
Minion/Tailor 2008-07-041104144? (exit code) 76.7383 76.704
Sugar v1.13+picosat1034445? (MO) 29.4333 29.9395
casper zao1042816Signal 20.8698 174.125
casper zito1043445Signal 21.9897 44.4265

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