CSP 2008 Competition: solvers results per benchmarks

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

Name	csp/allIntervalSeries/ normalized-series-8.xml
MD5SUM	cc6af1b4592e974e7987a7f31892c86f
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.007998
Satisfiable
(Un)Satisfiability was proved
Number of variables	15
Number of constraints	56
Maximum constraint arity	3
Maximum domain size	8
Number of constraints which are defined in extension	0
Number of constraints which are defined in intension	56
Global constraints used (with number of constraints)

Solver Name	TraceID	Answer	CPU time	Wall clock time
Mistral-prime 1.313	1060312	SAT	0.007998	0.01479
Mistral-option 1.314	1060311	SAT	0.008997	0.014467
MDG-probe 2008-06-27	1060301	SAT	0.009998	0.009924
MDG-noprobe 2008-06-27	1060302	SAT	0.013997	0.0143551
casper zito	1060314	SAT	0.022996	0.0299091
cpHydra k_10	1060317	SAT	0.024995	0.024277
cpHydra k_40	1060318	SAT	0.025996	0.031558
bpsolver 2008-06-27	1060306	SAT	0.029995	0.0335529
casper zao	1060313	SAT	0.044992	0.0518221
Minion/Tailor 2008-07-04	1105213	SAT	0.370943	0.404618
Sugar v1.13+minisat	1060305	SAT	0.574912	0.60595
Concrete + CSP4J - Tabu Engine 2008-05-30	1060298	SAT	0.589909	0.641356
Concrete + CPS4J 2008-05-30	1060300	SAT	0.593909	0.493339
Concrete + CSP4J - WMC Engine 2008-05-30	1060299	SAT	0.605907	0.671258
Sugar v1.13+picosat	1060304	SAT	0.695894	0.77445
choco2_dwdeg 2008-06-26	1060308	SAT	0.705891	0.733311
choco2_impwdeg 2008-06-26	1060307	SAT	0.726888	0.571885
Abscon 112v4 AC	1060315	SAT	0.757884	0.795056
Abscon 112v4 ESAC	1060316	SAT	0.78588	0.848459
galac M	1060309	SAT	1.19782	1.04963
galac E	1060310	SAT	1.2818	1.329
SAT4J CSP 2008-06-13	1060303	SAT	2.11668	2.1776

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

Solution found:

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