Fix bug in progress reports when using counterexample post-processing