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

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

Name	qcp-qwh/QCP-10/ qcp-10-67-7_ext.xml
MD5SUM	f5188fb52f40d92352a30464ee75e588
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.026995
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	239616	SAT	0.026995	0.027925
VALCSP 3.1	269653	SAT	0.029994	0.0305279
BPrologCSPSolver70a 2006-12-13	239608	SAT	0.035994	0.0448909
CSPtoSAT+minisat 0.3	239624	SAT	0.060989	0.07337
Tramontane 2006-12-04	239622	SAT	0.06099	0.0747561
Mistral 2006-12-04	239621	SAT	0.06199	0.0684999
buggy_2_5 2007-01-08	239620	SAT	0.170973	0.185638
buggy_2_5_s 2007-01-08	239619	SAT	0.173973	0.182668
Diarmuid-rndi 2006-12-21	239607	SAT	0.464928	0.472969
Diarmuid-rndi 2007-01-22	287091	SAT	0.58591	0.586281
rjw-solver 2006-12-09	239609	SAT	0.594909	0.59418
Diarmuid-wtdi 2006-12-21	239606	SAT	0.595909	0.610608
rjw-solver 2007-01-21	284153	SAT	0.600908	0.610819
CSP4J - MAC 2006-12-19	239614	SAT	0.686895	0.730934
CSP4J - MAC 2007-01-16	272573	SAT	0.779881	0.820907
Abscon 109 ESAC	239611	SAT	0.827873	0.864286
Abscon 109 AC	239612	SAT	0.889864	0.937472
CSP4J - Combo 2006-12-19	239613	SAT	0.91586	1.01084
sugar 0.40	239623	SAT	1.43	1.76068
SAT4JCSP-CACHED 1.7 RC BF3	239617	SAT	1.56076	1.10119
sat4jCSP 1.7 RC BF3	239618	SAT	1.58176	1.62796
galacJ beta 1	239610	SAT	1.63175	1.74615
galac 1	239615	SAT	1.71174	1.76006