Merge pull request #182 from darioizzo/mapinversion #844
Job | Run time |
---|---|
2m 58s | |
20m 4s | |
14m 17s | |
11m 49s | |
11m 51s | |
11m 54s | |
11m 55s | |
11m 57s | |
16m 55s | |
17m 3s | |
18m 19s | |
2h 29m 2s |
Job | Run time |
---|---|
2m 58s | |
20m 4s | |
14m 17s | |
11m 49s | |
11m 51s | |
11m 54s | |
11m 55s | |
11m 57s | |
16m 55s | |
17m 3s | |
18m 19s | |
2h 29m 2s |