fastxgemm-n3r22s4t6
primal-infeasible
The instance
as published- Variables
- 19,539
- Constraints
- 229,742
- Nonzeros
- 752,274
- 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
NEG_D_2_5 ≥ 1
this instance, the other side
NEG_D_2_5 ≤ 0 at depth 312
NEG_D_2_5 ≥ 1
this instance, the other side
NEG_D_2_5 ≤ 0 at depth 312
- Depth in the tree
- 312
- Bounds tightened vs. source
- 312
- Branch variable
- NEG_D_2_5
Tightened bounds
312 entriesPOS_A_0_0>=1ABS_U_0_4<=0ABS_U_2_5<=0ABS_W_4_15<=0ABS_U_0_19<=0U_3_2>=-0V_7_2>=-0W_7_2<=0ABS_U_3_2<=0ABS_V_2_19<=0U_3_3>=-0V_7_3>=-0
12 of 312 shown. The complete list is in the sidecar.