Pace 2022 DFVS Solver - Iterative CPLEX version