update polymake 4.12, decorations, nodemaps, tropical matrix pairs, ceil+floor #918
Job | Run time |
---|---|
14m 23s | |
10m 12s | |
16m 46s | |
20m 37s | |
11m 6s | |
33m 41s | |
17m 24s | |
16m 0s | |
2h 20m 9s |
Job | Run time |
---|---|
14m 23s | |
10m 12s | |
16m 46s | |
20m 37s | |
11m 6s | |
33m 41s | |
17m 24s | |
16m 0s | |
2h 20m 9s |