hypothyroid-k1
primal-infeasible
The instance
as published- Variables
- 2,602
- Constraints
- 5,195
- Nonzeros
- 433,884
- 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_18220_ ≤ 0
this instance, the other side
X_INTRODUCED_18220_ ≥ 1 at depth 11
X_INTRODUCED_18220_ ≤ 0
this instance, the other side
X_INTRODUCED_18220_ ≥ 1 at depth 11
- Depth in the tree
- 11
- Bounds tightened vs. source
- 13
- Branch variable
- X_INTRODUCED_18220_
Tightened bounds
13 entriesobjective>=2852objective<=2887X_INTRODUCED_9887_<=0X_INTRODUCED_9888_<=0X_INTRODUCED_9889_<=0X_INTRODUCED_9890_<=0X_INTRODUCED_9896_<=0X_INTRODUCED_9911_<=0X_INTRODUCED_14960_<=0X_INTRODUCED_18220_>=1X_INTRODUCED_18770_<=0X_INTRODUCED_20351_<=0
12 of 13 shown. The complete list is in the sidecar.