CSP 2008 Competition: solvers results per benchmarks

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

Name	csp/hanoi/ normalized-hanoi-5_ext.xml
MD5SUM	0da3c68ef9c160a23ca75bc6522878b2
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.008998
Satisfiable
(Un)Satisfiability was proved
Number of variables	30
Number of constraints	29
Maximum constraint arity	2
Maximum domain size	243
Number of constraints which are defined in extension	29
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	1034038	SAT	0.008998	0.017619
Mistral-prime 1.313	1034039	SAT	0.008998	0.016355
MDG-noprobe 2008-06-27	1034029	SAT	0.009997	0.01605
MDG-probe 2008-06-27	1034028	SAT	0.010997	0.013406
cpHydra k_40	1045938	SAT	0.018996	0.0225119
cpHydra k_10	1045309	SAT	0.020996	0.0256069
bpsolver 2008-06-27	1034033	SAT	0.065989	0.0730231
spider 2008-06-14	1034025	SAT	0.100984	0.111212
casper zao	1042793	SAT	0.207967	0.217279
casper zito	1043422	SAT	0.214966	0.2331
Concrete + CSP4J - Tabu Engine 2008-05-30	1034022	SAT	0.371943	0.764952
Concrete + CSP4J - WMC Engine 2008-05-30	1034023	SAT	0.389939	0.715391
choco2_impwdeg 2008-06-26	1034034	SAT	0.570912	0.563845
choco2_dwdeg 2008-06-26	1034035	SAT	0.577911	0.678076
Abscon 112v4 AC	1044051	SAT	0.672897	0.737243
Concrete + CPS4J 2008-05-30	1034024	SAT	0.753885	1.41622
Abscon 112v4 ESAC	1044680	SAT	1.2309	1.1065
Sugar v1.13+minisat	1034032	SAT	1.39679	1.45243
SAT4J CSP 2008-06-13	1034030	SAT	1.54277	1.2165
Sugar v1.13+picosat	1034031	SAT	1.68374	1.89818
galac M	1034036	SAT	14.6218	14.6887
galac E	1034037	SAT	19.2021	19.3463
Minion/Tailor 2008-07-04	1104121	? (problem)	0.442932	0.505373

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

Solution found:

2 5 4 22 21 24 26 53 52 46 45 36 38 41 40 202 201 204 206 197 196 190 189 216 218 221 220 238 237 240