MIPLIB 2017 Infeas

nw04

primal-infeasible

The instance

as published
Variables
87,482
Constraints
36
Nonzeros
636,666
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
x45 ≤ 0
this instance, the other side
x45 ≥ 1 at depth 105
Depth in the tree
105
Bounds tightened vs. source
87,253
Branch variable
x45

Tightened bounds

87,253 entries
x1<=0x2<=0x3<=0x4<=0x5<=0x6<=0x7<=0x8<=0x9<=0x10<=0x11<=0x12<=0

12 of 87,253 shown. The complete list is in the sidecar.

Also published in the dual-infeasible set view →