Decision problem variant of distance product. Given three matrices $A, B, C$ over the $(\min, +)$-semiring, verify that $AB = C$, i.e. that $C$ is the matrix product of $A$ and $B$