detailed results (422 total)

prover file res expected time