various improvements: add decoration type, improve tropicalnumber, some graph stuff #122
| Job | Run time |
|---|---|
| 47s | |
| 47s | |
| 24m 2s | |
| 27m 40s | |
| 13m 25s | |
| 18m 40s | |
| 23m 24s | |
| 28m 5s | |
| 12m 50s | |
| 24m 27s | |
| 24m 16s | |
| 24m 16s | |
| 14m 10s | |
| 14m 10s | |
| 24m 7s | |
| 24m 7s | |
| 21m 38s | |
| 21m 38s | |
| 2h 21m 54s | |
| 2h 21m 54s | |
| 19m 25s | |
| 19m 25s | |
| 3h 12m 2s | |
| 2h 38m 50s | |
| 4h 20m 24s | |
| 3h 40m 35s | |
| 2h 31m 14s | |
| 2h 31m 14s | |
| 1d 5h 59m 26s |