detailed results (333 total)

prover file res expected time