CSP 2008 Competition: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Namecsp/lard/
normalized-lard-87-87.xml
MD5SUMcaa1a0c56025f9b465fcf3f3e3941fa3
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.7281
Satisfiable
(Un)Satisfiability was proved
Number of variables87
Number of constraints3741
Maximum constraint arity2
Maximum domain size88
Number of constraints which are defined in extension3741
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
MDG-noprobe 2008-06-271034497SAT 12.7281 12.8102
cpHydra k_101045335SAT 13.384 13.5202
cpHydra k_401045964SAT 13.451 13.5863
MDG-probe 2008-06-271034496SAT 13.4839 13.5791
Mistral-prime 1.3131034507SAT 13.5039 13.6436
Mistral-option 1.3141034506SAT 13.7739 13.8741
Abscon 112v4 AC1044077SAT 18.2882 18.41
Abscon 112v4 ESAC1044706SAT 20.009 20.3419
choco2_impwdeg 2008-06-261034502SAT 21.3068 21.4617
choco2_dwdeg 2008-06-261034503SAT 22.4946 22.6544
spider 2008-06-141034493SAT 36.4565 36.5789
Concrete + CSP4J - Tabu Engine 2008-05-301034490SAT 58.4721 58.6131
Concrete + CSP4J - WMC Engine 2008-05-301034491SAT 59.423 59.98
SAT4J CSP 2008-06-131034498SAT 61.7356 61.8077
Concrete + CPS4J 2008-05-301034492SAT 67.4797 67.8912
galac E1034505? (problem) 289.819 290.86
galac M1034504? (problem) 301.382 302.741
bpsolver 2008-06-271034501? (problem) 363.089 364.763
Minion/Tailor 2008-07-041104147? (exit code) 31.2183 31.4196
Sugar v1.13+minisat1034500? (MO) 27.1348 27.6458
Sugar v1.13+picosat1034499? (MO) 28.1316 28.6881
casper zao1042819? (TO) 24.5663 2326.89
casper zito1043448Signal 25.3961 29.248

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