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

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

Name	qcp-qwh/QCP-10/ qcp-10-67-3_ext.xml
MD5SUM	1ba8601e97aeb6c640f0b2ccae53c499
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.022995
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	239692	SAT	0.022995	0.0229909
VALCSP 3.1	269657	SAT	0.024995	0.032279
BPrologCSPSolver70a 2006-12-13	239684	SAT	0.039993	0.0441619
Tramontane 2006-12-04	239698	SAT	0.05799	0.0651939
Mistral 2006-12-04	239697	SAT	0.05899	0.0619741
CSPtoSAT+minisat 0.3	239700	SAT	0.061989	0.0881129
buggy_2_5 2007-01-08	239696	SAT	0.170973	0.182014
buggy_2_5_s 2007-01-08	239695	SAT	0.179972	0.207297
rjw-solver 2006-12-09	239685	SAT	0.533918	0.610631
rjw-solver 2007-01-21	284157	SAT	0.566913	0.577051
Diarmuid-wtdi 2006-12-21	239682	SAT	0.597908	0.607347
CSP4J - MAC 2006-12-19	239690	SAT	0.635903	0.790798
CSP4J - Combo 2006-12-19	239689	SAT	0.638902	0.715644
CSP4J - MAC 2007-01-16	272577	SAT	0.668898	0.704848
Abscon 109 AC	239688	SAT	0.834872	0.860599
Abscon 109 ESAC	239687	SAT	0.880865	0.949208
sugar 0.40	239699	SAT	1.43	1.76785
galacJ beta 1	239686	SAT	1.57476	1.69807
galac 1	239691	SAT	1.69174	2.00634
SAT4JCSP-CACHED 1.7 RC BF3	239693	SAT	1.71774	1.20324
sat4jCSP 1.7 RC BF3	239694	SAT	1.73473	1.8852
Diarmuid-rndi 2007-01-22	287095	SAT	2.27765	2.27851
Diarmuid-rndi 2006-12-21	239683	SAT	9.1866	9.204