Could this "reality search" stuff be parallelized?

Could reaction permutation and property testing occur in a more automated fashion than is currently?