Prover: hprover (commit 645732ce6871fa634009679d3534dfbcbe02c57a, hprover update)
Time limit: 600s

Total problems: 2574
Successes: 662
Failures: 38
Timeouts: 1874

Successes (0.00): 210 / 218
Successes (0.25): 37 / 71
Successes (0.50): 40 / 55
Successes (0.75): 125 / 285
Successes (1.00): 250 / 1945

Successes (< 1s): 240
Successes (< 5s): 330
Successes (< 10s): 438
Successes (< 30s): 517
Successes (< 60s): 582
Successes (< 120s): 626
