Add type grammar #22
Job | Run time |
---|---|
55s | |
23s | |
1m 40s | |
1m 4s | |
29s | |
36s | |
1m 34s | |
2m 1s | |
2m 8s | |
33s | |
1m 20s | |
44s | |
30s | |
59s | |
55s | |
58s | |
1m 47s | |
18m 36s |
Job | Run time |
---|---|
55s | |
23s | |
1m 40s | |
1m 4s | |
29s | |
36s | |
1m 34s | |
2m 1s | |
2m 8s | |
33s | |
1m 20s | |
44s | |
30s | |
59s | |
55s | |
58s | |
1m 47s | |
18m 36s |