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

Result page for benchmark
bqwh/bqwh-15-106/
bqwh-15-106-69_ext.xml

Name	bqwh/bqwh-15-106/ bqwh-15-106-69_ext.xml
MD5SUM	2061ea8961a80ee52653db0254824364
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.033994
Satisfiable	YES
(Un)Satisfiability was proved	YES
Number of variables	106
Number of constraints	644
Maximum constraint arity	2
Maximum domain size	6
Number of constraints which are defined in extension	644
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	268882	SAT	0.030994	0.037351
VALCSP 3.0	222507	SAT	0.033994	0.0368479
CSPtoSAT+minisat 0.3	222515	SAT	0.05899	0.0687531
BPrologCSPSolver70a 2006-12-13	222499	SAT	0.148976	0.155147
Tramontane 2006-12-04	222513	SAT	0.220966	0.22235
Mistral 2006-12-04	222512	SAT	0.317951	0.321486
buggy_2_5_s 2007-01-08	222510	SAT	0.6539	0.674752
buggy_2_5 2007-01-08	222511	SAT	0.680895	0.681859
CSP4J - Combo 2006-12-19	222504	SAT	0.782879	0.815249
CSP4J - MAC 2006-12-19	222505	SAT	0.885864	0.926343
CSP4J - MAC 2007-01-16	271668	SAT	0.935857	1.09112
Abscon 109 ESAC	222502	SAT	0.995848	1.03027
sugar 0.40	222514	SAT	1.07983	1.38947
Abscon 109 AC	222503	SAT	1.12583	1.17123
galacJ beta 1	222501	SAT	1.61975	1.74988
galac 1	222506	SAT	1.64375	1.77882
SAT4JCSP-CACHED 1.7 RC BF3	222508	SAT	1.65575	1.16028
sat4jCSP 1.7 RC BF3	222509	SAT	1.66075	1.15996
Diarmuid-wtdi 2006-12-21	222497	SAT	2.43863	2.4444
rjw-solver 2007-01-21	283626	SAT	3.02954	3.04503
rjw-solver 2006-12-09	222500	SAT	3.06053	3.07243
Diarmuid-rndi 2006-12-21	222498	SAT	31.3482	31.475
Diarmuid-rndi 2007-01-22	286564	SAT	33.7579	34.0732