CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/graphColoring/
myciel/normalized-myciel4-5.xml

Name	csp/graphColoring/ myciel/normalized-myciel4-5.xml
MD5SUM	7b6d99849b82f1dfb8302995e390a295
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.006998
Satisfiable
(Un)Satisfiability was proved
Number of variables	23
Number of constraints	71
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	71
Global constraints used (with number of constraints)

Solver Name	TraceID	Answer	CPU time	Wall clock time
MDG-noprobe 2008-06-27	1088499	SAT	0.006998	0.014617
Mistral-option 1.314	1088508	SAT	0.006998	0.0143591
MDG-probe 2008-06-27	1088498	SAT	0.007998	0.0149729
casper zito	1088511	SAT	0.008998	0.0170249
Mistral-prime 1.313	1088509	SAT	0.008998	0.0146679
casper zao	1088510	SAT	0.013997	0.0283039
cpHydra k_10	1088514	SAT	0.019996	0.0258919
cpHydra k_40	1088515	SAT	0.020996	0.0263121
bpsolver 2008-06-27	1088503	SAT	0.034993	0.0403671
Minion/Tailor 2008-07-04	1105716	SAT	0.349945	0.397774
choco2_impwdeg 2008-06-26	1088504	SAT	0.570913	0.623898
Concrete + CSP4J - Tabu Engine 2008-05-30	1088495	SAT	0.600908	0.633736
Concrete + CSP4J - WMC Engine 2008-05-30	1088496	SAT	0.608907	0.633801
Sugar v1.13+minisat	1088502	SAT	0.613905	0.748526
choco2_dwdeg 2008-06-26	1088505	SAT	0.625904	0.685769
Sugar v1.13+picosat	1088501	SAT	0.658899	0.695594
Concrete + CPS4J 2008-05-30	1088497	SAT	0.687895	0.59348
Abscon 112v4 ESAC	1088513	SAT	0.714891	0.729497
Abscon 112v4 AC	1088512	SAT	0.746886	0.797631
galac M	1088506	SAT	1.01884	1.13379
SAT4J CSP 2008-06-13	1088500	SAT	1.06284	1.08673
galac E	1088507	SAT	1.16582	1.23377

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