MIPLIB 2017 Infeas

nsrand-ipx

primal-infeasible

The instance

as published
Variables
6,621
Constraints
735
Nonzeros
223,261
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
x147 ≥ 1
this instance, the other side
x147 ≤ 0 at depth 3,663
Depth in the tree
3,663
Bounds tightened vs. source
6,335
Branch variable
x147

Tightened bounds

6,335 entries
x1>=0x2<=0x3<=0x4<=0x5<=0x6<=0x7<=0x8<=0x9<=0x10<=0x11<=0x12<=0

12 of 6,335 shown. The complete list is in the sidecar.

Also published in the dual-infeasible set view →