Skip to content

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

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

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

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