[Cbc] CBC vs. CPLEX Example

[Christoph Cullmann]

Hi,

have here a "small ILP" which takes ages solving via cbc, but is finished in 
seconds with CPLEX. Is the ILP formulation of the WCET for some small program.
Perhaps it is a interesting test for the solver or there is some obvious 
suboptimality. If you have any advice how to speed up solving time, I would be 
happy ;)

Greetings
Christoph

-- 
-------------------------------------- Christoph Cullmann ---------
AbsInt Angewandte Informatik GmbH      Email: cullmann at AbsInt.com
Science Park 1                         Tel:   +49-681-38360-22
66123 Saarbrücken                      Fax:   +49-681-38360-20
GERMANY                                WWW:   http://www.AbsInt.com
--------------------------------------------------------------------
Geschäftsführung: Dr.-Ing. Christian Ferdinand
Eingetragen im Handelsregister des Amtsgerichts Saarbrücken, HRB 11234
-------------- next part --------------
A non-text attachment was scrubbed...
Name: a3-20842-wcet_analysis_0.lp.gz
Type: application/x-gzip
Size: 31853 bytes
Desc: not available
Url : http://list.coin-or.org/pipermail/cbc/attachments/20110110/0a57cce2/attachment-0001.gz