detailed results (54 total)

prover file res expected time