fiat-crypto - fast, formally verified cryptography

	Commit message (Collapse)	Author	Age
*	new autogenerated files	jadep	2017-11-12
\|
*	Update display logs and c files	Jason Gross	2017-11-10
\|
*	Add display logs	Jason Gross	2017-10-18
	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

|

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