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?