Prover: tprover
Time limit: 600s

Total problems: 2574
Successes: 636
Failures: 30
Timeouts: 1908

Successes (0.00): 210 / 218
Successes (0.25): 37 / 71
Successes (0.50): 29 / 55
Successes (0.75): 127 / 285
Successes (1.00): 233 / 1945

Successes (< 1s): 261
Successes (< 5s): 363
Successes (< 10s): 444
Successes (< 30s): 526
Successes (< 60s): 569
Successes (< 120s): 598
