CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/graphColoring/
myciel/normalized-myciel3-4.xml

Name	csp/graphColoring/ myciel/normalized-myciel3-4.xml
MD5SUM	3e11cf8d9e2677203fe6bb5c2c9d85fe
Bench Category	2-ARY-INT (binary constraints in intension)
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	11
Number of constraints	20
Maximum constraint arity	2
Maximum domain size	4
Number of constraints which are defined in extension	0
Number of constraints which are defined in intension	20
Global constraints used (with number of constraints)

Solver Name	TraceID	Answer	CPU time	Wall clock time
MDG-noprobe 2008-06-27	1088583	SAT	0.005998	0.013008
Mistral-prime 1.313	1088593	SAT	0.006998	0.012903
Mistral-option 1.314	1088592	SAT	0.006998	0.0128491
MDG-probe 2008-06-27	1088582	SAT	0.006998	0.0134769
casper zao	1088594	SAT	0.007998	0.0157631
casper zito	1088595	SAT	0.007998	0.015033
cpHydra k_10	1088598	SAT	0.017996	0.0241339
cpHydra k_40	1088599	SAT	0.017997	0.02453
bpsolver 2008-06-27	1088587	SAT	0.026995	0.0341301
Minion/Tailor 2008-07-04	1105714	SAT	0.281957	0.327785
Concrete + CSP4J - WMC Engine 2008-05-30	1088580	SAT	0.447931	0.479592
Concrete + CPS4J 2008-05-30	1088581	SAT	0.460929	0.491571
Concrete + CSP4J - Tabu Engine 2008-05-30	1088579	SAT	0.468928	0.497457
choco2_dwdeg 2008-06-26	1088589	SAT	0.475927	0.51984
Sugar v1.13+picosat	1088585	SAT	0.503922	0.558567
Sugar v1.13+minisat	1088586	SAT	0.506922	0.555106
choco2_impwdeg 2008-06-26	1088588	SAT	0.51992	0.578755
Abscon 112v4 ESAC	1088597	SAT	0.674896	0.729986
Abscon 112v4 AC	1088596	SAT	0.735887	0.78679
galac E	1088591	SAT	0.871866	0.910952
galac M	1088590	SAT	0.880865	0.958104
SAT4J CSP 2008-06-13	1088584	SAT	0.910861	0.977511

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 1 0 2 1 2 1 3 2 0