Boilerplate for the implementation of n-way unions #3017
Job | Run time |
---|---|
2m 31s | |
2m 31s | |
2m 16s | |
12m 36s | |
17s | |
16m 28s | |
12m 21s | |
14m 54s | |
10m 43s | |
12m 47s | |
14m 19s | |
10m 24s | |
12m 34s | |
16m 32s | |
9m 1s | |
13m 59s | |
14m 27s | |
11m 13s | |
10m 33s | |
16m 51s | |
12m 4s | |
15m 43s | |
17m 39s | |
11m 37s | |
25m 21s | |
13m 30s | |
15m 0s | |
5h 28m 11s |