Save partial results after 5 minutes

Besides saving partial results after 500 repetitions, also save the
partial results after 5 minutes since the last time the partial results
were saved.