Instance: seymour-0.900000
| Instance | seymour-0.900000 |
|---|---|
| Class | pure integer |
| Type | |
| Best known objective | 1251.0 |
| Status | optimal |
| Difficulty | hard |
| Number of upper-level variables | 138 |
| Number of integer upper-level variables | 0 |
| Number of binary upper-level variables | 138 |
| Number of continuous upper-level variables | 0 |
| Number of lower-level variables | 1234 |
| Number of integer lower-level variables | 0 |
| Number of binary lower-level variables | 1234 |
| Number of continuous lower-level variables | 0 |
| Number of coupling constraints | 0 |
| Number of linking variables | 138 |
| Number of continuous linking variables | 0 |
| Number of integer linking variables | 0 |
| Number of binary linking variables | 138 |
| Number of upper-level constraints | 0 |
| Number of lower-level constraints | 4944 |
| Number of linking constraints | 1707 |
| Objective alignment | -1.0 |
| Tags | pure integer, miplib3 |
| Instance file (mps) | seymour-0.900000.mps.gz |
| Instance file (aux) | seymour-0.900000.aux |
| Solution file (json) | seymour-0.900000.res.json |