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

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

Name	qcp-qwh/QCP-10/ qcp-10-67-5_ext.xml
MD5SUM	33e01754b99ebdc678f32a595cb6e0e2
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.023996
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	239597	SAT	0.023996	0.0234149
VALCSP 3.1	269652	SAT	0.025995	0.032906
BPrologCSPSolver70a 2006-12-13	239589	SAT	0.038993	0.040365
Mistral 2006-12-04	239602	SAT	0.055991	0.059362
Tramontane 2006-12-04	239603	SAT	0.05799	0.0621449
CSPtoSAT+minisat 0.3	239605	SAT	0.06099	0.07239
buggy_2_5 2007-01-08	239601	SAT	0.182972	0.201677
buggy_2_5_s 2007-01-08	239600	SAT	0.19597	0.569179
Diarmuid-rndi 2006-12-21	239588	SAT	0.505922	0.510081
Diarmuid-wtdi 2006-12-21	239587	SAT	0.508922	0.52551
rjw-solver 2006-12-09	239590	SAT	0.545916	0.556353
rjw-solver 2007-01-21	284152	SAT	0.561914	0.638873
CSP4J - MAC 2006-12-19	239595	SAT	0.680895	0.809535
CSP4J - Combo 2006-12-19	239594	SAT	0.690894	0.719956
CSP4J - MAC 2007-01-16	272572	SAT	0.725889	0.774047
Abscon 109 AC	239593	SAT	0.826874	0.964348
Abscon 109 ESAC	239592	SAT	0.830873	0.869782
sat4jCSP 1.7 RC BF3	239599	SAT	1.55376	1.18752
galacJ beta 1	239591	SAT	1.55376	1.75719
SAT4JCSP-CACHED 1.7 RC BF3	239598	SAT	1.61575	1.22389
sugar 0.40	239604	SAT	1.66474	1.78881
Diarmuid-rndi 2007-01-22	287090	SAT	1.69974	1.71748
galac 1	239596	SAT	1.82372	1.94156