upgrade maxima to 5.47.0 #4856
| Job | Run time |
|---|---|
| 1m 46s | |
| 2h 5m 34s | |
| 16m 3s | |
| 1h 30m 45s | |
| 1h 31m 17s | |
| 15m 34s | |
| 1h 41m 9s | |
| 1h 24m 59s | |
| 13m 11s | |
| 1h 12m 39s | |
| 26m 53s | |
| 1h 22m 9s | |
| 19m 46s | |
| 1h 12m 41s | |
| 1h 21m 54s | |
| 1h 11m 56s | |
| 1h 23m 13s | |
| 1h 37m 35s | |
| 1h 25m 36s | |
| 1h 30m 31s | |
| 1h 19m 59s | |
| 2h 30m 30s | |
| 2h 32m 32s | |
| 3h 16m 56s | |
| 3h 30m 41s | |
| 1d 11h 15m 49s |