MIPLIB 2017 Infeas

ns1456591

primal-infeasible

The instance

as published
Variables
8,399
Constraints
1,997
Nonzeros
199,862
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
C5680 ≤ 0
this instance, the other side
C5680 ≥ 1 at depth 39
Depth in the tree
39
Bounds tightened vs. source
1,218
Branch variable
C5680

Tightened bounds

1,218 entries
C0001>=-0C0001<=30000C0002>=-0C0002<=30000C0003>=-0C0003<=30000C0004>=-0C0004<=30000C0005>=-0C0005<=30000C0006>=-0C0006<=30000

12 of 1,218 shown. The complete list is in the sidecar.

Also published in the dual-infeasible set view →