fastxgemm-n3r23s5t6
primal-infeasible
The instance
as published- Variables
- 20,394
- Constraints
- 240,116
- Nonzeros
- 786,402
- 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_A_0_0 ≤ 0
this instance, the other side
NEG_A_0_0 ≥ 1 at depth 258
NEG_A_0_0 ≤ 0
this instance, the other side
NEG_A_0_0 ≥ 1 at depth 258
- Depth in the tree
- 258
- Bounds tightened vs. source
- 283
- Branch variable
- NEG_A_0_0
Tightened bounds
283 entriesNEG_A_0_0>=1ABS_U_0_4<=0ABS_U_2_3<=0ABS_W_3_16<=0U_0_11>=-0V_2_11>=-0V_2_11<=0W_1_11<=0ABS_V_6_22>=1W_2_0<=0ABS_U_3_0<=0ABS_V_6_0<=0
12 of 283 shown. The complete list is in the sidecar.