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

Result page for benchmark
qcp-qwh/QCP-10/
qcp-10-67-8_ext.xml

Name	qcp-qwh/QCP-10/ qcp-10-67-8_ext.xml
MD5SUM	39f5ae5031b4bdf240a0cb59a317947d
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.023995
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	239730	SAT	0.023995	0.0288199
VALCSP 3.1	269659	SAT	0.025995	0.0289179
BPrologCSPSolver70a 2006-12-13	239722	SAT	0.036994	0.04126
Tramontane 2006-12-04	239736	SAT	0.054991	0.0637619
Mistral 2006-12-04	239735	SAT	0.05699	0.0616249
CSPtoSAT+minisat 0.3	239738	SAT	0.062989	0.0731189
buggy_2_5_s 2007-01-08	239733	SAT	0.187971	0.553576
buggy_2_5 2007-01-08	239734	SAT	0.197969	0.545193
Diarmuid-wtdi 2006-12-21	239720	SAT	0.499923	0.501835
rjw-solver 2007-01-21	284159	SAT	0.509922	0.521883
rjw-solver 2006-12-09	239723	SAT	0.542916	0.550552
CSP4J - MAC 2006-12-19	239728	SAT	0.633903	0.674844
CSP4J - Combo 2006-12-19	239727	SAT	0.653899	0.710588
CSP4J - MAC 2007-01-16	272579	SAT	0.671897	0.705223
Abscon 109 ESAC	239725	SAT	0.819875	0.86602
Abscon 109 AC	239726	SAT	0.873866	0.920507
Diarmuid-rndi 2007-01-22	287097	SAT	1.09983	1.16358
Diarmuid-rndi 2006-12-21	239721	SAT	1.16882	1.16818
sugar 0.40	239737	SAT	1.48277	1.77495
galacJ beta 1	239724	SAT	1.54177	1.59232
SAT4JCSP-CACHED 1.7 RC BF3	239731	SAT	1.59776	1.75088
sat4jCSP 1.7 RC BF3	239732	SAT	1.62575	1.67718
galac 1	239729	SAT	1.71174	1.80904