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

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

Name	composed/composed-25-10-20/ composed-25-10-20-7_ext.xml
MD5SUM	38d2823e9bc9d94d57819cb4698f07b6
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.052991
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	200680	SAT	0.052991	0.055169
VALCSP 3.1	268205	SAT	0.05399	0.0605109
Tramontane 2006-12-04	200686	SAT	0.086986	0.0932811
Mistral 2006-12-04	200685	SAT	0.089986	0.0977199
CSPtoSAT+minisat 0.3	200688	SAT	0.289955	0.354276
Diarmuid-wtdi 2006-12-21	200670	SAT	0.290955	0.301558
rjw-solver 2006-12-09	200673	SAT	0.309952	0.316848
rjw-solver 2007-01-21	283313	SAT	0.315951	0.324082
buggy_2_5 2007-01-08	200684	SAT	0.316951	0.318473
buggy_2_5_s 2007-01-08	200683	SAT	0.335948	0.340492
CSP4J - Combo 2006-12-19	200677	SAT	0.757883	0.819782
CSP4J - MAC 2006-12-19	200678	SAT	0.765883	0.808139
CSP4J - MAC 2007-01-16	270277	SAT	0.769882	0.810442
Abscon 109 AC	200676	SAT	0.924858	0.966595
Abscon 109 ESAC	200675	SAT	0.975851	1.02841
Diarmuid-rndi 2006-12-21	200671	SAT	1.13683	1.13769
galacJ beta 1	200674	SAT	1.88371	1.9821
galac 1	200679	SAT	2.49562	2.55397
sat4jCSP 1.7 RC BF3	200682	SAT	3.32049	3.36192
SAT4JCSP-CACHED 1.7 RC BF3	200681	SAT	3.35149	3.44162
Diarmuid-rndi 2007-01-22	286251	SAT	7.53685	7.57027
sugar 0.40	200687	SAT	10.23	10.4073
BPrologCSPSolver70a 2006-12-13	200672	SAT	1349.35	1350.43