CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/langford/
normalized-langford-3-9-ext.xml

Name	csp/langford/ normalized-langford-3-9-ext.xml
MD5SUM	9df9753330b373d89cdae8c1485f79a8
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.018996
Satisfiable
(Un)Satisfiability was proved
Number of variables	27
Number of constraints	369
Maximum constraint arity	2
Maximum domain size	27
Number of constraints which are defined in extension	369
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-probe 2008-06-27	1037646	SAT	0.018996	0.02622
Mistral-prime 1.313	1037657	SAT	0.027995	0.034469
MDG-noprobe 2008-06-27	1037647	SAT	0.029995	0.0344821
cpHydra k_40	1046139	SAT	0.038993	0.0463651
cpHydra k_10	1045510	SAT	0.039993	0.0464849
Mistral-option 1.314	1037656	SAT	0.047992	0.05425
bpsolver 2008-06-27	1037651	SAT	0.087985	0.096114
casper zito	1043623	SAT	0.12098	0.126781
spider 2008-06-14	1037643	SAT	0.143977	0.152114
Concrete + CPS4J 2008-05-30	1037642	SAT	0.554915	0.583014
Minion/Tailor 2008-07-04	1104322	SAT	0.609907	0.627636
Concrete + CSP4J - Tabu Engine 2008-05-30	1037640	SAT	0.78388	0.790912
choco2_dwdeg 2008-06-26	1037653	SAT	0.807876	0.838431
choco2_impwdeg 2008-06-26	1037652	SAT	0.814875	0.832633
Abscon 112v4 AC	1044252	SAT	0.953854	0.997619
Abscon 112v4 ESAC	1044881	SAT	0.976851	1.01306
Sugar v1.13+minisat	1037650	SAT	1.10183	1.23092
Sugar v1.13+picosat	1037649	SAT	1.24981	1.33398
SAT4J CSP 2008-06-13	1037648	SAT	1.69574	1.718
galac M	1037654	SAT	1.83772	1.96404
casper zao	1042994	SAT	1.91871	1.96249
galac E	1037655	SAT	1.9397	2.01955
Concrete + CSP4J - WMC Engine 2008-05-30	1037641	? (TO)	1800.03	1815.72

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

Solution found:

22 17 2 9 1 4 0 3 5 24 20 6 14 7 11 8 12 15 26 23 10 19 13 18 16 21 25