detailed results (111 total)

prover file res expected time