Get infeasibility certificate in CPLEX or Gurobi

Can’t say for sure without the exact log, but…
I would guess that CPLEX/Gurobi solved the problem at presolve. For Gurobi you can try setting the InfUnbdInfo parameter manually.

As for GLPK, this looks like an internal error.

3 Likes