Skip to content

Merge branch 'sv/determine-which-characters-must-appear-in-input-to-m… #72

Merge branch 'sv/determine-which-characters-must-appear-in-input-to-m…

Merge branch 'sv/determine-which-characters-must-appear-in-input-to-m… #72

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