CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/langford/
normalized-langford-2-4-ext.xml

Name	csp/langford/ normalized-langford-2-4-ext.xml
MD5SUM	44ab68d9c3df9bda125b0db430afe12c
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.004998
Satisfiable
(Un)Satisfiability was proved
Number of variables	8
Number of constraints	32
Maximum constraint arity	2
Maximum domain size	8
Number of constraints which are defined in extension	32
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-option 1.314	1037638	SAT	0.004998	0.01299
MDG-noprobe 2008-06-27	1037629	SAT	0.005998	0.012742
MDG-probe 2008-06-27	1037628	SAT	0.007998	0.013772
Mistral-prime 1.313	1037639	SAT	0.007998	0.0131081
spider 2008-06-14	1037625	SAT	0.008998	0.017339
casper zao	1042993	SAT	0.010997	0.0192401
casper zito	1043622	SAT	0.010998	0.0168139
cpHydra k_10	1045509	SAT	0.016997	0.0243659
cpHydra k_40	1046138	SAT	0.017996	0.024157
bpsolver 2008-06-27	1037633	SAT	0.028995	0.035318
Minion/Tailor 2008-07-04	1104321	SAT	0.273957	0.335885
Concrete + CPS4J 2008-05-30	1037624	SAT	0.314951	0.375818
Concrete + CSP4J - Tabu Engine 2008-05-30	1037622	SAT	0.32395	0.347353
Concrete + CSP4J - WMC Engine 2008-05-30	1037623	SAT	0.32495	0.373856
choco2_dwdeg 2008-06-26	1037635	SAT	0.394939	0.425355
choco2_impwdeg 2008-06-26	1037634	SAT	0.411936	0.426619
Sugar v1.13+picosat	1037631	SAT	0.498923	0.539529
Sugar v1.13+minisat	1037632	SAT	0.502922	0.595075
Abscon 112v4 AC	1044251	SAT	0.668897	0.731585
Abscon 112v4 ESAC	1044880	SAT	0.703892	0.734991
SAT4J CSP 2008-06-13	1037630	SAT	0.714891	0.771169
galac E	1037637	SAT	0.808876	0.891641
galac M	1037636	SAT	0.811876	0.855522

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

Solution found:

1 4 2 0 3 7 6 5