Parallelized the generation of reachable-matrix.