CSP 2008 Competition: solvers results per benchmarks

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

Name	csp/hanoi/ normalized-hanoi-3_ext.xml
MD5SUM	6edddfd48faaa0fe0986e07a5d4b3c85
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.005998
Satisfiable
(Un)Satisfiability was proved
Number of variables	6
Number of constraints	5
Maximum constraint arity	2
Maximum domain size	27
Number of constraints which are defined in extension	5
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-prime 1.313	1034111	SAT	0.005998	0.012592
Mistral-option 1.314	1034110	SAT	0.005998	0.00651989
casper zao	1042797	SAT	0.005998	0.00993496
MDG-probe 2008-06-27	1034100	SAT	0.006998	0.0069639
MDG-noprobe 2008-06-27	1034101	SAT	0.006998	0.00658711
casper zito	1043426	SAT	0.008998	0.00933501
spider 2008-06-14	1034097	SAT	0.009998	0.014629
cpHydra k_40	1045942	SAT	0.016996	0.0241641
cpHydra k_10	1045313	SAT	0.019996	0.019695
bpsolver 2008-06-27	1034105	SAT	0.026995	0.027447
Minion/Tailor 2008-07-04	1104125	SAT	0.268958	0.280584
Concrete + CSP4J - Tabu Engine 2008-05-30	1034094	SAT	0.272957	0.321714
Concrete + CSP4J - WMC Engine 2008-05-30	1034095	SAT	0.274957	0.259155
Concrete + CPS4J 2008-05-30	1034096	SAT	0.283956	0.259964
choco2_dwdeg 2008-06-26	1034107	SAT	0.326949	0.370658
choco2_impwdeg 2008-06-26	1034106	SAT	0.337948	0.31406
Sugar v1.13+minisat	1034104	SAT	0.461929	0.51329
Sugar v1.13+picosat	1034103	SAT	0.481925	0.57839
Abscon 112v4 ESAC	1044684	SAT	0.592909	0.636121
Abscon 112v4 AC	1044055	SAT	0.610906	0.645625
SAT4J CSP 2008-06-13	1034102	SAT	0.701893	0.574043
galac M	1034108	SAT	0.836871	0.780472
galac E	1034109	SAT	0.961853	1.08868

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