detailed results (16 total)

prover file res expected time