Skip to content

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

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

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

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