academictimetablesmall
primal-infeasible
The instance
as published- Variables
- 28,926
- Constraints
- 23,294
- Nonzeros
- 268,350
- Format
- MPS, gzipped
Where it comes from
provenanceA 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
z(25,R,2,F105) ≤ 0
this instance, the other side
z(25,R,2,F105) ≥ 1 at depth 37
z(25,R,2,F105) ≤ 0
this instance, the other side
z(25,R,2,F105) ≥ 1 at depth 37
- Depth in the tree
- 37
- Bounds tightened vs. source
- 935
- Branch variable
- z(25,R,2,F105)
Tightened bounds
935 entriesz(1,T,6,F04)>=1z(3,T,1,F208)>=1z(3,F,6,F301)>=1z(12,T,3,F208)>=1z(12,W,7,F04)<=0z(12,R,3,F04)>=1z(12,R,3,F212)<=0z(12,R,7,F002)<=0z(12,R,7,F104)<=0z(12,F,1,F215)>=1z(13,R,3,G310)<=0z(17,W,3,G310)>=1
12 of 935 shown. The complete list is in the sidecar.