MIPLIB 2017 Infeas

ns1111636

primal-infeasible

The instance

as published
Variables
360,822
Constraints
13,895
Nonzeros
568,444
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
C351120 ≥ 1
this instance, the other side
C351120 ≤ 0 at depth 3,354
Depth in the tree
3,354
Bounds tightened vs. source
7,776
Branch variable
C351120

Tightened bounds

7,776 entries
C343201<=240C343202<=240C343203<=240C343204<=240C343205<=240C343206<=240C343207<=240C343208<=240C343209<=240C343210<=240C343211<=240C343212<=240

12 of 7,776 shown. The complete list is in the sidecar.

Also published in the dual-infeasible set view →