CSP 2008 Competition: solvers results per benchmarks

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

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

Solver Name	TraceID	Answer	CPU time	Wall clock time
Mistral-option 1.314	1060290	SAT	0.006998	0.0150039
Mistral-prime 1.313	1060291	SAT	0.009998	0.00993206
MDG-probe 2008-06-27	1060280	SAT	0.012997	0.017428
MDG-noprobe 2008-06-27	1060281	SAT	0.029995	0.0306791
bpsolver 2008-06-27	1060285	SAT	0.034993	0.0407939
cpHydra k_10	1060296	SAT	0.046992	0.0540129
cpHydra k_40	1060297	SAT	0.047992	0.0542249
casper zito	1060293	SAT	0.088986	0.100293
casper zao	1060292	SAT	0.126979	0.143175
Minion/Tailor 2008-07-04	1105215	SAT	0.405937	0.422273
Sugar v1.13+picosat	1060283	SAT	0.629903	0.724911
Sugar v1.13+minisat	1060284	SAT	0.6539	0.656961
Concrete + CSP4J - Tabu Engine 2008-05-30	1060277	SAT	0.724889	0.794208
choco2_impwdeg 2008-06-26	1060286	SAT	0.744885	0.798637
Concrete + CPS4J 2008-05-30	1060279	SAT	0.768882	0.811426
choco2_dwdeg 2008-06-26	1060287	SAT	0.78088	0.708506
Abscon 112v4 ESAC	1060295	SAT	0.84987	0.931915
Abscon 112v4 AC	1060294	SAT	0.85187	0.747828
galac E	1060289	SAT	1.3378	1.42702
galac M	1060288	SAT	1.36179	1.43405
SAT4J CSP 2008-06-13	1060282	SAT	1.89371	1.93849
Concrete + CSP4J - WMC Engine 2008-05-30	1060278	SAT	10.8783	10.7631

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

Solution found:

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