Opened 11 years ago

Closed 11 years ago

#64 closed defect (fixed)

Integer infeasible problem not detected

Reported by: falk Owned by: somebody
Priority: major Component: component1
Version: Keywords:
Cc:

Description

[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
[...]

Attachments (1)

tmp1.lp (26.7 KB) - added by falk 11 years ago.
ILP exhibiting the bug

Download all attachments as: .zip

Change History (2)

Changed 11 years ago by falk

ILP exhibiting the bug

comment:1 Changed 11 years ago by forrest

  • Resolution set to fixed
  • Status changed from new to closed

seems okay in latest trunk

Note: See TracTickets for help on using tickets.