Finish Verification of percolationBySFM