Skip to content

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

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

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

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