detailed results (19 total)

prover file res expected time