detailed results (8 total)

prover file res expected time