Optimizing Scalability For Formal Analysis With Evolutionary Algorithm