Speed up leader search #435
Job | Run time |
---|---|
10m 55s | |
10m 42s | |
11m 28s | |
10m 18s | |
10m 42s | |
10m 42s | |
10m 23s | |
10m 15s | |
10m 36s | |
10m 53s | |
10m 6s | |
10m 16s | |
11m 4s | |
10m 47s | |
10m 19s | |
10m 25s | |
10m 53s | |
10m 58s | |
10m 3s | |
10m 17s | |
10m 25s | |
10m 54s | |
10m 13s | |
10m 8s | |
10m 27s | |
10m 29s | |
10m 45s | |
10m 25s | |
12m 2s | |
12m 3s | |
11m 26s | |
11m 27s | |
11m 55s | |
11m 56s | |
11m 52s | |
11m 21s | |
3s | |
6h 29m 53s |