Skip to content

Simplify *StatementWithoutImpurePointsRule #21999

Simplify *StatementWithoutImpurePointsRule

Simplify *StatementWithoutImpurePointsRule #21999

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