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

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

Name	qcp-qwh/QWH-10/ qwh-10-57-0_ext.xml
MD5SUM	1cf43a98a9bb4a5c7b38ae302bf6431b
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.018996
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	239236	SAT	0.018996	0.035348
VALCSP 3.1	269633	SAT	0.020995	0.027747
BPrologCSPSolver70a 2006-12-13	239228	SAT	0.037993	0.0452619
Tramontane 2006-12-04	239242	SAT	0.053991	0.0570019
Mistral 2006-12-04	239241	SAT	0.05599	0.0667529
CSPtoSAT+minisat 0.3	239244	SAT	0.05799	0.071497
buggy_2_5_s 2007-01-08	239239	SAT	0.155975	0.190543
buggy_2_5 2007-01-08	239240	SAT	0.169973	0.178795
Diarmuid-rndi 2006-12-21	239227	SAT	0.436933	0.471872
Diarmuid-rndi 2007-01-22	287071	SAT	0.45393	0.470873
rjw-solver 2007-01-21	284133	SAT	0.460929	0.470834
Diarmuid-wtdi 2006-12-21	239226	SAT	0.475927	0.488344
rjw-solver 2006-12-09	239229	SAT	0.493924	0.503222
CSP4J - Combo 2006-12-19	239233	SAT	0.618905	0.656753
CSP4J - MAC 2006-12-19	239234	SAT	0.6539	0.720939
CSP4J - MAC 2007-01-16	272553	SAT	0.681896	2.2264
Abscon 109 AC	239232	SAT	0.857868	0.876019
Abscon 109 ESAC	239231	SAT	0.894863	0.921469
sugar 0.40	239243	SAT	1.3	1.60617
galacJ beta 1	239230	SAT	1.51077	1.59242
sat4jCSP 1.7 RC BF3	239238	SAT	1.55276	1.55602
galac 1	239235	SAT	1.64475	1.72061
SAT4JCSP-CACHED 1.7 RC BF3	239237	SAT	1.66575	1.70993