detailed results (23 total)

prover file res expected time