Skip to content

Prevent nested foreach unrolling to fix exponential blowup #28971

Prevent nested foreach unrolling to fix exponential blowup

Prevent nested foreach unrolling to fix exponential blowup #28971

Job Run time
2m 0s
12s
12s
43s
0s
0s
-1s
-1s
45s
50s
55s
42s
1m 56s
52s
40s
35s
51s
34s
43s
1m 29s
45s
37s
34s
33s
1m 11s
1m 28s
40s
41s
41s
34s
44s
45s
40s
39s
41s
49s
37s
42s
46s
1m 31s
50s
45s
40s
56s
51s
46s
42s
34s
58s
57s
44s
1m 21s
42s
46s
35s
37s
38s
45s
1m 50s
39s
48s
1m 4s
40s
39s
37s
34s
42s
1m 7s
36s
43s
47s
31s
45s
40s
47s
46s
1m 12s
48s
47s
50s
44s
44s
1m 12s
51s
1m 41s
47s
34s
51s
42s
1m 15s
35s
46s
35s
34s
1m 30s
42s
49s
50s
50s
59s
43s
39s
35s
52s
43s
49s
49s
35s
42s
1m 3s
42s
43s
43s
43s
49s
40s
38s
1m 14s
34s
39s
44s
39s
39s
43s
43s
42s
36s
44s
38s
44s
40s
50s
50s
58s
36s
47s
54s
1m 14s
43s
37s
1m 8s
48s
47s
48s
35s
33s
43s
47s
46s
44s
41s
46s
44s
35s
40s
33s
32s
55s
32s
38s
28s
32s
32s
37s
36s
36s
38s
33s
42s
35s
28s
31s
35s
36s
40s
44s
39s
39s
1m 6s
45s
31s
37s
38s
36s
34s
29s
39s
37s
33s
41s
53s
31s
28s
40s
28s
35s
29s
38s
42s
38s
32s
29s
41s
36s
33s
32s
32s
36s
39s
34s
30s
51s
30s
30s
31s
32s
52s
43s
1m 4s
28s
43s
37s
38s
52s
39s
34s
40s
46s
31s
32s
26s
24s
32s
43s
34s
35s
28s
29s
23s
37s
30s
40s
35s
38s
40s
40s
24s
46s
25s
1m 18s
52s
1m 9s
40s
41s
45s
52s
1m 8s
47s
41s
1m 32s
51s
1m 19s
1m 6s
49s
39s
34s
48s
47s
1m 44s
45s
1m 57s
47s
49s
6m 13s
56s
38s
2m 24s
53s
37s
50s
56s
44s
1m 0s
56s
40s
0s
2m 0s
-567s
-567s
43s
12s
-567s
12s
52s
1m 9s
47s
32s
-567s
1m 6s
1m 29s
42s
1m 32s
55s
1m 18s
1m 8s
45s
38s
45s
41s
35s
36s
1m 19s
37s
39s
28s
40s
47s
32s
47s
34s
51s
32s
1m 6s
52s
38s
49s
45s
45s
51s
50s
55s
52s
36s
34s
32s
28s
34s
49s
1m 56s
37s
1m 57s
48s
38s
33s
34s
2m 24s
56s
33s
39s
1m 44s
53s
31s
37s
46s
51s
7m 22s
37s
44s
39s
40s
56s
35s
40s
1m 11s
42s
35s
49s
43s
36s
41s
45s
44s
31s
1m 0s
40s
6m 13s
37s
41s
40s
37s
41s
56s
39s
38s
44s
42s
1m 28s
33s
36s
47s
40s
29s
1m 31s
31s
45s
50s
36s
33s
56s
34s
46s
42s
29s
36s
41s
28s
40s
45s
37s
38s
51s
40s
32s
46s
34s
32s
38s
35s
53s
58s
34s
39s
28s
37s
30s
38s
42s
42s
48s
32s
1m 21s
29s
40s
1m 50s
34s
41s
46s
51s
39s
30s
32s
45s
43s
31s
35s
39s
1m 4s
1m 4s
45s
30s
37s
36s
28s
38s
42s
47s
52s
34s
39s
42s
43s
26s
34s
32s
24s
40s
34s
31s
1m 7s
46s
37s
52s
1m 12s
43s
31s
44s
48s
37s
47s
46s
44s
40s
1m 41s
43s
1m 12s
35s
50s
30s
35s
1m 15s
51s
32s
47s
35s
40s
28s
42s
46s
23s
38s
34s
40s
29s
36s
35s
43s
49s
25s
1m 30s
35s
50s
59s
40s
34s
46s
39s
51s
43s
1m 3s
58s
52s
49s
43s
44s
42s
35s
43s
40s
42s
42s
43s
49s
1m 14s
49s
43s
44s
50s
43s
39s
44s
54s
39s
50s
38s
36s
35s
38s
37s
39s
40s
41s
36s
48s
47s
1m 14s
43s
46s
46s
44s
48s
47s
1m 8s
43s
35s
33s
40s
52s
38s
33s
47s
44s
-1s
6h 43m 6s