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

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

Name	hanoi/ hanoi-5_ext.xml
MD5SUM	0e5981b9a270289f8a9017b71b4850af
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.032994
Satisfiable	YES
(Un)Satisfiability was proved	YES
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
VALCSP 3.1	268454	SAT	0.030994	0.0325311
VALCSP 3.0	205522	SAT	0.032994	0.0395319
BPrologCSPSolver70a 2006-12-13	205514	SAT	0.05499	0.0561211
Tramontane 2006-12-04	205528	SAT	0.05799	0.060981
Mistral 2006-12-04	205527	SAT	0.06099	0.0697269
buggy_2_5 2007-01-08	205526	SAT	0.146976	0.15704
buggy_2_5_s 2007-01-08	205525	SAT	0.150976	0.159726
rjw-solver 2007-01-21	283407	SAT	0.52392	0.52833
Diarmuid-rndi 2007-01-22	286345	SAT	0.554914	0.563447
Diarmuid-rndi 2006-12-21	205513	SAT	0.555915	0.567718
Diarmuid-wtdi 2006-12-21	205512	SAT	0.556914	0.56534
rjw-solver 2006-12-09	205515	SAT	0.556914	0.568412
CSP4J - MAC 2007-01-16	270546	SAT	0.593909	0.654462
CSP4J - Combo 2006-12-19	205519	SAT	0.638902	0.665596
Abscon 109 AC	205518	SAT	0.6549	0.707244
CSP4J - MAC 2006-12-19	205520	SAT	0.677896	0.715865
Abscon 109 ESAC	205517	SAT	0.687894	0.71144
CSPtoSAT+minisat 0.3	205530	SAT	0.991848	1.0058
SAT4JCSP-CACHED 1.7 RC BF3	205523	SAT	1.41279	1.51779
sat4jCSP 1.7 RC BF3	205524	SAT	1.50377	1.42867
galacJ beta 1	205516	SAT	2.6106	2.74898
galac 1	205521	SAT	16.5135	16.6564
sugar 0.40	205529	? (TO)	1800.29	1806.23