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

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

Name	composed/composed-25-10-20/ composed-25-10-20-4_ext.xml
MD5SUM	05b8bfbbbda746f8f05c15c6f7b30a37
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.049992
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	200661	SAT	0.049992	0.057443
VALCSP 3.1	268204	SAT	0.052991	0.05918
Mistral 2006-12-04	200666	SAT	0.083986	0.086765
Tramontane 2006-12-04	200667	SAT	0.090985	0.10134
rjw-solver 2007-01-21	283312	SAT	0.261959	0.269889
rjw-solver 2006-12-09	200654	SAT	0.279956	0.281488
Diarmuid-wtdi 2006-12-21	200651	SAT	0.281956	0.293077
CSPtoSAT+minisat 0.3	200669	SAT	0.290954	0.295082
buggy_2_5 2007-01-08	200665	SAT	0.471927	0.474884
buggy_2_5_s 2007-01-08	200664	SAT	0.490925	0.498745
CSP4J - Combo 2006-12-19	200658	SAT	0.770881	0.822109
CSP4J - MAC 2007-01-16	270276	SAT	0.78388	0.822784
CSP4J - MAC 2006-12-19	200659	SAT	0.806876	0.875871
Abscon 109 AC	200657	SAT	0.998847	1.03993
Abscon 109 ESAC	200656	SAT	1.09783	1.18216
galacJ beta 1	200655	SAT	1.90071	2.02367
galac 1	200660	SAT	2.45863	2.50079
SAT4JCSP-CACHED 1.7 RC BF3	200662	SAT	3.00854	3.07758
sat4jCSP 1.7 RC BF3	200663	SAT	3.20051	1.97829
sugar 0.40	200668	SAT	10.36	11.0261
Diarmuid-rndi 2007-01-22	286250	SAT	11.5482	11.6154
Diarmuid-rndi 2006-12-21	200652	SAT	20.3499	20.4165
BPrologCSPSolver70a 2006-12-13	200653	SAT	810.969	816.061