blp-ic97
primal-infeasible
The instance
as published- Variables
- 9,845
- Constraints
- 923
- Nonzeros
- 118,149
- 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(Hgl.Rsd.2.1.0) ≤ 0
this instance, the other side
x(Hgl.Rsd.2.1.0) ≥ 1 at depth 341
x(Hgl.Rsd.2.1.0) ≤ 0
this instance, the other side
x(Hgl.Rsd.2.1.0) ≥ 1 at depth 341
- Depth in the tree
- 341
- Bounds tightened vs. source
- 1,777
- Branch variable
- x(Hgl.Rsd.2.1.0)
Tightened bounds
1,777 entriesobj>=0x(Ah.Gn.1.1.0)<=0x(Ah.Hgl.1.1.0)<=0x(Ah.Hgl.1.1.1)<=0x(Ah.Odzg.1.1.0)<=0x(Ah.Odzg.1.1.1)<=0x(Ah.Odzg.1.1.2)<=0x(Ah.Odzg.1.1.3)<=0x(Ah.Odzg.1.1.4)<=0x(Ah.Odzg.1.1.5)<=0x(Ah.Odzg.1.1.6)<=0x(Apd.Ht.2.1.0)<=0
12 of 1,777 shown. The complete list is in the sidecar.