detailed results (500 total)

prover file res expected time