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

Result page for benchmark
qcp-qwh/QWH-10/
qwh-10-57-5_ext.xml

Name	qcp-qwh/QWH-10/ qwh-10-57-5_ext.xml
MD5SUM	654eb169afddf7c6f29b7298e1a89531
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.020995
Satisfiable	YES
(Un)Satisfiability was proved
Number of variables	100
Number of constraints	900
Maximum constraint arity	2
Maximum domain size	10
Number of constraints which are defined in extension	900
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	239274	SAT	0.020995	0.0235561
VALCSP 3.1	269635	SAT	0.020996	0.027667
Mistral 2006-12-04	239279	SAT	0.054991	0.0585601
Tramontane 2006-12-04	239280	SAT	0.055991	0.060694
BPrologCSPSolver70a 2006-12-13	239266	SAT	0.05799	0.0635359
CSPtoSAT+minisat 0.3	239282	SAT	0.061989	0.0817111
buggy_2_5 2007-01-08	239278	SAT	0.157975	0.168682
buggy_2_5_s 2007-01-08	239277	SAT	0.157975	0.165133
Diarmuid-rndi 2007-01-22	287073	SAT	0.486925	0.495905
rjw-solver 2007-01-21	284135	SAT	0.537917	0.543326
rjw-solver 2006-12-09	239267	SAT	0.571912	0.586776
Diarmuid-wtdi 2006-12-21	239264	SAT	0.572912	0.589405
CSP4J - MAC 2006-12-19	239272	SAT	0.589909	0.652199
CSP4J - Combo 2006-12-19	239271	SAT	0.614905	0.657045
CSP4J - MAC 2007-01-16	272555	SAT	0.697893	0.888664
Abscon 109 ESAC	239269	SAT	0.841871	0.865691
Abscon 109 AC	239270	SAT	0.895863	0.920243
Diarmuid-rndi 2006-12-21	239265	SAT	1.07484	1.07982
sugar 0.40	239281	SAT	1.33	1.61341
galacJ beta 1	239268	SAT	1.52777	1.60293
sat4jCSP 1.7 RC BF3	239276	SAT	1.59676	1.1016
SAT4JCSP-CACHED 1.7 RC BF3	239275	SAT	1.69474	1.18227
galac 1	239273	SAT	1.70574	1.76811