MIPLIB 2017 Infeas

neos-953928

primal-infeasible

The instance

as published
Variables
23,305
Constraints
12,498
Nonzeros
169,861
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
C17040 ≤ 0
this instance, the other side
C17040 ≥ 1 at depth 3,787
Depth in the tree
3,787
Bounds tightened vs. source
3,787
Branch variable
C17040

Tightened bounds

3,787 entries
C0020<=0C0078<=0C0081<=0C0120<=0C0131<=0C0243<=0C0406<=0C0415<=0C0416<=0C0419<=0C0420<=0C0421<=0

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

Also published in the dual-infeasible set view →