[Cbc] OsiCbc isProvenOptimal?

[Jan-Willem Goossens]

Hi,

I'm getting unexpected results from the call to osiCbc.isProvenOptimal():
For problems for which the LP relaxation is feasible, but no MIP
solution exists, the osiCbc.isProvenOptimal() returns TRUE (wrong,
IMO), while osiCbc.getModelPtr()->isProvenOptimal() returns FALSE
(correct).

The reason seems to be that OsiCbc isProvenOptimal is implemented as
bool OsiCbcSolverInterface::isProvenOptimal() const
{
  return modelPtr_->solver()->isProvenOptimal();
}
and thus return "isProvenOptimal" of the (latest?) LP that was solved.

Is this by design?

Thanks in advance for your help.

Regards,

Jan-Willem