detailed results (978 total)

prover file res expected time