CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/coloring/
normalized-myciel-5g-6-ext.xml

Name	csp/coloring/ normalized-myciel-5g-6-ext.xml
MD5SUM	ec173b5797939f23d4e425754445bde7
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.010997
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	236
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
Mistral-prime 1.313	1038485	SAT	0.010997	0.0178969
MDG-noprobe 2008-06-27	1038475	SAT	0.010997	0.0177499
Mistral-option 1.314	1038484	SAT	0.011997	0.0180651
MDG-probe 2008-06-27	1038474	SAT	0.012997	0.018362
spider 2008-06-14	1038471	SAT	0.016997	0.0260039
cpHydra k_40	1046185	SAT	0.022995	0.0227301
cpHydra k_10	1045556	SAT	0.022996	0.025812
casper zito	1043669	SAT	0.024995	0.0311949
casper zao	1043040	SAT	0.037993	0.045541
bpsolver 2008-06-27	1038479	SAT	0.048991	0.054814
Concrete + CPS4J 2008-05-30	1038470	SAT	0.415936	0.430878
Concrete + CSP4J - WMC Engine 2008-05-30	1038469	SAT	0.416936	0.426353
Concrete + CSP4J - Tabu Engine 2008-05-30	1038468	SAT	0.477927	0.493182
Minion/Tailor 2008-07-04	1104368	SAT	0.482925	0.495008
choco2_impwdeg 2008-06-26	1038480	SAT	0.548915	0.576264
choco2_dwdeg 2008-06-26	1038481	SAT	0.662898	0.682253
Sugar v1.13+minisat	1038478	SAT	0.721889	0.856852
Abscon 112v4 ESAC	1044927	SAT	0.789879	0.834575
Sugar v1.13+picosat	1038477	SAT	0.791878	0.892886
Abscon 112v4 AC	1044298	SAT	0.84687	0.886312
SAT4J CSP 2008-06-13	1038476	SAT	0.878866	0.923149
galac M	1038482	SAT	1.22281	1.29477
galac E	1038483	SAT	1.3168	1.40536

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