[FTheoryTools] More on serialization of FTheoryTools #16834
Job | Run time |
---|---|
26m 4s | |
1h 31m 46s | |
25m 34s | |
1h 1m 26s | |
28m 38s | |
1h 13m 47s | |
24m 8s | |
45m 13s | |
11m 39s | |
1h 26m 16s | |
57m 4s | |
1h 24m 42s | |
52m 43s | |
1h 14m 50s | |
45m 19s | |
13m 36s | |
14m 25s | |
51m 28s | |
2h 30m 14s | |
16h 58m 52s |