detailed results (57 total)

prover file res expected time