As follow up on http://yetanothermathprogrammingconsultant.blogspot.com/2011/10/mps-files.html it is noted that Microsoft Solver Foundation also reads some MPS files incorrectly. E.g. consider the files:
The MPS file was generated from the OML file. If we inspect the MPS file we see no bounds on x. This means the variable x should be binary.
If we solve the MPS file with Solver Foundation we see:
C:\Users\erwin\Documents>"\Program Files (x86)\Microsoft Solver Foundation\22.214.171.12489\Bin\MSFCli.exe" +verbose 3 output.mps
This is incorrect. The reported value of x=5 indicates x is not read as a binary variable. If we solve the MPS file with CBC we see:
C:\Users\erwin\Documents>..\Downloads\cbc output.mps -solve -solution stdout
command line - ..\Downloads\cbc output.mps -solve -solution stdout (default strategy 1)
Result - Optimal solution found
Objective value: -1.00000000
Optimal - objective value -1.00000000
The output is a little bit confusing, but indeed x assumes the value 1. This confirms x is binary.