detailed results (345 total)

prover file res expected time