MIPLIB 2017 Infeas

rvb-sub

primal-infeasible

The instance

as published
Variables
33,765
Constraints
225
Nonzeros
984,143
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
c4198 ≤ 0
this instance, the other side
c4198 ≥ 1 at depth 326
Depth in the tree
326
Bounds tightened vs. source
328
Branch variable
c4198

Tightened bounds

328 entries
smindt0<=2306.3811198435269smaxdt0<=704.65769224604242c10<=0c11>=1c23<=0c49<=0c52<=0c57<=0c72<=0c85<=0c89<=0c137<=0

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

Also published in the dual-infeasible set view →