| Commit message (Collapse) | Author | Age |
|---|
| |
|
|
|
|
| |
Currently unused, but adding it here in preparation for removing
reification (which will allow easy support of karatsuba separate from
goldilocks).
|
| | |
|
| | |
|
| |
|
|
|
|
|
|
| |
Following Andres' suggestions to allow making ladderstep from other
synthesis things.
It went though mostly without a hitch, though there were a number of
boilerplate changes needed.
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
Approximate timing. Note that some of these are times before the build
was killed, so they underreport the time taken to build the slowest
files.
Time | File Name
-------------------------------------------------------------------------------------
7592m06.77s | Total
-------------------------------------------------------------------------------------
833m20.80s | Specific/montgomery64_2e512m569/feopp
811m33.22s | Specific/montgomery32_2e256m189/feopp
809m17.38s | Specific/montgomery32_2e256m2e224p2e192p2e96m1/feopp
356m22.38s | Specific/montgomery32_2e256m189/fesub
317m47.32s | Specific/montgomery64_2e512m569/fesub
285m09.32s | Specific/montgomery32_2e256m2e224p2e192p2e96m1/fesub
127m15.53s | Specific/solinas32_2e413m21/Synthesis
111m03.14s | Specific/montgomery32_2e206m5/fesub
110m52.44s | Specific/montgomery32_2e198m17/fesub
110m49.57s | Specific/montgomery64_2e448m2e224m1/fesub
110m49.04s | Specific/montgomery32_2e212m29/fesub
110m28.16s | Specific/montgomery32_2e213m3/fesub
109m49.65s | Specific/montgomery32_2e224m2e96p1/fesub
109m34.90s | Specific/montgomery32_2e196m15/fesub
108m53.07s | Specific/montgomery32_2e194m33/fesub
85m15.86s | Specific/solinas32_2e512m569/fesquare
68m19.99s | Specific/montgomery32_2e213m3/feopp
67m36.04s | Specific/montgomery32_2e198m17/feopp
67m26.55s | Specific/montgomery32_2e221m3/feopp
67m19.38s | Specific/montgomery64_2e448m2e224m1/feopp
67m18.90s | Specific/montgomery32_2e212m29/feopp
66m49.12s | Specific/montgomery32_2e196m15/feopp
66m43.63s | Specific/montgomery32_2e194m33/feopp
66m02.49s | Specific/montgomery32_2e206m5/feopp
65m45.90s | Specific/montgomery32_2e224m2e96p1/feopp
54m07.68s | Specific/solinas32_2e512m569/freeze
47m43.98s | Specific/solinas32_2e511m187/femul
40m30.24s | Specific/montgomery32_2e256m88x2e240m1/femul
37m28.87s | Specific/solinas32_2e511m481/femul
35m48.41s | Specific/solinas32_2e489m21/femul
33m58.69s | Specific/solinas32_2e511m481/fesquare
33m31.83s | Specific/montgomery32_2e256m2e224p2e192p2e96m1/femul
32m25.13s | Specific/montgomery32_2e256m2e32m977/femul
31m31.90s | Specific/solinas32_2e512m569/femul
22m51.65s | Specific/solinas32_2e511m187/fesquare
22m31.07s | Specific/montgomery64_2e448m2e224m1/femul
21m08.79s | Specific/montgomery32_2e222m117/femul
19m50.54s | Specific/montgomery32_2e198m17/femul
19m47.13s | Specific/montgomery32_2e206m5/femul
19m42.93s | Specific/montgomery32_2e212m29/femul
19m42.28s | Specific/montgomery64_2e389m21/femul
19m41.09s | Specific/montgomery32_2e213m3/femul
19m24.31s | Specific/montgomery32_2e221m3/femul
17m35.55s | Specific/montgomery32_2e196m15/femul
16m26.76s | Specific/solinas32_2e511m187/freeze
16m22.35s | Specific/solinas32_2e511m481/freeze
16m05.47s | Specific/montgomery32_2e224m2e96p1/femul
15m39.83s | Specific/solinas32_2e489m21/fesquare
15m31.27s | Specific/montgomery32_2e194m33/femul
15m29.70s | Specific/solinas32_2e468m17/fesquare
15m07.41s | Specific/montgomery32_2e521m1/Synthesis
14m16.31s | Specific/solinas32_2e495m31/femul
13m05.67s | Specific/solinas32_2e511m187/Synthesis
13m02.79s | Specific/solinas32_2e511m481/Synthesis
12m53.23s | Specific/montgomery32_2e174m3/femul
12m29.14s | Specific/solinas32_2e382m105/femul
12m28.71s | Specific/solinas32_2e488m17/fesquare
12m25.28s | Specific/solinas32_2e444m17/femul
12m15.45s | Specific/solinas32_2e521m1/femul
12m06.04s | Specific/montgomery32_2e511m481/Synthesis
11m59.13s | Specific/montgomery32_2e256m189/femul
11m47.32s | Specific/montgomery32_2e510m290x2e496m1/Synthesis
11m36.97s | Specific/solinas32_2e413m21/freeze
11m35.83s | Specific/solinas32_2e488m17/femul
11m33.71s | Specific/montgomery32_2e511m187/Synthesis
11m32.10s | Specific/montgomery32_2e488m17/Synthesis
11m31.03s | Specific/montgomery32_2e512m569/Synthesis
11m30.60s | Specific/montgomery32_2e489m21/Synthesis
11m29.55s | Specific/montgomery32_2e495m31/Synthesis
11m24.08s | Specific/solinas32_2e468m17/femul
11m16.23s | Specific/montgomery32_2e512m491x2e496m1/Synthesis
11m02.68s | Specific/solinas32_2e489m21/Synthesis
10m45.60s | Specific/solinas32_2e495m31/fesquare
10m13.19s | Specific/montgomery64_2e384m79x2e376m1/femul
9m28.20s | Specific/montgomery64_2e382m105/femul
9m24.40s | Specific/montgomery64_2e384m2e128m2e96p2e32m1/femul
9m20.44s | Specific/montgomery64_2e384m5x2e368m1/femul
9m19.99s | Specific/montgomery32_2e191m19/femul
9m19.41s | Specific/montgomery64_2e336m17/femul
9m17.72s | Specific/montgomery32_2e166m5/femul
9m17.50s | Specific/montgomery64_2e321m9/femul
9m10.76s | Specific/montgomery32_2e174m17/femul
9m07.65s | Specific/montgomery64_2e336m3/femul
9m03.95s | Specific/montgomery32_2e190m11/femul
9m01.44s | Specific/montgomery32_2e165m25/femul
8m59.14s | Specific/montgomery64_2e338m15/femul
8m54.79s | Specific/montgomery32_2e171m19/femul
8m53.41s | Specific/montgomery32_2e189m25/femul
8m50.08s | Specific/montgomery32_2e452m3/Synthesis
8m49.45s | Specific/montgomery32_2e468m17/Synthesis
8m46.19s | Specific/montgomery64_2e383m187/fesub
8m44.70s | Specific/montgomery64_2e384m2e128m2e96p2e32m1/fesub
8m44.38s | Specific/montgomery64_2e322m2e161m1/fesub
8m43.18s | Specific/montgomery64_2e336m3/fesub
8m43.00s | Specific/montgomery64_2e384m317/fesub
8m42.94s | Specific/montgomery64_2e383m31/fesub
8m42.07s | Specific/montgomery64_2e338m15/fesub
8m41.94s | Specific/solinas32_2e413m21/femul
8m41.12s | Specific/montgomery64_2e382m105/fesub
8m40.77s | Specific/solinas32_2e489m21/freeze
8m39.94s | Specific/montgomery64_2e384m79x2e376m1/fesub
8m39.92s | Specific/montgomery64_2e384m5x2e368m1/fesub
8m38.22s | Specific/montgomery64_2e379m19/fesub
8m38.09s | Specific/montgomery64_2e369m25/fesub
8m38.02s | Specific/montgomery64_2e383m421/fesub
8m37.71s | Specific/montgomery64_2e336m17/fesub
8m37.37s | Specific/montgomery32_2e450m2e225m1/Synthesis
8m36.87s | Specific/solinas32_2e510m290x2e496m1/Synthesis
8m35.76s | Specific/solinas32_2e413m21/fesquare
8m31.90s | Specific/montgomery32_2e190m11/fesub
8m31.05s | Specific/montgomery64_2e321m9/fesub
8m31.02s | Specific/montgomery32_2e192m2e64m1/fesub
8m26.64s | Specific/montgomery64_2e369m25/femul
8m26.08s | Specific/montgomery32_2e480m2e240m1/Synthesis
8m25.94s | Specific/montgomery32_2e189m25/fesub
8m24.22s | Specific/montgomery32_2e166m5/fesub
8m24.16s | Specific/montgomery32_2e165m25/fesub
8m23.17s | Specific/montgomery32_2e171m19/fesub
8m23.12s | Specific/solinas32_2e512m569/Synthesis
8m22.81s | Specific/montgomery32_2e174m17/fesub
8m22.62s | Specific/solinas32_2e512m491x2e496m1/Synthesis
8m22.52s | Specific/solinas32_2e384m317/femul
8m22.25s | Specific/montgomery32_2e191m19/fesub
8m20.52s | Specific/solinas32_2e452m3/femul
8m18.48s | Specific/solinas32_2e379m19/femul
8m17.46s | Specific/montgomery32_2e174m3/fesub
8m16.12s | Specific/solinas32_2e414m17/femul
8m00.26s | Specific/montgomery64_2e379m19/femul
7m59.89s | Specific/montgomery64_2e383m31/femul
7m57.34s | Specific/solinas32_2e488m17/Synthesis
7m47.48s | Specific/solinas32_2e382m105/fesquare
7m35.08s | Specific/solinas32_2e444m17/fesquare
7m21.11s | Specific/solinas32_2e521m1/fesquare
7m04.65s | Specific/montgomery64_2e383m187/femul
6m23.72s | Specific/montgomery32_2e444m17/Synthesis
6m22.50s | Specific/montgomery32_2e448m2e224m1/Synthesis
6m05.34s | Specific/montgomery64_2e383m421/femul
5m57.15s | Specific/montgomery64_2e384m317/femul
5m39.58s | Specific/montgomery64_2e322m2e161m1/feopp
5m39.56s | Specific/montgomery64_2e369m25/feopp
5m38.97s | Specific/montgomery64_2e383m31/feopp
5m36.70s | Specific/montgomery64_2e384m317/feopp
5m36.62s | Specific/montgomery64_2e338m15/feopp
5m36.59s | Specific/montgomery64_2e384m2e128m2e96p2e32m1/feopp
5m36.52s | Specific/montgomery64_2e379m19/feopp
5m35.88s | Specific/montgomery64_2e383m187/feopp
5m35.57s | Specific/montgomery64_2e382m105/feopp
5m35.19s | Specific/montgomery64_2e336m3/feopp
5m34.43s | Specific/montgomery64_2e384m79x2e376m1/feopp
5m33.62s | Specific/montgomery64_2e383m421/feopp
5m33.62s | Specific/montgomery64_2e336m17/feopp
5m32.00s | Specific/solinas32_2e401m31/femul
5m31.42s | Specific/montgomery64_2e321m9/feopp
5m30.65s | Specific/solinas32_2e321m9/femul
5m29.14s | Specific/montgomery64_2e384m5x2e368m1/feopp
5m27.67s | Specific/solinas32_2e369m25/femul
5m25.78s | Specific/montgomery32_2e192m2e64m1/feopp
5m24.68s | Specific/montgomery32_2e165m25/feopp
5m24.17s | Specific/montgomery32_2e166m5/feopp
5m23.82s | Specific/montgomery32_2e191m19/feopp
5m23.58s | Specific/montgomery32_2e190m11/feopp
5m22.82s | Specific/montgomery32_2e171m19/feopp
5m20.86s | Specific/montgomery32_2e174m3/feopp
5m18.36s | Specific/montgomery32_2e174m17/feopp
5m18.02s | Specific/montgomery32_2e189m25/feopp
5m16.54s | Specific/solinas32_2e384m317/fesquare
5m14.88s | Specific/solinas32_2e452m3/fesquare
5m09.95s | Specific/solinas32_2e379m19/fesquare
5m03.90s | Specific/solinas32_2e414m17/fesquare
5m03.25s | Specific/solinas32_2e521m1/Synthesis
4m40.38s | Specific/montgomery32_2e413m21/Synthesis
4m39.50s | Specific/montgomery32_2e389m21/Synthesis
4m35.31s | Specific/montgomery32_2e414m17/Synthesis
4m33.81s | Specific/montgomery32_2e401m31/Synthesis
4m31.10s | Specific/montgomery32_2e416m2e208m1/Synthesis
4m29.68s | Specific/montgomery64_2e266m3/femul
4m28.66s | Specific/montgomery64_2e285m9/femul
4m24.82s | Specific/montgomery64_2e291m19/femul
4m22.62s | Specific/montgomery32_2e152m17/femul
4m20.20s | Specific/montgomery32_2e137m13/femul
4m19.98s | Specific/montgomery32_2e130m5/femul
4m19.51s | Specific/montgomery32_2e158m15/femul
4m17.34s | Specific/montgomery32_2e150m3/femul
4m17.23s | Specific/montgomery32_2e150m5/femul
4m17.12s | Specific/montgomery32_2e141m9/femul
4m15.97s | Specific/solinas32_2e255m765/femul
4m15.63s | Specific/montgomery32_2e129m25/femul
4m15.42s | Specific/solinas32_2e285m9/femul
4m14.96s | Specific/montgomery32_2e140m27/femul
4m03.11s | Specific/solinas32_2e495m31/Synthesis
3m55.63s | Specific/montgomery32_2e192m2e64m1/femul
3m52.48s | Specific/solinas32_2e444m17/Synthesis
3m43.50s | Specific/solinas64_2e511m187/femul
3m39.37s | Specific/solinas32_2e369m25/fesquare
3m39.23s | Specific/solinas32_2e401m31/fesquare
3m38.54s | Specific/solinas64_2e511m481/femul
3m34.18s | Specific/solinas32_2e321m9/fesquare
3m31.63s | Specific/solinas32_2e338m15/femul
3m27.24s | Specific/solinas32_2e336m17/femul
3m26.06s | Specific/solinas32_2e336m3/femul
3m24.18s | Specific/montgomery64_2e512m569/femul
3m24.13s | Specific/montgomery32_2e383m31/Synthesis
3m23.75s | Specific/X25519/C64/ladderstep
3m22.90s | Specific/montgomery32_2e384m317/Synthesis
3m20.58s | Specific/solinas32_2e450m2e225m1/fesquare
3m18.89s | Specific/solinas32_2e382m105/Synthesis
3m13.98s | Specific/montgomery32_2e384m2e128m2e96p2e32m1/Synthesis
3m13.29s | Specific/montgomery32_2e384m79x2e376m1/Synthesis
3m13.21s | Specific/montgomery32_2e382m105/Synthesis
3m12.63s | Specific/montgomery32_2e383m421/Synthesis
3m12.62s | Specific/montgomery32_2e383m187/Synthesis
3m12.61s | Specific/montgomery32_2e384m5x2e368m1/Synthesis
3m12.58s | Specific/montgomery32_2e379m19/Synthesis
3m11.66s | Specific/montgomery32_2e369m25/Synthesis
3m09.27s | Specific/solinas32_2e468m17/Synthesis
3m08.57s | Specific/montgomery64_2e521m1/Synthesis
3m00.76s | Specific/montgomery64_2e322m2e161m1/femul
2m53.44s | Specific/solinas32_2e255m765/fesquare
2m52.23s | Specific/solinas32_2e416m2e208m1/femul
2m49.22s | Specific/solinas32_2e480m2e240m1/femul
2m48.89s | Specific/solinas32_2e285m9/fesquare
2m48.66s | Specific/solinas32_2e450m2e225m1/femul
2m47.37s | Specific/solinas32_2e448m2e224m1/femul
2m39.81s | Specific/solinas32_2e414m17/Synthesis
2m32.51s | Specific/solinas32_2e416m2e208m1/fesquare
2m31.99s | Specific/solinas32_2e480m2e240m1/fesquare
2m31.90s | Specific/solinas64_2e511m481/fesquare
2m29.14s | Specific/solinas64_2e511m187/fesquare
2m28.59s | Specific/solinas32_2e338m15/fesquare
2m28.14s | Specific/solinas32_2e448m2e224m1/fesquare
2m26.64s | Specific/solinas32_2e384m317/Synthesis
2m24.92s | Specific/solinas32_2e379m19/Synthesis
2m24.58s | Specific/solinas64_2e488m17/Synthesis
2m21.18s | Specific/solinas32_2e336m17/fesquare
2m21.06s | Specific/solinas32_2e336m3/fesquare
2m19.61s | Specific/montgomery32_2e336m3/Synthesis
2m17.80s | Specific/solinas32_2e291m19/femul
2m16.66s | Specific/solinas32_2e255m19/femul
2m15.69s | Specific/solinas32_2e256m189/femul
2m15.66s | Specific/solinas32_2e266m3/femul
2m14.04s | Specific/montgomery64_2e222m117/femul
2m13.38s | Specific/solinas32_2e206m5/femul
2m12.78s | Specific/montgomery64_2e196m15/femul
2m12.60s | Specific/montgomery64_2e198m17/femul
2m12.34s | Specific/montgomery32_2e336m17/Synthesis
2m11.99s | Specific/montgomery32_2e321m9/Synthesis
2m11.94s | Specific/montgomery64_2e213m3/femul
2m11.90s | Specific/montgomery32_2e338m15/Synthesis
2m11.89s | Specific/montgomery64_2e212m29/femul
2m11.78s | Specific/montgomery64_2e230m27/femul
2m10.92s | Specific/montgomery64_2e243m9/femul
2m10.86s | Specific/montgomery64_2e254m127x2e240m1/femul
2m10.20s | Specific/montgomery64_2e255m19/femul
2m10.14s | Specific/montgomery64_2e255m765/femul
2m10.13s | Specific/montgomery32_2e322m2e161m1/Synthesis
2m09.80s | Specific/montgomery64_2e221m3/femul
2m09.77s | Specific/montgomery64_2e205m45x2e198m1/femul
2m09.47s | Specific/montgomery64_2e194m33/femul
2m09.21s | Specific/montgomery64_2e256m2e32m977/femul
2m09.14s | Specific/montgomery64_2e226m5/femul
2m08.94s | Specific/montgomery64_2e256m88x2e240m1/femul
2m08.51s | Specific/montgomery64_2e251m9/femul
2m08.45s | Specific/montgomery64_2e235m15/femul
2m08.14s | Specific/montgomery64_2e256m189/femul
2m08.02s | Specific/montgomery64_2e256m2e224p2e192p2e96m1/femul
2m07.95s | Specific/montgomery64_2e255m2e4m2e1m1/femul
2m07.94s | Specific/montgomery64_2e224m2e96p1/femul
2m07.05s | Specific/montgomery64_2e206m5/femul
2m06.64s | Specific/montgomery64_2e216m2e108m1/femul
2m05.99s | Specific/solinas32_2e384m2e128m2e96p2e32m1/femul
2m05.02s | Specific/solinas32_2e452m3/Synthesis
2m04.90s | Specific/montgomery32_2e127m1/femul
2m04.36s | ─assert
2m04.27s | Specific/montgomery64_2e468m17/Synthesis
2m00.08s | Specific/NISTP256/AMD64/femul
1m59.18s | Specific/montgomery64_2e489m21/Synthesis
1m59.12s | Specific/montgomery64_2e452m3/Synthesis
1m58.69s | Specific/montgomery64_2e512m569/Synthesis
1m58.67s | Specific/montgomery64_2e450m2e225m1/Synthesis
1m57.74s | Specific/montgomery64_2e511m481/Synthesis
1m57.28s | Specific/montgomery64_2e488m17/Synthesis
1m57.16s | Specific/montgomery64_2e495m31/Synthesis
1m57.11s | Specific/montgomery64_2e511m187/Synthesis
1m56.93s | Specific/montgomery64_2e510m290x2e496m1/Synthesis
1m55.97s | Specific/montgomery64_2e512m491x2e496m1/Synthesis
1m54.99s | Specific/montgomery64_2e480m2e240m1/Synthesis
1m54.56s | Specific/X2555/C128/ladderstep
1m50.84s | Specific/solinas32_2e401m31/Synthesis
1m50.61s | Specific/solinas32_2e243m9/femul
1m48.13s | Specific/solinas32_2e384m2e128m2e96p2e32m1/Synthesis
1m47.75s | Specific/solinas32_2e384m5x2e368m1/Synthesis
1m47.24s | Specific/solinas64_2e450m2e225m1/femul
1m46.84s | Specific/solinas32_2e384m79x2e376m1/Synthesis
1m46.80s | Specific/solinas32_2e322m2e161m1/femul
1m46.68s | Specific/solinas32_2e384m2e128m2e96p2e32m1/fesquare
1m44.61s | Specific/solinas64_2e448m2e224m1/femul
1m43.30s | Specific/solinas32_2e452m3/freeze
1m43.24s | Specific/solinas32_2e384m317/freeze
1m41.71s | Specific/solinas64_2e480m2e240m1/femul
1m40.78s | Specific/solinas32_2e379m19/freeze
1m39.97s | Specific/solinas32_2e255m2e4m2e1m1/femul
1m39.83s | Specific/solinas64_2e416m2e208m1/femul
1m39.19s | Specific/solinas32_2e216m2e108m1/femul
1m38.76s | Specific/solinas32_2e255m19/fesquare
1m38.54s | Specific/X2448/Karatsuba/C64/femul
1m38.34s | Specific/solinas32_2e266m3/fesquare
1m37.99s | Specific/solinas32_2e291m19/fesquare
1m37.29s | Specific/solinas32_2e206m5/fesquare
1m36.97s | Specific/solinas32_2e256m189/fesquare
1m36.80s | Specific/solinas32_2e369m25/Synthesis
1m36.66s | Specific/solinas32_2e322m2e161m1/fesquare
1m30.90s | Specific/solinas64_2e382m105/femul
1m29.40s | Specific/solinas32_2e450m2e225m1/freeze
1m29.14s | Specific/solinas64_2e521m1/femul
1m28.72s | Specific/X25519/C32/femul
1m27.73s | Specific/solinas64_2e495m31/femul
1m27.04s | Specific/montgomery32_2e291m19/Synthesis
1m26.94s | Specific/solinas32_2e251m9/femul
1m26.52s | Specific/solinas32_2e448m2e224m1/freeze
1m25.66s | Specific/solinas32_2e321m9/Synthesis
1m25.46s | Specific/solinas32_2e222m117/femul
1m25.13s | Specific/solinas64_2e450m2e225m1/fesquare
1m24.98s | Specific/solinas32_2e221m3/femul
1m24.98s | Specific/solinas64_2e416m2e208m1/fesquare
1m24.13s | Specific/solinas64_2e480m2e240m1/fesquare
1m24.10s | Specific/solinas32_2e235m15/femul
1m23.72s | Specific/solinas32_2e191m19/femul
1m23.63s | Specific/solinas32_2e416m2e208m1/freeze
1m23.58s | Specific/solinas32_2e230m27/femul
1m23.50s | Specific/solinas32_2e321m9/freeze
1m23.26s | Specific/solinas64_2e448m2e224m1/fesquare
1m23.26s | Specific/solinas32_2e216m2e108m1/fesquare
1m23.13s | Specific/solinas32_2e369m25/freeze
1m22.42s | Specific/solinas32_2e243m9/fesquare
1m22.07s | Specific/solinas32_2e384m2e128m2e96p2e32m1/freeze
1m18.20s | Specific/solinas32_2e255m2e4m2e1m1/fesquare
1m18.05s | Specific/solinas32_2e480m2e240m1/Synthesis
1m14.66s | Specific/solinas32_2e255m765/freeze
1m13.91s | Specific/solinas32_2e285m9/freeze
1m13.51s | Specific/solinas32_2e256m2e32m977/femul
1m11.83s | Specific/solinas32_2e256m2e32m977/freeze
1m10.74s | Specific/solinas64_2e511m187/freeze
1m10.59s | Specific/montgomery64_2e158m15/femul
1m09.42s | Specific/montgomery64_2e416m2e208m1/Synthesis
1m09.14s | Specific/montgomery64_2e414m17/Synthesis
1m08.73s | Specific/solinas32_2e448m2e224m1/Synthesis
1m07.80s | Specific/solinas64_2e511m481/freeze
1m07.78s | Specific/solinas64_2e414m17/femul
1m07.70s | Specific/solinas64_2e495m31/fesquare
1m07.58s | Specific/montgomery64_2e444m17/Synthesis
1m07.22s | Specific/solinas64_2e382m105/fesquare
1m07.17s | Specific/montgomery64_2e401m31/Synthesis
1m07.17s | Specific/solinas32_2e336m3/freeze
1m07.11s | Specific/montgomery64_2e389m21/Synthesis
1m06.98s | Specific/montgomery64_2e413m21/Synthesis
1m06.82s | Specific/solinas64_2e521m1/fesquare
1m06.77s | Specific/solinas32_2e416m2e208m1/Synthesis
1m06.57s | Specific/solinas32_2e450m2e225m1/Synthesis
1m06.08s | Specific/solinas32_2e322m2e161m1/freeze
1m05.93s | Specific/solinas32_2e336m17/freeze
1m05.79s | Specific/solinas32_2e338m15/freeze
1m05.54s | Specific/solinas32_2e222m117/fesquare
1m05.20s | Specific/solinas32_2e221m3/fesquare
1m04.71s | Specific/solinas32_2e191m19/fesquare
1m04.67s | Specific/solinas32_2e251m9/fesquare
1m04.63s | Specific/montgomery64_2e448m2e224m1/Synthesis
1m04.54s | Specific/solinas32_2e192m2e64m1/femul
1m04.42s | Specific/solinas32_2e174m17/femul
1m04.40s | Specific/montgomery64_2e266m3/fesub
1m04.16s | Specific/solinas32_2e235m15/fesquare
1m03.82s | Specific/montgomery64_2e152m17/femul
1m03.77s | Specific/montgomery64_2e285m9/fesub
1m03.66s | Specific/montgomery64_2e512m569/feadd
1m03.65s | Specific/solinas32_2e198m17/femul
1m03.29s | Specific/montgomery64_2e291m19/fesub
1m02.50s | Specific/solinas32_2e230m27/fesquare
1m02.38s | Specific/solinas64_2e401m31/femul
1m02.38s | Specific/montgomery64_2e165m25/femul
1m02.18s | Specific/montgomery64_2e150m5/femul
1m02.16s | Specific/solinas32_2e285m9/Synthesis
1m01.85s | Specific/montgomery64_2e150m3/femul
1m01.61s | Specific/montgomery32_2e521m1/fenz
1m01.58s | Specific/montgomery64_2e191m19/femul
1m01.52s | Specific/montgomery64_2e141m9/femul
1m01.39s | Specific/montgomery64_2e171m19/femul
1m01.32s | Specific/montgomery64_2e166m5/femul
1m01.07s | Specific/montgomery64_2e174m17/femul
1m00.44s | Specific/montgomery64_2e190m11/femul
1m00.43s | Specific/montgomery64_2e140m27/femul
1m00.10s | Specific/montgomery64_2e174m3/femul
1m00.08s | Specific/montgomery64_2e189m25/femul
1m00.08s | Specific/solinas32_2e256m2e32m977/fesquare
1m00.02s | Specific/montgomery64_2e137m13/femul
0m59.90s | Specific/montgomery32_2e130m5/fesub
0m59.86s | Specific/montgomery64_2e192m2e64m1/femul
0m59.57s | Specific/montgomery32_2e129m25/fesub
0m59.56s | Specific/montgomery64_2e130m5/femul
0m59.49s | Specific/montgomery32_2e152m17/fesub
0m59.44s | Specific/montgomery32_2e141m9/fesub
0m59.21s | Specific/solinas64_2e369m25/femul
0m59.10s | Specific/montgomery64_2e129m25/femul
0m59.04s | Specific/montgomery32_2e140m27/fesub
0m58.84s | Specific/solinas32_2e336m17/Synthesis
0m58.52s | Specific/montgomery32_2e150m5/fesub
0m58.52s | Specific/montgomery32_2e137m13/fesub
0m58.49s | Specific/montgomery32_2e150m3/fesub
0m58.19s | Specific/montgomery32_2e158m15/fesub
0m57.31s | Specific/solinas64_2e384m317/femul
0m56.77s | Specific/montgomery32_2e512m569/fenz
0m56.48s | Specific/solinas32_2e137m13/femul
0m56.44s | Specific/solinas64_2e468m17/femul
0m56.08s | Specific/montgomery32_2e285m9/Synthesis
0m55.70s | Specific/montgomery32_2e266m3/Synthesis
0m55.67s | Specific/montgomery32_2e488m17/fenz
0m55.50s | Specific/montgomery32_2e512m491x2e496m1/fenz
0m55.22s | Specific/solinas32_2e256m2e224p2e192p2e96m1/femul
0m55.06s | Specific/solinas32_2e291m19/freeze
0m54.70s | Specific/solinas64_2e452m3/femul
0m54.38s | Specific/solinas32_2e192m2e64m1/fesquare
0m54.37s | Specific/montgomery32_2e510m290x2e496m1/fenz
0m54.31s | Specific/montgomery32_2e511m187/fenz
0m54.22s | Specific/solinas32_2e226m5/femul
0m54.17s | Specific/montgomery32_2e511m481/fenz
0m54.13s | Specific/montgomery32_2e489m21/fenz
0m53.91s | Specific/solinas64_2e444m17/femul
0m53.66s | Specific/montgomery32_2e495m31/fenz
0m52.68s | Specific/solinas64_2e414m17/fesquare
0m52.29s | Specific/X25519/C32/fesquare
0m52.24s | Specific/solinas32_2e255m19/freeze
0m52.21s | Specific/montgomery32_2e256m2e224p2e192p2e96m1/feadd
0m52.09s | Specific/solinas32_2e266m3/freeze
0m51.84s | Specific/solinas32_2e256m189/freeze
0m51.58s | Specific/montgomery32_2e256m189/feadd
0m51.57s | Specific/solinas32_2e194m33/femul
0m51.38s | Specific/solinas32_2e256m2e224p2e192p2e96m1/freeze
0m51.32s | Specific/montgomery32_2e256m88x2e240m1/feadd
0m51.08s | Specific/solinas32_2e212m29/femul
0m50.07s | Specific/montgomery32_2e452m3/fenz
0m50.06s | Specific/montgomery32_2e480m2e240m1/fenz
0m50.02s | Specific/montgomery32_2e256m2e32m977/feadd
0m49.99s | Specific/solinas32_2e206m5/freeze
0m49.88s | Compilers/Z/Named/RewriteAddToAdcInterp
0m49.70s | Specific/montgomery32_2e450m2e225m1/fenz
0m49.63s | Specific/solinas32_2e198m17/fesquare
0m49.54s | Specific/solinas32_2e338m15/Synthesis
0m49.48s | Specific/solinas64_2e369m25/fesquare
0m49.41s | Specific/montgomery64_2e448m2e224m1/feadd
0m48.93s | Specific/montgomery32_2e468m17/fenz
0m48.26s | Specific/montgomery64_2e389m21/feadd
0m48.06s | Specific/solinas64_2e401m31/fesquare
0m47.75s | Specific/solinas64_2e384m317/fesquare
0m46.36s | Specific/solinas32_2e256m2e224p2e192p2e96m1/fesquare
0m45.93s | Specific/solinas32_2e137m13/fesquare
0m45.60s | Specific/solinas64_2e379m19/femul
0m45.55s | Specific/solinas32_2e213m3/Synthesis
0m45.32s | Specific/solinas32_2e243m9/freeze
0m44.19s | Specific/solinas64_2e444m17/fesquare
0m44.17s | Specific/solinas64_2e510m290x2e496m1/Synthesis
0m44.04s | Specific/montgomery64_2e291m19/feopp
0m44.04s | Specific/montgomery64_2e285m9/feopp
0m43.92s | Specific/montgomery32_2e221m3/feadd
0m43.89s | Specific/solinas64_2e413m21/femul
0m43.86s | Specific/solinas64_2e468m17/fesquare
0m43.84s | Specific/montgomery64_2e266m3/feopp
0m43.68s | Specific/solinas64_2e452m3/fesquare
0m43.57s | Specific/solinas64_2e512m491x2e496m1/Synthesis
0m43.47s | Specific/montgomery32_2e444m17/fenz
0m42.92s | Specific/solinas64_2e495m31/freeze
0m42.90s | Specific/montgomery32_2e448m2e224m1/fenz
0m42.84s | Specific/montgomery32_2e213m3/feadd
0m42.68s | Specific/solinas32_2e194m33/fesquare
0m42.66s | Specific/solinas32_2e226m5/fesquare
0m42.50s | Specific/montgomery32_2e212m29/feadd
0m42.35s | Specific/solinas32_2e212m29/fesquare
0m42.17s | Specific/montgomery32_2e130m5/feopp
0m42.12s | Specific/montgomery32_2e150m3/feopp
0m42.11s | Specific/montgomery32_2e137m13/feopp
0m41.97s | Specific/montgomery32_2e129m25/feopp
0m41.61s | Specific/solinas64_2e521m1/freeze
0m41.46s | Specific/solinas64_2e382m105/freeze
0m41.41s | Specific/solinas32_2e196m15/femul
0m41.30s | Specific/solinas32_2e190m11/femul
0m41.14s | Specific/montgomery32_2e140m27/feopp
0m40.96s | Specific/montgomery32_2e150m5/feopp
0m40.95s | Specific/solinas64_2e521m1/Synthesis
0m40.88s | Specific/montgomery32_2e141m9/feopp
0m40.76s | Specific/montgomery32_2e152m17/feopp
0m40.62s | Specific/montgomery32_2e158m15/feopp
0m40.56s | Specific/solinas32_2e322m2e161m1/Synthesis
0m39.81s | Specific/solinas64_2e512m569/Synthesis
0m39.80s | Specific/montgomery32_2e206m5/feadd
0m39.78s | Specific/solinas64_2e511m481/Synthesis
0m39.77s | Specific/solinas32_2e222m117/freeze
0m39.51s | Specific/montgomery32_2e222m117/feadd
0m39.46s | Specific/solinas32_2e251m9/freeze
0m39.40s | Specific/solinas32_2e189m25/femul
0m39.39s | Specific/montgomery32_2e416m2e208m1/fenz
0m39.38s | Specific/solinas32_2e235m15/freeze
0m39.34s | Specific/solinas64_2e511m187/Synthesis
0m39.30s | Specific/X25519/C32/freeze
0m39.24s | Specific/montgomery32_2e224m2e96p1/feadd
0m39.20s | Specific/solinas64_2e255m2e4m2e1m1/femul
0m39.16s | Specific/montgomery32_2e198m17/feadd
0m39.15s | Specific/solinas32_2e221m3/freeze
0m39.13s | Specific/montgomery32_2e196m15/feadd
0m39.10s | Specific/solinas32_2e191m19/freeze
0m38.96s | Specific/solinas32_2e230m27/freeze
0m38.82s | Specific/montgomery32_2e413m21/fenz
0m38.79s | Specific/montgomery32_2e401m31/fenz
0m38.53s | Specific/montgomery32_2e389m21/fenz
0m38.35s | Specific/montgomery32_2e414m17/fenz
0m37.63s | Specific/montgomery32_2e194m33/feadd
0m37.62s | Specific/solinas32_2e336m3/Synthesis
0m37.47s | Specific/montgomery64_2e369m25/feadd
0m37.30s | Specific/montgomery64_2e322m2e161m1/feadd
0m37.23s | Specific/montgomery64_2e384m5x2e368m1/Synthesis
0m37.16s | Specific/montgomery64_2e338m15/feadd
0m37.15s | Specific/montgomery64_2e382m105/feadd
0m36.88s | Specific/montgomery64_2e384m2e128m2e96p2e32m1/feadd
0m36.77s | Specific/montgomery64_2e384m79x2e376m1/feadd
0m36.69s | Specific/montgomery64_2e383m187/Synthesis
0m36.68s | Specific/montgomery64_2e521m1/fenz
0m36.56s | Specific/solinas64_2e384m2e128m2e96p2e32m1/femul
0m36.54s | Specific/montgomery64_2e383m187/feadd
0m36.54s | Specific/montgomery64_2e383m31/feadd
0m36.53s | Specific/montgomery64_2e383m421/feadd
0m36.48s | Specific/montgomery32_2e256m189/Synthesis
0m36.44s | Specific/montgomery64_2e369m25/Synthesis
0m36.40s | Specific/montgomery64_2e379m19/feadd
0m36.38s | Specific/montgomery64_2e384m317/feadd
0m36.38s | Specific/montgomery64_2e336m17/feadd
0m36.36s | Specific/montgomery64_2e322m2e161m1/Synthesis
0m36.35s | Specific/montgomery64_2e336m3/feadd
0m36.13s | Specific/montgomery64_2e384m79x2e376m1/Synthesis
0m36.07s | Specific/solinas64_2e379m19/fesquare
0m36.06s | Specific/montgomery64_2e379m19/Synthesis
0m36.03s | Specific/montgomery64_2e336m3/Synthesis
0m35.98s | Specific/montgomery64_2e383m31/Synthesis
0m35.95s | Specific/montgomery32_2e226m5/Synthesis
0m35.95s | Specific/montgomery64_2e384m317/Synthesis
0m35.92s | Specific/montgomery64_2e383m421/Synthesis
0m35.90s | Specific/solinas64_2e414m17/freeze
0m35.86s | Specific/montgomery64_2e384m2e128m2e96p2e32m1/Synthesis
0m35.85s | Specific/montgomery64_2e321m9/feadd
0m35.82s | Specific/montgomery64_2e382m105/Synthesis
0m35.82s | Specific/montgomery64_2e321m9/Synthesis
0m35.82s | Specific/montgomery32_2e369m25/fenz
0m35.82s | Specific/montgomery64_2e384m5x2e368m1/feadd
0m35.81s | Specific/montgomery64_2e338m15/Synthesis
0m35.75s | Specific/montgomery32_2e251m9/Synthesis
0m35.63s | Specific/montgomery32_2e230m27/Synthesis
0m35.57s | Specific/montgomery32_2e256m2e224p2e192p2e96m1/Synthesis
0m35.57s | Compilers/Z/ArithmeticSimplifierInterp
0m35.55s | Specific/montgomery64_2e336m17/Synthesis
0m35.55s | Specific/solinas32_2e198m17/freeze
0m35.37s | Specific/solinas32_2e255m2e4m2e1m1/freeze
0m35.24s | Specific/montgomery32_2e256m88x2e240m1/Synthesis
0m35.20s | Specific/montgomery32_2e254m127x2e240m1/Synthesis
0m35.11s | Specific/montgomery32_2e255m2e4m2e1m1/Synthesis
0m34.98s | Specific/solinas64_2e255m2e4m2e1m1/fesquare
0m34.97s | Specific/montgomery32_2e255m19/Synthesis
0m34.93s | Specific/montgomery32_2e256m2e32m977/Synthesis
0m34.92s | Specific/montgomery32_2e255m765/Synthesis
0m34.85s | Specific/solinas64_2e384m317/freeze
0m34.84s | Specific/solinas64_2e401m31/freeze
0m34.75s | Specific/montgomery32_2e382m105/fenz
0m34.74s | Specific/montgomery32_2e235m15/Synthesis
0m34.72s | Specific/montgomery32_2e383m31/fenz
0m34.68s | Specific/montgomery32_2e384m317/fenz
0m34.65s | Specific/solinas64_2e413m21/fesquare
0m34.62s | Specific/solinas64_2e369m25/freeze
0m34.60s | Specific/solinas64_2e256m2e32m977/femul
0m34.51s | Specific/montgomery32_2e243m9/Synthesis
0m34.39s | Specific/solinas32_2e190m11/fesquare
0m34.32s | Specific/montgomery32_2e379m19/fenz
0m34.28s | Specific/montgomery32_2e384m5x2e368m1/fenz
0m34.19s | Specific/solinas64_2e384m2e128m2e96p2e32m1/fesquare
0m34.13s | Specific/montgomery32_2e383m421/fenz
0m34.00s | Specific/montgomery32_2e383m187/fenz
0m33.80s | Specific/solinas32_2e189m25/fesquare
0m33.78s | Specific/montgomery32_2e384m2e128m2e96p2e32m1/fenz
0m33.68s | Specific/montgomery32_2e384m79x2e376m1/fenz
0m33.53s | Specific/solinas32_2e196m15/fesquare
0m33.52s | Specific/solinas32_2e174m17/freeze
0m33.08s | Specific/solinas64_2e216m2e108m1/femul
0m33.04s | Compilers/Z/ArithmeticSimplifierWf
0m32.96s | Specific/solinas64_2e321m9/femul
0m32.83s | Specific/solinas64_2e336m17/femul
0m32.82s | Specific/solinas64_2e338m15/femul
0m32.74s | Specific/solinas32_2e256m2e224p2e192p2e96m1/Synthesis
0m32.66s | Specific/solinas64_2e243m9/femul
0m32.65s | Specific/solinas64_2e384m5x2e368m1/freeze
0m32.29s | Specific/montgomery64_2e488m17/fenz
0m32.28s | Specific/solinas64_2e384m2e128m2e96p2e32m1/freeze
0m32.26s | Specific/solinas32_2e137m13/freeze
0m32.24s | Specific/solinas64_2e384m79x2e376m1/freeze
0m32.22s | Specific/solinas32_2e291m19/Synthesis
0m32.15s | Specific/montgomery64_2e489m21/fenz
0m32.12s | Specific/montgomery64_2e468m17/fenz
0m32.10s | Specific/solinas32_2e226m5/freeze
0m32.05s | Specific/solinas64_2e336m3/femul
0m32.00s | Specific/solinas32_2e140m27/femul
0m31.96s | Specific/solinas64_2e448m2e224m1/freeze
0m31.82s | Specific/montgomery64_2e389m21/fenz
0m31.80s | Specific/montgomery64_2e512m491x2e496m1/fenz
0m31.77s | Specific/montgomery64_2e452m3/fenz
0m31.76s | Specific/montgomery64_2e480m2e240m1/fenz
0m31.67s | Specific/montgomery64_2e512m569/fenz
0m31.62s | Specific/solinas64_2e444m17/freeze
0m31.49s | Specific/solinas64_2e416m2e208m1/freeze
0m31.48s | Specific/montgomery64_2e511m481/fenz
0m31.46s | Specific/solinas64_2e480m2e240m1/freeze
0m31.44s | Specific/solinas64_2e452m3/freeze
0m31.42s | Specific/solinas64_2e468m17/freeze
0m31.37s | Specific/montgomery64_2e450m2e225m1/fenz
0m31.35s | Specific/montgomery32_2e192m2e64m1/feadd
0m31.34s | Specific/montgomery64_2e510m290x2e496m1/fenz
0m31.31s | Specific/NISTP256/AMD128/femul
0m31.30s | Specific/solinas32_2e150m5/femul
0m31.26s | Specific/solinas32_2e256m88x2e240m1/Synthesis
0m31.22s | Specific/solinas32_2e141m9/femul
0m31.20s | Specific/montgomery32_2e166m5/feadd
0m31.14s | Specific/solinas32_2e212m29/freeze
0m31.13s | Specific/montgomery64_2e511m187/fenz
0m30.98s | Specific/montgomery64_2e495m31/fenz
0m30.94s | Specific/solinas64_2e450m2e225m1/freeze
0m30.91s | Specific/solinas32_2e158m15/femul
0m30.88s | Specific/solinas32_2e194m33/freeze
0m30.87s | Specific/montgomery32_2e190m11/feadd
0m30.77s | Specific/solinas32_2e174m3/femul
0m30.72s | Specific/montgomery32_2e174m17/feadd
0m30.68s | Specific/montgomery32_2e336m17/fenz
0m30.67s | Specific/montgomery32_2e191m19/feadd
0m30.64s | Specific/solinas32_2e152m17/femul
0m30.61s | Specific/solinas32_2e127m1/femul
0m30.49s | Specific/solinas32_2e266m3/Synthesis
0m30.46s | Specific/solinas32_2e216m2e108m1/freeze
0m30.40s | Specific/solinas32_2e255m765/Synthesis
0m30.30s | Specific/solinas32_2e129m25/femul
0m30.27s | Specific/solinas32_2e256m2e32m977/Synthesis
0m30.23s | Specific/montgomery32_2e171m19/feadd
0m30.20s | Specific/montgomery32_2e165m25/feadd
0m30.16s | Specific/montgomery32_2e189m25/feadd
0m30.16s | Specific/montgomery32_2e322m2e161m1/fenz
0m30.01s | Specific/montgomery32_2e174m3/feadd
0m30.00s | Specific/montgomery32_2e336m3/fenz
0m29.90s | Specific/solinas32_2e256m189/Synthesis
0m29.90s | Specific/solinas32_2e224m2e96p1/freeze
0m29.83s | Specific/montgomery32_2e321m9/fenz
0m29.73s | Specific/solinas64_2e216m2e108m1/fesquare
0m29.70s | Specific/montgomery32_2e338m15/fenz
0m29.56s | Specific/solinas64_2e256m2e32m977/fesquare
0m29.38s | Specific/solinas64_2e495m31/Synthesis
0m29.34s | Specific/solinas32_2e192m2e64m1/freeze
0m29.01s | Specific/solinas64_2e489m21/Synthesis
0m28.98s | Specific/solinas64_2e321m9/fesquare
0m28.78s | Specific/solinas64_2e413m21/freeze
0m28.72s | Specific/solinas64_2e379m19/freeze
0m28.59s | Specific/solinas64_2e336m3/fesquare
0m28.30s | Specific/solinas64_2e338m15/fesquare
0m28.25s | Specific/montgomery64_2e291m19/feadd
0m28.23s | Specific/solinas64_2e336m17/fesquare
0m28.21s | Specific/montgomery64_2e266m3/feadd
0m28.20s | Specific/solinas64_2e243m9/fesquare
0m28.14s | Specific/montgomery64_2e285m9/feadd
0m27.81s | Specific/montgomery64_2e127m1/femul
0m27.65s | Specific/solinas32_2e189m25/freeze
0m27.56s | Specific/solinas32_2e127m1/fesquare
0m27.51s | Specific/solinas32_2e141m9/fesquare
0m27.40s | Specific/solinas32_2e152m17/fesquare
0m27.39s | Specific/solinas32_2e158m15/fesquare
0m27.30s | Specific/solinas32_2e174m3/fesquare
0m27.29s | Specific/solinas64_2e322m2e161m1/freeze
0m27.26s | Specific/solinas64_2e382m105/Synthesis
0m27.12s | Specific/solinas32_2e129m25/fesquare
0m27.04s | Specific/montgomery64_2e401m31/fenz
0m26.68s | Specific/solinas64_2e251m9/femul
0m26.65s | Specific/solinas32_2e140m27/fesquare
0m26.64s | Specific/solinas32_2e190m11/freeze
0m26.64s | Specific/montgomery64_2e444m17/fenz
0m26.63s | Specific/montgomery64_2e413m21/fenz
0m26.59s | Specific/solinas32_2e196m15/freeze
0m26.56s | Specific/montgomery64_2e416m2e208m1/fenz
0m26.54s | Specific/solinas64_2e266m3/femul
0m26.45s | Specific/montgomery64_2e448m2e224m1/fenz
0m26.43s | Specific/montgomery32_2e291m19/fenz
0m26.41s | Specific/montgomery64_2e414m17/fenz
0m26.32s | Specific/solinas32_2e150m5/fesquare
0m26.20s | Specific/solinas64_2e255m19/femul
0m26.14s | Specific/solinas64_2e291m19/femul
0m25.85s | Specific/solinas32_2e254m127x2e240m1/Synthesis
0m25.84s | Specific/solinas64_2e256m189/femul
0m25.78s | Specific/solinas64_2e322m2e161m1/femul
0m25.70s | Specific/solinas32_2e206m5/Synthesis
0m25.56s | Specific/solinas64_2e285m9/femul
0m25.50s | Specific/solinas64_2e235m15/femul
0m25.45s | Specific/solinas64_2e192m2e64m1/femul
0m25.29s | Specific/solinas64_2e191m19/femul
0m25.16s | Specific/solinas64_2e255m765/femul
0m25.04s | Specific/solinas64_2e338m15/freeze
0m24.99s | Specific/montgomery64_2e230m27/fesub
0m24.95s | Specific/montgomery64_2e226m5/fesub
0m24.94s | Specific/montgomery64_2e256m2e32m977/fesub
0m24.85s | Specific/montgomery64_2e256m88x2e240m1/fesub
0m24.82s | Specific/montgomery64_2e205m45x2e198m1/fesub
0m24.80s | Specific/montgomery64_2e213m3/fesub
0m24.74s | Specific/montgomery32_2e129m25/feadd
0m24.72s | Specific/montgomery64_2e206m5/fesub
0m24.69s | Specific/montgomery64_2e212m29/fesub
0m24.68s | Specific/montgomery64_2e194m33/fesub
0m24.62s | Specific/montgomery64_2e198m17/fesub
0m24.62s | Specific/montgomery32_2e137m13/feadd
0m24.55s | Specific/montgomery64_2e235m15/fesub
0m24.52s | Specific/montgomery64_2e256m189/fesub
0m24.49s | Specific/montgomery64_2e243m9/fesub
0m24.47s | Specific/montgomery64_2e256m2e224p2e192p2e96m1/fesub
0m24.45s | Specific/montgomery64_2e221m3/fesub
0m24.45s | Specific/montgomery64_2e216m2e108m1/fesub
0m24.41s | Specific/montgomery64_2e251m9/fesub
0m24.39s | Specific/montgomery64_2e255m2e4m2e1m1/fesub
0m24.38s | Specific/montgomery64_2e255m19/fesub
0m24.37s | Specific/montgomery32_2e152m17/feadd
0m24.36s | Specific/montgomery32_2e130m5/feadd
0m24.33s | Specific/montgomery64_2e224m2e96p1/fesub
0m24.32s | Specific/montgomery64_2e254m127x2e240m1/fesub
0m24.31s | Specific/montgomery64_2e255m765/fesub
0m24.30s | Specific/montgomery32_2e140m27/feadd
0m24.24s | Specific/montgomery64_2e222m117/fesub
0m24.22s | Specific/montgomery64_2e196m15/fesub
0m24.13s | Specific/solinas32_2e150m3/femul
0m24.01s | Specific/solinas32_2e174m3/freeze
0m24.01s | Specific/solinas64_2e336m17/freeze
0m23.99s | Specific/X25519/C64/femul
0m23.98s | Specific/montgomery32_2e150m3/feadd
0m23.93s | Specific/solinas64_2e254m127x2e240m1/freeze
0m23.92s | Specific/montgomery32_2e150m5/feadd
0m23.90s | Specific/montgomery32_2e158m15/feadd
0m23.87s | Specific/montgomery32_2e141m9/feadd
0m23.78s | Specific/montgomery32_2e266m3/fenz
0m23.76s | Specific/montgomery64_2e383m31/fenz
0m23.75s | Specific/solinas64_2e321m9/freeze
0m23.74s | Arithmetic/Karatsuba
0m23.71s | Specific/solinas64_2e336m3/freeze
0m23.70s | Specific/montgomery64_2e384m2e128m2e96p2e32m1/fenz
0m23.54s | Specific/solinas32_2e130m5/femul
0m23.53s | Specific/solinas64_2e291m19/fesquare
0m23.52s | Specific/solinas64_2e256m189/fesquare
0m23.46s | Specific/solinas64_2e243m9/freeze
0m23.39s | Specific/montgomery64_2e379m19/fenz
0m23.38s | Specific/solinas64_2e322m2e161m1/fesquare
0m23.29s | Specific/solinas64_2e414m17/Synthesis
0m23.25s | Specific/solinas64_2e192m2e64m1/fesquare
0m23.25s | Specific/NISTP256/AMD64/fesub
0m23.11s | Specific/montgomery64_2e322m2e161m1/fenz
0m23.09s | Specific/solinas32_2e158m15/freeze
0m23.09s | Specific/montgomery64_2e384m79x2e376m1/fenz
0m23.08s | Specific/solinas32_2e150m5/freeze
0m23.07s | Specific/montgomery32_2e285m9/fenz
0m22.97s | Specific/solinas64_2e285m9/fesquare
0m22.89s | Specific/solinas32_2e141m9/freeze
0m22.88s | Specific/solinas32_2e140m27/freeze
0m22.86s | Specific/solinas32_2e127m1/freeze
0m22.85s | Specific/solinas32_2e129m25/freeze
0m22.84s | Specific/montgomery64_2e336m3/fenz
0m22.82s | Specific/solinas64_2e251m9/fesquare
0m22.81s | Specific/montgomery64_2e256m189/feadd
0m22.78s | Specific/montgomery64_2e255m19/feadd
0m22.78s | Specific/montgomery64_2e383m187/fenz
0m22.74s | Specific/montgomery64_2e382m105/fenz
0m22.68s | Specific/montgomery64_2e235m15/feadd
0m22.68s | Specific/solinas64_2e266m3/fesquare
0m22.63s | Specific/montgomery64_2e196m15/feadd
0m22.61s | Specific/montgomery64_2e216m2e108m1/feadd
0m22.60s | Specific/montgomery64_2e321m9/fenz
0m22.56s | Specific/montgomery64_2e222m117/feadd
0m22.56s | Specific/montgomery64_2e256m88x2e240m1/feadd
0m22.52s | Specific/montgomery64_2e383m421/fenz
0m22.48s | Specific/montgomery64_2e384m317/fenz
0m22.48s | Specific/montgomery64_2e338m15/fenz
0m22.43s | Specific/montgomery64_2e369m25/fenz
0m22.42s | Specific/montgomery64_2e206m5/feadd
0m22.42s | Specific/solinas32_2e152m17/freeze
0m22.40s | Specific/montgomery64_2e243m9/feadd
0m22.39s | Specific/montgomery64_2e194m33/feadd
0m22.37s | Specific/montgomery64_2e254m127x2e240m1/feadd
0m22.34s | Arithmetic/MontgomeryReduction/WordByWord/Abstract/Dependent/Proofs
0m22.32s | Specific/solinas64_2e191m19/fesquare
0m22.31s | Specific/montgomery64_2e221m3/feadd
0m22.31s | Specific/montgomery64_2e256m2e32m977/feadd
0m22.27s | Specific/montgomery64_2e336m17/fenz
0m22.25s | Specific/montgomery64_2e251m9/feadd
0m22.25s | Specific/montgomery64_2e384m5x2e368m1/fenz
0m22.21s | Specific/montgomery64_2e256m2e224p2e192p2e96m1/feadd
0m22.21s | Specific/montgomery64_2e224m2e96p1/feadd
0m22.19s | Specific/solinas64_2e255m19/fesquare
0m22.19s | Specific/montgomery64_2e230m27/feadd
0m22.16s | Specific/montgomery64_2e255m765/feadd
0m22.14s | Specific/montgomery64_2e212m29/feadd
0m22.14s | Specific/montgomery64_2e255m2e4m2e1m1/feadd
0m22.12s | Specific/montgomery64_2e205m45x2e198m1/feadd
0m22.10s | Specific/solinas64_2e235m15/fesquare
0m22.10s | Specific/montgomery64_2e213m3/feadd
0m22.10s | Specific/solinas64_2e255m765/fesquare
0m22.07s | Specific/montgomery64_2e226m5/feadd
0m21.96s | Specific/montgomery64_2e198m17/feadd
0m21.64s | Specific/montgomery32_2e216m2e108m1/Synthesis
0m21.62s | Specific/X25519/C32/Synthesis
0m21.61s | Specific/NISTP256/AMD64/feadd
0m21.48s | Specific/montgomery32_2e213m3/Synthesis
0m21.43s | Specific/solinas64_2e384m5x2e368m1/femul
0m21.28s | Specific/montgomery32_2e127m1/fesub
0m21.13s | Specific/solinas32_2e130m5/fesquare
0m21.12s | Specific/solinas32_2e150m3/fesquare
0m21.00s | Specific/solinas64_2e384m79x2e376m1/femul
0m20.97s | Specific/montgomery32_2e205m45x2e198m1/Synthesis
0m20.90s | Specific/montgomery32_2e224m2e96p1/Synthesis
0m20.89s | Specific/solinas64_2e235m15/freeze
0m20.86s | Specific/montgomery32_2e255m2e4m2e1m1/fenz
0m20.78s | Specific/montgomery32_2e256m2e32m977/fenz
0m20.78s | Specific/solinas64_2e255m19/freeze
0m20.78s | Specific/montgomery32_2e221m3/Synthesis
0m20.75s | Specific/montgomery32_2e222m117/Synthesis
0m20.69s | Specific/montgomery32_2e198m17/Synthesis
0m20.66s | Specific/montgomery32_2e206m5/Synthesis
0m20.64s | Specific/montgomery32_2e194m33/Synthesis
0m20.63s | Specific/montgomery32_2e196m15/Synthesis
0m20.63s | Specific/solinas64_2e222m117/femul
0m20.61s | Specific/montgomery32_2e212m29/Synthesis
0m20.60s | Specific/montgomery32_2e243m9/fenz
0m20.60s | Specific/montgomery32_2e256m88x2e240m1/fenz
0m20.57s | Specific/solinas64_2e291m19/freeze
0m20.54s | Specific/montgomery32_2e254m127x2e240m1/fenz
0m20.53s | Specific/solinas64_2e255m765/freeze
0m20.50s | Specific/solinas64_2e206m5/femul
0m20.46s | Specific/montgomery32_2e235m15/fenz
0m20.46s | Specific/montgomery32_2e226m5/fenz
0m20.46s | Specific/solinas64_2e256m2e32m977/freeze
0m20.43s | Specific/montgomery32_2e256m189/fenz
0m20.43s | Specific/solinas64_2e256m88x2e240m1/freeze
0m20.40s | Specific/montgomery32_2e251m9/fenz
0m20.35s | Specific/solinas64_2e266m3/freeze
0m20.33s | Specific/solinas64_2e285m9/freeze
0m20.28s | Specific/montgomery32_2e213m3/fenz
0m20.28s | Specific/solinas64_2e191m19/freeze
0m20.26s | Specific/montgomery32_2e256m2e224p2e192p2e96m1/fenz
0m20.24s | Specific/solinas64_2e255m2e4m2e1m1/freeze
0m20.22s | Specific/montgomery32_2e230m27/fenz
0m20.20s | Specific/solinas64_2e251m9/freeze
0m20.18s | Specific/montgomery32_2e255m19/fenz
0m20.17s | Specific/solinas64_2e230m27/femul
0m20.16s | Specific/solinas64_2e213m3/femul
0m20.16s | Specific/solinas64_2e256m189/freeze
0m20.08s | Specific/solinas64_2e221m3/femul
0m20.07s | Specific/montgomery32_2e255m765/fenz
0m20.04s | Specific/solinas64_2e256m2e224p2e192p2e96m1/freeze
0m20.04s | Specific/solinas64_2e189m25/femul
0m20.03s | Specific/solinas64_2e226m5/femul
0m20.03s | Specific/solinas64_2e194m33/femul
0m19.94s | Specific/solinas64_2e190m11/femul
0m19.88s | Specific/solinas64_2e468m17/Synthesis
0m19.86s | Specific/solinas64_2e198m17/femul
0m19.81s | Specific/solinas64_2e137m13/femul
0m19.81s | Specific/solinas64_2e196m15/femul
0m19.77s | Specific/solinas64_2e212m29/femul
0m19.75s | Specific/solinas32_2e150m3/freeze
0m19.74s | Specific/solinas64_2e158m15/femul
0m19.72s | Specific/montgomery32_2e221m3/fenz
0m19.63s | Compilers/Named/MapCastWf
0m19.51s | Specific/solinas64_2e152m17/femul
0m19.47s | Specific/X25519/C64/freeze
0m19.45s | Specific/montgomery32_2e212m29/fenz
0m19.37s | Specific/solinas32_2e130m5/freeze
0m19.33s | Specific/solinas64_2e384m79x2e376m1/fesquare
0m19.30s | Specific/solinas64_2e140m27/femul
0m19.25s | Specific/montgomery32_2e127m1/feadd
0m19.15s | Specific/montgomery32_2e206m5/fenz
0m19.10s | Specific/montgomery64_2e291m19/fenz
0m18.98s | Specific/montgomery32_2e222m117/fenz
0m18.96s | Specific/X25519/C64/fesquare
0m18.81s | Specific/solinas64_2e452m3/Synthesis
0m18.74s | Specific/montgomery64_2e285m9/fenz
0m18.69s | Specific/solinas64_2e222m117/fesquare
0m18.67s | Specific/solinas64_2e230m27/fesquare
0m18.65s | Specific/solinas64_2e226m5/fesquare
0m18.63s | Specific/montgomery64_2e255m2e4m2e1m1/feopp
0m18.56s | Specific/montgomery64_2e266m3/fenz
0m18.54s | Specific/montgomery64_2e256m2e32m977/feopp
0m18.54s | Specific/solinas64_2e384m5x2e368m1/fesquare
0m18.54s | Specific/montgomery64_2e212m29/feopp
0m18.54s | Specific/solinas64_2e221m3/fesquare
0m18.53s | Specific/solinas64_2e444m17/Synthesis
0m18.45s | Specific/solinas64_2e189m25/fesquare
0m18.44s | Specific/montgomery64_2e255m19/feopp
0m18.42s | Specific/montgomery64_2e230m27/feopp
0m18.41s | Specific/montgomery32_2e205m45x2e198m1/fenz
0m18.40s | Specific/montgomery64_2e224m2e96p1/feopp
0m18.39s | Specific/montgomery64_2e194m33/feopp
0m18.37s | Specific/montgomery64_2e206m5/feopp
0m18.36s | Specific/solinas64_2e198m17/fesquare
0m18.34s | Specific/solinas64_2e158m15/fesquare
0m18.33s | Specific/montgomery64_2e221m3/feopp
0m18.30s | Specific/montgomery64_2e256m2e224p2e192p2e96m1/feopp
0m18.30s | Specific/montgomery32_2e198m17/fenz
0m18.30s | Specific/montgomery32_2e216m2e108m1/fenz
0m18.26s | Specific/montgomery32_2e224m2e96p1/fenz
0m18.20s | Specific/montgomery64_2e213m3/feopp
0m18.19s | Specific/montgomery64_2e255m765/feopp
0m18.18s | Specific/montgomery64_2e198m17/feopp
0m18.16s | Specific/montgomery64_2e235m15/feopp
0m18.14s | Specific/montgomery64_2e216m2e108m1/feopp
0m18.13s | Specific/montgomery64_2e285m9/Synthesis
0m18.12s | Specific/solinas64_2e213m3/fesquare
0m18.12s | Specific/montgomery64_2e256m189/feopp
0m18.10s | Specific/montgomery32_2e196m15/fenz
0m18.10s | Specific/montgomery64_2e226m5/feopp
0m18.09s | Specific/solinas64_2e194m33/fesquare
0m18.06s | Specific/montgomery64_2e222m117/feopp
0m18.06s | Specific/montgomery64_2e205m45x2e198m1/feopp
0m18.06s | Specific/montgomery64_2e254m127x2e240m1/feopp
0m18.05s | Specific/montgomery64_2e243m9/feopp
0m18.04s | Specific/montgomery64_2e256m88x2e240m1/feopp
0m18.03s | Specific/montgomery64_2e251m9/feopp
0m18.02s | Specific/solinas64_2e152m17/fesquare
0m18.01s | Specific/montgomery64_2e291m19/Synthesis
0m17.98s | Specific/solinas64_2e190m11/fesquare
0m17.98s | Specific/montgomery64_2e196m15/feopp
0m17.93s | Specific/solinas64_2e384m5x2e368m1/Synthesis
0m17.92s | Specific/solinas64_2e206m5/fesquare
0m17.87s | Specific/solinas64_2e212m29/fesquare
0m17.85s | Specific/solinas64_2e137m13/fesquare
0m17.84s | Specific/montgomery64_2e190m11/feadd
0m17.82s | Specific/solinas64_2e206m5/freeze
0m17.82s | Specific/montgomery64_2e174m17/fesub
0m17.82s | Specific/montgomery64_2e266m3/Synthesis
0m17.81s | Specific/solinas64_2e213m3/freeze
0m17.80s | Specific/solinas32_2e255m19/Synthesis
0m17.79s | Specific/montgomery64_2e150m3/fesub
0m17.79s | Specific/solinas64_2e196m15/fesquare
0m17.77s | Specific/montgomery64_2e191m19/fesub
0m17.76s | Specific/montgomery64_2e165m25/feadd
0m17.74s | Specific/montgomery64_2e192m2e64m1/fesub
0m17.72s | Specific/montgomery64_2e158m15/feadd
0m17.71s | Specific/solinas64_2e384m79x2e376m1/Synthesis
0m17.70s | Specific/montgomery32_2e194m33/fenz
0m17.68s | Specific/solinas64_2e224m2e96p1/freeze
0m17.67s | Specific/montgomery64_2e158m15/fesub
0m17.67s | Specific/montgomery64_2e150m5/feadd
0m17.67s | Specific/montgomery64_2e150m3/feadd
0m17.64s | Specific/montgomery64_2e150m5/fesub
0m17.64s | Specific/solinas64_2e192m2e64m1/freeze
0m17.62s | Specific/montgomery64_2e165m25/fesub
0m17.60s | Specific/solinas32_2e251m9/Synthesis
0m17.57s | Specific/montgomery64_2e166m5/fesub
0m17.55s | Specific/montgomery64_2e171m19/fesub
0m17.55s | Specific/NISTP256/AMD64/feopp
0m17.54s | Specific/montgomery64_2e166m5/feadd
0m17.51s | Specific/solinas64_2e194m33/freeze
0m17.51s | Specific/solinas64_2e189m25/freeze
0m17.51s | Specific/solinas64_2e140m27/fesquare
0m17.48s | Specific/montgomery64_2e174m17/feadd
0m17.47s | Specific/montgomery64_2e192m2e64m1/feadd
0m17.47s | Specific/solinas64_2e226m5/freeze
0m17.43s | Specific/montgomery64_2e152m17/feadd
0m17.43s | Specific/montgomery64_2e191m19/feadd
0m17.42s | Specific/montgomery64_2e141m9/fesub
0m17.40s | Specific/montgomery64_2e189m25/fesub
0m17.40s | Specific/montgomery64_2e174m3/feadd
0m17.37s | Specific/montgomery64_2e174m3/fesub
0m17.36s | Compilers/Named/MapCastInterp
0m17.36s | Specific/montgomery64_2e189m25/feadd
0m17.34s | Specific/montgomery64_2e171m19/feadd
0m17.34s | Specific/montgomery64_2e141m9/feadd
0m17.33s | Specific/solinas64_2e216m2e108m1/freeze
0m17.32s | rc/Specific/solinas64_2e401m31/Synthesis
0m17.31s | Specific/solinas64_2e152m17/freeze
0m17.31s | Specific/solinas64_2e212m29/freeze
0m17.30s | Specific/montgomery64_2e130m5/feadd
0m17.29s | Specific/solinas64_2e222m117/freeze
0m17.28s | Specific/solinas64_2e230m27/freeze
0m17.28s | Specific/solinas64_2e384m2e128m2e96p2e32m1/Synthesis
0m17.26s | Specific/solinas64_2e198m17/freeze
0m17.26s | Specific/montgomery64_2e129m25/feadd
0m17.25s | Specific/solinas64_2e221m3/freeze
0m17.24s | Specific/montgomery64_2e190m11/fesub
0m17.24s | Specific/montgomery64_2e140m27/feadd
0m17.22s | Specific/solinas64_2e205m45x2e198m1/freeze
0m17.19s | Specific/montgomery64_2e152m17/fesub
0m17.18s | Specific/montgomery64_2e140m27/fesub
0m17.15s | Specific/solinas64_2e196m15/freeze
0m17.14s | Specific/montgomery64_2e129m25/fesub
0m17.14s | Specific/montgomery64_2e130m5/fesub
0m17.12s | Specific/solinas64_2e158m15/freeze
0m17.06s | Specific/solinas64_2e190m11/freeze
0m17.03s | Specific/montgomery64_2e137m13/fesub
0m16.97s | Specific/solinas32_2e224m2e96p1/femul
0m16.95s | Specific/montgomery64_2e137m13/feadd
0m16.89s | Specific/solinas32_2e166m5/Synthesis
0m16.87s | Specific/solinas32_2e221m3/Synthesis
0m16.82s | Specific/solinas64_2e137m13/freeze
0m16.78s | Specific/solinas64_2e140m27/freeze
0m16.54s | Specific/montgomery32_2e127m1/feopp
0m16.53s | Specific/solinas32_2e222m117/Synthesis
0m16.37s | Specific/solinas32_2e230m27/Synthesis
0m16.28s | Specific/NISTP256/AMD128/feadd
0m16.21s | Specific/solinas64_2e166m5/femul
0m16.10s | Specific/solinas64_2e256m2e224p2e192p2e96m1/femul
0m16.03s | Specific/solinas64_2e174m3/femul
0m16.03s | Specific/montgomery32_2e191m19/fenz
0m16.00s | Specific/montgomery32_2e192m2e64m1/fenz
0m15.97s | Specific/montgomery64_2e256m2e224p2e192p2e96m1/fenz
0m15.96s | Specific/montgomery64_2e255m2e4m2e1m1/fenz
0m15.91s | Compilers/Named/ContextProperties/NameUtil
0m15.90s | Specific/montgomery64_2e206m5/fenz
0m15.88s | Specific/solinas64_2e401m31/Synthesis
0m15.86s | Specific/solinas64_2e129m25/femul
0m15.85s | Specific/NISTP256/AMD128/fesub
0m15.84s | Specific/solinas64_2e127m1/femul
0m15.84s | Specific/montgomery64_2e255m19/fenz
0m15.82s | Specific/solinas64_2e141m9/femul
0m15.82s | Specific/solinas64_2e130m5/femul
0m15.78s | Specific/montgomery32_2e174m3/fenz
0m15.77s | Specific/montgomery32_2e190m11/fenz
0m15.77s | Specific/montgomery32_2e166m5/fenz
0m15.73s | Specific/solinas64_2e174m17/femul
0m15.73s | linas64_2e369m25/Synthesis
0m15.72s | Compilers/Named/ContextProperties/SmartMap
0m15.72s | Specific/montgomery64_2e198m17/fenz
0m15.71s | Specific/solinas32_2e205m45x2e198m1/Synthesis
0m15.70s | Specific/montgomery64_2e222m117/fenz
0m15.70s | Specific/solinas64_2e165m25/femul
0m15.70s | Specific/montgomery32_2e189m25/fenz
0m15.68s | Specific/solinas64_2e384m317/Synthesis
0m15.66s | Specific/montgomery32_2e174m17/fenz
0m15.66s | Algebra/Field
0m15.63s | Specific/montgomery64_2e230m27/fenz
0m15.62s | Specific/solinas64_2e150m5/femul
0m15.62s | Specific/montgomery64_2e256m2e32m977/fenz
0m15.61s | Specific/montgomery32_2e171m19/fenz
0m15.59s | Specific/montgomery64_2e243m9/fenz
0m15.58s | Specific/montgomery64_2e251m9/fenz
0m15.57s | Specific/montgomery64_2e224m2e96p1/fenz
0m15.57s | Specific/montgomery64_2e255m765/fenz
0m15.56s | Specific/montgomery64_2e235m15/fenz
0m15.55s | Specific/montgomery64_2e205m45x2e198m1/fenz
0m15.54s | Specific/montgomery64_2e254m127x2e240m1/fenz
0m15.53s | Specific/montgomery64_2e194m33/fenz
0m15.53s | Specific/montgomery64_2e216m2e108m1/fenz
0m15.53s | Specific/solinas64_2e150m3/femul
0m15.52s | Specific/montgomery64_2e221m3/fenz
0m15.51s | Specific/montgomery64_2e226m5/fenz
0m15.50s | Specific/solinas64_2e171m19/femul
0m15.49s | Specific/montgomery64_2e256m189/fenz
0m15.48s | Specific/montgomery64_2e256m88x2e240m1/fenz
0m15.47s | Specific/montgomery64_2e212m29/fenz
0m15.46s | Specific/montgomery64_2e213m3/fenz
0m15.45s | Specific/montgomery64_2e196m15/fenz
0m15.42s | Specific/montgomery32_2e165m25/fenz
0m15.42s | Specific/solinas32_2e224m2e96p1/fesquare
0m15.32s | Specific/solinas32_2e191m19/Synthesis
0m15.05s | Specific/NISTP256/AMD64/fenz
0m15.05s | Specific/solinas64_2e369m25/Synthesis
0m14.92s | Specific/solinas64_2e174m17/freeze
0m14.89s | Specific/solinas64_2e480m2e240m1/Synthesis
0m14.88s | Specific/solinas64_2e165m25/freeze
0m14.84s | Specific/solinas64_2e256m2e224p2e192p2e96m1/fesquare
0m14.60s | Specific/solinas64_2e174m3/freeze
0m14.59s | Specific/solinas64_2e166m5/freeze
0m14.58s | Specific/solinas32_2e255m2e4m2e1m1/Synthesis
0m14.58s | Specific/solinas64_2e150m3/fesquare
0m14.50s | Specific/solinas64_2e165m25/fesquare
0m14.48s | Specific/solinas64_2e171m19/fesquare
0m14.47s | Specific/solinas64_2e174m3/fesquare
0m14.46s | Specific/solinas64_2e130m5/fesquare
0m14.42s | Specific/solinas64_2e150m3/freeze
0m14.39s | Specific/solinas64_2e150m5/freeze
0m14.38s | Specific/solinas64_2e129m25/freeze
0m14.37s | Specific/solinas64_2e127m1/freeze
0m14.36s | Specific/montgomery64_2e165m25/feopp
0m14.35s | Specific/solinas64_2e141m9/fesquare
0m14.32s | Specific/solinas64_2e127m1/fesquare
0m14.32s | Specific/montgomery64_2e150m5/feopp
0m14.32s | Specific/solinas64_2e150m5/fesquare
0m14.30s | Specific/solinas64_2e129m25/fesquare
0m14.30s | Specific/montgomery64_2e152m17/feopp
0m14.29s | Specific/solinas64_2e171m19/freeze
0m14.26s | Specific/montgomery64_2e174m17/feopp
0m14.24s | Specific/montgomery64_2e150m3/feopp
0m14.23s | Specific/solinas64_2e174m17/fesquare
0m14.18s | Specific/montgomery64_2e137m13/feopp
0m14.16s | Specific/montgomery64_2e158m15/feopp
0m14.15s | Specific/montgomery64_2e129m25/feopp
0m14.14s | Specific/NISTP256/AMD128/fenz
0m14.14s | Specific/montgomery32_2e130m5/fenz
0m14.13s | Specific/montgomery64_2e174m3/feopp
0m14.09s | Specific/montgomery64_2e130m5/feopp
0m14.07s | Specific/solinas64_2e166m5/fesquare
0m14.05s | Specific/montgomery64_2e127m1/feadd
0m14.04s | Specific/solinas64_2e130m5/freeze
0m14.03s | Specific/montgomery64_2e189m25/feopp
0m14.02s | Specific/montgomery64_2e192m2e64m1/feopp
0m14.01s | Specific/montgomery64_2e127m1/fesub
0m13.99s | Specific/solinas64_2e141m9/freeze
0m13.97s | Specific/montgomery64_2e141m9/feopp
0m13.97s | Specific/montgomery32_2e140m27/fenz
0m13.95s | Specific/montgomery32_2e152m17/fenz
0m13.95s | Specific/montgomery64_2e171m19/feopp
0m13.94s | Specific/montgomery64_2e191m19/feopp
0m13.93s | Specific/montgomery64_2e166m5/feopp
0m13.92s | Specific/montgomery64_2e190m11/feopp
0m13.90s | Specific/montgomery32_2e150m5/fenz
0m13.90s | Specific/montgomery32_2e137m13/fenz
0m13.88s | Specific/montgomery64_2e140m27/feopp
0m13.79s | Specific/montgomery32_2e150m3/fenz
0m13.76s | Specific/montgomery32_2e158m15/fenz
0m13.75s | Specific/montgomery32_2e129m25/fenz
0m13.74s | Specific/solinas64_2e448m2e224m1/Synthesis
0m13.68s | Compilers/Z/Syntax/Equality
0m13.64s | Specific/montgomery32_2e141m9/fenz
0m13.39s | Specific/solinas32_2e243m9/Synthesis
0m13.35s | Specific/solinas64_2e450m2e225m1/Synthesis
0m13.35s | Specific/montgomery64_2e150m3/fenz
0m13.34s | Specific/montgomery64_2e174m3/fenz
0m13.33s | Specific/montgomery64_2e174m17/fenz
0m13.32s | Specific/montgomery64_2e171m19/fenz
0m13.26s | Specific/montgomery64_2e150m5/fenz
0m13.22s | Specific/montgomery64_2e191m19/fenz
0m13.20s | Specific/solinas64_2e254m127x2e240m1/femul
0m13.17s | Specific/montgomery64_2e190m11/fenz
0m13.11s | Specific/montgomery64_2e166m5/fenz
0m13.11s | Specific/montgomery64_2e130m5/fenz
0m13.07s | Specific/montgomery64_2e192m2e64m1/fenz
0m13.05s | Specific/montgomery64_2e158m15/fenz
0m13.05s | Specific/montgomery64_2e152m17/fenz
0m13.05s | Specific/montgomery64_2e189m25/fenz
0m13.05s | Specific/montgomery64_2e137m13/fenz
0m13.01s | Specific/montgomery64_2e165m25/fenz
0m12.89s | Specific/solinas64_2e413m21/Synthesis
0m12.86s | Specific/montgomery64_2e141m9/fenz
0m12.82s | Specific/NISTP256/AMD128/feopp
0m12.80s | Specific/montgomery64_2e129m25/fenz
0m12.69s | Specific/montgomery64_2e140m27/fenz
0m12.54s | Specific/solinas32_2e235m15/Synthesis
0m12.05s | Specific/montgomery32_2e174m17/Synthesis
0m12.05s | Specific/montgomery32_2e192m2e64m1/Synthesis
0m12.02s | Specific/montgomery32_2e171m19/Synthesis
0m12.02s | Specific/montgomery32_2e127m1/fenz
0m11.94s | Specific/montgomery32_2e190m11/Synthesis
0m11.93s | Specific/solinas64_2e416m2e208m1/Synthesis
0m11.88s | Specific/montgomery32_2e189m25/Synthesis
0m11.87s | Specific/solinas64_2e379m19/Synthesis
0m11.86s | Specific/solinas32_2e198m17/Synthesis
0m11.76s | Specific/montgomery32_2e174m3/Synthesis
0m11.76s | Specific/montgomery32_2e191m19/Synthesis
0m11.69s | Specific/montgomery32_2e166m5/Synthesis
0m11.60s | Specific/montgomery32_2e165m25/Synthesis
0m11.52s | Specific/montgomery64_2e127m1/feopp
0m11.32s | Specific/solinas32_2e174m17/Synthesis
0m11.21s | Specific/solinas64_2e254m127x2e240m1/fesquare
0m11.14s | Specific/solinas32_2e171m19/Synthesis
0m11.10s | Util/ZUtil
0m10.91s | Specific/montgomery64_2e127m1/fenz
0m10.36s | Arithmetic/Core
0m10.17s | Specific/solinas32_2e165m25/Synthesis
0m09.96s | Specific/solinas32_2e224m2e96p1/Synthesis
0m09.96s | Specific/solinas32_2e226m5/Synthesis
0m09.81s | Specific/X2448/Karatsuba/C64/Synthesis
0m09.80s | Specific/solinas64_2e256m88x2e240m1/femul
0m09.64s | Algebra/Ring
0m09.54s | Specific/solinas32_2e194m33/Synthesis
0m09.35s | Arithmetic/Saturated/AddSub
0m09.29s | Specific/solinas64_2e322m2e161m1/Synthesis
0m09.11s | Specific/solinas32_2e212m29/Synthesis
0m09.08s | Compilers/Named/RegisterAssignInterp
0m08.67s | Specific/montgomery64_2e196m15/Synthesis
0m08.67s | Specific/solinas32_2e192m2e64m1/Synthesis
0m08.66s | Specific/solinas64_2e256m88x2e240m1/fesquare
0m08.63s | Specific/montgomery64_2e206m5/Synthesis
0m08.60s | Specific/montgomery64_2e222m117/Synthesis
0m08.58s | Specific/montgomery64_2e224m2e96p1/Synthesis
0m08.57s | Specific/montgomery64_2e205m45x2e198m1/Synthesis
0m08.55s | Specific/montgomery64_2e198m17/Synthesis
0m08.55s | Specific/montgomery64_2e212m29/Synthesis
0m08.54s | Specific/montgomery64_2e213m3/Synthesis
0m08.53s | Specific/montgomery64_2e216m2e108m1/Synthesis
0m08.53s | Specific/montgomery64_2e256m2e224p2e192p2e96m1/Synthesis
0m08.51s | Specific/montgomery64_2e251m9/Synthesis
0m08.51s | Specific/montgomery64_2e255m765/Synthesis
0m08.45s | Specific/montgomery64_2e254m127x2e240m1/Synthesis
0m08.44s | Specific/montgomery64_2e256m88x2e240m1/Synthesis
0m08.44s | Specific/NISTP256/AMD64/Synthesis
0m08.42s | Specific/montgomery64_2e221m3/Synthesis
0m08.42s | Specific/montgomery64_2e194m33/Synthesis
0m08.40s | Specific/montgomery64_2e256m2e32m977/Synthesis
0m08.40s | Arithmetic/Saturated/MontgomeryAPI
0m08.40s | Specific/montgomery64_2e230m27/Synthesis
0m08.39s | Specific/montgomery64_2e255m2e4m2e1m1/Synthesis
0m08.39s | Specific/montgomery64_2e235m15/Synthesis
0m08.39s | Specific/montgomery64_2e256m189/Synthesis
0m08.36s | Specific/montgomery64_2e243m9/Synthesis
0m08.34s | Specific/montgomery64_2e226m5/Synthesis
0m08.32s | Specific/montgomery64_2e255m19/Synthesis
0m08.32s | Compilers/Named/CompileInterpSideConditions
0m08.11s | Specific/solinas32_2e216m2e108m1/Synthesis
0m08.10s | Specific/solinas64_2e489m21/femul
0m07.51s | Specific/solinas32_2e196m15/Synthesis
0m07.46s | Specific/solinas64_2e205m45x2e198m1/femul
0m07.45s | Specific/solinas32_2e190m11/Synthesis
0m07.44s | Specific/solinas64_2e489m21/fesquare
0m07.42s | Specific/solinas32_2e137m13/Synthesis
0m07.37s | Specific/solinas64_2e336m17/Synthesis
0m07.20s | Specific/solinas64_2e338m15/Synthesis
0m07.16s | Specific/solinas64_2e336m3/Synthesis
0m07.10s | Util/FixedWordSizesEquality
0m07.07s | Specific/solinas32_2e189m25/Synthesis
0m06.90s | Specific/solinas64_2e321m9/Synthesis
0m06.84s | Specific/montgomery32_2e256m2e32m977/feopp
0m06.78s | Specific/montgomery32_2e140m27/Synthesis
0m06.74s | Specific/montgomery32_2e150m5/Synthesis
0m06.74s | Specific/montgomery32_2e256m2e32m977/fesub
0m06.68s | Specific/montgomery32_2e152m17/Synthesis
0m06.67s | Specific/montgomery32_2e150m3/Synthesis
0m06.67s | Specific/solinas32_2e165m25/fesquare
0m06.66s | Specific/montgomery32_2e158m15/Synthesis
0m06.61s | Specific/montgomery32_2e141m9/Synthesis
0m06.59s | Specific/solinas64_2e224m2e96p1/femul
0m06.53s | Arithmetic/Saturated/Core
0m06.53s | Specific/solinas64_2e205m45x2e198m1/fesquare
0m06.50s | Specific/montgomery32_2e137m13/Synthesis
0m06.48s | Specific/montgomery32_2e130m5/Synthesis
0m06.46s | Specific/montgomery32_2e129m25/Synthesis
0m06.44s | Compilers/Z/Bounds/InterpretationLemmas/PullCast
0m06.37s | Compilers/LinearizeWf
0m06.32s | Specific/solinas64_2e254m127x2e240m1/Synthesis
0m06.32s | Specific/X25519/C64/Synthesis
0m06.07s | Specific/solinas64_2e256m2e224p2e192p2e96m1/Synthesis
0m06.03s | Specific/solinas64_2e243m9/Synthesis
0m06.02s | Specific/solinas64_2e488m17/femul
0m05.95s | Specific/solinas32_2e174m17/fesquare
0m05.94s | Compilers/InlineWf
0m05.92s | Specific/solinas32_2e165m25/freeze
0m05.86s | Specific/solinas32_2e171m19/freeze
0m05.86s | Specific/solinas64_2e512m569/femul
0m05.83s | Specific/solinas64_2e224m2e96p1/fesquare
0m05.74s | Specific/solinas32_2e171m19/fesquare
0m05.71s | Specific/solinas64_2e512m569/fesquare
0m05.66s | Specific/solinas32_2e165m25/femul
0m05.61s | Specific/solinas32_2e171m19/femul
0m05.44s | Specific/solinas64_2e256m88x2e240m1/Synthesis
0m05.30s | Specific/solinas64_2e488m17/fesquare
0m05.22s | Util/ListUtil
0m05.17s | Compilers/WfProofs
0m04.91s | Specific/solinas32_2e174m3/Synthesis
0m04.91s | Specific/solinas32_2e158m15/Synthesis
0m04.82s | Util/ZUtil/Modulo
0m04.82s | Compilers/Z/CNotations
0m04.81s | Curves/Montgomery/Affine
0m04.78s | Specific/solinas64_2e256m2e32m977/Synthesis
0m04.76s | Specific/solinas32_2e152m17/Synthesis
0m04.73s | Compilers/Z/Bounds/Pipeline/Definition
0m04.69s | Specific/solinas32_2e150m5/Synthesis
0m04.68s | Specific/solinas32_2e127m1/Synthesis
0m04.60s | Specific/solinas32_2e141m9/Synthesis
0m04.58s | Compilers/Z/HexNotationConstants
0m04.58s | Specific/solinas64_2e285m9/Synthesis
0m04.52s | Specific/solinas32_2e129m25/Synthesis
0m04.46s | Specific/solinas64_2e266m3/Synthesis
0m04.40s | Specific/solinas64_2e255m2e4m2e1m1/Synthesis
0m04.39s | Specific/solinas32_2e140m27/Synthesis
0m04.38s | Specific/solinas64_2e255m19/Synthesis
0m04.38s | Specific/solinas64_2e291m19/Synthesis
0m04.14s | Specific/montgomery64_2e150m3/Synthesis
0m04.12s | Specific/montgomery64_2e171m19/Synthesis
0m04.12s | Specific/montgomery64_2e192m2e64m1/Synthesis
0m04.10s | Specific/montgomery64_2e130m5/Synthesis
0m04.09s | Specific/montgomery64_2e165m25/Synthesis
0m04.08s | Specific/solinas64_2e235m15/Synthesis
0m04.08s | Specific/Framework/ArithmeticSynthesis/Montgomery
0m04.07s | Specific/solinas64_2e256m189/Synthesis
0m04.06s | Specific/solinas64_2e255m765/Synthesis
0m04.05s | Specific/montgomery64_2e137m13/Synthesis
0m04.05s | Specific/montgomery64_2e158m15/Synthesis
0m04.04s | Specific/montgomery64_2e190m11/Synthesis
0m04.04s | Specific/montgomery64_2e140m27/Synthesis
0m04.03s | Compilers/Z/ArithmeticSimplifier
0m04.03s | Specific/montgomery64_2e174m3/Synthesis
0m04.02s | Specific/montgomery64_2e191m19/Synthesis
0m04.02s | Specific/montgomery64_2e166m5/Synthesis
0m04.01s | fic/montgomery64_2e190m11/Synthesis
0m04.00s | Specific/solinas64_2e251m9/Synthesis
0m04.00s | Specific/montgomery64_2e189m25/Synthesis
0m03.96s | Specific/montgomery64_2e174m17/Synthesis
0m03.94s | Specific/montgomery64_2e141m9/Synthesis
0m03.94s | Specific/montgomery64_2e152m17/Synthesis
0m03.93s | Specific/montgomery64_2e150m5/Synthesis
0m03.92s | Specific/montgomery64_2e129m25/Synthesis
0m03.90s | Specific/montgomery32_2e127m1/Synthesis
0m03.88s | Specific/solinas64_2e224m2e96p1/Synthesis
0m03.84s | Arithmetic/Saturated/MulSplit
0m03.77s | Specific/solinas64_2e191m19/Synthesis
0m03.66s | Compilers/EtaWf
0m03.62s | Specific/NISTP256/AMD128/Synthesis
0m03.61s | Specific/solinas32_2e213m3/femul
0m03.60s | Specific/solinas64_2e205m45x2e198m1/Synthesis
0m03.59s | Arithmetic/ModularArithmeticTheorems
0m03.54s | Specific/solinas32_2e130m5/Synthesis
0m03.54s | Compilers/Named/CompileWf
0m03.50s | Util/ZUtil/AddGetCarry
0m03.50s | Specific/solinas32_2e150m3/Synthesis
0m03.44s | Specific/solinas64_2e216m2e108m1/Synthesis
0m03.44s | Specific/solinas64_2e230m27/Synthesis
0m03.36s | Specific/solinas64_2e226m5/Synthesis
0m03.32s | Specific/solinas64_2e206m5/Synthesis
0m03.28s | Compilers/Named/ContextProperties
0m03.24s | Specific/solinas32_2e213m3/fesquare
0m03.24s | Specific/solinas64_2e192m2e64m1/Synthesis
0m03.21s | Specific/solinas64_2e212m29/Synthesis
0m03.21s | Specific/solinas64_2e221m3/Synthesis
0m03.15s | Specific/solinas64_2e198m17/Synthesis
0m03.14s | Algebra/Group
0m03.12s | Specific/solinas64_2e189m25/Synthesis
0m03.10s | Specific/solinas64_2e194m33/Synthesis
0m03.08s | Compilers/Z/Bounds/InterpretationLemmas/IsBoundedBy
0m03.07s | Spec/MontgomeryCurve
0m03.00s | Arithmetic/MontgomeryReduction/WordByWord/Proofs
0m02.98s | Specific/solinas64_2e213m3/Synthesis
0m02.97s | Specific/solinas64_2e152m17/Synthesis
0m02.97s | Specific/solinas64_2e222m117/Synthesis
0m02.94s | Compilers/Named/CompileInterp
0m02.89s | Specific/solinas64_2e137m13/Synthesis
0m02.86s | Specific/solinas64_2e190m11/Synthesis
0m02.83s | Specific/solinas64_2e196m15/Synthesis
0m02.75s | Specific/solinas64_2e158m15/Synthesis
0m02.71s | Compilers/InlineInterp
0m02.64s | Specific/solinas64_2e140m27/Synthesis
0m02.51s | Compilers/Z/Bounds/Relax
0m02.51s | Util/WordUtil
0m02.43s | Specific/solinas64_2e174m17/Synthesis
0m02.41s | Specific/solinas64_2e171m19/Synthesis
0m02.38s | Specific/solinas64_2e165m25/Synthesis
0m02.31s | Specific/solinas64_2e141m9/Synthesis
0m02.28s | Specific/solinas64_2e150m5/Synthesis
0m02.24s | Compilers/Named/NameUtilProperties
0m02.20s | Specific/montgomery64_2e127m1/Synthesis
0m02.19s | Specific/solinas64_2e174m3/Synthesis
0m02.18s | Specific/solinas64_2e130m5/Synthesis
0m02.16s | Specific/solinas64_2e166m5/Synthesis
0m02.13s | Specific/Framework/ArithmeticSynthesis/Defaults
0m02.11s | Specific/solinas64_2e150m3/Synthesis
0m02.11s | Compilers/Named/ContextProperties/Proper
0m02.10s | Specific/solinas32_2e166m5/femul
0m02.07s | Specific/solinas64_2e127m1/Synthesis
0m02.03s | Specific/solinas64_2e129m25/Synthesis
0m02.03s | Specific/solinas32_2e166m5/fesquare
0m02.01s | Compilers/WfReflective
0m01.98s | Compilers/Z/RewriteAddToAdcInterp
0m01.95s | Arithmetic/Saturated/Freeze
0m01.90s | Spec/WeierstrassCurve
0m01.79s | Arithmetic/PrimeFieldTheorems
0m01.68s | Util/Tuple
0m01.68s | Compilers/Named/WfFromUnit
0m01.58s | Compilers/Named/InterpretToPHOASWf
0m01.53s | Algebra/ScalarMult
0m01.52s | Arithmetic/CoreUnfolder
0m01.49s | Compilers/Relations
0m01.48s | Util/ZUtil/Quot
0m01.48s | Specific/solinas64_2e489m21/freeze
0m01.44s | Specific/solinas64_2e512m569/freeze
0m01.40s | Specific/X2555/C128/Synthesis
0m01.39s | Specific/solinas32_2e213m3/freeze
0m01.38s | Specific/solinas64_2e488m17/freeze
0m01.35s | Specific/Framework/ArithmeticSynthesis/Karatsuba
0m01.34s | Specific/solinas32_2e166m5/freeze
0m01.30s | Compilers/LinearizeInterp
0m01.23s | Compilers/Z/RewriteAddToAdcWf
0m01.18s | Util/ZUtil/Pow2Mod
0m01.17s | Arithmetic/Saturated/CoreUnfolder
0m01.14s | Arithmetic/Saturated/UniformWeight
0m01.13s | Arithmetic/Saturated/WrappersUnfolder
0m01.10s | Util/NumTheoryUtil
0m01.10s | Specific/Framework/SynthesisFramework
0m01.10s | Specific/X25519/C32/CurveParameters
0m01.09s | Compilers/Named/InterpretToPHOASInterp
0m01.03s | Algebra/IntegralDomain
0m01.02s | Specific/Framework/ArithmeticSynthesis/Base
0m00.98s | Compilers/Z/Bounds/Pipeline/ReflectiveTactics
0m00.96s | Arithmetic/Saturated/MulSplitUnfolder
0m00.94s | Compilers/Named/FMapContext
0m00.94s | Specific/Framework/ReificationTypes
0m00.92s | Specific/Framework/ArithmeticSynthesis/Freeze
0m00.92s | Arithmetic/Saturated/FreezeUnfolder
0m00.92s | Util/PartiallyReifiedProp
0m00.91s | Specific/Framework/IntegrationTestTemporaryMiscCommon
0m00.90s | Compilers/Named/InterpSideConditionsInterp
0m00.90s | Specific/Framework/MontgomeryReificationTypes
0m00.89s | Compilers/WfInversion
0m00.87s | Compilers/Z/Syntax/Util
0m00.86s | Arithmetic/Saturated/Wrappers
0m00.85s | Compilers/MapCastByDeBruijnInterp
0m00.83s | Specific/Framework/ArithmeticSynthesis/MontgomeryPackage
0m00.83s | Arithmetic/Saturated/UniformWeightInstances
0m00.82s | Specific/Framework/MontgomeryReificationTypesPackage
0m00.82s | Util/ZUtil/Testbit
0m00.82s | Specific/Framework/ReificationTypesPackage
0m00.82s | Specific/Framework/ArithmeticSynthesis/HelperTactics
0m00.81s | Specific/Framework/ArithmeticSynthesis/FreezePackage
0m00.81s | Arithmetic/MontgomeryReduction/WordByWord/Definition
0m00.78s | Util/ZUtil/Stabilization
0m00.77s | Specific/Framework/ArithmeticSynthesis/BasePackage
0m00.76s | Specific/Framework/ArithmeticSynthesis/SquareFromMul
0m00.76s | Compilers/Z/Bounds/Pipeline
0m00.76s | Util/QUtil
0m00.75s | Specific/Framework/ArithmeticSynthesis/LadderstepPackage
0m00.75s | Compilers/MapCastByDeBruijnWf
0m00.75s | Specific/Framework/ArithmeticSynthesis/KaratsubaPackage
0m00.73s | Specific/Framework/IntegrationTestDisplayCommon
0m00.73s | Specific/Framework/ArithmeticSynthesis/DefaultsPackage
0m00.72s | Util/CPSUtil
0m00.71s | Specific/Framework/ArithmeticSynthesis/Ladderstep
0m00.70s | Compilers/SmartMap
0m00.69s | Curves/Montgomery/XZ
0m00.68s | Compilers/Z/Named/RewriteAddToAdc
0m00.65s | Compilers/Z/Bounds/Pipeline/Glue
0m00.64s | Compilers/Z/Reify
0m00.63s | Compilers/Named/WfInterp
0m00.63s | Compilers/Z/Bounds/MapCastByDeBruijnInterp
0m00.62s | Compilers/WfReflectiveGen
0m00.61s | Compilers/Z/Syntax
0m00.61s | Compilers/Z/Bounds/InterpretationLemmas/Tactics
0m00.60s | Specific/solinas32_2e495m31/freeze
0m00.60s | Compilers/Z/MapCastByDeBruijnInterp
0m00.58s | Util/Decidable
0m00.58s | Arithmetic/ModularArithmeticPre
0m00.57s | Compilers/Z/Bounds/RoundUpLemmas
0m00.57s | Compilers/Z/Bounds/MapCastByDeBruijnWf
0m00.56s | Compilers/InputSyntax
0m00.56s | Compilers/Z/InlineInterp
0m00.54s | Compilers/Z/MapCastByDeBruijnWf
0m00.54s | Specific/solinas32_2e488m17/freeze
0m00.54s | Compilers/Z/RewriteAddToAdc
0m00.54s | Compilers/Z/ArithmeticSimplifierUtil
0m00.54s | Compilers/Z/InterpSideConditions
0m00.52s | Compilers/Named/PositiveContext/DefaultsProperties
0m00.52s | Spec/ModularArithmetic
0m00.52s | Compilers/Z/Bounds/MapCastByDeBruijn
0m00.51s | Compilers/InterpProofs
0m00.50s | Util/ZUtil/Morphisms
0m00.50s | Compilers/Reify
0m00.50s | Util/ZRange
0m00.49s | Compilers/Named/DeadCodeEliminationInterp
0m00.49s | Compilers/Z/Inline
0m00.48s | Util/ZUtil/Peano
0m00.47s | Compilers/Z/InlineWf
0m00.47s | Compilers/InterpRewriting
0m00.47s | Specific/X25519/C64/CurveParameters
0m00.47s | Compilers/Z/Bounds/Interpretation
0m00.43s | Compilers/Z/MapCastByDeBruijn
0m00.42s | Specific/montgomery64_2e174m17/CurveParameters
0m00.41s | Specific/solinas32_2e190m11/CurveParameters
0m00.41s | Specific/solinas64_2e174m3/CurveParameters
0m00.40s | Specific/montgomery64_2e256m88x2e240m1/CurveParameters
0m00.40s | Specific/solinas32_2e254m127x2e240m1/CurveParameters
0m00.40s | Specific/montgomery64_2e224m2e96p1/CurveParameters
0m00.40s | Specific/solinas32_2e174m17/CurveParameters
0m00.40s | Specific/solinas32_2e450m2e225m1/CurveParameters
0m00.40s | Specific/solinas64_2e255m19/CurveParameters
0m00.40s | Specific/NISTP256/AMD128/CurveParameters
0m00.40s | Specific/montgomery64_2e489m21/CurveParameters
0m00.40s | Specific/montgomery64_2e255m765/CurveParameters
0m00.40s | Specific/solinas64_2e336m3/CurveParameters
0m00.40s | Specific/montgomery64_2e256m2e32m977/CurveParameters
0m00.40s | Specific/solinas32_2e222m117/CurveParameters
0m00.40s | Specific/montgomery64_2e221m3/CurveParameters
0m00.40s | Specific/X2448/Karatsuba/C64/CurveParameters
0m00.40s | Specific/solinas64_2e254m127x2e240m1/CurveParameters
0m00.40s | Specific/montgomery64_2e266m3/CurveParameters
0m00.40s | Specific/montgomery32_2e383m31/CurveParameters
0m00.40s | Specific/solinas32_2e521m1/CurveParameters
0m00.40s | Specific/montgomery64_2e468m17/CurveParameters
0m00.40s | Specific/montgomery64_2e205m45x2e198m1/CurveParameters
0m00.40s | Specific/solinas64_2e379m19/CurveParameters
0m00.40s | Specific/solinas64_2e256m189/CurveParameters
0m00.40s | Specific/solinas32_2e480m2e240m1/CurveParameters
0m00.40s | Specific/solinas32_2e379m19/CurveParameters
0m00.40s | Specific/solinas32_2e150m3/CurveParameters
0m00.40s | Specific/Framework/RawCurveParameters
0m00.40s | Specific/solinas64_2e255m765/CurveParameters
0m00.40s | Specific/solinas64_2e150m3/CurveParameters
0m00.40s | Specific/NISTP256/AMD64/CurveParameters
0m00.40s | Specific/solinas32_2e212m29/CurveParameters
0m00.40s | Specific/solinas32_2e382m105/CurveParameters
0m00.39s | Specific/montgomery64_2e127m1/CurveParameters
0m00.39s | Specific/montgomery32_2e150m5/CurveParameters
0m00.39s | Specific/solinas32_2e416m2e208m1/CurveParameters
0m00.39s | Specific/montgomery32_2e489m21/CurveParameters
0m00.39s | Specific/montgomery32_2e205m45x2e198m1/CurveParameters
0m00.39s | Specific/solinas64_2e251m9/CurveParameters
0m00.39s | Specific/montgomery32_2e256m189/CurveParameters
0m00.39s | Specific/montgomery64_2e322m2e161m1/CurveParameters
0m00.39s | Specific/montgomery64_2e510m290x2e496m1/CurveParameters
0m00.39s | Specific/solinas64_2e510m290x2e496m1/CurveParameters
0m00.39s | Specific/solinas64_2e174m17/CurveParameters
0m00.39s | Specific/montgomery64_2e384m317/CurveParameters
0m00.39s | Specific/solinas32_2e140m27/CurveParameters
0m00.39s | Specific/montgomery32_2e190m11/CurveParameters
0m00.39s | Specific/montgomery64_2e206m5/CurveParameters
0m00.39s | Specific/solinas32_2e150m5/CurveParameters
0m00.39s | Specific/montgomery64_2e222m117/CurveParameters
0m00.39s | Specific/solinas64_2e382m105/CurveParameters
0m00.39s | Specific/solinas64_2e452m3/CurveParameters
0m00.39s | Specific/montgomery32_2e266m3/CurveParameters
0m00.39s | Specific/solinas64_2e336m17/CurveParameters
0m00.39s | Specific/solinas32_2e336m17/CurveParameters
0m00.39s | Specific/solinas32_2e488m17/CurveParameters
0m00.39s | Specific/montgomery32_2e255m2e4m2e1m1/CurveParameters
0m00.39s | Specific/montgomery32_2e511m481/CurveParameters
0m00.39s | Specific/solinas64_2e338m15/CurveParameters
0m00.39s | Specific/solinas32_2e256m2e224p2e192p2e96m1/CurveParameters
0m00.39s | Specific/montgomery32_2e450m2e225m1/CurveParameters
0m00.39s | Specific/montgomery32_2e130m5/CurveParameters
0m00.39s | Compilers/Z/Named/DeadCodeElimination
0m00.39s | Specific/montgomery64_2e191m19/CurveParameters
0m00.39s | Specific/solinas32_2e165m25/CurveParameters
0m00.39s | Util/ZUtil/EquivModulo
0m00.39s | Specific/solinas32_2e152m17/CurveParameters
0m00.39s | Specific/montgomery64_2e383m31/CurveParameters
0m00.39s | Specific/montgomery64_2e512m569/CurveParameters
0m00.38s | Specific/solinas32_2e130m5/CurveParameters
0m00.38s | Specific/solinas64_2e196m15/CurveParameters
0m00.38s | Specific/montgomery32_2e384m2e128m2e96p2e32m1/CurveParameters
0m00.38s | Specific/montgomery64_2e291m19/CurveParameters
0m00.38s | Specific/montgomery32_2e194m33/CurveParameters
0m00.38s | Specific/solinas32_2e510m290x2e496m1/CurveParameters
0m00.38s | Specific/montgomery32_2e174m3/CurveParameters
0m00.38s | Specific/solinas32_2e414m17/CurveParameters
0m00.38s | Specific/solinas64_2e189m25/CurveParameters
0m00.38s | Specific/solinas32_2e213m3/CurveParameters
0m00.38s | Specific/solinas64_2e230m27/CurveParameters
0m00.38s | Specific/solinas32_2e206m5/CurveParameters
0m00.38s | Specific/montgomery32_2e192m2e64m1/CurveParameters
0m00.38s | Specific/montgomery32_2e196m15/CurveParameters
0m00.38s | Specific/montgomery32_2e152m17/CurveParameters
0m00.38s | Specific/solinas32_2e127m1/CurveParameters
0m00.38s | Specific/montgomery64_2e152m17/CurveParameters
0m00.38s | Specific/montgomery32_2e137m13/CurveParameters
0m00.38s | Specific/solinas64_2e448m2e224m1/CurveParameters
0m00.38s | Specific/montgomery32_2e488m17/CurveParameters
0m00.38s | Compilers/Named/PositiveContext
0m00.38s | Specific/solinas32_2e226m5/CurveParameters
0m00.38s | Specific/montgomery32_2e150m3/CurveParameters
0m00.38s | Specific/montgomery32_2e255m19/CurveParameters
0m00.38s | Specific/solinas64_2e166m5/CurveParameters
0m00.38s | Specific/solinas32_2e205m45x2e198m1/CurveParameters
0m00.38s | Specific/montgomery64_2e480m2e240m1/CurveParameters
0m00.38s | Specific/solinas32_2e468m17/CurveParameters
0m00.38s | Specific/montgomery64_2e495m31/CurveParameters
0m00.38s | Specific/solinas64_2e226m5/CurveParameters
0m00.38s | Specific/montgomery32_2e379m19/CurveParameters
0m00.38s | Specific/montgomery64_2e511m187/CurveParameters
0m00.38s | Specific/solinas32_2e256m189/CurveParameters
0m00.38s | Specific/solinas64_2e165m25/CurveParameters
0m00.38s | Specific/solinas64_2e256m2e224p2e192p2e96m1/CurveParameters
0m00.38s | Specific/solinas64_2e129m25/CurveParameters
0m00.38s | Specific/solinas32_2e171m19/CurveParameters
0m00.38s | Specific/solinas32_2e166m5/CurveParameters
0m00.38s | Specific/montgomery32_2e255m765/CurveParameters
0m00.38s | Algebra/Monoid
0m00.38s | Specific/solinas64_2e384m2e128m2e96p2e32m1/CurveParameters
0m00.38s | Specific/solinas32_2e384m5x2e368m1/CurveParameters
0m00.38s | Specific/montgomery64_2e450m2e225m1/CurveParameters
0m00.38s | Specific/montgomery32_2e521m1/CurveParameters
0m00.38s | Specific/solinas32_2e194m33/CurveParameters
0m00.38s | Specific/solinas32_2e198m17/CurveParameters
0m00.38s | Specific/solinas32_2e158m15/CurveParameters
0m00.38s | Specific/montgomery64_2e416m2e208m1/CurveParameters
0m00.38s | Specific/solinas32_2e266m3/CurveParameters
0m00.38s | Specific/montgomery64_2e256m2e224p2e192p2e96m1/CurveParameters
0m00.38s | Specific/montgomery64_2e130m5/CurveParameters
0m00.38s | Specific/montgomery64_2e190m11/CurveParameters
0m00.38s | Specific/solinas32_2e511m481/CurveParameters
0m00.38s | Specific/montgomery64_2e192m2e64m1/CurveParameters
0m00.38s | Specific/solinas64_2e256m88x2e240m1/CurveParameters
0m00.38s | Specific/montgomery32_2e254m127x2e240m1/CurveParameters
0m00.38s | Compilers/Named/DeadCodeElimination
0m00.38s | Specific/montgomery64_2e255m2e4m2e1m1/CurveParameters
0m00.38s | Specific/montgomery32_2e444m17/CurveParameters
0m00.38s | Specific/solinas32_2e336m3/CurveParameters
0m00.38s | Specific/montgomery64_2e321m9/CurveParameters
0m00.38s | Specific/solinas64_2e212m29/CurveParameters
0m00.38s | Specific/montgomery32_2e235m15/CurveParameters
0m00.38s | Specific/solinas64_2e416m2e208m1/CurveParameters
0m00.38s | Specific/montgomery64_2e129m25/CurveParameters
0m00.38s | Specific/montgomery64_2e189m25/CurveParameters
0m00.38s | Specific/solinas64_2e255m2e4m2e1m1/CurveParameters
0m00.38s | Specific/solinas64_2e198m17/CurveParameters
0m00.38s | Compilers/Named/MapCast
0m00.38s | Specific/montgomery64_2e338m15/CurveParameters
0m00.38s | Specific/montgomery32_2e256m88x2e240m1/CurveParameters
0m00.38s | Specific/montgomery64_2e448m2e224m1/CurveParameters
0m00.37s | Specific/montgomery64_2e511m481/CurveParameters
0m00.37s | Specific/montgomery32_2e510m290x2e496m1/CurveParameters
0m00.37s | Specific/montgomery64_2e158m15/CurveParameters
0m00.37s | Specific/montgomery64_2e379m19/CurveParameters
0m00.37s | Specific/montgomery64_2e174m3/CurveParameters
0m00.37s | Specific/montgomery32_2e414m17/CurveParameters
0m00.37s | Specific/Framework/IntegrationTestDisplayCommonTactics
0m00.37s | Specific/solinas64_2e137m13/CurveParameters
0m00.37s | Specific/solinas64_2e256m2e32m977/CurveParameters
0m00.37s | Specific/montgomery32_2e285m9/CurveParameters
0m00.37s | Specific/montgomery64_2e389m21/CurveParameters
0m00.37s | Specific/solinas32_2e495m31/CurveParameters
0m00.37s | Specific/solinas32_2e489m21/CurveParameters
0m00.37s | Specific/solinas32_2e141m9/CurveParameters
0m00.37s | Specific/montgomery32_2e416m2e208m1/CurveParameters
0m00.37s | Specific/montgomery64_2e166m5/CurveParameters
0m00.37s | Specific/solinas64_2e488m17/CurveParameters
0m00.37s | Specific/solinas64_2e414m17/CurveParameters
0m00.37s | Specific/montgomery64_2e235m15/CurveParameters
0m00.37s | Specific/montgomery64_2e384m2e128m2e96p2e32m1/CurveParameters
0m00.37s | Specific/montgomery64_2e150m3/CurveParameters
0m00.37s | Specific/montgomery64_2e382m105/CurveParameters
0m00.37s | Specific/montgomery32_2e221m3/CurveParameters
0m00.37s | Specific/montgomery32_2e511m187/CurveParameters
0m00.37s | Specific/solinas32_2e137m13/CurveParameters
0m00.37s | Specific/solinas32_2e251m9/CurveParameters
0m00.37s | Specific/montgomery32_2e448m2e224m1/CurveParameters
0m00.37s | Specific/solinas32_2e369m25/CurveParameters
0m00.37s | Specific/montgomery64_2e336m17/CurveParameters
0m00.37s | Specific/solinas64_2e495m31/CurveParameters
0m00.37s | Specific/montgomery64_2e137m13/CurveParameters
0m00.37s | Specific/montgomery32_2e389m21/CurveParameters
0m00.37s | Specific/montgomery64_2e369m25/CurveParameters
0m00.37s | Specific/montgomery64_2e212m29/CurveParameters
0m00.37s | Specific/montgomery64_2e401m31/CurveParameters
0m00.37s | Specific/solinas32_2e384m79x2e376m1/CurveParameters
0m00.37s | Specific/montgomery64_2e512m491x2e496m1/CurveParameters
0m00.37s | Specific/montgomery32_2e401m31/CurveParameters
0m00.37s | Specific/solinas64_2e512m569/CurveParameters
0m00.37s | Specific/solinas64_2e192m2e64m1/CurveParameters
0m00.37s | Specific/solinas32_2e196m15/CurveParameters
0m00.37s | Specific/montgomery32_2e413m21/CurveParameters
0m00.37s | Specific/solinas64_2e222m117/CurveParameters
0m00.37s | Specific/montgomery32_2e129m25/CurveParameters
0m00.37s | Specific/solinas64_2e235m15/CurveParameters
0m00.37s | Specific/montgomery64_2e285m9/CurveParameters
0m00.37s | Specific/montgomery32_2e336m17/CurveParameters
0m00.37s | Specific/Framework/CurveParameters
0m00.37s | Util/ZUtil/MulSplit
0m00.37s | Specific/montgomery32_2e256m2e224p2e192p2e96m1/CurveParameters
0m00.37s | Specific/montgomery32_2e166m5/CurveParameters
0m00.37s | Compilers/MapCastByDeBruijn
0m00.37s | Specific/solinas32_2e285m9/CurveParameters
0m00.37s | Specific/solinas64_2e450m2e225m1/CurveParameters
0m00.37s | Specific/solinas64_2e444m17/CurveParameters
0m00.37s | Specific/montgomery32_2e213m3/CurveParameters
0m00.37s | Specific/solinas32_2e243m9/CurveParameters
0m00.37s | Specific/montgomery32_2e212m29/CurveParameters
0m00.37s | Util/BoundedWord
0m00.37s | Specific/montgomery32_2e230m27/CurveParameters
0m00.37s | Specific/montgomery32_2e206m5/CurveParameters
0m00.37s | Specific/montgomery64_2e336m3/CurveParameters
0m00.37s | Specific/montgomery32_2e480m2e240m1/CurveParameters
0m00.37s | Specific/montgomery64_2e198m17/CurveParameters
0m00.37s | Specific/solinas32_2e192m2e64m1/CurveParameters
0m00.36s | Specific/montgomery32_2e158m15/CurveParameters
0m00.36s | Specific/solinas64_2e511m481/CurveParameters
0m00.36s | Specific/solinas64_2e521m1/CurveParameters
0m00.36s | Specific/montgomery64_2e230m27/CurveParameters
0m00.36s | Specific/solinas32_2e511m187/CurveParameters
0m00.36s | Specific/montgomery64_2e384m79x2e376m1/CurveParameters
0m00.36s | Specific/montgomery64_2e383m421/CurveParameters
0m00.36s | Specific/solinas32_2e338m15/CurveParameters
0m00.36s | Specific/solinas64_2e512m491x2e496m1/CurveParameters
0m00.36s | Specific/Framework/CurveParametersPackage
0m00.36s | Specific/solinas32_2e444m17/CurveParameters
0m00.36s | Specific/solinas64_2e205m45x2e198m1/CurveParameters
0m00.36s | Specific/solinas32_2e512m491x2e496m1/CurveParameters
0m00.36s | Specific/montgomery32_2e140m27/CurveParameters
0m00.36s | Specific/montgomery32_2e243m9/CurveParameters
0m00.36s | Specific/montgomery64_2e414m17/CurveParameters
0m00.36s | Specific/montgomery32_2e369m25/CurveParameters
0m00.36s | Specific/solinas64_2e384m5x2e368m1/CurveParameters
0m00.36s | Compilers/Named/PositiveContext/Defaults
0m00.36s | Specific/solinas32_2e216m2e108m1/CurveParameters
0m00.36s | Specific/solinas64_2e321m9/CurveParameters
0m00.36s | Specific/montgomery32_2e165m25/CurveParameters
0m00.36s | Specific/solinas64_2e384m79x2e376m1/CurveParameters
0m00.36s | Specific/montgomery32_2e384m5x2e368m1/CurveParameters
0m00.36s | Specific/solinas32_2e230m27/CurveParameters
0m00.36s | Specific/solinas32_2e191m19/CurveParameters
0m00.36s | Specific/solinas64_2e206m5/CurveParameters
0m00.36s | Specific/montgomery32_2e226m5/CurveParameters
0m00.36s | Specific/montgomery32_2e191m19/CurveParameters
0m00.36s | Specific/X2555/C128/CurveParameters
0m00.36s | Specific/solinas64_2e127m1/CurveParameters
0m00.36s | Specific/montgomery32_2e198m17/CurveParameters
0m00.36s | Specific/solinas32_2e224m2e96p1/CurveParameters
0m00.36s | Specific/montgomery32_2e141m9/CurveParameters
0m00.36s | Specific/montgomery64_2e384m5x2e368m1/CurveParameters
0m00.36s | Specific/solinas32_2e452m3/CurveParameters
0m00.36s | Specific/montgomery32_2e336m3/CurveParameters
0m00.36s | Specific/montgomery32_2e512m491x2e496m1/CurveParameters
0m00.36s | Specific/montgomery64_2e254m127x2e240m1/CurveParameters
0m00.36s | Compilers/Tuple
0m00.36s | Specific/montgomery64_2e165m25/CurveParameters
0m00.36s | Specific/montgomery32_2e383m421/CurveParameters
0m00.36s | Specific/montgomery64_2e171m19/CurveParameters
0m00.36s | Specific/montgomery32_2e382m105/CurveParameters
0m00.36s | Specific/solinas64_2e216m2e108m1/CurveParameters
0m00.36s | Specific/montgomery64_2e255m19/CurveParameters
0m00.36s | Specific/montgomery32_2e127m1/CurveParameters
0m00.36s | Specific/solinas32_2e235m15/CurveParameters
0m00.36s | Specific/solinas64_2e291m19/CurveParameters
0m00.36s | Specific/solinas64_2e213m3/CurveParameters
0m00.36s | Specific/montgomery32_2e495m31/CurveParameters
0m00.36s | Specific/montgomery32_2e251m9/CurveParameters
0m00.36s | Specific/montgomery32_2e174m17/CurveParameters
0m00.36s | Compilers/Named/Syntax
0m00.36s | Specific/montgomery32_2e291m19/CurveParameters
0m00.36s | Specific/solinas64_2e369m25/CurveParameters
0m00.36s | Specific/solinas64_2e401m31/CurveParameters
0m00.36s | Specific/solinas64_2e266m3/CurveParameters
0m00.36s | Specific/montgomery64_2e150m5/CurveParameters
0m00.36s | Specific/solinas64_2e190m11/CurveParameters
0m00.36s | Specific/solinas32_2e256m2e32m977/CurveParameters
0m00.36s | Specific/montgomery32_2e452m3/CurveParameters
0m00.36s | Specific/montgomery32_2e468m17/CurveParameters
0m00.36s | Specific/montgomery32_2e216m2e108m1/CurveParameters
0m00.36s | Specific/solinas32_2e512m569/CurveParameters
0m00.36s | Specific/montgomery64_2e194m33/CurveParameters
0m00.36s | Specific/solinas64_2e285m9/CurveParameters
0m00.36s | Specific/montgomery64_2e444m17/CurveParameters
0m00.36s | Specific/montgomery32_2e384m317/CurveParameters
0m00.36s | Specific/montgomery64_2e413m21/CurveParameters
0m00.36s | Specific/solinas32_2e129m25/CurveParameters
0m00.36s | Specific/solinas64_2e171m19/CurveParameters
0m00.36s | Specific/montgomery32_2e171m19/CurveParameters
0m00.36s | Specific/montgomery32_2e189m25/CurveParameters
0m00.36s | Specific/solinas64_2e322m2e161m1/CurveParameters
0m00.36s | Specific/solinas32_2e321m9/CurveParameters
0m00.36s | Specific/solinas64_2e384m317/CurveParameters
0m00.36s | Specific/solinas32_2e322m2e161m1/CurveParameters
0m00.36s | Specific/solinas64_2e224m2e96p1/CurveParameters
0m00.36s | Specific/solinas64_2e489m21/CurveParameters
0m00.36s | Specific/montgomery32_2e338m15/CurveParameters
0m00.36s | Specific/solinas64_2e221m3/CurveParameters
0m00.36s | Specific/montgomery64_2e141m9/CurveParameters
0m00.36s | Specific/montgomery64_2e383m187/CurveParameters
0m00.35s | Specific/montgomery32_2e384m79x2e376m1/CurveParameters
0m00.35s | Specific/montgomery32_2e322m2e161m1/CurveParameters
0m00.35s | Specific/solinas64_2e130m5/CurveParameters
0m00.35s | Specific/solinas64_2e413m21/CurveParameters
0m00.35s | Specific/solinas64_2e141m9/CurveParameters
0m00.35s | Specific/solinas64_2e158m15/CurveParameters
0m00.35s | Specific/solinas64_2e152m17/CurveParameters
0m00.35s | Specific/montgomery32_2e321m9/CurveParameters
0m00.35s | Specific/solinas32_2e448m2e224m1/CurveParameters
0m00.35s | Specific/solinas32_2e255m19/CurveParameters
0m00.35s | Specific/montgomery32_2e512m569/CurveParameters
0m00.35s | Specific/montgomery64_2e213m3/CurveParameters
0m00.35s | Specific/montgomery32_2e383m187/CurveParameters
0m00.35s | Specific/solinas32_2e256m88x2e240m1/CurveParameters
0m00.35s | Specific/solinas64_2e140m27/CurveParameters
0m00.35s | Specific/solinas32_2e221m3/CurveParameters
0m00.35s | Specific/solinas32_2e384m317/CurveParameters
0m00.35s | Specific/solinas32_2e255m2e4m2e1m1/CurveParameters
0m00.35s | Specific/montgomery64_2e216m2e108m1/CurveParameters
0m00.35s | Specific/montgomery64_2e196m15/CurveParameters
0m00.35s | Specific/montgomery64_2e226m5/CurveParameters
0m00.35s | Specific/montgomery64_2e521m1/CurveParameters
0m00.35s | Specific/solinas32_2e174m3/CurveParameters
0m00.35s | Specific/montgomery64_2e243m9/CurveParameters
0m00.35s | Specific/solinas32_2e255m765/CurveParameters
0m00.35s | Specific/solinas64_2e511m187/CurveParameters
0m00.35s | Specific/solinas64_2e480m2e240m1/CurveParameters
0m00.35s | Util/ZUtil/Tactics/Ztestbit
0m00.35s | Compilers/Named/RegisterAssign
0m00.35s | Specific/solinas32_2e413m21/CurveParameters
0m00.35s | Specific/montgomery64_2e452m3/CurveParameters
0m00.34s | Specific/solinas64_2e191m19/CurveParameters
0m00.34s | Compilers/Z/OpInversion
0m00.34s | Specific/solinas32_2e401m31/CurveParameters
0m00.34s | Specific/montgomery64_2e256m189/CurveParameters
0m00.34s | Specific/montgomery64_2e140m27/CurveParameters
0m00.34s | Specific/montgomery32_2e256m2e32m977/CurveParameters
0m00.34s | Specific/solinas64_2e468m17/CurveParameters
0m00.34s | Specific/montgomery32_2e222m117/CurveParameters
0m00.34s | Util/ZUtil/Tactics
0m00.34s | Compilers/Linearize
0m00.34s | Specific/montgomery32_2e224m2e96p1/CurveParameters
0m00.34s | Compilers/Named/GetNames
0m00.34s | Specific/montgomery64_2e251m9/CurveParameters
0m00.34s | Specific/solinas64_2e243m9/CurveParameters
0m00.34s | Specific/solinas32_2e189m25/CurveParameters
0m00.34s | Specific/solinas64_2e194m33/CurveParameters
0m00.34s | Specific/solinas32_2e291m19/CurveParameters
0m00.34s | Specific/montgomery64_2e488m17/CurveParameters
0m00.33s | Compilers/Named/InterpretToPHOAS
0m00.33s | Compilers/Named/ContextDefinitions
0m00.33s | Compilers/Named/InterpSideConditions
0m00.33s | Specific/solinas32_2e384m2e128m2e96p2e32m1/CurveParameters
0m00.33s | Compilers/Z/TypeInversion
0m00.32s | Specific/solinas64_2e150m5/CurveParameters
0m00.32s | Compilers/Named/ContextProperties/Tactics
0m00.32s | Compilers/Inline
0m00.32s | Util/IdfunWithAlt
0m00.32s | Compilers/CountLets
0m00.32s | Compilers/Z/Bounds/Pipeline/OutputType
0m00.32s | Compilers/Named/CountLets
0m00.31s | Compilers/Named/Compile
0m00.31s | Compilers/Named/Context
0m00.31s | Compilers/Named/EstablishLiveness
0m00.29s | Util/ZUtil/Definitions
0m00.29s | Arithmetic/MontgomeryReduction/WordByWord/Abstract/Dependent/Definition
0m00.28s | Util/ZUtil/Zselect
0m00.28s | Compilers/ExprInversion
0m00.28s | Compilers/Named/Wf
0m00.26s | Util/Sum
0m00.26s | Compilers/Equality
0m00.25s | Util/ZUtil/Land
0m00.24s | Algebra/Hierarchy
0m00.22s | Compilers/EtaInterp
0m00.21s | Util/PointedProp
0m00.19s | Util/ForLoop
0m00.19s | Util/ZUtil/Notations
0m00.14s | Compilers/Wf
0m00.13s | Util/Option
0m00.13s | Compilers/RewriterWf
0m00.11s | Compilers/Named/NameUtil
0m00.10s | Specific/Framework/Packages
0m00.10s | Compilers/TypeInversion
0m00.09s | Util/TagList
0m00.08s | Util/Relations
0m00.07s | Compilers/RewriterInterp
0m00.07s | Compilers/Eta
0m00.06s | Compilers/Syntax
0m00.06s | Compilers/RenameBinders
0m00.06s | Compilers/InterpSideConditions
0m00.05s | Compilers/TypeUtil
0m00.04s | Compilers/Rewriter
0m00.04s | Util/Tactics/MoveLetIn
0m00.04s | Util/Notations
0m00.04s | Util/Logic
0m00.04s | Util/Tactics/DestructHead
0m00.04s | Util/Tactics/CacheTerm
0m00.04s | Util/LetIn
0m00.04s | Util/Tactics/BreakMatch
0m00.03s | Util/Tactics/Head
0m00.03s | Util/Tactics/SpecializeBy
0m00.03s | Util/FixCoqMistakes
0m00.03s | Util/Tactics/SplitInContext
0m00.03s | Util/Tactics/DestructHyps
0m00.02s | Util/Tactics/UniquePose
0m00.02s | Util/Tactics/DoWithHyp
|
| | |
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
This allows it to be something other than log2(m)/sz.
After | File Name | Before || Change
-------------------------------------------------------------------------------------------
8m20.82s | Total | 8m37.82s || -0m17.00s
-------------------------------------------------------------------------------------------
1m59.42s | Specific/NISTP256/AMD64/femul | 2m19.09s || -0m19.67s
3m28.66s | Specific/X25519/C64/ladderstep | 3m28.02s || +0m00.63s
0m24.97s | Specific/X25519/C64/femul | 0m24.60s || +0m00.36s
0m24.08s | Specific/NISTP256/AMD64/fesub | 0m23.48s || +0m00.59s
0m22.00s | Specific/NISTP256/AMD64/feadd | 0m21.34s || +0m00.66s
0m20.34s | Specific/X25519/C64/freeze | 0m19.76s || +0m00.57s
0m19.85s | Specific/X25519/C64/fesquare | 0m19.93s || -0m00.07s
0m18.04s | Specific/NISTP256/AMD64/feopp | 0m17.69s || +0m00.34s
0m15.10s | Specific/NISTP256/AMD64/fenz | 0m15.37s || -0m00.26s
0m08.31s | Specific/NISTP256/AMD64/Synthesis | 0m08.24s || +0m00.07s
0m05.96s | Specific/X25519/C64/Synthesis | 0m06.25s || -0m00.29s
0m02.10s | Specific/Framework/ArithmeticSynthesis/Defaults | 0m02.14s || -0m00.04s
0m01.00s | Specific/Framework/SynthesisFramework | 0m01.03s || -0m00.03s
0m00.97s | Specific/Framework/ArithmeticSynthesis/Base | 0m01.02s || -0m00.05s
0m00.89s | Specific/Framework/ArithmeticSynthesis/Freeze | 0m00.84s || +0m00.05s
0m00.80s | Specific/Framework/ArithmeticSynthesis/Karatsuba | 0m00.81s || -0m00.01s
0m00.79s | Specific/Framework/ArithmeticSynthesis/MontgomeryPackage | 0m00.80s || -0m00.01s
0m00.76s | Specific/Framework/MontgomeryReificationTypesPackage | 0m00.75s || +0m00.01s
0m00.74s | Specific/Framework/ReificationTypesPackage | 0m00.77s || -0m00.03s
0m00.74s | Specific/Framework/ArithmeticSynthesis/BasePackage | 0m00.74s || +0m00.00s
0m00.73s | Specific/Framework/ArithmeticSynthesis/SquareFromMul | 0m00.70s || +0m00.03s
0m00.72s | Specific/Framework/ArithmeticSynthesis/DefaultsPackage | 0m00.68s || +0m00.03s
0m00.70s | Specific/Framework/ArithmeticSynthesis/LadderstepPackage | 0m00.72s || -0m00.02s
0m00.70s | Specific/Framework/ArithmeticSynthesis/FreezePackage | 0m00.77s || -0m00.07s
0m00.69s | Specific/Framework/ArithmeticSynthesis/KaratsubaPackage | 0m00.70s || -0m00.01s
0m00.42s | Specific/X25519/C64/CurveParameters | 0m00.38s || +0m00.03s
0m00.36s | Specific/Framework/CurveParameters | 0m00.32s || +0m00.03s
0m00.33s | Specific/Framework/RawCurveParameters | 0m00.29s || +0m00.04s
0m00.33s | Specific/Framework/CurveParametersPackage | 0m00.30s || +0m00.03s
0m00.32s | Specific/NISTP256/AMD64/CurveParameters | 0m00.30s || +0m00.02s
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
This is a first step towards removing module functors from the code
generation
After | File Name | Before || Change
---------------------------------------------------------------------------------------------
13m12.84s | Total | 13m13.24s || -0m00.39s
---------------------------------------------------------------------------------------------
2m09.48s | Specific/X25519/C64/ladderstep | 2m03.07s || +0m06.40s
1m08.48s | Specific/X2448/Karatsuba/C64/femul | 1m12.93s || -0m04.45s
1m33.58s | Specific/NISTP256/AMD64/femul | 1m30.93s || +0m02.64s
1m06.71s | Specific/X2555/C128/ladderstep | 1m09.55s || -0m02.84s
0m35.01s | Specific/X25519/C32/fesquare | 0m36.58s || -0m01.57s
1m02.68s | Specific/X25519/C32/femul | 1m02.39s || +0m00.28s
0m44.51s | Specific/X2448/Karatsuba/C64/Synthesis | 0m44.29s || +0m00.21s
0m31.30s | Specific/X25519/C32/Synthesis | 0m31.17s || +0m00.12s
0m26.73s | Specific/X25519/C32/freeze | 0m27.38s || -0m00.64s
0m22.81s | Specific/NISTP256/AMD128/femul | 0m23.28s || -0m00.47s
0m20.30s | Specific/NISTP256/AMD64/fesub | 0m20.02s || +0m00.28s
0m17.76s | Specific/NISTP256/AMD64/feadd | 0m17.70s || +0m00.06s
0m17.04s | Specific/X25519/C64/femul | 0m17.51s || -0m00.47s
0m15.18s | Specific/X25519/C64/freeze | 0m14.93s || +0m00.25s
0m15.14s | Specific/NISTP256/AMD64/feopp | 0m15.32s || -0m00.17s
0m14.72s | Specific/NISTP256/AMD64/fenz | 0m14.68s || +0m00.04s
0m14.50s | Specific/X25519/C64/fesquare | 0m14.54s || -0m00.03s
0m14.26s | Specific/NISTP256/AMD128/feadd | 0m14.48s || -0m00.22s
0m14.21s | Specific/NISTP256/AMD128/fesub | 0m14.43s || -0m00.21s
0m14.10s | Specific/NISTP256/AMD128/fenz | 0m14.07s || +0m00.02s
0m11.67s | Specific/NISTP256/AMD128/feopp | 0m11.67s || +0m00.00s
0m10.12s | Specific/X25519/C64/Synthesis | 0m10.42s || -0m00.30s
0m08.53s | Specific/NISTP256/AMD64/Synthesis | 0m08.44s || +0m00.08s
0m06.44s | Specific/X2555/C128/Synthesis | 0m06.30s || +0m00.14s
0m03.65s | Specific/NISTP256/AMD128/Synthesis | 0m03.60s || +0m00.04s
0m01.00s | Specific/X25519/C32/CurveParameters | 0m01.07s || -0m00.07s
0m00.98s | Specific/Framework/SynthesisFramework | 0m01.00s || -0m00.02s
0m00.80s | Specific/Framework/ArithmeticSynthesis/Freeze | 0m00.73s || +0m00.07s
0m00.79s | Specific/Framework/ArithmeticSynthesis/Defaults | 0m00.74s || +0m00.05s
0m00.78s | Specific/Framework/ArithmeticSynthesis/Karatsuba | 0m00.79s || -0m00.01s
0m00.75s | Specific/Framework/ArithmeticSynthesis/MontgomeryPackage | 0m00.71s || +0m00.04s
0m00.74s | Specific/Framework/ArithmeticSynthesis/Base | 0m00.77s || -0m00.03s
0m00.73s | Specific/Framework/ArithmeticSynthesis/FreezePackage | 0m00.69s || +0m00.04s
0m00.73s | Specific/Framework/MontgomeryReificationTypesPackage | 0m00.70s || +0m00.03s
0m00.72s | Specific/Framework/ReificationTypesPackage | 0m00.75s || -0m00.03s
0m00.70s | Specific/Framework/ArithmeticSynthesis/KaratsubaPackage | 0m00.70s || +0m00.00s
0m00.69s | Specific/Framework/ArithmeticSynthesis/DefaultsPackage | 0m00.70s || -0m00.01s
0m00.68s | Specific/Framework/ArithmeticSynthesis/SquareFromMul | 0m00.72s || -0m00.03s
0m00.66s | Specific/Framework/ArithmeticSynthesis/LadderstepPackage | 0m00.69s || -0m00.02s
0m00.65s | Specific/Framework/ArithmeticSynthesis/BasePackage | 0m00.66s || -0m00.01s
0m00.43s | Specific/X25519/C64/CurveParameters | 0m00.39s || +0m00.03s
0m00.34s | Specific/Framework/CurveParameters | 0m00.29s || +0m00.05s
0m00.32s | Specific/X2555/C128/CurveParameters | 0m00.30s || +0m00.02s
0m00.30s | Specific/NISTP256/AMD128/CurveParameters | 0m00.28s || +0m00.01s
0m00.30s | Specific/X2448/Karatsuba/C64/CurveParameters | 0m00.31s || -0m00.01s
0m00.30s | Specific/Framework/CurveParametersPackage | 0m00.29s || +0m00.01s
0m00.29s | Specific/NISTP256/AMD64/CurveParameters | 0m00.29s || +0m00.00s
0m00.26s | Specific/Framework/RawCurveParameters | N/A || +0m00.26s
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
Extra time comes from adding AMD128 to NISTP256, mostly.
After | File Name | Before || Change
---------------------------------------------------------------------------------------------
13m25.13s | Total | 13m30.82s || -0m05.69s
---------------------------------------------------------------------------------------------
N/A | Specific/IntegrationTestMontgomeryP256_128 | 0m25.42s || -0m25.42s
0m22.75s | Specific/NISTP256/AMD128/femul | N/A || +0m22.75s
1m31.64s | Specific/NISTP256/AMD64/femul | 1m52.42s || -0m20.78s
0m14.46s | Specific/NISTP256/AMD128/fesub | N/A || +0m14.46s
0m14.25s | Specific/NISTP256/AMD128/feadd | N/A || +0m14.25s
0m14.12s | Specific/NISTP256/AMD128/fenz | N/A || +0m14.11s
N/A | Specific/NISTP256/AMD64/MontgomeryP256 | 0m13.00s || -0m13.00s
N/A | Specific/IntegrationTestMontgomeryP256_128_Sub | 0m12.40s || -0m12.40s
N/A | Specific/IntegrationTestMontgomeryP256_128_Add | 0m11.99s || -0m11.99s
0m11.74s | Specific/NISTP256/AMD128/feopp | N/A || +0m11.74s
N/A | Specific/IntegrationTestMontgomeryP256_128_Opp | 0m11.22s || -0m11.22s
N/A | Specific/IntegrationTestMontgomeryP256_128_Nonzero | 0m09.27s || -0m09.26s
N/A | Specific/MontgomeryP256_128 | 0m09.26s || -0m09.25s
0m08.42s | Specific/NISTP256/AMD64/Synthesis | N/A || +0m08.41s
0m14.67s | Specific/NISTP256/AMD64/fenz | 0m09.98s || +0m04.68s
0m04.12s | Specific/Framework/ArithmeticSynthesis/Montgomery | N/A || +0m04.12s
0m03.58s | Specific/NISTP256/AMD128/Synthesis | N/A || +0m03.58s
1m10.78s | Specific/X2555/C128/ladderstep | 1m08.36s || +0m02.42s
1m02.10s | Specific/X25519/C32/femul | 1m00.59s || +0m01.50s
0m43.59s | Specific/X2448/Karatsuba/C64/Synthesis | 0m44.86s || -0m01.26s
0m34.97s | Specific/X25519/C32/fesquare | 0m35.98s || -0m01.00s
0m20.10s | Specific/NISTP256/AMD64/fesub | 0m18.37s || +0m01.73s
0m17.61s | Specific/NISTP256/AMD64/feadd | 0m15.94s || +0m01.67s
2m09.77s | Specific/X25519/C64/ladderstep | 2m09.79s || -0m00.01s
1m11.70s | Specific/X2448/Karatsuba/C64/femul | 1m11.60s || +0m00.10s
0m32.14s | Specific/X25519/C32/Synthesis | 0m31.70s || +0m00.44s
0m27.94s | Specific/X25519/C32/freeze | 0m28.06s || -0m00.11s
0m17.62s | Specific/X25519/C64/femul | 0m17.41s || +0m00.21s
0m15.21s | Specific/X25519/C64/freeze | 0m14.74s || +0m00.47s
0m14.86s | Specific/NISTP256/AMD64/feopp | 0m14.96s || -0m00.10s
0m14.58s | Specific/X25519/C64/fesquare | 0m14.06s || +0m00.51s
0m10.10s | Specific/X25519/C64/Synthesis | 0m09.78s || +0m00.32s
0m06.22s | Specific/X2555/C128/Synthesis | 0m06.17s || +0m00.04s
0m01.01s | Specific/X25519/C32/CurveParameters | 0m01.05s || -0m00.04s
0m00.99s | Specific/Framework/SynthesisFramework | 0m01.08s || -0m00.09s
0m00.79s | Specific/Framework/MontgomeryReificationTypes | N/A || +0m00.79s
0m00.78s | Specific/Framework/ArithmeticSynthesis/SquareFromMul | 0m00.70s || +0m00.08s
0m00.78s | Specific/Framework/ArithmeticSynthesis/Karatsuba | 0m00.75s || +0m00.03s
0m00.76s | Specific/Framework/ArithmeticSynthesis/MontgomeryPackage | N/A || +0m00.76s
0m00.75s | Specific/Framework/IntegrationTestTemporaryMiscCommon | 0m00.80s || -0m00.05s
0m00.75s | Specific/Framework/MontgomeryReificationTypesPackage | N/A || +0m00.75s
0m00.73s | Specific/Framework/ArithmeticSynthesis/Defaults | 0m00.75s || -0m00.02s
0m00.72s | Specific/Framework/ReificationTypesPackage | 0m00.70s || +0m00.02s
0m00.72s | Specific/Framework/ArithmeticSynthesis/Base | 0m00.73s || -0m00.01s
0m00.72s | Specific/Framework/ArithmeticSynthesis/BasePackage | 0m00.69s || +0m00.03s
0m00.72s | Specific/Framework/ArithmeticSynthesis/LadderstepPackage | 0m00.76s || -0m00.04s
0m00.70s | Specific/Framework/ArithmeticSynthesis/Freeze | 0m00.75s || -0m00.05s
0m00.70s | Specific/Framework/ArithmeticSynthesis/KaratsubaPackage | 0m00.77s || -0m00.07s
0m00.69s | Specific/Framework/ArithmeticSynthesis/DefaultsPackage | 0m00.71s || -0m00.02s
0m00.67s | Specific/Framework/ArithmeticSynthesis/FreezePackage | 0m00.74s || -0m00.06s
0m00.43s | Specific/X25519/C64/CurveParameters | 0m00.43s || +0m00.00s
0m00.38s | Specific/Framework/IntegrationTestDisplayCommon | 0m00.40s || -0m00.02s
0m00.38s | Specific/Framework/IntegrationTestDisplayCommonTactics | 0m00.37s || +0m00.01s
0m00.34s | Specific/Framework/CurveParameters | 0m00.32s || +0m00.02s
0m00.33s | Specific/X2555/C128/CurveParameters | 0m00.33s || +0m00.00s
0m00.32s | Specific/NISTP256/AMD128/CurveParameters | N/A || +0m00.32s
0m00.32s | Specific/X2448/Karatsuba/C64/CurveParameters | 0m00.33s || -0m00.01s
0m00.31s | Specific/Framework/CurveParametersPackage | 0m00.33s || -0m00.02s
0m00.30s | Specific/NISTP256/AMD64/CurveParameters | N/A || +0m00.30s
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
This brings in most of the changes that I made when figuring out how to
integrate montgomery into the framework.
The code is a bit slower because the we drop `Print Assumptions` at the
bottom of each synthesis problem, to record that things are closed under
the global context. If we remove this, we get back the time that we
lost with this commit.
After | File Name | Before || Change
---------------------------------------------------------------------------------------------
13m10.63s | Total | 11m51.91s || +1m18.71s
---------------------------------------------------------------------------------------------
1m15.83s | Specific/X2555/C128/ladderstep | 1m02.57s || +0m13.25s
1m03.07s | Specific/X25519/C32/femul | 0m54.99s || +0m08.07s
0m36.49s | Specific/X25519/C32/fesquare | 0m27.77s || +0m08.72s
1m08.99s | Specific/X2448/Karatsuba/C64/femul | 1m01.88s || +0m07.10s
0m26.82s | Specific/X25519/C32/freeze | 0m19.81s || +0m07.01s
2m06.29s | Specific/X25519/C64/ladderstep | 2m00.03s || +0m06.26s
0m17.48s | Specific/X25519/C64/femul | 0m10.81s || +0m06.67s
0m14.78s | Specific/X25519/C64/freeze | 0m08.19s || +0m06.58s
0m14.12s | Specific/X25519/C64/fesquare | 0m07.45s || +0m06.66s
1m48.54s | Specific/NISTP256/AMD64/femul | 1m51.58s || -0m03.04s
0m44.50s | Specific/X2448/Karatsuba/C64/Synthesis | 0m43.81s || +0m00.68s
0m31.40s | Specific/X25519/C32/Synthesis | 0m31.02s || +0m00.37s
0m25.72s | Specific/IntegrationTestMontgomeryP256_128 | 0m25.34s || +0m00.37s
0m18.36s | Specific/NISTP256/AMD64/fesub | 0m18.79s || -0m00.42s
0m16.45s | Specific/NISTP256/AMD64/feadd | 0m16.40s || +0m00.05s
0m15.15s | Specific/NISTP256/AMD64/feopp | 0m14.79s || +0m00.36s
0m12.27s | Specific/IntegrationTestMontgomeryP256_128_Sub | 0m11.90s || +0m00.36s
0m12.06s | Specific/IntegrationTestMontgomeryP256_128_Add | 0m11.89s || +0m00.16s
0m10.93s | Specific/IntegrationTestMontgomeryP256_128_Opp | 0m11.39s || -0m00.46s
0m10.12s | Specific/X25519/C64/Synthesis | 0m09.86s || +0m00.25s
0m09.86s | Specific/NISTP256/AMD64/fenz | 0m09.54s || +0m00.32s
0m09.40s | Specific/IntegrationTestMontgomeryP256_128_Nonzero | 0m09.16s || +0m00.24s
0m06.08s | Specific/X2555/C128/Synthesis | 0m05.72s || +0m00.36s
0m01.06s | Specific/Framework/SynthesisFramework | 0m00.98s || +0m00.08s
0m01.05s | Specific/X25519/C32/CurveParameters | 0m01.01s || +0m00.04s
0m00.88s | Specific/Framework/ReificationTypes | 0m00.84s || +0m00.04s
N/A | Specific/Framework/ArithmeticSynthesisFramework | 0m00.82s || -0m00.82s
0m00.81s | Specific/Framework/ArithmeticSynthesis/Karatsuba | N/A || +0m00.81s
0m00.79s | Specific/Framework/ArithmeticSynthesis/SquareFromMul | N/A || +0m00.79s
0m00.79s | Specific/Framework/ArithmeticSynthesis/Base | N/A || +0m00.79s
0m00.79s | Specific/Framework/ArithmeticSynthesis/Freeze | N/A || +0m00.79s
0m00.78s | Specific/Framework/ArithmeticSynthesis/BasePackage | N/A || +0m00.78s
0m00.76s | Specific/Framework/IntegrationTestTemporaryMiscCommon | 0m00.78s || -0m00.02s
0m00.74s | Specific/Framework/ArithmeticSynthesis/HelperTactics | N/A || +0m00.74s
0m00.74s | Specific/Framework/ArithmeticSynthesis/KaratsubaPackage | N/A || +0m00.74s
0m00.73s | Specific/Framework/ArithmeticSynthesis/FreezePackage | N/A || +0m00.73s
0m00.72s | Specific/Framework/ReificationTypesPackage | N/A || +0m00.72s
0m00.70s | Specific/Framework/ArithmeticSynthesis/Defaults | N/A || +0m00.70s
0m00.69s | Specific/Framework/ArithmeticSynthesis/LadderstepPackage | N/A || +0m00.69s
0m00.69s | Specific/Framework/ArithmeticSynthesis/DefaultsPackage | N/A || +0m00.69s
0m00.68s | Specific/Framework/ArithmeticSynthesis/Ladderstep | N/A || +0m00.68s
N/A | Specific/Framework/LadderstepSynthesisFramework | 0m00.68s || -0m00.68s
0m00.42s | Specific/Framework/IntegrationTestDisplayCommon | 0m00.39s || +0m00.02s
0m00.40s | Specific/X25519/C64/CurveParameters | 0m00.44s || -0m00.03s
0m00.34s | Specific/Framework/IntegrationTestDisplayCommonTactics | 0m00.35s || -0m00.00s
0m00.33s | Specific/X2555/C128/CurveParameters | 0m00.31s || +0m00.02s
0m00.33s | Specific/Framework/CurveParameters | 0m00.31s || +0m00.02s
0m00.33s | Specific/Framework/CurveParametersPackage | N/A || +0m00.33s
0m00.31s | Specific/X2448/Karatsuba/C64/CurveParameters | 0m00.32s || -0m00.01s
0m00.07s | Specific/Framework/Packages | N/A || +0m00.07s
|
|
|
The json format now takes an additional, optional "goldilocks" boolean /
boolean-string key determining if we're doing karatsuba.
|
Jason Gross