MIPLIB 2017 Infeas

nursesched-sprint-hidden09

primal-infeasible

The instance

as published
Variables
11,650
Constraints
4,872
Nonzeros
208,050
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
ww(N6,26,28) ≤ 0
this instance, the other side
ww(N6,26,28) ≥ 1 at depth 733
Depth in the tree
733
Bounds tightened vs. source
863
Branch variable
ww(N6,26,28)

Tightened bounds

863 entries
x(N0,N,18)<=0x(N0,N,23)<=0x(N0,E,18)<=0x(N0,D,6)<=0x(N0,D,9)<=0x(N0,D,18)<=0x(N0,D,19)<=0x(N0,D,20)<=0x(N0,D,23)<=0x(N0,L,18)<=0x(N1,N,3)<=0x(N1,N,9)<=0

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

Also published in the dual-infeasible set view →