MIPLIB 2017 Infeas

neos-662469

primal-infeasible

The instance

as published
Variables
18,235
Constraints
1,085
Nonzeros
200,055
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
C14086 ≤ 0
this instance, the other side
C14086 ≥ 1 at depth 3,171
Depth in the tree
3,171
Bounds tightened vs. source
3,171
Branch variable
C14086

Tightened bounds

3,171 entries
C0003<=0C0009<=0C0013<=0C0016<=0C0021<=0C0022<=0C0023<=0C0024<=0C0031<=0C0032<=0C0033<=0C0034<=0

12 of 3,171 shown. The complete list is in the sidecar.

Also published in the dual-infeasible set view →