detailed results (2090 total)

prover file res expected time