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

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

Name	qcp-qwh/QWH-10/ qwh-10-57-9_ext.xml
MD5SUM	d5a59e6fcb4bc1365ee5c0eeabf6892f
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.042993
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
BPrologCSPSolver70a 2006-12-13	239171	SAT	0.042993	0.042758
VALCSP 3.1	269630	SAT	0.045992	0.0532849
VALCSP 3.0	239179	SAT	0.046992	0.0480921
Tramontane 2006-12-04	239185	SAT	0.05899	0.0613589
CSPtoSAT+minisat 0.3	239187	SAT	0.060989	0.0710019
buggy_2_5_s 2007-01-08	239182	SAT	0.164973	0.16419
buggy_2_5 2007-01-08	239183	SAT	0.171973	0.629929
Mistral 2006-12-04	239184	SAT	0.236963	0.246392
CSP4J - Combo 2006-12-19	239176	SAT	0.635902	0.655247
CSP4J - MAC 2006-12-19	239177	SAT	0.665898	0.700459
CSP4J - MAC 2007-01-16	272550	SAT	0.744886	0.865388
Abscon 109 ESAC	239174	SAT	0.84887	1.02256
Abscon 109 AC	239175	SAT	0.885864	0.937963
Diarmuid-wtdi 2006-12-21	239169	SAT	1.05284	1.11847
rjw-solver 2007-01-21	284130	SAT	1.23681	1.23967
rjw-solver 2006-12-09	239172	SAT	1.26481	1.28248
sugar 0.40	239186	SAT	1.46478	1.80866
galacJ beta 1	239173	SAT	1.53377	1.59227
sat4jCSP 1.7 RC BF3	239181	SAT	1.60076	1.09513
SAT4JCSP-CACHED 1.7 RC BF3	239180	SAT	1.67274	1.05836
galac 1	239178	SAT	1.80772	1.90726
Diarmuid-rndi 2007-01-22	287068	SAT	4.08538	4.15677
Diarmuid-rndi 2006-12-21	239170	SAT	6.552	6.56186