Skip to content

More efficient conversion of fmpz to float #1415

More efficient conversion of fmpz to float

More efficient conversion of fmpz to float #1415

Job Run time
3m 16s
36m 10s
28m 15s
6m 44s
3m 50s
17m 3s
14m 59s
9m 59s
6m 55s
2m 8s
4m 32s
17m 23s
1m 44s
17m 53s
19m 34s
5m 1s
4m 41s
2m 11s
5m 14s
5m 26s
19s
17s
17s
17s
0s
0s
27s
9s
0s
20s
19s
19s
21s
11s
22s
22s
27s
23s
25s
18s
21s
13s
22s
1m 18s
1m 0s
1m 19s
22s
27s
27s
1m 39s
31s
27s
32s
29s
26s
1m 4s
13s
28s
51s
39s
13s
1m 13s
1m 7s
28s
1m 22s
14s
33s
14s
16s
1m 1s
49s
11s
44s
46s
1m 21s
14s
1m 2s
44s
38s
4h 4m 49s