Split mathcomp #1465
| Job | Run time |
|---|---|
| 2h 26m 44s | |
| 2h 20m 21s | |
| 2h 21m 57s | |
| 5h 59m 50s | |
| 2h 12m 56s | |
| 2h 21m 55s | |
| 1h 8m 44s | |
| 1h 10m 33s | |
| 1h 29m 22s | |
| 1h 30m 13s | |
| 5m 32s | |
| 23h 8m 7s |
| Job | Run time |
|---|---|
| 2h 26m 44s | |
| 2h 20m 21s | |
| 2h 21m 57s | |
| 5h 59m 50s | |
| 2h 12m 56s | |
| 2h 21m 55s | |
| 1h 8m 44s | |
| 1h 10m 33s | |
| 1h 29m 22s | |
| 1h 30m 13s | |
| 5m 32s | |
| 23h 8m 7s |