Skip to content

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

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

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

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