Edits so that make works; also some style changes
#837
| Job | Run time |
|---|---|
| 43s | |
| 1m 36s | |
| 1m 2s | |
| 52s | |
| 2m 16s | |
| 3m 2s | |
| 14s | |
| 1m 41s | |
| 32s | |
| 22s | |
| 25s | |
| 11s | |
| 44s | |
| 12s | |
| 56s | |
| 22s | |
| 54s | |
| 21s | |
| 1m 14s | |
| 1m 12s | |
| 1m 27s | |
| 1m 38s | |
| 21m 56s |