MIPLIB 2017 Infeas

vpphard

primal-infeasible

The instance

as published
Variables
51,471
Constraints
47,280
Nonzeros
372,305
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
r13#2#151#2 ≥ 1
this instance, the other side
r13#2#151#2 ≤ 0 at depth 2,208
Depth in the tree
2,208
Bounds tightened vs. source
49,444
Branch variable
r13#2#151#2

Tightened bounds

49,444 entries
r0#0#0#0<=0r0#1#0#0<=0r0#2#0#0<=0r0#3#0#0<=0r0#4#0#0<=0r0#0#0#1<=0r0#1#0#1<=0r0#2#0#1<=0r0#3#0#1<=0r0#4#0#1<=0r0#0#0#2<=0r0#1#0#2<=0

12 of 49,444 shown. The complete list is in the sidecar.