detailed results (699 total)

prover file res expected time