Skip to content

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

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

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

Job Run time
1m 34s
5s
8s
7s
0s
0s
0s
-1s
27s
1m 11s
1m 41s
34s
35s
33s
42s
34s
23s
32s
33s
26s
41s
30s
37s
25s
22s
32s
39s
32s
38s
26s
31s
27s
38s
27s
40s
1m 8s
36s
22s
29s
1m 30s
43s
47s
34s
30s
1m 8s
34s
32s
32s
27s
33s
36s
56s
38s
24s
41s
30s
27s
25s
26s
31s
29s
37s
29s
33s
36s
41s
26s
35s
27s
28s
30s
1m 1s
52s
38s
24s
40s
30s
26s
36s
36s
38s
1m 28s
30s
35s
41s
33s
28s
27s
24s
1m 33s
30s
26s
30s
32s
55s
25s
33s
27s
29s
28s
30s
28s
30s
30s
31s
34s
33s
29s
1m 4s
29s
39s
32s
30s
36s
27s
23s
34s
31s
27s
1m 5s
42s
40s
31s
42s
29s
25s
50s
25s
48s
28s
35s
21s
36s
30s
29s
38s
25s
26s
30s
32s
1m 17s
28s
37s
21s
39s
24s
28s
23s
26s
53s
33s
33s
31s
34s
38s
29s
1m 25s
34s
1m 54s
1m 5s
41s
30s
31s
36s
1m 4s
1m 33s
55s
48s
36s
27s
9m 26s
36s
1m 40s
52s
26s
55s
38s
1m 42s
1m 1s
42s
7m 35s
35s
2m 26s
41s
43s
33s
37s
50s
1m 26s
1m 17s
48s
24s
26s
28s
30s
21s
25s
23s
27s
32s
27s
19s
27s
24s
24s
27s
22s
24s
18s
26s
19s
22s
23s
31s
26s
31s
26s
25s
39s
22s
23s
27s
27s
24s
21s
24s
24s
22s
32s
25s
22s
24s
21s
26s
23s
23s
28s
23s
21s
19s
28s
30s
25s
35s
32s
39s
26s
21s
36s
22s
25s
27s
25s
22s
28s
30s
57s
27s
26s
26s
1m 6s
30s
28s
27s
29s
47s
27s
22s
27s
20s
30s
26s
22s
25s
29s
32s
23s
20s
30s
31s
18s
28s
33s
0s
2h 59m 14s