Prover: ileancop 1.2
Time limit: 600s

Total problems: 2574
Successes (theorems): 934
Successes (non-theorems): 6
Timeouts: 1634

Successes (0.00): 213 / 218
Successes (0.25): 68 / 71
Successes (0.50): 53 / 55
Successes (0.75): 273 / 285
Successes (1.00): 327 / 1945

Successes (< 1s): 705
Successes (< 5s): 745
Successes (< 10s): 761
Successes (< 30s): 788
Successes (< 60s): 804
Successes (< 120s): 807
