detailed results (518 total)

prover file res expected time