MIPLIB 2017 Infeas

supportcase39

primal-infeasible

The instance

as published
Variables
1,025
Constraints
16,384
Nonzeros
398,774
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
x125 ≤ 194
this instance, the other side
x125 ≥ 195 at depth 249
Depth in the tree
249
Bounds tightened vs. source
242
Branch variable
x125

Tightened bounds

242 entries
x53>=150x59<=173x73<=81x76<=204x79<=20x82>=116x85<=221x86>=166x87>=18x89>=183x89<=190x91>=255

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

Also published in the dual-infeasible set view →