set exp upper bound to 600. otherwise went to Inf when multiplied. fi… #2494
| Job | Run time |
|---|---|
| 1h 12m 50s | |
| 1s | |
| 1h 21m 3s | |
| 1h 6m 56s | |
| 1s | |
| 1h 17m 1s | |
| 1h 3m 48s | |
| 1s | |
| 1h 14m 50s | |
| 2h 38m 40s | |
| 1s | |
| 2h 38m 44s | |
| 1h 13m 1s | |
| 1h 26m 50s | |
| 1h 13m 2s | |
| 1h 12m 25s | |
| 1h 13m 1s | |
| 14m 26s | |
| 1s | |
| 19h 6m 42s |