Swarm verification and parallel randomised depth-first search are very effective parallel techniques to hunt bugs in large state spaces. In case bugs are absent. however. scalability of the parallelisation is completely lost. https://www.nacrack.com/mega-pick-As-for-Me-and-My-House-Wall-Decal-in-Hebrew-Yahauh-flash-find/