detailed results (75 total)

prover file res expected time