tbfp-network
primal-infeasible
The instance
as published- Variables
- 72,747
- Constraints
- 2,436
- Nonzeros
- 215,837
- 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
UseArc[324,2405] ≤ 0
this instance, the other side
UseArc[324,2405] ≥ 1 at depth 83
UseArc[324,2405] ≤ 0
this instance, the other side
UseArc[324,2405] ≥ 1 at depth 83
- Depth in the tree
- 83
- Bounds tightened vs. source
- 83
- Branch variable
- UseArc[324,2405]
Tightened bounds
83 entriesUseArc[112,121]<=0UseArc[114,120]<=0UseArc[119,133]<=0UseArc[127,133]<=0UseArc[133,139]>=1UseArc[144,156]<=0UseArc[162,178]<=0UseArc[162,171]<=0UseArc[162,175]<=0UseArc[162,174]<=0UseArc[172,185]<=0UseArc[173,192]<=0
12 of 83 shown. The complete list is in the sidecar.