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

Result page for benchmark
coloring/
myciel-5g-6-ext.xml

Name	coloring/ myciel-5g-6-ext.xml
MD5SUM	929b304b5bb0273e417e049cdee140f6
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.005998
Satisfiable	YES
(Un)Satisfiability was proved
Number of variables	47
Number of constraints	236
Maximum constraint arity	2
Maximum domain size	6
Number of constraints which are defined in extension	236
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	253180	SAT	0.005998	0.00810093
VALCSP 3.1	269744	SAT	0.007998	0.0115209
Tramontane 2006-12-04	253186	SAT	0.021996	0.0242409
Mistral 2006-12-04	253185	SAT	0.022996	0.025147
BPrologCSPSolver70a 2006-12-13	253172	SAT	0.024995	0.025443
CSPtoSAT+minisat 0.3	253188	SAT	0.025995	0.0337481
Diarmuid-rndi 2006-12-21	253171	SAT	0.067989	0.220648
Diarmuid-rndi 2007-01-22	287168	SAT	0.069988	0.072569
Diarmuid-wtdi 2006-12-21	253170	SAT	0.071988	0.0775121
rjw-solver 2006-12-09	253173	SAT	0.072988	0.0748589
rjw-solver 2007-01-21	284230	SAT	0.072988	0.071316
buggy_2_5_s 2007-01-08	253183	SAT	0.090985	0.094098
buggy_2_5 2007-01-08	253184	SAT	0.090986	0.093221
CSP4J - Combo 2006-12-19	253177	SAT	0.443931	0.49301
CSP4J - MAC 2006-12-19	253178	SAT	0.44893	0.504506
CSP4J - MAC 2007-01-16	273159	SAT	0.482925	0.507152
Abscon 109 ESAC	253175	SAT	0.736887	0.774599
Abscon 109 AC	253176	SAT	0.747885	0.78921
sat4jCSP 1.7 RC BF3	253182	SAT	0.805876	0.618041
SAT4JCSP-CACHED 1.7 RC BF3	253181	SAT	0.817875	0.627827
sugar 0.40	253187	SAT	1.07184	1.17795
galacJ beta 1	253174	SAT	1.11483	1.18668
galac 1	253179	SAT	1.20382	1.29491