DominikKamp

Indeed, your instance motivated some fixes on modification of it using MIP-DD, however the original version is still not resolved.

SoPlex solves the instance, so it rather seems like SCIP does not trust the numerics of the problem and rather gives up instead of saying something wrong, meaning that the...

No structural issue, there is just no representable solution for this numerically unstable instance.

#86 is resolved so no need to disable PaPILO because the main issue was in SCIP.

Thanks for creating this issue! Indeed, we already looked into your bug report and could reproduce a bug on original.lp. This is currently under investigation. We will let you know...

This issue persists.

Besides resolved issues in PaPILO, it seems that generally unstable aggregations applied in SCIP mainly contributed to this issue. This is fixed with b9f6213184b3cf3b28fbbce9b41349c77cea85ef among further improvements, so this will...

Sounds like we either want to have an option to treat numerically troublesome instances as infeasible like in the delta-debugging context similar to [MIP-DD](https://github.com/scipopt/MIP-DD) or switch to exact solving mode...

Delta debugging for a smallest unstable instance does not seem easily possible in this framework because the subproblem is a reformulation, which probably does not keep the instability. @ambros-gleixner However,...

It is not expected. The first formulation [model.cip.zip](https://github.com/user-attachments/files/21711564/model.cip.zip) with feasible solution [model.sol.zip](https://github.com/user-attachments/files/21711565/model.sol.zip) of value `+7.82352941163668e-01` results in ~~~ SCIP Status : problem is solved [optimal solution found] Solving Time (sec)...