MIPLIB 2017 Infeas

dws008-03

primal-infeasible

The instance

as published
Variables
32,280
Constraints
16,344
Nonzeros
165,168
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
VAR15081 ≤ 0
this instance, the other side
VAR15081 ≥ 1 at depth 103
Depth in the tree
103
Bounds tightened vs. source
327
Branch variable
VAR15081

Tightened bounds

327 entries
VAR981<=0VAR982>=1VAR949>=1VAR950>=1VAR956<=0VAR957>=1VAR841<=30VAR1761<=61VAR842<=30VAR843<=30VAR1435<=0VAR844<=30

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

Also published in the dual-infeasible set view →