Fix of mixing rules #592
Job | Run time |
---|---|
18m 32s | |
7m 34s | |
16m 29s | |
7m 21s | |
40m 31s | |
41m 20s | |
1h 13m 45s | |
1h 15m 2s | |
35m 35s | |
37m 5s | |
1h 18m 47s | |
1h 23m 41s | |
19m 43s | |
10m 12s | |
22m 15s | |
10m 30s | |
46m 8s | |
45m 4s | |
32m 39s | |
39m 20s | |
48m 18s | |
49m 46s | |
25m 33s | |
25m 55s | |
20m 4s | |
8m 20s | |
18m 41s | |
8m 13s | |
45m 52s | |
47m 25s | |
54m 24s | |
1h 2m 23s | |
40m 28s | |
41m 3s | |
41m 50s | |
45m 42s | |
23m 13s | |
11m 2s | |
27m 41s | |
11m 37s | |
54m 52s | |
54m 17s | |
34m 23s | |
39m 7s | |
55m 58s | |
56m 57s | |
26m 15s | |
27m 8s | |
1d 5h 8m 0s |