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

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

Name	hanoi/ hanoi-3_ext.xml
MD5SUM	61eab57f9f916e4d1d75ade140564103
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.002998
Satisfiable	YES
(Un)Satisfiability was proved	YES
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
VALCSP 3.1	268451	SAT	0.000999	0.00878491
VALCSP 3.0	205465	SAT	0.002998	0.008663
Tramontane 2006-12-04	205471	SAT	0.011997	0.0143541
Mistral 2006-12-04	205470	SAT	0.013997	0.0227531
CSPtoSAT+minisat 0.3	205473	SAT	0.015997	0.024627
BPrologCSPSolver70a 2006-12-13	205457	SAT	0.019996	0.0215101
rjw-solver 2006-12-09	205458	SAT	0.035993	0.044517
rjw-solver 2007-01-21	283404	SAT	0.035993	0.044758
Diarmuid-wtdi 2006-12-21	205455	SAT	0.037993	0.0434771
Diarmuid-rndi 2007-01-22	286342	SAT	0.037993	0.0445191
Diarmuid-rndi 2006-12-21	205456	SAT	0.038994	0.040341
buggy_2_5_s 2007-01-08	205468	SAT	0.05699	0.068251
buggy_2_5 2007-01-08	205469	SAT	0.06099	0.0614789
CSP4J - MAC 2007-01-16	270543	SAT	0.284955	0.339198
CSP4J - MAC 2006-12-19	205463	SAT	0.285956	0.355496
CSP4J - Combo 2006-12-19	205462	SAT	0.294954	0.430601
SAT4JCSP-CACHED 1.7 RC BF3	205466	SAT	0.556914	0.522464
sat4jCSP 1.7 RC BF3	205467	SAT	0.573912	0.649471
Abscon 109 ESAC	205460	SAT	0.610906	0.668478
Abscon 109 AC	205461	SAT	0.643901	0.728122
galacJ beta 1	205459	SAT	0.859868	0.923412
sugar 0.40	205472	SAT	1.00285	1.13935
galac 1	205464	SAT	1.02984	1.12085