Integer infeasible problem not detected

[svigerske]

Issue created by migration from Trac.

Original creator: falk

Original creation time: 2009-01-14 14:45:35

Assignee: somebody

Version:

[I tried sending to the mailing list, but my posts don't show up]

I have the attached ILP, which is integer infeasible, as determined by
cplex and glpk. However, cbc gives me a "solution", where integer
variables have fractional values:

% cbc -import /tmp/tmp1.lp -solve -solution /dev/stdout -quit
Coin Cbc and Clp Solver version 2.20.00, build Jan 12 2009
[...]
Optimal - objective value      -74.870818
      2 e_12_15                 0.5         -8.9688789e-16
      3 e_12_16                 0.5         -5.0889498e-16
[...]

[svigerske]

Attachment tmp1.lp by falk created at 2009-01-14 14:46:19

ILP exhibiting the bug

[svigerske]

Comment by @jjhforrest created at 2009-03-30 14:08:59

seems okay in latest trunk

[svigerske]

Comment by @jjhforrest created at 2009-03-30 14:08:59

Resolution: fixed