CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/coloring/
normalized-geom-30a-6-ext.xml

Name	csp/coloring/ normalized-geom-30a-6-ext.xml
MD5SUM	23948995bccd5483bc394fbac5577b6d
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.005999
Satisfiable
(Un)Satisfiability was proved
Number of variables	30
Number of constraints	81
Maximum constraint arity	2
Maximum domain size	6
Number of constraints which are defined in extension	81
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
MDG-noprobe 2008-06-27	1038799	SAT	0.005999	0.00835493
MDG-probe 2008-06-27	1038798	SAT	0.007998	0.014886
Mistral-prime 1.313	1038809	SAT	0.007998	0.00848205
Mistral-option 1.314	1038808	SAT	0.008998	0.014238
spider 2008-06-14	1038795	SAT	0.009998	0.0187771
casper zito	1043687	SAT	0.011997	0.012173
casper zao	1043058	SAT	0.014997	0.021911
cpHydra k_10	1045574	SAT	0.019996	0.0257461
cpHydra k_40	1046203	SAT	0.020995	0.0208149
bpsolver 2008-06-27	1038803	SAT	0.031994	0.041166
Minion/Tailor 2008-07-04	1104386	SAT	0.301953	0.33386
Concrete + CSP4J - Tabu Engine 2008-05-30	1038792	SAT	0.334948	0.373257
Concrete + CSP4J - WMC Engine 2008-05-30	1038793	SAT	0.338947	0.371948
Concrete + CPS4J 2008-05-30	1038794	SAT	0.356945	0.37637
choco2_dwdeg 2008-06-26	1038805	SAT	0.443932	0.467279
choco2_impwdeg 2008-06-26	1038804	SAT	0.45293	0.467447
Sugar v1.13+picosat	1038801	SAT	0.565913	0.626097
Sugar v1.13+minisat	1038802	SAT	0.591909	0.70778
Abscon 112v4 ESAC	1044945	SAT	0.718889	0.730869
Abscon 112v4 AC	1044316	SAT	0.736887	0.784503
SAT4J CSP 2008-06-13	1038800	SAT	0.743886	0.772542
galac M	1038806	SAT	0.881865	0.927477
galac E	1038807	SAT	0.917859	1.00034

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

Solution found:

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