Skip to content

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

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

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

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