detailed results (1 total)

prover file res expected time