add prover timimgs in README file on THF experiments