detailed results (7 total)

prover file res expected time