Made sat benchmark iterative executable