Bug fix for setting up multiple solvers in verification scrip