detailed results (700 total)

prover file res expected time