Map editing tools and improved local mapping #109
Job | Run time |
---|---|
28s | |
31s | |
42s | |
2m 31s | |
1m 7s | |
1m 15s | |
1m 0s | |
2m 21s | |
3m 32s | |
15m 59s | |
2m 53s | |
32m 19s |
Job | Run time |
---|---|
28s | |
31s | |
42s | |
2m 31s | |
1m 7s | |
1m 15s | |
1m 0s | |
2m 21s | |
3m 32s | |
15m 59s | |
2m 53s | |
32m 19s |