stockholm
primal-infeasible
The instance
as published- Variables
- 20,644
- Constraints
- 57,346
- Nonzeros
- 171,076
- 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
will@6a3 ≥ 1
this instance, the other side
will@6a3 ≤ 0 at depth 2
will@6a3 ≥ 1
this instance, the other side
will@6a3 ≤ 0 at depth 2
- Depth in the tree
- 2
- Bounds tightened vs. source
- 964
- Branch variable
- will@6a3
Tightened bounds
964 entrieswill@44c<=0will@6a3<=0tollCh@0<=1000tollCh@1<=1000tollCh@2<=1000tollCh@3<=1000tollCh@4<=1000tollCh@5<=1000tollCh@6<=1000tollCh@7<=1000tollCh@8<=1000tollCh@9<=1000
12 of 964 shown. The complete list is in the sidecar.