MIPLIB 2017 Infeas

neos6

primal-infeasible

The instance

as published
Variables
8,786
Constraints
1,036
Nonzeros
251,946
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
v09DI0219 ≤ 0
this instance, the other side
v09DI0219 ≥ 1 at depth 175
Depth in the tree
175
Bounds tightened vs. source
175
Branch variable
v09DI0219

Tightened bounds

175 entries
v10MA1835<=0v05MA1227<=0v05WO0320<=0v06ZO2233<=0v10DI0110<=0v09VR0116<=0v09VR0118<=0v10MA1734<=0v07VR2035<=0v05MA1126>=1v07WO0219<=0v07WO0118<=0

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

Also published in the dual-infeasible set view →