cryptanalysiskb128n5obj16
primal-infeasible
The instance
as published- Variables
- 48,950
- Constraints
- 98,021
- Nonzeros
- 292,875
- 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_37_ ≥ 1
this instance, the other side
X_INTRODUCED_37_ ≤ 0 at depth 36
X_INTRODUCED_37_ ≥ 1
this instance, the other side
X_INTRODUCED_37_ ≤ 0 at depth 36
- Depth in the tree
- 36
- Bounds tightened vs. source
- 3,502
- Branch variable
- X_INTRODUCED_37_
Tightened bounds
3,502 entriesX_INTRODUCED_0_>=1X_INTRODUCED_3_>=1X_INTRODUCED_4_>=1X_INTRODUCED_5_>=1X_INTRODUCED_7_>=1X_INTRODUCED_9_>=1X_INTRODUCED_10_>=1X_INTRODUCED_11_>=1X_INTRODUCED_12_>=1X_INTRODUCED_13_>=1X_INTRODUCED_15_>=1X_INTRODUCED_18_>=1
12 of 3,502 shown. The complete list is in the sidecar.