MibS input conflicts

[HesamShaelaie]

Here, I try to gather all the problems with the input structure of the MibS.

[odow]

Was there any progress on this? We could just open in MibS instead with the MPS and AUX files.

[HesamShaelaie]

I have found an interesting problem. Here, I provided three examples. Examlpe_v0 and Example_v1 work fine but Example_v2 is not working. Better to say, MibS runs the Example_v2 but stops at some point and doesn't have any progress. I have put all the information in each folder which includes 1- MPS file, 2- AUX file 3- Julia version of the model (our code), and 4- log file of MibS.

Example_v0_(works).zip Example_v1_(works).zip Example_v2_(not working).zip

these three examples have the same structure but they have an extra variable in the upper level called (r). The difference of problems are:

• Example_v0:

1. All variables are int, upper and lower
2. @objective(Upper(model), Min, 2x - 4y + 10z)
3. @constraints(Upper(model), begin u1, -3x + 2y + 5z <= 12 u2, x + 2y <= 20 u3, x <= 10 end)

• Example_v1:

1. based on example_v0
2. extra variable r in the upper level
3. @objective(Upper(model), Min, 2x - 4y + 10z + r)
4. @constraints(Upper(model), begin u1, -3x + 2y + 5z + r <= 12 u2, x + 2y <= 20 u3, x <= 10 u4, r <= 10 u5, r >= 3 end)

• Example_v2:

1. based on example_v0
2. extra variable r in the upper level
3. @objective(Upper(model), Min, 2x - 4y + 10z + r)
4. @constraints(Upper(model), begin u1, -3x + 2y + 5z <= 12 u2, x + 2y <= 20 u3, x <= 10 u4, r <= 4 u5, r >= 1 end)

[tkralphs]

@HesamShaelaie As we discussed off-line, can you please file a self-contained bug report detailing how to replicate this behavior on the command line at https://github.com/coin-or/MibS?