detailed results (12709 total)

prover file res expected time