MIPLIB 2017 Infeas

vpphard2

primal-infeasible

The instance

as published
Variables
199,999
Constraints
198,450
Nonzeros
648,340
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
r21#1#184#0 ≥ 1
this instance, the other side
r21#1#184#0 ≤ 0 at depth 1,797
Depth in the tree
1,797
Bounds tightened vs. source
195,381
Branch variable
r21#1#184#0

Tightened bounds

195,381 entries
r0#0#0#4<=0r0#1#0#4<=0r0#2#0#4<=0r0#3#0#4<=0r0#4#0#4<=0r0#0#0#5<=0r0#1#0#5<=0r0#2#0#5<=0r0#3#0#5<=0r0#4#0#5<=0r0#0#0#6<=0r0#1#0#6<=0

12 of 195,381 shown. The complete list is in the sidecar.