HiGHS icon indicating copy to clipboard operation
HiGHS copied to clipboard
verified publisher icon ERGO-Code

The optimal solution ultimately found has bugs

Open xtjjyygy opened this issue 2 years ago • 6 comments

Hello, I solved the problem pk1.mps in MIPLIB2017 with Highs and found the optimal value is 15， but this problem's optimal value should be 11, as shown in the picture， I think there may be some issues with the logic of highs in proving the optimal solution, FYI. gurobi_pk1

highs_pk1

Thanks

xtjjyygy avatar Jun 26 '23 06:06 xtjjyygy

Thanks. There are very occasional bugs in the MIP solver that we will fix in due course. I will see whether this one is easy to fix

jajhall avatar Jun 26 '23 06:06 jajhall

Thanks. There are very occasional bugs in the MIP solver that we will fix in due course. I will see whether this one is easy to fix

Professor, I also encountered a similar problem. I guess the reason is in pathSeparator, but I am not sure how to fix it.

tusiqi1 avatar Oct 30 '23 03:10 tusiqi1

Fixed by #1499

jajhall avatar Nov 11 '23 12:11 jajhall

Thanks. There are very occasional bugs in the MIP solver that we will fix in due course. I will see whether this one is easy to fix

Professor, I also encountered a similar problem. I guess the reason is in pathSeparator, but I am not sure how to fix it.

After #1499 is actioned, please let me know if this fixes your issue, @tusiqi1

jajhall avatar Nov 11 '23 12:11 jajhall

Thanks. There are very occasional bugs in the MIP solver that we will fix in due course. I will see whether this one is easy to fix

Professor, I also encountered a similar problem. I guess the reason is in pathSeparator, but I am not sure how to fix it.

After #1499 is actioned, please let me know if this fixes your issue, @tusiqi1

My early termination is resolved after 1499 fix. Thank you, Professor

tusiqi1 avatar Nov 14 '23 08:11 tusiqi1

Thanks @tusiqi1

jajhall avatar Nov 14 '23 08:11 jajhall