Skip to content

New elaborator

New elaborator #345

Job Run time
8s
4m 39s
11s
7s
11m 33s
11m 57s
11m 49s
11m 9s
11m 49s
11m 55s
59s
59s
1m 2s
48s
13m 52s
14m 14s
12m 24s
13m 27s
13m 14s
14m 10s
13m 7s
13m 10s
13m 0s
11m 46s
11m 47s
14m 21s
15m 3s
22m 57s
13m 37s
14m 49s
14m 21s
14m 39s
14m 16s
14m 46s
15m 0s
14m 0s
14m 52s
13m 26s
12m 54s
13m 2s
13m 40s
15m 8s
14m 26s
13m 34s
13m 58s
14m 7s
11m 25s
13m 20s
12m 42s
15m 3s
15m 22s
11m 47s
12m 5s
11m 43s
11m 47s
11m 41s
11m 41s
12m 46s
12m 38s
12m 11s
11m 40s
11m 37s
11m 40s
11m 40s
13m 11s
12m 45s
13m 45s
11m 32s
11m 46s
12m 29s
12m 40s
12m 22s
13m 24s
12m 26s
23s
14h 39m 43s