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

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

Name	qcp-qwh/QCP-10/ qcp-10-67-9_ext.xml
MD5SUM	20cae6473e7e908b7841fd7ae4f42a94
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.020996
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	239654	SAT	0.020996	0.0229039
VALCSP 3.1	269655	SAT	0.026995	0.032908
BPrologCSPSolver70a 2006-12-13	239646	SAT	0.045992	0.0522701
Tramontane 2006-12-04	239660	SAT	0.053991	0.0666211
Mistral 2006-12-04	239659	SAT	0.05599	0.059469
CSPtoSAT+minisat 0.3	239662	SAT	0.06099	0.0833751
buggy_2_5_s 2007-01-08	239657	SAT	0.168974	0.17882
buggy_2_5 2007-01-08	239658	SAT	0.180971	0.191923
Diarmuid-rndi 2007-01-22	287093	SAT	0.510922	0.520357
Diarmuid-rndi 2006-12-21	239645	SAT	0.622904	0.679275
CSP4J - MAC 2006-12-19	239652	SAT	0.629903	0.651392
rjw-solver 2007-01-21	284155	SAT	0.641902	0.644623
rjw-solver 2006-12-09	239647	SAT	0.691894	0.693175
Diarmuid-wtdi 2006-12-21	239644	SAT	0.693893	0.702491
CSP4J - MAC 2007-01-16	272575	SAT	0.712891	0.841296
CSP4J - Combo 2006-12-19	239651	SAT	0.727888	0.776683
Abscon 109 AC	239650	SAT	0.834872	0.927717
Abscon 109 ESAC	239649	SAT	0.867867	0.923835
sugar 0.40	239661	SAT	1.42	1.76328
galacJ beta 1	239648	SAT	1.65375	1.7151
sat4jCSP 1.7 RC BF3	239656	SAT	1.66175	1.09625
galac 1	239653	SAT	1.72174	1.83221
SAT4JCSP-CACHED 1.7 RC BF3	239655	SAT	1.72274	1.10325