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

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

Name	qcp-qwh/QWH-10/ qwh-10-57-2_ext.xml
MD5SUM	c4114023d752d48370d90481ac33b504
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.1	269634	SAT	0.019996	0.0217899
VALCSP 3.0	239255	SAT	0.020995	0.0232031
BPrologCSPSolver70a 2006-12-13	239247	SAT	0.039993	0.0424501
Tramontane 2006-12-04	239261	SAT	0.051992	0.0593279
Mistral 2006-12-04	239260	SAT	0.053991	0.0602419
CSPtoSAT+minisat 0.3	239263	SAT	0.05799	0.070748
buggy_2_5 2007-01-08	239259	SAT	0.149976	0.1778
buggy_2_5_s 2007-01-08	239258	SAT	0.158975	0.166698
rjw-solver 2007-01-21	284134	SAT	0.448931	0.465604
rjw-solver 2006-12-09	239248	SAT	0.479926	0.479874
Diarmuid-rndi 2007-01-22	287072	SAT	0.481925	0.495579
Diarmuid-rndi 2006-12-21	239246	SAT	0.483926	0.487444
Diarmuid-wtdi 2006-12-21	239245	SAT	0.514921	0.522482
CSP4J - Combo 2006-12-19	239252	SAT	0.613905	0.652769
CSP4J - MAC 2006-12-19	239253	SAT	0.658899	0.716074
CSP4J - MAC 2007-01-16	272554	SAT	0.701892	0.76916
Abscon 109 ESAC	239250	SAT	0.833872	0.917938
Abscon 109 AC	239251	SAT	0.866868	0.917259
sugar 0.40	239262	SAT	1.3	1.61256
galacJ beta 1	239249	SAT	1.54176	1.69098
SAT4JCSP-CACHED 1.7 RC BF3	239256	SAT	1.60376	1.09612
sat4jCSP 1.7 RC BF3	239257	SAT	1.64075	1.75186
galac 1	239254	SAT	1.80173	1.90358