CSP 2006 Competition (second round): solvers results per benchmarks

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

Name	hanoi/ hanoi-4_ext.xml
MD5SUM	ac488db1c63940853dec4ea261b1d7b0
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.003998
Satisfiable	YES
(Un)Satisfiability was proved	YES
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
VALCSP 3.0	205446	SAT	0.003998	0.011168
VALCSP 3.1	268450	SAT	0.003998	0.00543307
Tramontane 2006-12-04	205452	SAT	0.013997	0.0167539
Mistral 2006-12-04	205451	SAT	0.024995	0.070235
BPrologCSPSolver70a 2006-12-13	205438	SAT	0.025995	0.033279
rjw-solver 2006-12-09	205439	SAT	0.05499	0.05912
Diarmuid-wtdi 2006-12-21	205436	SAT	0.05599	0.062836
rjw-solver 2007-01-21	283403	SAT	0.05899	0.0598949
Diarmuid-rndi 2006-12-21	205437	SAT	0.059989	0.0887439
Diarmuid-rndi 2007-01-22	286341	SAT	0.05999	0.066874
CSPtoSAT+minisat 0.3	205454	SAT	0.069988	0.073731
buggy_2_5_s 2007-01-08	205449	SAT	0.070988	0.080903
buggy_2_5 2007-01-08	205450	SAT	0.070989	0.0829831
CSP4J - MAC 2007-01-16	270542	SAT	0.398938	0.458008
CSP4J - MAC 2006-12-19	205444	SAT	0.406937	0.471089
CSP4J - Combo 2006-12-19	205443	SAT	0.410936	0.4625
Abscon 109 AC	205442	SAT	0.621905	0.650257
Abscon 109 ESAC	205441	SAT	0.686895	0.738084
SAT4JCSP-CACHED 1.7 RC BF3	205447	SAT	0.869866	0.937376
sat4jCSP 1.7 RC BF3	205448	SAT	0.995848	0.694975
galacJ beta 1	205440	SAT	1.06484	1.12884
galac 1	205445	SAT	1.9907	2.07813
sugar 0.40	205453	SAT	19.999	20.3802