Skip to content

First cut at introducing fsm_intersect_charset(), exposed as fsm -U. #918

First cut at introducing fsm_intersect_charset(), exposed as fsm -U.

First cut at introducing fsm_intersect_charset(), exposed as fsm -U. #918

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