Merge pull request #222 from nurse/add-more-grammars #88
Job | Run time |
---|---|
3s | |
26s | |
2m 49s | |
1m 47s | |
27s | |
1m 8s | |
2m 15s | |
26s | |
1m 21s | |
3m 39s | |
15s | |
23s | |
59s | |
21s | |
34s | |
1m 3s | |
17s | |
33s | |
2m 56s | |
15s | |
35s | |
1m 39s | |
16s | |
33s | |
1m 4s | |
4m 22s | |
4m 35s | |
1m 35s | |
1m 54s | |
38m 30s |