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

Result page for benchmark
composed/composed-25-10-20/
composed-25-10-20-8_ext.xml

Name	composed/composed-25-10-20/ composed-25-10-20-8_ext.xml
MD5SUM	84c52a425875f6f365f5b88a33367662
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.053991
Satisfiable	YES
(Un)Satisfiability was proved	YES
Number of variables	105
Number of constraints	620
Maximum constraint arity	2
Maximum domain size	10
Number of constraints which are defined in extension	620
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.1	268209	SAT	0.052991	0.060143
VALCSP 3.0	200756	SAT	0.053991	0.0602801
Tramontane 2006-12-04	200762	SAT	0.087985	0.102622
Mistral 2006-12-04	200761	SAT	0.089986	0.09084
rjw-solver 2006-12-09	200749	SAT	0.25696	0.25719
CSPtoSAT+minisat 0.3	200764	SAT	0.263958	0.286671
rjw-solver 2007-01-21	283317	SAT	0.273957	0.280856
Diarmuid-wtdi 2006-12-21	200746	SAT	0.273958	0.276557
buggy_2_5 2007-01-08	200760	SAT	0.331949	0.333595
buggy_2_5_s 2007-01-08	200759	SAT	0.343947	0.345588
Diarmuid-rndi 2006-12-21	200747	SAT	0.627903	0.636421
CSP4J - MAC 2007-01-16	270281	SAT	0.701892	0.797051
CSP4J - Combo 2006-12-19	200753	SAT	0.725889	0.864758
CSP4J - MAC 2006-12-19	200754	SAT	0.739886	0.767084
Abscon 109 AC	200752	SAT	0.884865	0.920617
Abscon 109 ESAC	200751	SAT	0.98085	1.02027
BPrologCSPSolver70a 2006-12-13	200748	SAT	1.74073	1.75946
galacJ beta 1	200750	SAT	1.9607	2.01918
galac 1	200755	SAT	2.46263	2.51753
sat4jCSP 1.7 RC BF3	200758	SAT	3.15252	1.93525
SAT4JCSP-CACHED 1.7 RC BF3	200757	SAT	3.19451	3.27443
Diarmuid-rndi 2007-01-22	286255	SAT	3.37949	3.41328
sugar 0.40	200763	SAT	9.03	9.64448