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

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

Name	composed/composed-25-10-20/ composed-25-10-20-5_ext.xml
MD5SUM	9abfbf9ef4bb1df3cf3ad1fda9b39164
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.05899
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	200623	SAT	0.05899	0.0610859
VALCSP 3.1	268202	SAT	0.05999	0.0662941
Mistral 2006-12-04	200628	SAT	0.094985	0.10358
Tramontane 2006-12-04	200629	SAT	0.104983	0.1072
BPrologCSPSolver70a 2006-12-13	200615	SAT	0.211967	0.214799
CSPtoSAT+minisat 0.3	200631	SAT	0.267958	0.27896
buggy_2_5 2007-01-08	200627	SAT	0.332949	0.370067
buggy_2_5_s 2007-01-08	200626	SAT	0.345946	0.359074
rjw-solver 2007-01-21	283310	SAT	0.635902	0.644133
rjw-solver 2006-12-09	200616	SAT	0.649901	0.659009
CSP4J - Combo 2006-12-19	200620	SAT	0.71989	0.759931
CSP4J - MAC 2006-12-19	200621	SAT	0.773881	0.813366
CSP4J - MAC 2007-01-16	270274	SAT	0.819874	0.875244
Diarmuid-wtdi 2006-12-21	200613	SAT	0.909861	0.91823
Abscon 109 AC	200619	SAT	0.948854	0.987215
Abscon 109 ESAC	200618	SAT	1.01185	1.06803
Diarmuid-rndi 2007-01-22	286248	SAT	1.93071	1.95558
galacJ beta 1	200617	SAT	1.9937	2.1409
galac 1	200622	SAT	2.6356	2.78405
sat4jCSP 1.7 RC BF3	200625	SAT	2.98454	1.82959
SAT4JCSP-CACHED 1.7 RC BF3	200624	SAT	3.22751	3.27846
Diarmuid-rndi 2006-12-21	200614	SAT	6.96194	7.04992
sugar 0.40	200630	SAT	11.3023	11.5039