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

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

Name	qcp-qwh/QWH-10/ qwh-10-57-6_ext.xml
MD5SUM	79a975cda36d0ad6708fe14f059089e8
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.019996
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	239331	SAT	0.019996	0.021877
VALCSP 3.1	269638	SAT	0.019996	0.0275249
BPrologCSPSolver70a 2006-12-13	239323	SAT	0.037993	0.04014
Tramontane 2006-12-04	239337	SAT	0.050991	0.0622529
Mistral 2006-12-04	239336	SAT	0.05699	0.0636589
CSPtoSAT+minisat 0.3	239339	SAT	0.05899	0.0715129
buggy_2_5_s 2007-01-08	239334	SAT	0.156975	0.163054
buggy_2_5 2007-01-08	239335	SAT	0.163974	0.165408
rjw-solver 2006-12-09	239324	SAT	0.468927	0.516922
Diarmuid-wtdi 2006-12-21	239321	SAT	0.476927	0.482243
rjw-solver 2007-01-21	284138	SAT	0.493924	0.497501
Diarmuid-rndi 2007-01-22	287076	SAT	0.560913	0.568435
CSP4J - MAC 2006-12-19	239329	SAT	0.610907	0.657718
CSP4J - Combo 2006-12-19	239328	SAT	0.637902	0.704548
CSP4J - MAC 2007-01-16	272558	SAT	0.653899	0.712634
Abscon 109 ESAC	239326	SAT	0.821875	0.877266
Abscon 109 AC	239327	SAT	0.872866	0.933858
Diarmuid-rndi 2006-12-21	239322	SAT	1.05884	1.07261
sugar 0.40	239338	SAT	1.3418	1.64453
galacJ beta 1	239325	SAT	1.50877	1.6197
SAT4JCSP-CACHED 1.7 RC BF3	239332	SAT	1.57676	1.6669
sat4jCSP 1.7 RC BF3	239333	SAT	1.59576	1.17126
galac 1	239330	SAT	1.67674	1.76147