proteindesign121hz512p9
primal-infeasible
The instance
as published- Variables
- 159,145
- Constraints
- 301
- Nonzeros
- 629,449
- 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_17_ ≥ 31
this instance, the other side
X_INTRODUCED_17_ ≤ 30 at depth 572
X_INTRODUCED_17_ ≥ 31
this instance, the other side
X_INTRODUCED_17_ ≤ 30 at depth 572
- Depth in the tree
- 572
- Bounds tightened vs. source
- 289
- Branch variable
- X_INTRODUCED_17_
Tightened bounds
289 entriesX_INTRODUCED_17_<=30X_INTRODUCED_23_>=317X_INTRODUCED_23_<=317X_INTRODUCED_28_<=15X_INTRODUCED_1925_<=0X_INTRODUCED_1970_<=0X_INTRODUCED_1971_<=0X_INTRODUCED_1972_<=0X_INTRODUCED_20953_<=0X_INTRODUCED_40658_<=0X_INTRODUCED_41063_<=0X_INTRODUCED_59223_<=0
12 of 289 shown. The complete list is in the sidecar.