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

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

Name	composed/composed-25-10-20/ composed-25-10-20-0_ext.xml
MD5SUM	4d682e01b7687183e114e2c0ddcd5707
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.0	200737	SAT	0.053991	0.0597711
VALCSP 3.1	268208	SAT	0.053991	0.0604121
Tramontane 2006-12-04	200743	SAT	0.093984	0.102344
Mistral 2006-12-04	200742	SAT	0.106982	0.114828
CSPtoSAT+minisat 0.3	200745	SAT	0.267959	0.287474
buggy_2_5 2007-01-08	200741	SAT	0.347947	0.349184
buggy_2_5_s 2007-01-08	200740	SAT	0.353945	0.377399
Diarmuid-wtdi 2006-12-21	200727	SAT	0.612905	0.626209
CSP4J - Combo 2006-12-19	200734	SAT	0.71689	0.76354
CSP4J - MAC 2006-12-19	200735	SAT	0.759884	0.834569
CSP4J - MAC 2007-01-16	270280	SAT	0.778881	0.819629
Abscon 109 AC	200733	SAT	0.916859	0.971346
Abscon 109 ESAC	200732	SAT	0.985849	1.11588
rjw-solver 2006-12-09	200730	SAT	1.04784	1.05839
rjw-solver 2007-01-21	283316	SAT	1.15082	1.16319
galacJ beta 1	200731	SAT	2.12468	2.18644
galac 1	200736	SAT	2.48362	2.5631
SAT4JCSP-CACHED 1.7 RC BF3	200738	SAT	3.02554	1.87091
sat4jCSP 1.7 RC BF3	200739	SAT	3.2715	3.33579
sugar 0.40	200744	SAT	9.99	12.2337
Diarmuid-rndi 2007-01-22	286254	SAT	12.1971	12.3152
Diarmuid-rndi 2006-12-21	200728	SAT	13.402	13.4073
BPrologCSPSolver70a 2006-12-13	200729	SAT	893.309	900.388