Use named-readtables #184
Job | Run time |
---|---|
1s | |
5m 19s | |
3m 28s | |
4m 41s | |
15m 15s | |
2m 31s | |
2m 44s | |
2m 16s | |
14m 12s | |
15m 0s | |
15m 15s | |
1m 57s | |
6m 36s | |
1h 29m 15s |
Job | Run time |
---|---|
1s | |
5m 19s | |
3m 28s | |
4m 41s | |
15m 15s | |
2m 31s | |
2m 44s | |
2m 16s | |
14m 12s | |
15m 0s | |
15m 15s | |
1m 57s | |
6m 36s | |
1h 29m 15s |