Skip to content

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

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

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

Job Run time
1m 36s
4s
5s
5s
0s
0s
0s
0s
33s
29s
31s
26s
29s
21s
27s
48s
31s
29s
28s
26s
20s
24s
30s
27s
25s
28s
30s
27s
19s
21s
27s
26s
26s
32s
29s
25s
28s
33s
31s
26s
28s
26s
26s
51s
33s
31s
24s
21s
31s
25s
29s
19s
20s
27s
32s
36s
28s
36s
20s
27s
31s
43s
33s
52s
20s
28s
29s
22s
27s
40s
27s
1m 11s
55s
23s
25s
22s
25s
31s
28s
37s
32s
25s
1m 4s
27s
26s
27s
21s
18s
25s
26s
27s
26s
23s
30s
42s
28s
33s
28s
29s
32s
40s
1m 21s
2m 0s
55s
35s
54s
40s
27s
50s
50s
40s
50s
36s
56s
1m 35s
2m 32s
35s
38s
56s
57s
32s
1m 45s
4m 44s
35s
41s
37s
1m 15s
4m 45s
1m 17s
1m 46s
35s
1m 2s
39s
35s
40s
28s
39s
1m 7s
34s
33s
40s
48s
32s
50s
43s
1m 43s
1m 7s
38s
35s
32s
34s
39s
33s
37s
33s
32s
29s
28s
43s
50s
26s
33s
32s
29s
34s
38s
1m 45s
24s
31s
41s
37s
30s
33s
1m 17s
57s
38s
33s
37s
30s
33s
39s
27s
38s
26s
35s
28s
33s
40s
1m 50s
37s
32s
27s
24s
1m 18s
36s
33s
52s
33s
31s
38s
27s
45s
34s
36s
33s
38s
28s
1m 44s
32s
36s
44s
41s
38s
37s
30s
27s
42s
46s
27s
36s
32s
38s
30s
32s
27s
1m 5s
34s
40s
28s
52s
34s
33s
30s
28s
25s
33s
27s
35s
31s
34s
43s
36s
32s
30s
36s
41s
29s
35s
29s
1m 4s
39s
29s
36s
22s
36s
25s
30s
29s
30s
35s
29s
32s
42s
1m 7s
27s
38s
36s
40s
24s
30s
30s
48s
30s
34s
34s
31s
34s
37s
33s
27s
26s
35s
48s
1s
3h 1m 35s