[Cbc] Infeasible for CBC (current stable), Value for CPLEX

[Christoph Cullmann]

On Wednesday, March 02, 2011 09:18:51 am Christoph Cullmann wrote:
> On Tuesday, March 01, 2011 05:39:36 pm John Forrest wrote:
> > Fixed in  trunk.
> > 
> > Took some time before I worked out ClpPresolve already had fix. Fixed
> > OsiPresolve.
> > 
> > If presolve changes some integer bounds it goes round again on original
> > model to see if it can do better.  If there are duplicate integer
> > columns this can lead to a bug in extreme cases.
> > 
> > John Forrest
> 
> Thanks at lot!
> My regression test suite works now again ;)
> 
> But next problem arises (not sure if that worked ever before, is a new
> ILP).
> 
> For the ILP here:
> 
> http://www.absint.com/dla/lp_solver_tests/value_9981169622464.lp
Additional problem attached, too, same solver as in mail before, we get 
negative column value for column e_9880_8708_8712_9009_4_20 (-5).
(Linux64, CBC /trunk)

http://www.absint.com/dla/lp_solver_tests/value_151776.lp

Hope I am no pain :/
Is there some regression suite were such stuff can be added?

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