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

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

Name	qcp-qwh/QWH-10/ qwh-10-57-3_ext.xml
MD5SUM	54325d226234d8d371e613366d5df615
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	239293	SAT	0.020995	0.0226229
VALCSP 3.1	269636	SAT	0.021995	0.028656
BPrologCSPSolver70a 2006-12-13	239285	SAT	0.041993	0.0486519
Tramontane 2006-12-04	239299	SAT	0.052991	0.05722
Mistral 2006-12-04	239298	SAT	0.054991	0.0641979
CSPtoSAT+minisat 0.3	239301	SAT	0.05799	0.0705041
buggy_2_5_s 2007-01-08	239296	SAT	0.163974	0.166647
buggy_2_5 2007-01-08	239297	SAT	0.174972	0.178577
rjw-solver 2007-01-21	284136	SAT	0.470927	0.474371
Diarmuid-wtdi 2006-12-21	239283	SAT	0.488925	0.497824
Diarmuid-rndi 2006-12-21	239284	SAT	0.497924	0.50146
rjw-solver 2006-12-09	239286	SAT	0.507922	0.515642
CSP4J - MAC 2006-12-19	239291	SAT	0.621904	0.768874
Diarmuid-rndi 2007-01-22	287074	SAT	0.627904	0.641145
CSP4J - Combo 2006-12-19	239290	SAT	0.675896	0.726984
CSP4J - MAC 2007-01-16	272556	SAT	0.701892	0.764467
Abscon 109 AC	239289	SAT	0.877865	0.922603
Abscon 109 ESAC	239288	SAT	0.896863	1.02001
sugar 0.40	239300	SAT	1.31	1.75962
galacJ beta 1	239287	SAT	1.53477	1.61016
SAT4JCSP-CACHED 1.7 RC BF3	239294	SAT	1.56576	1.10989
galac 1	239292	SAT	1.66774	1.74837
sat4jCSP 1.7 RC BF3	239295	SAT	1.72174	1.81622