detailed results (77 total)

prover file res expected time