fix #33: also replace LaTeX math expressions with unique tokens for H… #108
Job | Run time |
---|---|
1m 42s | |
2m 7s | |
1m 52s | |
1m 52s | |
1m 54s | |
1m 51s | |
2m 6s | |
1m 35s | |
1m 59s | |
2m 12s | |
2m 48s | |
1m 54s | |
2m 2s | |
1m 46s | |
27m 40s |
Job | Run time |
---|---|
1m 42s | |
2m 7s | |
1m 52s | |
1m 52s | |
1m 54s | |
1m 51s | |
2m 6s | |
1m 35s | |
1m 59s | |
2m 12s | |
2m 48s | |
1m 54s | |
2m 2s | |
1m 46s | |
27m 40s |