Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Another incorrect identification of infeasibility in MIP presolve #2122

Open
jajhall opened this issue Jan 12, 2025 · 0 comments
Open

Another incorrect identification of infeasibility in MIP presolve #2122

jajhall opened this issue Jan 12, 2025 · 0 comments
Assignees
@fwesselm
Labels
bug MIP Presolve MIP

Comments

@jajhall
Copy link
Member

jajhall commented Jan 12, 2025

For
issue-2122.lp.txt
Correct optimal objective found if presolve_reduction_limit=860, but incorrect identification of infeasibility if presolve_reduction_limit=861.

Also, presolve_reduction_limit=575 triggers assert

highs: /home/jajhall/HiGHS/src/mip/HighsDomain.cpp:3163: bool HighsDomain::ConflictSet::explainInfeasibility(): Assertion `ninfmin == 0' failed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@fwesselm fwesselm

Labels
bug MIP Presolve MIP
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@jajhall @fwesselm