Benchmarking #1842
| Job | Run time |
|---|---|
| 4h 53m 47s | |
| 1s | |
| 1h 41m 13s | |
| 2h 21m 20s | |
| 1h 39m 33s | |
| 3m 30s | |
| 27s | |
| 24s | |
| 27s | |
| 1m 13s | |
| 1m 13s | |
| 1m 12s | |
| 26s | |
| 27s | |
| 26s | |
| 2h 19m 51s | |
| 2h 20m 42s | |
| 2h 19m 46s | |
| 2h 8m 0s | |
| 3h 10m 59s | |
| 4h 6m 15s | |
| 1m 46s | |
| 3m 56s | |
| 1m 50s | |
| 3h 57m 21s | |
| 1h 40m 20s | |
| 1h 33m 12s | |
| 3m 37s | |
| 1d 10h 33m 14s |