detailed results (136 total)

prover file res expected time