Prover: firstorder
Time limit: 600s

Total problems: 2574
Successes: 467
Failures: 148
Timeouts: 1959

Successes (0.00): 208 / 218
Successes (0.25): 40 / 71
Successes (0.50): 32 / 55
Successes (0.75): 57 / 285
Successes (1.00): 130 / 1945

Successes (< 1s): 368
Successes (< 5s): 415
Successes (< 10s): 425
Successes (< 30s): 441
Successes (< 60s): 451
Successes (< 120s): 458
