mzzv11
primal-infeasible
The instance
as published- Variables
- 10,240
- Constraints
- 9,499
- Nonzeros
- 134,603
- Format
- MPS, gzipped
Where it comes from
provenanceA branch-and-bound run reached this node's parent and split on a variable. This instance is the side the search did not explore, and it has no feasible point.
branch taken by the search
x1198 ≤ 0
this instance, the other side
x1198 ≥ 1 at depth 10
x1198 ≤ 0
this instance, the other side
x1198 ≥ 1 at depth 10
- Depth in the tree
- 10
- Bounds tightened vs. source
- 9
- Branch variable
- x1198
Tightened bounds
9 entriesx1198>=1x1291<=0x1335<=0x3996<=0x4166<=0x9446>=1x9744<=0x10092>=1x10236<=95
9 of 9 shown. The complete list is in the sidecar.