You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Additionally in objective value it is referred to ObjectiveValue(resultidx) why not use either resultidx or result_index for both? I know this will break things but I think it would make it easier to read.