MIPLIB 2017 Infeas

dws012-02

primal-infeasible

The instance

as published
Variables
51,108
Constraints
26,382
Nonzeros
261,120
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
VAR23324 ≤ 0
this instance, the other side
VAR23324 ≥ 1 at depth 204
Depth in the tree
204
Bounds tightened vs. source
561
Branch variable
VAR23324

Tightened bounds

561 entries
VAR1543<=0VAR1546<=0VAR1544<=0VAR1547<=0VAR1545>=1VAR1548>=1VAR1477>=1VAR1478>=1VAR1479<=0VAR1480<=0VAR1483<=0VAR1488<=0

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

Also published in the dual-infeasible set view →