CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/golombRulerArity4/
normalized-ruler-17-6-a4.xml

Name	csp/golombRulerArity4/ normalized-ruler-17-6-a4.xml
MD5SUM	d7473299c5808951bd929ca407dff319
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.014997
Satisfiable
(Un)Satisfiability was proved
Number of variables	6
Number of constraints	100
Maximum constraint arity	4
Maximum domain size	18
Number of constraints which are defined in extension	0
Number of constraints which are defined in intension	100
Global constraints used (with number of constraints)

Solver Name	TraceID	Answer	CPU time	Wall clock time
casper zito	1051375	SAT	0.014997	0.022923
casper zao	1051374	SAT	0.018996	0.0273691
cpHydra k_10	1051378	SAT	0.034993	0.0414171
cpHydra k_40	1051379	SAT	0.035994	0.0424121
Mistral-prime 1.313	1051373	SAT	0.036993	0.044436
bpsolver 2008-06-27	1051367	SAT	0.040993	0.040999
MDG-noprobe 2008-06-27	1051363	SAT	0.12498	0.131964
MDG-probe 2008-06-27	1051362	SAT	0.303953	0.314957
Mistral-option 1.314	1051372	SAT	0.369943	0.3783
Minion/Tailor 2008-07-04	1104800	SAT	0.444931	0.497358
choco2_impwdeg 2008-06-26	1051368	SAT	0.802877	0.842753
Abscon 112v4 ESAC	1051377	SAT	0.803877	0.841715
Concrete + CSP4J - WMC Engine 2008-05-30	1051360	SAT	0.814876	0.86318
Abscon 112v4 AC	1051376	SAT	0.856869	0.885913
choco2_dwdeg 2008-06-26	1051369	SAT	0.875866	0.892396
Sugar v1.13+minisat	1051366	SAT	1.05684	1.15504
Concrete + CSP4J - Tabu Engine 2008-05-30	1051359	SAT	1.20382	1.27555
Concrete + CPS4J 2008-05-30	1051361	SAT	1.82572	1.89707
Sugar v1.13+picosat	1051365	SAT	2.04269	2.18442
galac E	1051371	SAT	7.2319	7.29063
galac M	1051370	SAT	7.26989	7.42082
SAT4J CSP 2008-06-13	1051364	SAT	9.91149	9.93301

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 4 10 12 17