benchmark: compute cov for benchmark termination