detailed results (502 total)

prover file res expected time