detailed results (414 total)

prover file res expected time