MIPLIB 2017 Infeas

ds

primal-infeasible

The instance

as published
Variables
67,732
Constraints
656
Nonzeros
1,024,059
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
x11 ≥ 1
this instance, the other side
x11 ≤ 0 at depth 94
Depth in the tree
94
Bounds tightened vs. source
94
Branch variable
x11

Tightened bounds

94 entries
x11<=0x26<=0x39<=0x52>=1x76<=0x80<=0x90<=0x101<=0x127<=0x133<=0x137<=0x160<=0

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

Also published in the dual-infeasible set view →