Improve astprinter #37
Job | Run time |
---|---|
14m 42s | |
8s | |
3s | |
10m 29s | |
16s | |
6m 23s | |
7m 33s | |
6m 59s | |
17m 52s | |
3m 16s | |
7m 14s | |
3m 19s | |
3m 9s | |
7m 21s | |
0s | |
18m 21s | |
1h 47m 5s |
Job | Run time |
---|---|
14m 42s | |
8s | |
3s | |
10m 29s | |
16s | |
6m 23s | |
7m 33s | |
6m 59s | |
17m 52s | |
3m 16s | |
7m 14s | |
3m 19s | |
3m 9s | |
7m 21s | |
0s | |
18m 21s | |
1h 47m 5s |