CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/langford2/
normalized-langford-2-11.xml

Name	csp/langford2/ normalized-langford-2-11.xml
MD5SUM	73c919607a4e7a8e4ee912d3bd00ef1b
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.012997
Satisfiable
(Un)Satisfiability was proved
Number of variables	22
Number of constraints	242
Maximum constraint arity	2
Maximum domain size	22
Number of constraints which are defined in extension	0
Number of constraints which are defined in intension	242
Global constraints used (with number of constraints)

Solver Name	TraceID	Answer	CPU time	Wall clock time
MDG-noprobe 2008-06-27	1084504	SAT	0.012997	0.020853
Mistral-prime 1.313	1084514	SAT	0.012998	0.0203521
Mistral-option 1.314	1084513	SAT	0.015996	0.020479
MDG-probe 2008-06-27	1084503	SAT	0.015997	0.0221891
casper zito	1084516	SAT	0.017996	0.0252239
cpHydra k_40	1084520	SAT	0.023995	0.0320451
cpHydra k_10	1084519	SAT	0.027994	0.032347
casper zao	1084515	SAT	0.039993	0.0480171
bpsolver 2008-06-27	1084508	SAT	0.054991	0.0617499
Minion/Tailor 2008-07-04	1105890	SAT	0.498923	0.554878
Sugar v1.13+minisat	1084507	SAT	0.855869	0.914413
Abscon 112v4 AC	1084517	SAT	0.866867	0.886842
Sugar v1.13+picosat	1084506	SAT	0.91686	1.02152
Abscon 112v4 ESAC	1084518	SAT	0.942856	0.999116
Concrete + CPS4J 2008-05-30	1084502	SAT	0.955854	1.00629
Concrete + CSP4J - WMC Engine 2008-05-30	1084501	SAT	0.958853	1.01943
choco2_dwdeg 2008-06-26	1084510	SAT	0.965852	0.999768
choco2_impwdeg 2008-06-26	1084509	SAT	1.00085	1.05233
Concrete + CSP4J - Tabu Engine 2008-05-30	1084500	SAT	1.22181	1.12579
galac E	1084512	SAT	1.89871	1.96622
galac M	1084511	SAT	2.08168	2.18135
SAT4J CSP 2008-06-13	1084505	SAT	3.73943	3.84385

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

Solution found:

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