CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/graphColoring/
myciel/normalized-myciel5-6.xml

Name	csp/graphColoring/ myciel/normalized-myciel5-6.xml
MD5SUM	0a0be2fdd09e2bc3026e029c207fdedb
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.011998
Satisfiable
(Un)Satisfiability was proved
Number of variables	47
Number of constraints	236
Maximum constraint arity	2
Maximum domain size	6
Number of constraints which are defined in extension	0
Number of constraints which are defined in intension	236
Global constraints used (with number of constraints)

Solver Name	TraceID	Answer	CPU time	Wall clock time
MDG-noprobe 2008-06-27	1088331	SAT	0.011998	0.0146239
Mistral-option 1.314	1088340	SAT	0.013997	0.0143019
Mistral-prime 1.313	1088341	SAT	0.013997	0.0550011
MDG-probe 2008-06-27	1088330	SAT	0.013997	0.018317
casper zito	1088343	SAT	0.016997	0.017597
cpHydra k_10	1088346	SAT	0.024995	0.057287
cpHydra k_40	1088347	SAT	0.027995	0.0320919
casper zao	1088342	SAT	0.028995	0.034791
bpsolver 2008-06-27	1088335	SAT	0.052991	0.062293
Minion/Tailor 2008-07-04	1105719	SAT	0.460929	0.504818
choco2_dwdeg 2008-06-26	1088337	SAT	0.805876	0.837179
choco2_impwdeg 2008-06-26	1088336	SAT	0.811876	0.833275
Sugar v1.13+minisat	1088334	SAT	0.817875	0.702254
Sugar v1.13+picosat	1088333	SAT	0.825874	0.960799
Concrete + CSP4J - Tabu Engine 2008-05-30	1088327	SAT	0.839871	0.637269
Abscon 112v4 AC	1088344	SAT	0.84987	0.732879
Concrete + CSP4J - WMC Engine 2008-05-30	1088328	SAT	0.878866	0.984066
Abscon 112v4 ESAC	1088345	SAT	0.899862	0.956091
Concrete + CPS4J 2008-05-30	1088329	SAT	1.07483	0.957778
galac M	1088338	SAT	1.3098	1.10552
galac E	1088339	SAT	1.41678	1.53237
SAT4J CSP 2008-06-13	1088332	SAT	1.65575	1.78

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

Solution found:

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