General prover progress and timeouts.