proteindesign121pgb11p9
primal-infeasible
The instance
as published- Variables
- 132,672
- Constraints
- 254
- Nonzeros
- 524,690
- 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
X_INTRODUCED_59935_ ≤ 0
this instance, the other side
X_INTRODUCED_59935_ ≥ 1 at depth 20
X_INTRODUCED_59935_ ≤ 0
this instance, the other side
X_INTRODUCED_59935_ ≥ 1 at depth 20
- Depth in the tree
- 20
- Bounds tightened vs. source
- 20
- Branch variable
- X_INTRODUCED_59935_
Tightened bounds
20 entriesX_INTRODUCED_58090_<=0X_INTRODUCED_58277_<=0X_INTRODUCED_58409_<=0X_INTRODUCED_58493_<=0X_INTRODUCED_58884_<=0X_INTRODUCED_59514_<=0X_INTRODUCED_59643_<=0X_INTRODUCED_59935_>=1X_INTRODUCED_60281_<=0X_INTRODUCED_161560_>=1X_INTRODUCED_338890_>=1X_INTRODUCED_431753_<=0
12 of 20 shown. The complete list is in the sidecar.