blp-ic98
primal-infeasible
The instance
as published- Variables
- 13,640
- Constraints
- 717
- Nonzeros
- 191,947
- 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(Ledn.Vl.1.1.0) ≤ 0
this instance, the other side
x(Ledn.Vl.1.1.0) ≥ 1 at depth 226
x(Ledn.Vl.1.1.0) ≤ 0
this instance, the other side
x(Ledn.Vl.1.1.0) ≥ 1 at depth 226
- Depth in the tree
- 226
- Bounds tightened vs. source
- 270
- Branch variable
- x(Ledn.Vl.1.1.0)
Tightened bounds
270 entriesobj>=0x(Asd.Nm.1.1.0)<=0x(Asd.Nm.1.1.1)<=0x(Asd.Nm.1.1.2)<=0x(Asd.Nm.1.1.3)<=0x(Asd.Nm.1.1.4)<=0x(Asd.Nm.1.1.5)<=0x(Asd.Nm.1.1.12)<=0x(Asd.Nm.1.2.0)<=0x(Asd.Nm.1.2.1)<=0x(Asd.Nm.1.2.2)<=0x(Asd.Nm.1.2.3)<=0
12 of 270 shown. The complete list is in the sidecar.