Replacement of Checker procedural (#1414) #1915
Job | Run time |
---|---|
0s | |
9m 25s | |
15m 35s | |
7m 55s | |
5m 42s | |
8m 45s | |
10m 42s | |
15m 1s | |
8m 46s | |
7m 22s | |
9m 41s | |
2m 8s | |
10m 48s | |
8m 25s | |
10m 35s | |
0s | |
2h 10m 50s |
Job | Run time |
---|---|
0s | |
9m 25s | |
15m 35s | |
7m 55s | |
5m 42s | |
8m 45s | |
10m 42s | |
15m 1s | |
8m 46s | |
7m 22s | |
9m 41s | |
2m 8s | |
10m 48s | |
8m 25s | |
10m 35s | |
0s | |
2h 10m 50s |