FriCAS spkg-configure and Feature #2418
| Job | Run time |
|---|---|
| 1m 26s | |
| 1h 53m 41s | |
| 5h 37m 17s | |
| 2h 26m 43s | |
| 1h 44m 22s | |
| 2h 27m 17s | |
| 1h 12m 14s | |
| 2h 7m 34s | |
| 27m 25s | |
| 3h 0m 24s | |
| 2h 27m 42s | |
| 3h 6m 55s | |
| 3h 2m 19s | |
| 2h 12m 31s | |
| 1m 56s | |
| 2h 1m 30s | |
| 2h 0m 48s | |
| 2h 9m 39s | |
| 2h 9m 47s | |
| 2h 17m 21s | |
| 2h 26m 52s | |
| 2h 18m 32s | |
| 2h 22m 59s | |
| 2h 15m 12s | |
| 2h 31m 5s | |
| 2h 29m 36s | |
| 2h 15m 59s | |
| 2h 29m 23s | |
| 2d 13h 38m 29s |