CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/hanoi/
normalized-hanoi-4_ext.xml

Name	csp/hanoi/ normalized-hanoi-4_ext.xml
MD5SUM	ad9054d6a2109696492b01ca799f08f7
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.006998
Satisfiable
(Un)Satisfiability was proved
Number of variables	14
Number of constraints	13
Maximum constraint arity	2
Maximum domain size	81
Number of constraints which are defined in extension	13
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	1034082	SAT	0.006998	0.0136891
Mistral-option 1.314	1034092	SAT	0.006998	0.0073121
MDG-noprobe 2008-06-27	1034083	SAT	0.007998	0.00809095
Mistral-prime 1.313	1034093	SAT	0.007998	0.00781197
spider 2008-06-14	1034079	SAT	0.008998	0.020076
cpHydra k_40	1045941	SAT	0.017996	0.025302
casper zao	1042796	SAT	0.017997	0.018746
casper zito	1043425	SAT	0.018996	0.028584
cpHydra k_10	1045312	SAT	0.020996	0.019472
bpsolver 2008-06-27	1034087	SAT	0.031995	0.031935
Minion/Tailor 2008-07-04	1104124	SAT	0.300953	0.339614
Concrete + CSP4J - WMC Engine 2008-05-30	1034077	SAT	0.304953	0.324765
Concrete + CSP4J - Tabu Engine 2008-05-30	1034076	SAT	0.304953	0.367955
Concrete + CPS4J 2008-05-30	1034078	SAT	0.328949	0.312244
choco2_impwdeg 2008-06-26	1034088	SAT	0.364943	0.413929
choco2_dwdeg 2008-06-26	1034089	SAT	0.369943	0.431757
Sugar v1.13+picosat	1034085	SAT	0.617905	0.689277
Abscon 112v4 ESAC	1044683	SAT	0.617905	0.634839
Abscon 112v4 AC	1044054	SAT	0.618905	0.681891
Sugar v1.13+minisat	1034086	SAT	0.732887	0.821523
SAT4J CSP 2008-06-13	1034084	SAT	0.972851	1.08043
galac M	1034090	SAT	1.67274	1.59931
galac E	1034091	SAT	1.74173	1.62598

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

Solution found:

1 7 8 17 15 12 13 67 68 65 63 72 73 79