[SOL] Remove now obsolete old syntax bits. #176
| Job | Run time |
|---|---|
| 51s | |
| 51s | |
| 47m 40s | |
| 47m 40s | |
| 1m 21s | |
| 1m 21s | |
| 8m 0s | |
| 8m 0s | |
| 26m 39s | |
| 26m 39s | |
| 2h 54m 11s | |
| 2h 54m 11s | |
| 1m 20s | |
| 1m 20s | |
| 1m 58s | |
| 1m 58s | |
| 1h 26m 35s | |
| 1h 26m 35s | |
| 26m 51s | |
| 1h 48m 32s | |
| 30m 46s | |
| 30m 46s | |
| 30m 5s | |
| 30m 5s | |
| 35s | |
| 35s | |
| 15h 55m 25s |