detailed results (5 total)

prover file res expected time