Skip to content

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

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

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

Job Run time
1m 39s
5s
5s
5s
-1s
0s
0s
0s
28s
27s
1m 44s
34s
38s
33s
1m 20s
29s
44s
34s
35s
32s
47s
25s
42s
31s
37s
35s
36s
53s
42s
45s
1m 43s
1m 22s
31s
34s
36s
30s
30s
34s
29s
37s
37s
29s
28s
34s
41s
30s
31s
29s
50s
34s
51s
38s
1m 50s
30s
1m 10s
37s
22s
39s
33s
40s
45s
30s
43s
31s
36s
36s
41s
31s
37s
35s
37s
27s
28s
42s
48s
29s
33s
24s
28s
43s
53s
41s
30s
42s
1m 58s
26s
32s
27s
1m 8s
1m 7s
26s
43s
30s
36s
36s
31s
28s
30s
38s
31s
31s
26s
39s
30s
37s
34s
35s
25s
34s
34s
37s
32s
29s
36s
32s
29s
1m 13s
36s
31s
44s
30s
27s
24s
34s
54s
35s
44s
1m 0s
29s
27s
27s
37s
36s
32s
31s
23s
29s
30s
28s
34s
44s
32s
32s
32s
1m 24s
30s
34s
33s
36s
1m 3s
45s
49s
28s
45s
29s
43s
1m 20s
41s
37s
1m 1s
31s
1m 57s
34s
55s
1m 56s
35s
1m 43s
48s
30s
32s
38s
1m 37s
1m 14s
55s
34s
33s
55s
28s
50s
9m 3s
40s
40s
44s
50s
2m 39s
7m 27s
56s
39s
45s
41s
1m 34s
27s
26s
24s
48s
27s
30s
35s
21s
23s
33s
29s
28s
22s
21s
22s
26s
27s
29s
23s
22s
27s
21s
25s
37s
29s
29s
19s
30s
25s
22s
27s
26s
27s
25s
22s
28s
27s
24s
24s
24s
25s
27s
25s
25s
31s
27s
19s
19s
25s
20s
21s
19s
29s
19s
25s
23s
22s
29s
25s
24s
30s
25s
21s
50s
28s
44s
20s
34s
40s
1m 2s
24s
23s
24s
28s
26s
19s
22s
26s
32s
27s
20s
34s
25s
30s
26s
36s
33s
1m 8s
26s
30s
26s
32s
0s
3h 7m 47s