CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/graphColoring/insertion/full-insertion/
normalized-2-fullins-3-5.xml

Name	csp/graphColoring/insertion/full-insertion/ normalized-2-fullins-3-5.xml
MD5SUM	050e7fa83eceba86fbd6515c69578124
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.011997
Satisfiable
(Un)Satisfiability was proved
Number of variables	52
Number of constraints	201
Maximum constraint arity	2
Maximum domain size	5
Number of constraints which are defined in extension	0
Number of constraints which are defined in intension	201
Global constraints used (with number of constraints)

Solver Name	TraceID	Answer	CPU time	Wall clock time
Mistral-option 1.314	1090755	SAT	0.011997	0.014232
Mistral-prime 1.313	1090756	SAT	0.012997	0.019466
MDG-noprobe 2008-06-27	1090746	SAT	0.013997	0.0134279
MDG-probe 2008-06-27	1090745	SAT	0.013997	0.0139369
casper zito	1090758	SAT	0.016997	0.022667
casper zao	1090757	SAT	0.022995	0.027732
cpHydra k_40	1090762	SAT	0.023995	0.030875
cpHydra k_10	1090761	SAT	0.023996	0.0307549
bpsolver 2008-06-27	1090750	SAT	0.047992	0.048167
Minion/Tailor 2008-07-04	1105660	SAT	0.463928	0.494886
Sugar v1.13+minisat	1090749	SAT	0.778881	0.885148
Concrete + CSP4J - WMC Engine 2008-05-30	1090743	SAT	0.793878	0.837058
Abscon 112v4 ESAC	1090760	SAT	0.803877	0.843088
Sugar v1.13+picosat	1090748	SAT	0.813875	0.962464
Abscon 112v4 AC	1090759	SAT	0.814875	0.839163
choco2_dwdeg 2008-06-26	1090752	SAT	0.823874	0.837997
choco2_impwdeg 2008-06-26	1090751	SAT	0.831872	0.889788
Concrete + CSP4J - Tabu Engine 2008-05-30	1090742	SAT	0.833872	0.85251
Concrete + CPS4J 2008-05-30	1090744	SAT	0.833872	0.899395
galac M	1090753	SAT	1.35079	1.42166
galac E	1090754	SAT	1.44578	1.65838
SAT4J CSP 2008-06-13	1090747	SAT	1.53977	1.55668

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

Solution found:

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