CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/coloring/
normalized-geom-40-6-ext.xml

Name	csp/coloring/ normalized-geom-40-6-ext.xml
MD5SUM	e7fb6babb2b58367b36640bca885e427
Bench Category	2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.005998
Satisfiable
(Un)Satisfiability was proved
Number of variables	40
Number of constraints	78
Maximum constraint arity	2
Maximum domain size	6
Number of constraints which are defined in extension	78
Number of constraints which are defined in intension	0
Global constraints used (with number of constraints)

Solver Name	TraceID	Answer	CPU time	Wall clock time
MDG-noprobe 2008-06-27	1038727	SAT	0.005998	0.014181
Mistral-option 1.314	1038736	SAT	0.007998	0.014445
Mistral-prime 1.313	1038737	SAT	0.007998	0.0145129
MDG-probe 2008-06-27	1038726	SAT	0.008997	0.014681
spider 2008-06-14	1038723	SAT	0.010998	0.014773
casper zito	1043683	SAT	0.011997	0.0192711
cpHydra k_10	1045570	SAT	0.018997	0.025988
cpHydra k_40	1046199	SAT	0.019996	0.0257911
casper zao	1043054	SAT	0.021996	0.0284899
bpsolver 2008-06-27	1038731	SAT	0.033994	0.040996
Concrete + CSP4J - WMC Engine 2008-05-30	1038721	SAT	0.32195	0.365137
Minion/Tailor 2008-07-04	1104382	SAT	0.338947	0.359533
Concrete + CPS4J 2008-05-30	1038722	SAT	0.339948	0.37276
Concrete + CSP4J - Tabu Engine 2008-05-30	1038720	SAT	0.340947	0.374568
choco2_impwdeg 2008-06-26	1038732	SAT	0.475927	0.501066
Sugar v1.13+minisat	1038730	SAT	0.544917	0.57682
choco2_dwdeg 2008-06-26	1038733	SAT	0.545916	0.573267
Sugar v1.13+picosat	1038729	SAT	0.612906	0.70371
Abscon 112v4 AC	1044312	SAT	0.711891	0.739612
SAT4J CSP 2008-06-13	1038728	SAT	0.725888	0.762233
Abscon 112v4 ESAC	1044941	SAT	0.729888	0.784592
galac E	1038735	SAT	0.871866	0.934735
galac M	1038734	SAT	1.05284	1.10342

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

Solution found:

1 0 2 0 2 1 2 2 1 2 0 3 1 1 0 0 2 4 0 2 1 1 1 2 0 0 5 2 0 3 3 4 1 4 2 1 1 0 3 0