[Cbc] bug while solving MIPLIB lectsched-4-obj

Haroldo Gambini Santos haroldo.santos at gmail.com
Sat Feb 14 08:41:53 EST 2015


Hi,

I have experienced some bugs with the latest CBC svn revision  2136.

The one which appears to be most easily reproducible is while solving 
the (feasible)  miplib instance   lectsched-4-obj
which is declared infeasible by CBC.

http://miplib.zib.de/miplib2010/lectsched-4-obj.php

PS: the bug appears in more instances,  but it takes a lot of time to 
appears.

Cheers,

Haroldo

-- 
==================================================
Haroldo Gambini Santos
D.Sc, Computer Science
Universidade Federal de Ouro Preto
http://www.decom.ufop.br/haroldo/



More information about the Cbc mailing list