Skip to content

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

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

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

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