Skip to content

Update Grammars

Update Grammars #225

Job Run time
7s
3s
9s
9s
7s
5s
8s
3s
5s
14s
25s
4s
6s
4s
7s
43s
7s
5s
7s
8s
3s
4s
3s
9s
6s
5s
4s
7s
3s
20s
3s
7s
3s
7s
3s
8s
7s
6s
7s
5s
24s
6s
6s
5s
14s
7s
9s
7s
7s
12s
7s
7s
4s
32s
2m 14s
16s
7s
5s
9s
11s
4s
7s
7s
7s
4s
3s
3s
7s
1m 36s
1m 35s
7s
5s
1m 19s
3s
57s
6s
11s
11s
4s
7s
1m 40s
14s
18s
3s
4s
7s
8s
4s
13s
7s
3s
5s
4s
33s
8s
17s
6s
4s
3s
4s
22m 3s