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

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

Name	qcp-qwh/QWH-10/ qwh-10-57-1_ext.xml
MD5SUM	653319b68f01b35b090213d6c6412ae9
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.020996
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	239312	SAT	0.020996	0.0253851
VALCSP 3.1	269637	SAT	0.020996	0.0284091
BPrologCSPSolver70a 2006-12-13	239304	SAT	0.041992	0.0500671
Mistral 2006-12-04	239317	SAT	0.05699	0.0669531
Tramontane 2006-12-04	239318	SAT	0.05799	0.0644349
CSPtoSAT+minisat 0.3	239320	SAT	0.06499	0.0773661
buggy_2_5 2007-01-08	239316	SAT	0.171973	0.181857
buggy_2_5_s 2007-01-08	239315	SAT	0.173972	0.185262
Diarmuid-rndi 2007-01-22	287075	SAT	0.483926	0.497096
rjw-solver 2006-12-09	239305	SAT	0.570913	0.578762
Diarmuid-rndi 2006-12-21	239303	SAT	0.574911	0.583794
rjw-solver 2007-01-21	284137	SAT	0.598908	0.607582
CSP4J - MAC 2006-12-19	239310	SAT	0.599908	0.658977
Diarmuid-wtdi 2006-12-21	239302	SAT	0.609907	0.614028
CSP4J - MAC 2007-01-16	272557	SAT	0.678895	0.714159
CSP4J - Combo 2006-12-19	239309	SAT	0.681896	0.784292
Abscon 109 ESAC	239307	SAT	0.811876	0.873608
Abscon 109 AC	239308	SAT	0.886865	0.925749
sugar 0.40	239319	SAT	1.29	1.60382
SAT4JCSP-CACHED 1.7 RC BF3	239313	SAT	1.54876	1.09099
galacJ beta 1	239306	SAT	1.55276	1.60688
sat4jCSP 1.7 RC BF3	239314	SAT	1.55376	0.984804
galac 1	239311	SAT	1.69274	1.81896