new pareto verification schedules - reasonably shorter. Change to verification runner script