Benchmarking #1856
| Job | Run time |
|---|---|
| 4h 50m 57s | |
| 1s | |
| 2h 6m 41s | |
| 1h 38m 56s | |
| 2h 13m 58s | |
| 1h 29m 49s | |
| 26s | |
| 27s | |
| 27s | |
| 1m 15s | |
| 1m 14s | |
| 1m 13s | |
| 25s | |
| 27s | |
| 25s | |
| 2h 18m 58s | |
| 2h 17m 44s | |
| 2h 25m 49s | |
| 2h 7m 53s | |
| 2h 57m 7s | |
| 4h 10m 32s | |
| 2h 5m 39s | |
| 2h 18m 10s | |
| 3h 22m 6s | |
| 3h 47m 48s | |
| 1h 35m 34s | |
| 1h 12m 55s | |
| 3m 21s | |
| 1d 19h 10m 17s |