detailed results (437 total)

prover file res expected time