ger50-17-trans-dfn-3t
primal-infeasible
The instance
as published- Variables
- 22,414
- Constraints
- 499
- Nonzeros
- 172,035
- 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
x$Nuernberg@3435 ≥ 1
this instance, the other side
x$Nuernberg@3435 ≤ 0 at depth 1,010
x$Nuernberg@3435 ≥ 1
this instance, the other side
x$Nuernberg@3435 ≤ 0 at depth 1,010
- Depth in the tree
- 1,010
- Bounds tightened vs. source
- 1,008
- Branch variable
- x$Nuernberg@3435
Tightened bounds
1,008 entriesx$Bremen_Le@1100<=0x$Bremen_Le@1102<=0x$Bremen_Le@1103<=0x$Bremen_Le@1105<=0x$Bremen_Le@1106<=0x$Bremen_Le@1108<=0x$Bremen_Le@1109<=0x$Bremen_Le@110b<=0x$Bremen_Le@110c<=0x$Bremen_Le@110e<=0x$Bremen_Le@110f<=0x$Bremen_Le@1111<=0
12 of 1,008 shown. The complete list is in the sidecar.