[FTheoryTools] More on serialization of FTheoryTools #16879
Job | Run time |
---|---|
25m 43s | |
1h 29m 21s | |
26m 48s | |
52m 47s | |
25m 13s | |
1h 14m 58s | |
25m 8s | |
48m 28s | |
12m 27s | |
1h 16m 42s | |
45m 26s | |
1h 28m 11s | |
51m 27s | |
1h 11m 8s | |
43m 32s | |
14m 2s | |
13m 55s | |
50m 28s | |
1h 7m 47s | |
15h 3m 31s |