MIPLIB 2017 Infeas

supportcase6

primal-infeasible

The instance

as published
Variables
130,052
Constraints
771
Nonzeros
584,976
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
I130051(1) ≥ 5
this instance, the other side
I130051(1) ≤ 4 at depth 25
Depth in the tree
25
Bounds tightened vs. source
25
Branch variable
I130051(1)

Tightened bounds

25 entries
B198(5)<=0B274(4)<=0B685(3)<=0B687(4)<=0B723(1)<=0B1333(1)<=0B1335(1)<=0B1597(3)<=0B2513(4)<=0B4399(4)<=0B4640(5)<=0B13388(4)<=0

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

Also published in the dual-infeasible set view →