LaTeX, ansi - escape latex inside highlighting environments #4925
| Job | Run time |
|---|---|
| 16s | |
| 4s | |
| 9m 1s | |
| 10m 34s | |
| 12m 49s | |
| 13m 46s | |
| 13m 48s | |
| 13m 40s | |
| 8m 55s | |
| 8m 42s | |
| 14m 15s | |
| 9m 45s | |
| 13m 49s | |
| 8m 2s | |
| 15m 47s | |
| 12m 30s | |
| 11m 3s | |
| 14m 40s | |
| 9m 31s | |
| 14m 6s | |
| 10m 53s | |
| 9m 16s | |
| 14m 37s | |
| 15m 45s | |
| 9m 16s | |
| 12m 26s | |
| 9m 31s | |
| 11m 41s | |
| 9m 38s | |
| 8m 42s | |
| 13m 27s | |
| 14m 31s | |
| 8m 12s | |
| 13m 13s | |
| 10m 13s | |
| 14m 44s | |
| 11m 6s | |
| 9m 23s | |
| 14m 52s | |
| 11m 55s | |
| 7m 59s | |
| 11m 37s | |
| 7h 48m 0s |