Xintong Zhou

Incorrect Optimal Solution from scip

7

I am using scip to solve (minimize) this MIP problem [seed.txt](https://github.com/user-attachments/files/18663646/seed.txt) and getting the result: Solver: SCIP_CMD Status: Optimal Objective: -38885.13248833593 x0 = -192.0, x1 = 47.8781752203214, x2 = -179.0,...

For [seed.mps.txt](https://github.com/user-attachments/files/20373763/seed.mps.txt), cbc crashes with the following parameters: ``` gomory longer lagomory endboth constraint forcevariable fact osl scal rows ``` Probably a marginal issue, because I am not sure if...

cbc shows different results in command line and solution file

4

For [seed.mps.txt](https://github.com/user-attachments/files/18973263/seed.mps.txt) cbc prints the correct result to command line: ``` root@b9f8d0525121:/tmp/fuzz-mip# cbc seed.mps Welcome to the CBC MILP Solver Version: Devel (unstable) Build Date: Feb 20 2025 command line...

Cbc generate inconsistent result from other solvers

2

For [seed.mps.txt](https://github.com/user-attachments/files/19496527/seed.mps.txt), cbc returns: ``` Status: Optimal Objective: -12507.817935900002 x0 = 155.0, x1 = -162.72485, x2 = 200.0, x3 = 200.0, x4 = 153.0, x5 = 110.92783, x6 = 199.0,...

CglProbing.cpp:5685: Assertion `newLo[icol]==COIN_DBL_MAX' failed

1

``` Minimize OBJ: - 65.57 x0 + 71.44 x1 + 27.61 x2 + 159.68 x3 Subject To 34.61 x2 = -3761 - 93.88 x1 + 26.13 x3 >= -8429.55 -...