unitcal_7
primal-infeasible
The instance
as published- Variables
- 25,755
- Constraints
- 48,939
- Nonzeros
- 127,595
- 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
x5579 ≤ 0
this instance, the other side
x5579 ≥ 1 at depth 24
x5579 ≤ 0
this instance, the other side
x5579 ≥ 1 at depth 24
- Depth in the tree
- 24
- Bounds tightened vs. source
- 8,649
- Branch variable
- x5579
Tightened bounds
8,649 entriesx5377>=1x5378>=1x5379>=1x5380>=1x5381>=1x5388>=1x5389>=1x5390>=1x5391<=0x5394>=1x5396>=1x5416>=1
12 of 8,649 shown. The complete list is in the sidecar.