MIPLIB 2017 Infeas

bab5

primal-infeasible

The instance

as published
Variables
21,600
Constraints
4,964
Nonzeros
155,520
Format
MPS, gzipped

Where it comes from

provenance

A 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
x328 ≤ 0
this instance, the other side
x328 ≥ 1 at depth 177
Depth in the tree
177
Bounds tightened vs. source
177
Branch variable
x328

Tightened bounds

177 entries
x18<=0x70<=0x82<=0x86<=0x129>=1x146<=0x150<=0x161<=0x198<=0x210<=0x213<=0x214<=0

12 of 177 shown. The complete list is in the sidecar.

Also published in the dual-infeasible set view →