Split mathcomp #1477
Job | Run time |
---|---|
2h 26m 40s | |
2h 23m 35s | |
2h 26m 42s | |
2h 20m 47s | |
2h 10m 42s | |
2h 22m 49s | |
1h 7m 12s | |
1h 6m 50s | |
45m 13s | |
52m 49s | |
4m 36s | |
18h 7m 55s |
Job | Run time |
---|---|
2h 26m 40s | |
2h 23m 35s | |
2h 26m 42s | |
2h 20m 47s | |
2h 10m 42s | |
2h 22m 49s | |
1h 7m 12s | |
1h 6m 50s | |
45m 13s | |
52m 49s | |
4m 36s | |
18h 7m 55s |