detailed results (45 total)

prover file res expected time