Prover: syelles
Time limit: 600s

Total problems: 2574
Successes: 602
Failures: 100
Timeouts: 1872

Successes (0.00): 173 / 218
Successes (0.25): 29 / 71
Successes (0.50): 29 / 55
Successes (0.75): 134 / 285
Successes (1.00): 237 / 1945

Successes (< 1s): 235
Successes (< 5s): 359
Successes (< 10s): 435
Successes (< 30s): 516
Successes (< 60s): 543
Successes (< 120s): 565
