Total problems: 2574
Successes: 565
Failures: 73
Timeouts: 1936

Successes (0.00): 198 / 218
Successes (0.25): 29 / 71
Successes (0.50): 28 / 55
Successes (0.75): 109 / 285
Successes (1.00): 201 / 1945

Successes (< 1s): 182
Successes (< 5s): 258
Successes (< 10s): 320
Successes (< 30s): 411
Successes (< 60s): 470
Successes (< 120s): 507
