fastxgemm-n3r21s3t6
primal-infeasible
The instance
as published- Variables
- 18,684
- Constraints
- 219,368
- Nonzeros
- 718,146
- 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_B_5_4 ≤ 0
this instance, the other side
NEG_B_5_4 ≥ 1 at depth 199
NEG_B_5_4 ≤ 0
this instance, the other side
NEG_B_5_4 ≥ 1 at depth 199
- Depth in the tree
- 199
- Bounds tightened vs. source
- 196
- Branch variable
- NEG_B_5_4
Tightened bounds
196 entriesNEG_A_0_0<=0ABS_U_0_4<=0ABS_U_2_7<=0ABS_W_5_16>=1NEG_B_5_1<=0U_0_9>=-0V_2_9<=-1W_4_9<=0ABS_V_0_11<=0ABS_W_4_11<=0U_4_12<=0W_4_12>=-0
12 of 196 shown. The complete list is in the sidecar.