Skip to content

Infer non-empty-ness after count($a) == count($b) #22551

Infer non-empty-ness after count($a) == count($b)

Infer non-empty-ness after count($a) == count($b) #22551

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