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.

Examplev0(works).zip Examplev1(works).zip Examplev2(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?