MIPLIB 2017 Infeas

atlanta-ip

primal-infeasible

The instance

as published
Variables
48,738
Constraints
21,732
Nonzeros
257,532
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
x91 ≤ 0
this instance, the other side
x91 ≥ 1 at depth 36
Depth in the tree
36
Bounds tightened vs. source
276
Branch variable
x91

Tightened bounds

276 entries
x2<=0x6<=0x8<=0x12<=0x14<=0x18<=0x20<=0x24<=0x26<=0x30<=0x32<=0x36<=0

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

Also published in the dual-infeasible set view →