MIPLIB 2017 Infeas

neos-4954274-beardy

primal-infeasible

The instance

as published
Variables
12,865
Constraints
17,359
Nonzeros
140,082
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
C0565 ≤ 0
this instance, the other side
C0565 ≥ 1 at depth 68
Depth in the tree
68
Bounds tightened vs. source
68
Branch variable
C0565

Tightened bounds

68 entries
C0033<=0C0053>=1C0097<=0C0277>=1C0402<=0C0405<=0C0562<=0C0565>=1C0885<=0C1027<=0C1091<=0C1104>=1

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

Also published in the dual-infeasible set view →