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

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

Name	composed/composed-25-10-20/ composed-25-10-20-9_ext.xml
MD5SUM	a0495c96395fb7b5d85cd1d670701d95
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.05599
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	200718	SAT	0.05599	0.063254
VALCSP 3.1	268207	SAT	0.05699	0.0630051
Mistral 2006-12-04	200723	SAT	0.092984	0.0956689
Tramontane 2006-12-04	200724	SAT	0.106983	0.115225
CSPtoSAT+minisat 0.3	200726	SAT	0.25696	0.262921
buggy_2_5 2007-01-08	200722	SAT	0.369943	0.37129
buggy_2_5_s 2007-01-08	200721	SAT	0.373942	0.391336
rjw-solver 2006-12-09	200711	SAT	0.45493	0.468739
rjw-solver 2007-01-21	283315	SAT	0.482925	0.509231
Diarmuid-wtdi 2006-12-21	200708	SAT	0.495924	0.500568
CSP4J - MAC 2006-12-19	200716	SAT	0.743886	0.760572
CSP4J - Combo 2006-12-19	200715	SAT	0.828873	0.884305
Abscon 109 AC	200714	SAT	0.922859	1.11547
CSP4J - MAC 2007-01-16	270279	SAT	0.929858	0.95993
Abscon 109 ESAC	200713	SAT	1.11783	1.30009
galacJ beta 1	200712	SAT	2.09968	2.18975
galac 1	200717	SAT	2.52861	2.56854
sat4jCSP 1.7 RC BF3	200720	SAT	3.20151	2.28626
SAT4JCSP-CACHED 1.7 RC BF3	200719	SAT	3.46547	2.16499
sugar 0.40	200725	SAT	10.12	10.3984
Diarmuid-rndi 2007-01-22	286253	SAT	20.0819	20.1286
Diarmuid-rndi 2006-12-21	200709	SAT	21.5727	21.584
BPrologCSPSolver70a 2006-12-13	200710	? (TO)	1800.03	1800.63