blp-ar98
primal-infeasible
The instance
as published- Variables
- 16,021
- Constraints
- 1,128
- Nonzeros
- 200,601
- 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(Asd.Zvt.1.4.0) ≤ 0
this instance, the other side
x(Asd.Zvt.1.4.0) ≥ 1 at depth 141
x(Asd.Zvt.1.4.0) ≤ 0
this instance, the other side
x(Asd.Zvt.1.4.0) ≥ 1 at depth 141
- Depth in the tree
- 141
- Bounds tightened vs. source
- 222
- Branch variable
- x(Asd.Zvt.1.4.0)
Tightened bounds
222 entriesobj>=0x(Ac.Ut.1.1.6)<=0x(Ac.Ut.1.1.7)<=0x(Ac.Ut.1.1.8)<=0x(Amr.Ut.1.4.0)<=0x(Apn.Asd.1.2.0)<=0x(Apn.Asd.1.4.0)<=0x(Asd.Ed.1.2.0)<=0x(Asd.Ed.1.2.1)<=0x(Asd.Ed.1.4.0)<=0x(Asd.Ed.1.4.1)<=0x(Hlm.Ztmv.1.2.6)<=0
12 of 222 shown. The complete list is in the sidecar.