[FileFormats.LP] some renaming in the LP reader #5420
| Job | Run time |
|---|---|
| 6m 29s | |
| 16m 22s | |
| 10m 10s | |
| 16m 23s | |
| 16m 21s | |
| 12m 40s | |
| 9m 51s | |
| 8m 38s | |
| 16m 21s | |
| 6m 11s | |
| 15m 38s | |
| 16m 23s | |
| 15m 14s | |
| 5m 33s | |
| 16m 23s | |
| 16m 24s | |
| 3m 45s | |
| 6m 29s | |
| 16m 24s | |
| 14m 40s | |
| 16m 24s | |
| 10m 8s | |
| 16m 25s | |
| 16m 27s | |
| 7m 42s | |
| 5h 13m 25s |