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

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

Name	qcp-qwh/QCP-10/ qcp-10-67-2_ext.xml
MD5SUM	013f7a729a413e01e12651e2cdbffed3
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.022996
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	239635	SAT	0.022996	0.0257321
VALCSP 3.1	269654	SAT	0.025995	0.032901
BPrologCSPSolver70a 2006-12-13	239627	SAT	0.037993	0.046425
Tramontane 2006-12-04	239641	SAT	0.052991	0.060459
Mistral 2006-12-04	239640	SAT	0.056991	0.0592469
CSPtoSAT+minisat 0.3	239643	SAT	0.061989	0.076791
buggy_2_5 2007-01-08	239639	SAT	0.169974	0.189416
buggy_2_5_s 2007-01-08	239638	SAT	0.173973	0.176671
Diarmuid-wtdi 2006-12-21	239625	SAT	0.502923	0.507218
rjw-solver 2006-12-09	239628	SAT	0.51892	0.522092
rjw-solver 2007-01-21	284154	SAT	0.52392	0.530706
Diarmuid-rndi 2007-01-22	287092	SAT	0.626904	0.639884
CSP4J - MAC 2006-12-19	239633	SAT	0.6499	0.717076
CSP4J - Combo 2006-12-19	239632	SAT	0.649901	0.664125
CSP4J - MAC 2007-01-16	272574	SAT	0.671897	0.70988
Abscon 109 ESAC	239630	SAT	0.809876	0.917392
Abscon 109 AC	239631	SAT	0.817875	0.874857
Diarmuid-rndi 2006-12-21	239626	SAT	1.26881	1.28244
sugar 0.40	239642	SAT	1.58	1.9373
SAT4JCSP-CACHED 1.7 RC BF3	239636	SAT	1.64175	1.72278
galacJ beta 1	239629	SAT	1.64975	1.76086
sat4jCSP 1.7 RC BF3	239637	SAT	1.70874	1.73741
galac 1	239634	SAT	1.77273	1.87494