search

ERGO-Code / HiGHS

Linear optimization software
MIT License
946 stars 175 forks source link

The optimal solution ultimately found has bugs #1334

Closed xtjjyygy closed 7 months ago

xtjjyygy commented 1 year ago

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

jajhall commented 1 year ago

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

tusiqi1 commented 11 months ago

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.

jajhall commented 11 months ago

Fixed by #1499

jajhall commented 11 months ago

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

tusiqi1 commented 10 months ago

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

jajhall commented 10 months ago

Thanks @tusiqi1