MIPLIB 2017 Infeas

ns2124243

primal-infeasible

The instance

as published
Variables
156,083
Constraints
139,280
Nonzeros
429,032
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
C48R08D0202 ≤ 0
this instance, the other side
C48R08D0202 ≥ 1 at depth 2,901
Depth in the tree
2,901
Bounds tightened vs. source
70,181
Branch variable
C48R08D0202

Tightened bounds

70,181 entries
R1D1>=1R1D3>=1R1D4>=1R1D6>=1R2D1>=1R2D3>=1R2D4>=1R2D6>=1R3D1>=1R3D3>=1R3D4>=1R3D6>=1

12 of 70,181 shown. The complete list is in the sidecar.

Also published in the dual-infeasible set view →