CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/allIntervalSeries/
normalized-series-10.xml

Name	csp/allIntervalSeries/ normalized-series-10.xml
MD5SUM	ea558c2f2dec2a991c989d26925976a8
Bench Category	N-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.008997
Satisfiable
(Un)Satisfiability was proved
Number of variables	19
Number of constraints	90
Maximum constraint arity	3
Maximum domain size	10
Number of constraints which are defined in extension	0
Number of constraints which are defined in intension	90
Global constraints used (with number of constraints)

Solver Name	TraceID	Answer	CPU time	Wall clock time
Mistral-option 1.314	1060269	SAT	0.008997	0.0172671
MDG-probe 2008-06-27	1060259	SAT	0.009998	0.0165741
Mistral-prime 1.313	1060270	SAT	0.012997	0.018823
bpsolver 2008-06-27	1060264	SAT	0.037993	0.043159
MDG-noprobe 2008-06-27	1060260	SAT	0.115981	0.121877
cpHydra k_40	1060276	SAT	0.12598	0.125365
cpHydra k_10	1060275	SAT	0.134978	0.141312
casper zao	1060271	SAT	0.162974	0.16471
casper zito	1060272	SAT	0.248962	0.255152
Minion/Tailor 2008-07-04	1105202	SAT	0.559914	0.57378
Concrete + CSP4J - WMC Engine 2008-05-30	1060257	SAT	0.696893	0.763908
Concrete + CPS4J 2008-05-30	1060258	SAT	0.699892	0.732987
choco2_impwdeg 2008-06-26	1060265	SAT	0.78288	0.833062
Sugar v1.13+minisat	1060263	SAT	0.878866	1.0227
choco2_dwdeg 2008-06-26	1060266	SAT	0.884864	0.900168
Abscon 112v4 ESAC	1060274	SAT	0.901862	0.939047
Sugar v1.13+picosat	1060262	SAT	0.904861	0.842862
Abscon 112v4 AC	1060273	SAT	0.930858	0.942272
Concrete + CSP4J - Tabu Engine 2008-05-30	1060256	SAT	1.07484	1.12472
galac M	1060267	SAT	1.3398	1.14941
galac E	1060268	SAT	1.52077	1.30992
SAT4J CSP 2008-06-13	1060261	SAT	2.5906	2.6456

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

Solution found:

0 9 1 8 2 7 3 6 4 5 8 7 6 5 4 3 2 1 0