MIPLIB 2017 Infeas

neos-860300

primal-infeasible

The instance

as published
Variables
1,385
Constraints
850
Nonzeros
384,329
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
C0577 ≤ 0
this instance, the other side
C0577 ≥ 1 at depth 223
Depth in the tree
223
Bounds tightened vs. source
224
Branch variable
C0577

Tightened bounds

224 entries
C0001<=1680C0022<=0C0042<=0C0082<=0C0102<=0C0122<=0C0142<=0C0209<=0C0210<=0C0211<=0C0212<=0C0213<=0

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

Also published in the dual-infeasible set view →