[FileFormats.MPS] allow any whitespace as a separator between fields … #5286
| Job | Run time |
|---|---|
| 19m 40s | |
| 11m 7s | |
| 28m 3s | |
| 9m 44s | |
| 23m 15s | |
| 23m 58s | |
| 14m 30s | |
| 16m 46s | |
| 22m 41s | |
| 24m 1s | |
| 8m 32s | |
| 26m 50s | |
| 12m 20s | |
| 22m 9s | |
| 10m 1s | |
| 20m 54s | |
| 22m 38s | |
| 25m 53s | |
| 26m 53s | |
| 16m 52s | |
| 27m 54s | |
| 32m 23s | |
| 14m 53s | |
| 22m 54s | |
| 24m 43s | |
| 8h 29m 34s |