https://github.com/mit-plv/fiat-crypto
Raw File
Tip revision: 0b1ebe16c40ae1bb3a37ee4b09a88ac177df1dc7 authored by Jason Gross on 28 June 2021, 17:28:42 UTC
Fix perf.csv generation
Tip revision: 0b1ebe1
perf-graph-7.csv
prime,"GallinaAxOf with vm_compute (real, s)","GallinaAxOf with cbv (real, s)","PipelineFlatNBEOf with extraction OCaml (real, s)","PipelineNBEOf with vm_compute (real, s)",extra info
170141183460469231731687303715884105727,0.033,0.845,0.026762,0.162,UnsaturatedSolinas x32 (0)
170141183460469231731687303715884105727,0.012,0.383,0.012674,0.082,UnsaturatedSolinas x64 (0)
170141183460469231731687303715884105727,0.19,4.746,0.088463,0.939,WordByWordMontgomery x32 
170141183460469231731687303715884105727,0.023,0.522,0.019355,0.105,WordByWordMontgomery x64 
680564733841876926926749214863536422887,0.034,0.85,0.024912,0.179,UnsaturatedSolinas x32 (0)
680564733841876926926749214863536422887,0.012,0.358,0.010282,0.071,UnsaturatedSolinas x64 (0)
680564733841876926926749214863536422887,0.598,12.3,0.214810,2.127,WordByWordMontgomery x32 
680564733841876926926749214863536422887,0.139,3.312,0.040220,0.428,WordByWordMontgomery x64 
1361129467683753853853498429727072845819,0.033,0.862,0.019042,0.182,UnsaturatedSolinas x32 (0)
1361129467683753853853498429727072845819,0.012,0.393,0.011426,0.074,UnsaturatedSolinas x64 (0)
1361129467683753853853498429727072845819,0.605,11.949,0.223690,2.155,WordByWordMontgomery x32 
1361129467683753853853498429727072845819,0.138,3.24,0.041017,0.44,WordByWordMontgomery x64 
174224571863520493293247799005065324265459,0.055,1.401,0.025786,0.271,UnsaturatedSolinas x32 (0)
174224571863520493293247799005065324265459,0.013,0.387,0.007498,0.078,UnsaturatedSolinas x64 (0)
174224571863520493293247799005065324265459,0.598,12.457,0.226458,2.112,WordByWordMontgomery x32 
174224571863520493293247799005065324265459,0.137,3.235,0.041168,0.462,WordByWordMontgomery x64 
1393796574908163946345982392040522594123749,0.057,1.471,0.024220,0.274,UnsaturatedSolinas x32 (0)
1393796574908163946345982392040522594123749,0.014,0.4,0.006821,0.071,UnsaturatedSolinas x64 (0)
1393796574908163946345982392040522594123749,0.608,11.934,0.211079,2.164,WordByWordMontgomery x32 
1393796574908163946345982392040522594123749,0.138,3.272,0.040161,0.436,WordByWordMontgomery x64 
2787593149816327892691964784081045188247543,0.058,1.406,0.023581,0.28,UnsaturatedSolinas x32 (0)
2787593149816327892691964784081045188247543,0.014,0.391,0.011475,0.08,UnsaturatedSolinas x64 (0)
2787593149816327892691964784081045188247543,0.608,11.958,0.214536,2.166,WordByWordMontgomery x32 
2787593149816327892691964784081045188247543,0.137,3.088,0.040299,0.439,WordByWordMontgomery x64 
1427247692705959881058285969449495136382746619,0.064,1.594,0.030299,0.284,UnsaturatedSolinas x32 (0)
1427247692705959881058285969449495136382746619,0.015,0.417,0.007721,0.072,UnsaturatedSolinas x64 (0)
1427247692705959881058285969449495136382746619,0.604,12.578,0.201472,2.104,WordByWordMontgomery x32 
1427247692705959881058285969449495136382746619,0.138,3.228,0.037616,0.428,WordByWordMontgomery x64 
1427247692705959881058285969449495136382746621,0.063,1.584,0.022245,0.284,UnsaturatedSolinas x32 (0)
1427247692705959881058285969449495136382746621,0.015,0.416,0.008163,0.072,UnsaturatedSolinas x64 (0)
1427247692705959881058285969449495136382746621,0.595,11.889,0.200006,2.156,WordByWordMontgomery x32 
1427247692705959881058285969449495136382746621,0.138,3.096,0.040092,0.413,WordByWordMontgomery x64 
5708990770823839524233143877797980545530986479,0.066,1.76,0.024623,0.293,UnsaturatedSolinas x32 (0)
5708990770823839524233143877797980545530986479,0.016,0.438,0.007789,0.085,UnsaturatedSolinas x64 (0)
5708990770823839524233143877797980545530986479,0.609,11.867,0.220500,2.164,WordByWordMontgomery x32 
5708990770823839524233143877797980545530986479,0.137,3.246,0.037790,0.439,WordByWordMontgomery x64 
365375409332725729550921208179070754913983135729,0.07,1.735,0.023565,0.277,UnsaturatedSolinas x32 (0)
365375409332725729550921208179070754913983135729,0.017,0.474,0.012525,0.086,UnsaturatedSolinas x64 (0)
365375409332725729550921208179070754913983135729,0.597,11.904,0.200417,2.161,WordByWordMontgomery x32 
365375409332725729550921208179070754913983135729,0.138,3.256,0.043355,0.434,WordByWordMontgomery x64 
46768052394588893382517914646921056628989841375207,0.106,2.674,0.031618,0.415,UnsaturatedSolinas x32 (0)
46768052394588893382517914646921056628989841375207,0.018,0.504,0.007388,0.096,UnsaturatedSolinas x64 (0)
46768052394588893382517914646921056628989841375207,1.437,31.022,0.463970,,WordByWordMontgomery x32 
46768052394588893382517914646921056628989841375207,0.139,3.116,0.037590,0.439,WordByWordMontgomery x64 
93536104789177786765035829293842113257979682750459,0.107,2.661,0.030113,0.388,UnsaturatedSolinas x32 (0)
93536104789177786765035829293842113257979682750459,0.018,0.517,0.008601,0.084,UnsaturatedSolinas x64 (0)
93536104789177786765035829293842113257979682750459,1.427,32.868,0.449813,,WordByWordMontgomery x32 
93536104789177786765035829293842113257979682750459,0.139,3.266,0.044747,0.417,WordByWordMontgomery x64 
2993155353253689176481146537402947624255349848014829,0.113,2.891,0.032105,0.42,UnsaturatedSolinas x32 (0)
2993155353253689176481146537402947624255349848014829,0.019,0.542,0.007272,0.096,UnsaturatedSolinas x64 (0)
2993155353253689176481146537402947624255349848014829,1.426,32.961,0.443877,,WordByWordMontgomery x32 
2993155353253689176481146537402947624255349848014829,0.139,3.129,0.042770,0.44,WordByWordMontgomery x64 
23945242826029513411849172299223580994042798784118767,0.12,2.882,0.034052,0.422,UnsaturatedSolinas x32 (0)
23945242826029513411849172299223580994042798784118767,0.02,0.554,0.012122,,UnsaturatedSolinas x64 (0)
23945242826029513411849172299223580994042798784118767,1.432,33.234,0.465171,,WordByWordMontgomery x32 
23945242826029513411849172299223580994042798784118767,0.139,3.201,0.046795,0.457,WordByWordMontgomery x64 
23945242826029513411849172299223580994042798784118781,0.117,2.986,0.038034,0.394,UnsaturatedSolinas x32 (0)
23945242826029513411849172299223580994042798784118781,0.019,0.55,0.006046,0.096,UnsaturatedSolinas x64 (0)
23945242826029513411849172299223580994042798784118781,1.423,31.199,0.459051,,WordByWordMontgomery x32 
23945242826029513411849172299223580994042798784118781,0.139,3.27,0.036165,0.444,WordByWordMontgomery x64 
784637716923335095479473677900958302012794430558004314087,0.183,4.558,0.044233,0.551,UnsaturatedSolinas x32 (0)
784637716923335095479473677900958302012794430558004314087,0.04,1.076,0.011104,0.137,UnsaturatedSolinas x64 (0)
784637716923335095479473677900958302012794430558004314087,1.412,31.377,0.425388,,WordByWordMontgomery x32 
784637716923335095479473677900958302012794430558004314087,0.14,3.384,0.035268,0.422,WordByWordMontgomery x64 
1569275433846670190958947355801916604025588861116008628213,0.184,4.469,0.044995,0.581,UnsaturatedSolinas x32 (0)
1569275433846670190958947355801916604025588861116008628213,0.04,1.111,0.010614,0.126,UnsaturatedSolinas x64 (0)
1569275433846670190958947355801916604025588861116008628213,1.423,32.95,0.417794,,WordByWordMontgomery x32 
1569275433846670190958947355801916604025588861116008628213,0.14,3.176,0.034602,0.442,WordByWordMontgomery x64 
3138550867693340381917894711603833208051177722232017256429,0.186,4.487,0.045895,0.574,UnsaturatedSolinas x32 (0)
3138550867693340381917894711603833208051177722232017256429,0.043,1.088,0.011452,0.135,UnsaturatedSolinas x64 (0)
3138550867693340381917894711603833208051177722232017256429,1.448,33.35,0.425606,,WordByWordMontgomery x32 
3138550867693340381917894711603833208051177722232017256429,0.139,3.385,0.041224,0.456,WordByWordMontgomery x64 
6277101735386680763835789423207666416083908700390324961279,,,,,UnsaturatedSolinas x32 (0)
6277101735386680763835789423207666416083908700390324961279,,,,,UnsaturatedSolinas x64 (0)
6277101735386680763835789423207666416083908700390324961279,,,0.412934,,WordByWordMontgomery x32 
6277101735386680763835789423207666416083908700390324961279,,,0.045749,,WordByWordMontgomery x64 
25108406941546723055343157692830665664409421777856138051551,0.191,4.694,0.048090,0.578,UnsaturatedSolinas x32 (0)
25108406941546723055343157692830665664409421777856138051551,0.041,1.107,0.011005,0.14,UnsaturatedSolinas x64 (0)
25108406941546723055343157692830665664409421777856138051551,3.127,76.051,0.815973,,WordByWordMontgomery x32 
25108406941546723055343157692830665664409421777856138051551,0.57,14.006,0.115557,1.387,WordByWordMontgomery x64 
100433627766186892221372630771322662657637687111424552206321,0.196,5.064,0.045751,0.583,UnsaturatedSolinas x32 (0)
100433627766186892221372630771322662657637687111424552206321,0.042,1.141,0.012812,0.144,UnsaturatedSolinas x64 (0)
100433627766186892221372630771322662657637687111424552206321,3.145,72.078,0.927199,,WordByWordMontgomery x32 
100433627766186892221372630771322662657637687111424552206321,0.57,13.78,0.109945,1.409,WordByWordMontgomery x64 
401734511064747568885490523085290650630550748445698208825327,0.196,4.758,0.046950,0.549,UnsaturatedSolinas x32 (0)
401734511064747568885490523085290650630550748445698208825327,0.043,1.124,0.011358,0.147,UnsaturatedSolinas x64 (0)
401734511064747568885490523085290650630550748445698208825327,3.157,72.115,0.833894,,WordByWordMontgomery x32 
401734511064747568885490523085290650630550748445698208825327,0.57,14.572,0.109301,1.378,WordByWordMontgomery x64 
33343964418374048217495713416079124002335712120992951332503551,,,,,UnsaturatedSolinas x32 (0)
33343964418374048217495713416079124002335712120992951332503551,,,,,UnsaturatedSolinas x64 (0)
33343964418374048217495713416079124002335712120992951332503551,,,0.884496,,WordByWordMontgomery x32 
33343964418374048217495713416079124002335712120992951332503551,,,0.107833,,WordByWordMontgomery x64 
102844034832575377634685573909834406561420991602098741459288059,0.235,5.07,0.045358,0.597,UnsaturatedSolinas x32 (0)
102844034832575377634685573909834406561420991602098741459288059,0.046,1.226,0.012490,0.136,UnsaturatedSolinas x64 (0)
102844034832575377634685573909834406561420991602098741459288059,3.144,76.556,0.826329,,WordByWordMontgomery x32 
102844034832575377634685573909834406561420991602098741459288059,0.569,13.764,0.114476,1.36,WordByWordMontgomery x64 
6582018229284824168619876730229402019930943462534319453394436067,0.312,7.526,0.065009,0.794,UnsaturatedSolinas x32 (0)
6582018229284824168619876730229402019930943462534319453394436067,0.048,1.28,0.011999,0.142,UnsaturatedSolinas x64 (0)
6582018229284824168619876730229402019930943462534319453394436067,3.177,77.088,0.806604,,WordByWordMontgomery x32 
6582018229284824168619876730229402019930943462534319453394436067,0.573,14.601,0.119816,1.342,WordByWordMontgomery x64 
13164036458569648337239753460458804039861886925068638906788872189,0.245,5.891,0.046492,0.576,UnsaturatedSolinas x32 (0)
13164036458569648337239753460458804039861886925068638906788872189,0.049,1.356,0.019010,0.138,UnsaturatedSolinas x64 (0)
13164036458569648337239753460458804039861886925068638906788872189,3.157,76.757,0.828324,,WordByWordMontgomery x32 
13164036458569648337239753460458804039861886925068638906788872189,0.572,13.819,0.116254,1.401,WordByWordMontgomery x64 
105312291668557186697918027683670107800341436973822328098290401279,,,,,UnsaturatedSolinas x32 (0)
105312291668557186697918027683670107800341436973822328098290401279,,,,,UnsaturatedSolinas x64 (0)
105312291668557186697918027683670107800341436973822328098290401279,,,0.896860,,WordByWordMontgomery x32 
105312291668557186697918027683670107800341436973822328098290401279,,,0.117469,,WordByWordMontgomery x64 
3369993333393829974333376885877453834204643052817571560137951281149,0.34,7.889,0.066906,0.835,UnsaturatedSolinas x32 (0)
3369993333393829974333376885877453834204643052817571560137951281149,0.053,1.314,0.020366,0.139,UnsaturatedSolinas x64 (0)
3369993333393829974333376885877453834204643052817571560137951281149,3.139,76.744,0.812555,,WordByWordMontgomery x32 
3369993333393829974333376885877453834204643052817571560137951281149,0.575,14.657,0.111511,1.374,WordByWordMontgomery x64 
6739986666787659948666753771754907668409286105635143120275902562187,0.343,7.682,0.069315,0.798,UnsaturatedSolinas x32 (0)
6739986666787659948666753771754907668409286105635143120275902562187,0.053,1.422,0.020426,0.149,UnsaturatedSolinas x64 (0)
6739986666787659948666753771754907668409286105635143120275902562187,3.132,72.745,0.881784,,WordByWordMontgomery x32 
6739986666787659948666753771754907668409286105635143120275902562187,0.574,13.901,0.117798,1.341,WordByWordMontgomery x64 
26959946667150639794667015087019630673557916260026308143510066298881,,,,,UnsaturatedSolinas x32 (0)
26959946667150639794667015087019630673557916260026308143510066298881,,,,,UnsaturatedSolinas x64 (0)
26959946667150639794667015087019630673557916260026308143510066298881,,,0.820366,,WordByWordMontgomery x32 
26959946667150639794667015087019630673557916260026308143510066298881,,,0.112661,,WordByWordMontgomery x64 
107839786668602559178668060348078522694548577690162289924414440996859,0.33,8.286,0.065934,0.827,UnsaturatedSolinas x32 (0)
107839786668602559178668060348078522694548577690162289924414440996859,0.054,1.411,0.019242,0.151,UnsaturatedSolinas x64 (0)
107839786668602559178668060348078522694548577690162289924414440996859,6.272,150.592,1.665466,,WordByWordMontgomery x32 
107839786668602559178668060348078522694548577690162289924414440996859,0.571,13.889,0.116436,1.355,WordByWordMontgomery x64 
1725436586697640946858688965569256363112777243042596638790631055949797,0.34,8.776,0.069116,0.873,UnsaturatedSolinas x32 (0)
1725436586697640946858688965569256363112777243042596638790631055949797,0.056,1.472,0.020602,0.151,UnsaturatedSolinas x64 (0)
1725436586697640946858688965569256363112777243042596638790631055949797,6.334,161.21,1.791078,,WordByWordMontgomery x32 
1725436586697640946858688965569256363112777243042596638790631055949797,0.571,14.71,0.117137,1.348,WordByWordMontgomery x64 
55213970774324510299478046898216203619608871777363092441300193790394353,0.359,9.118,0.072699,0.87,UnsaturatedSolinas x32 (0)
55213970774324510299478046898216203619608871777363092441300193790394353,0.058,1.528,0.019404,0.144,UnsaturatedSolinas x64 (0)
55213970774324510299478046898216203619608871777363092441300193790394353,6.325,159.423,1.723897,,WordByWordMontgomery x32 
55213970774324510299478046898216203619608871777363092441300193790394353,0.573,14.731,0.118564,1.341,WordByWordMontgomery x64 
14134776518227074636666380005943348126619871175004951664972849610340958199,0.373,9.245,0.072979,0.877,UnsaturatedSolinas x32 (0)
14134776518227074636666380005943348126619871175004951664972849610340958199,0.099,2.597,0.027379,0.229,UnsaturatedSolinas x64 (0)
14134776518227074636666380005943348126619871175004951664972849610340958199,6.281,156.42,1.623079,,WordByWordMontgomery x32 
14134776518227074636666380005943348126619871175004951664972849610340958199,0.62,14.666,0.115237,1.376,WordByWordMontgomery x64 
3618502788666131106986593281521497120414687020801267626233049500247285301239,0.512,13.144,0.096691,1.156,UnsaturatedSolinas x32 (0)
3618502788666131106986593281521497120414687020801267626233049500247285301239,0.104,2.741,0.028626,0.252,UnsaturatedSolinas x64 (0)
3618502788666131106986593281521497120414687020801267626233049500247285301239,6.401,151.581,1.653062,,WordByWordMontgomery x32 
3618502788666131106986593281521497120414687020801267626233049500247285301239,0.627,14.011,0.115925,1.357,WordByWordMontgomery x64 
28723632732102194046035667469577626311807405711506937402182952014414119698431,,,,,UnsaturatedSolinas x32 (0)
28723632732102194046035667469577626311807405711506937402182952014414119698431,,,,,UnsaturatedSolinas x64 (0)
28723632732102194046035667469577626311807405711506937402182952014414119698431,,,1.772784,,WordByWordMontgomery x32 
28723632732102194046035667469577626311807405711506937402182952014414119698431,,,0.113788,,WordByWordMontgomery x64 
57896044618658097711785492504343953926634992332820282019728792003956564819203,0.662,16.108,0.118405,1.475,UnsaturatedSolinas x32 (0)
57896044618658097711785492504343953926634992332820282019728792003956564819203,0.106,2.662,0.028878,0.237,UnsaturatedSolinas x64 (0)
57896044618658097711785492504343953926634992332820282019728792003956564819203,6.363,151.32,1.716070,,WordByWordMontgomery x32 
57896044618658097711785492504343953926634992332820282019728792003956564819203,0.616,13.977,0.110083,1.343,WordByWordMontgomery x64 
57896044618658097711785492504343953926634992332820282019728792003956564819949,0.523,13.643,0.093320,1.166,UnsaturatedSolinas x32 (0)
57896044618658097711785492504343953926634992332820282019728792003956564819949,0.107,2.693,0.033752,0.265,UnsaturatedSolinas x64 (0)
57896044618658097711785492504343953926634992332820282019728792003956564819949,6.378,150.82,1.750401,,WordByWordMontgomery x32 
57896044618658097711785492504343953926634992332820282019728792003956564819949,0.625,14.125,0.116358,1.355,WordByWordMontgomery x64 
115636606695615697602567654828622531023877166082715509571142882662199379099647,,,,,UnsaturatedSolinas x32 (0)
115636606695615697602567654828622531023877166082715509571142882662199379099647,,,,,UnsaturatedSolinas x64 (0)
115636606695615697602567654828622531023877166082715509571142882662199379099647,,,1.525862,,WordByWordMontgomery x32 
115636606695615697602567654828622531023877166082715509571142882662199379099647,,,0.107285,,WordByWordMontgomery x64 
115792089210356248762697446949407573530086143415290314195533631308867097853951,,,,,UnsaturatedSolinas x32 (0)
115792089210356248762697446949407573530086143415290314195533631308867097853951,,,,,UnsaturatedSolinas x64 (0)
115792089210356248762697446949407573530086143415290314195533631308867097853951,,,1.775833,,WordByWordMontgomery x32 
115792089210356248762697446949407573530086143415290314195533631308867097853951,,,0.112899,,WordByWordMontgomery x64 
115792089237316195423570985008687907853269984665640564039457584007908834671663,,,,,UnsaturatedSolinas x32 (0)
115792089237316195423570985008687907853269984665640564039457584007908834671663,,,0.036779,,UnsaturatedSolinas x64 (0)
115792089237316195423570985008687907853269984665640564039457584007908834671663,,,1.671242,,WordByWordMontgomery x32 
115792089237316195423570985008687907853269984665640564039457584007908834671663,,,0.115821,,WordByWordMontgomery x64 
115792089237316195423570985008687907853269984665640564039457584007913129639747,0.666,16.266,0.113816,1.397,UnsaturatedSolinas x32 (0)
115792089237316195423570985008687907853269984665640564039457584007913129639747,0.108,2.739,0.029157,0.242,UnsaturatedSolinas x64 (0)
115792089237316195423570985008687907853269984665640564039457584007913129639747,6.38,150.743,1.708608,,WordByWordMontgomery x32 
115792089237316195423570985008687907853269984665640564039457584007913129639747,0.614,14.168,0.118414,1.378,WordByWordMontgomery x64 
118571099379011784113736688648896417641748464297615937576404566024103044751294461,0.566,15.071,0.096764,1.177,UnsaturatedSolinas x32 (0)
118571099379011784113736688648896417641748464297615937576404566024103044751294461,0.115,2.993,0.026790,0.255,UnsaturatedSolinas x64 (0)
118571099379011784113736688648896417641748464297615937576404566024103044751294461,,,3.212079,,WordByWordMontgomery x32 
118571099379011784113736688648896417641748464297615937576404566024103044751294461,1.826,44.843,0.304154,,WordByWordMontgomery x64 
62165404551223330269422781018352605012557018849668464680057997111644937126566671941623,0.804,20.651,0.128145,1.533,UnsaturatedSolinas x32 (0)
62165404551223330269422781018352605012557018849668464680057997111644937126566671941623,0.13,3.304,0.021177,0.283,UnsaturatedSolinas x64 (0)
62165404551223330269422781018352605012557018849668464680057997111644937126566671941623,,,3.057923,,WordByWordMontgomery x32 
62165404551223330269422781018352605012557018849668464680057997111644937126566671941623,1.832,44.92,0.300625,,WordByWordMontgomery x64 
3978585891278293137243057985174566720803649206378781739523711815145275976100267004264429,1.015,26.549,0.156367,,UnsaturatedSolinas x32 (0)
3978585891278293137243057985174566720803649206378781739523711815145275976100267004264429,0.136,3.627,0.021193,0.287,UnsaturatedSolinas x64 (0)
3978585891278293137243057985174566720803649206378781739523711815145275976100267004264429,,,6.026150,,WordByWordMontgomery x32 
3978585891278293137243057985174566720803649206378781739523711815145275976100267004264429,1.826,44.301,0.297578,,WordByWordMontgomery x64 
4271974071841820164790043412339104229205409044713305539894083215644439451561281100045924173873143,1.479,37.526,0.215447,,UnsaturatedSolinas x32 (0)
4271974071841820164790043412339104229205409044713305539894083215644439451561281100045924173873143,0.268,6.088,0.034703,0.429,UnsaturatedSolinas x64 (0)
4271974071841820164790043412339104229205409044713305539894083215644439451561281100045924173873143,,,9.707001,,WordByWordMontgomery x32 
4271974071841820164790043412339104229205409044713305539894083215644439451561281100045924173873143,4.863,117.654,0.680703,,WordByWordMontgomery x64 
8543948143683640329580086824678208458410818089423688076513504625452471533457129634052536482660351,,,,,UnsaturatedSolinas x32 (0)
8543948143683640329580086824678208458410818089423688076513504625452471533457129634052536482660351,,,,,UnsaturatedSolinas x64 (0)
8543948143683640329580086824678208458410818089423688076513504625452471533457129634052536482660351,,,10.695855,,WordByWordMontgomery x32 
8543948143683640329580086824678208458410818089423688076513504625452471533457129634052536482660351,,,0.688043,,WordByWordMontgomery x64 
139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444719,1.615,43.916,0.215894,,UnsaturatedSolinas x32 (0)
139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444719,0.261,7.048,0.036814,0.481,UnsaturatedSolinas x64 (0)
139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444719,,,9.560427,,WordByWordMontgomery x32 
139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444719,4.731,117.831,0.688736,,WordByWordMontgomery x64 
139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444733,1.628,41.469,0.207747,,UnsaturatedSolinas x32 (0)
139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444733,0.261,7.012,0.037428,0.484,UnsaturatedSolinas x64 (0)
139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444733,,,10.794406,,WordByWordMontgomery x32 
139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444733,4.755,117.717,0.652396,,WordByWordMontgomery x64 
559936185544451052639360570142111069530411374308662383724997275240947967795040236345219373317901778929,1.628,41.3,0.215525,,UnsaturatedSolinas x32 (0)
559936185544451052639360570142111069530411374308662383724997275240947967795040236345219373317901778929,0.266,7.038,0.038432,0.468,UnsaturatedSolinas x64 (0)
559936185544451052639360570142111069530411374308662383724997275240947967795040236345219373317901778929,,,10.302343,,WordByWordMontgomery x32 
559936185544451052639360570142111069530411374308662383724997275240947967795040236345219373317901778929,4.722,117.67,0.689478,,WordByWordMontgomery x64 
1202453802380202612679414065556140558016349465041059773802132977424491020858679523053413887173001575952350707687,2.734,73.783,0.340468,,UnsaturatedSolinas x32 (0)
1202453802380202612679414065556140558016349465041059773802132977424491020858679523053413887173001575952350707687,0.442,11.856,0.058063,0.741,UnsaturatedSolinas x64 (0)
1202453802380202612679414065556140558016349465041059773802132977424491020858679523053413887173001575952350707687,,,18.204322,,WordByWordMontgomery x32 
1202453802380202612679414065556140558016349465041059773802132977424491020858679523053413887173001575952350707687,4.724,118.369,0.620978,,WordByWordMontgomery x64 
1231312693637327475383720003129487931408741852202045208373384168882678805359287831606695820465153613775207124697069,2.867,77.472,0.343842,,UnsaturatedSolinas x32 (0)
1231312693637327475383720003129487931408741852202045208373384168882678805359287831606695820465153613775207124697069,0.464,12.421,0.060658,0.742,UnsaturatedSolinas x64 (0)
1231312693637327475383720003129487931408741852202045208373384168882678805359287831606695820465153613775207124697069,,,18.388721,,WordByWordMontgomery x32 
1231312693637327475383720003129487931408741852202045208373384168882678805359287831606695820465153613775207124697069,4.718,118.782,0.701026,,WordByWordMontgomery x64 
9850501549098619803069760025035903451269934817616361666987073351061430442874302652853566563721228910201656997576599,3.417,87.505,0.423934,,UnsaturatedSolinas x32 (0)
9850501549098619803069760025035903451269934817616361666987073351061430442874302652853566563721228910201656997576599,0.472,12.721,0.058299,0.752,UnsaturatedSolinas x64 (0)
9850501549098619803069760025035903451269934817616361666987073351061430442874302652853566563721228910201656997576599,,,18.597490,,WordByWordMontgomery x32 
9850501549098619803069760025035903451269934817616361666987073351061430442874302652853566563721228910201656997576599,4.746,118.783,0.708749,,WordByWordMontgomery x64 
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995152987,4.173,102.183,0.488026,,UnsaturatedSolinas x32 (0)
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995152987,0.475,12.049,0.060861,0.788,UnsaturatedSolinas x64 (0)
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995152987,,,18.578935,,WordByWordMontgomery x32 
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995152987,4.722,118.731,0.691170,,WordByWordMontgomery x64 
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153221,3.461,93.717,0.416906,,UnsaturatedSolinas x32 (0)
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153221,0.477,11.951,0.059688,0.733,UnsaturatedSolinas x64 (0)
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153221,,,16.717235,,WordByWordMontgomery x32 
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153221,4.738,126.558,0.694779,,WordByWordMontgomery x64 
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153377,3.449,93.747,0.417661,,UnsaturatedSolinas x32 (0)
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153377,0.477,11.915,0.058919,0.772,UnsaturatedSolinas x64 (0)
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153377,,,18.481658,,WordByWordMontgomery x32 
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153377,4.743,118.214,0.683326,,WordByWordMontgomery x64 
27242793346725870392864805069239920482418413479970250235261124736529268568574243274298145027791523704776457633923071,,,,,UnsaturatedSolinas x32 (0)
27242793346725870392864805069239920482418413479970250235261124736529268568574243274298145027791523704776457633923071,,,,,UnsaturatedSolinas x64 (0)
27242793346725870392864805069239920482418413479970250235261124736529268568574243274298145027791523704776457633923071,,,18.615959,,WordByWordMontgomery x32 
27242793346725870392864805069239920482418413479970250235261124736529268568574243274298145027791523704776457633923071,,,0.691550,,WordByWordMontgomery x64 
39399000061888528705747341564979723453684698396802844018513788071802160543945063912606632720166983136866747113537535,,,,,UnsaturatedSolinas x32 (0)
39399000061888528705747341564979723453684698396802844018513788071802160543945063912606632720166983136866747113537535,,,,,UnsaturatedSolinas x64 (0)
39399000061888528705747341564979723453684698396802844018513788071802160543945063912606632720166983136866747113537535,,,18.865701,,WordByWordMontgomery x32 
39399000061888528705747341564979723453684698396802844018513788071802160543945063912606632720166983136866747113537535,,,0.647113,,WordByWordMontgomery x64 
39402006196394479212279040100143613805079739270465446667948293404245721771496870329047266088258938001861606973112319,,,,,UnsaturatedSolinas x32 (0)
39402006196394479212279040100143613805079739270465446667948293404245721771496870329047266088258938001861606973112319,,,,,UnsaturatedSolinas x64 (0)
39402006196394479212279040100143613805079739270465446667948293404245721771496870329047266088258938001861606973112319,,,18.994636,,WordByWordMontgomery x32 
39402006196394479212279040100143613805079739270465446667948293404245721771496870329047266088258938001861606973112319,,,0.695721,,WordByWordMontgomery x64 
39402006196394479212279040100143613805079739270465446667948293404245721771497210611414266254884915640806627990306499,3.422,92.97,0.401803,,UnsaturatedSolinas x32 (0)
39402006196394479212279040100143613805079739270465446667948293404245721771497210611414266254884915640806627990306499,0.474,12.021,0.058755,0.783,UnsaturatedSolinas x64 (0)
39402006196394479212279040100143613805079739270465446667948293404245721771497210611414266254884915640806627990306499,,,18.803833,,WordByWordMontgomery x32 
39402006196394479212279040100143613805079739270465446667948293404245721771497210611414266254884915640806627990306499,4.731,118.672,0.696786,,WordByWordMontgomery x64 
1260864198284623334792929283204595641762551656654894293374345388935863096687910739565256520156317300505812095689818091,3.542,89.802,0.413520,,UnsaturatedSolinas x32 (0)
1260864198284623334792929283204595641762551656654894293374345388935863096687910739565256520156317300505812095689818091,0.489,13.182,0.059020,0.772,UnsaturatedSolinas x64 (0)
1260864198284623334792929283204595641762551656654894293374345388935863096687910739565256520156317300505812095689818091,,,33.087221,,WordByWordMontgomery x32 
1260864198284623334792929283204595641762551656654894293374345388935863096687910739565256520156317300505812095689818091,,,1.375055,,WordByWordMontgomery x64 
5164499756173817179311838344006023748659411585658447025661318713081295244033682389259290706560275662871806343945494986721,3.759,96.196,0.438432,,UnsaturatedSolinas x32 (0)
5164499756173817179311838344006023748659411585658447025661318713081295244033682389259290706560275662871806343945494986721,0.518,13.304,0.059136,0.817,UnsaturatedSolinas x64 (0)
5164499756173817179311838344006023748659411585658447025661318713081295244033682389259290706560275662871806343945494986721,,,32.558687,,WordByWordMontgomery x32 
5164499756173817179311838344006023748659411585658447025661318713081295244033682389259290706560275662871806343945494986721,,,1.403447,,WordByWordMontgomery x64 
21153791001287955166461289857048673274508949854856999017108761448780985319561963066406054734070889115122918784800747465736171,4.615,118.693,0.528540,,UnsaturatedSolinas x32 (0)
21153791001287955166461289857048673274508949854856999017108761448780985319561963066406054734070889115122918784800747465736171,0.741,18.775,0.085385,1.129,UnsaturatedSolinas x64 (0)
21153791001287955166461289857048673274508949854856999017108761448780985319561963066406054734070889115122918784800747465736171,,,28.876614,,WordByWordMontgomery x32 
21153791001287955166461289857048673274508949854856999017108761448780985319561963066406054734070889115122918784800747465736171,,,1.620525,,WordByWordMontgomery x64 
42307582002575910332922579714097346549017899709713998034217522897561970639123926132812109468141778230245837569601494931472367,4.63,117.865,0.519189,,UnsaturatedSolinas x32 (0)
42307582002575910332922579714097346549017899709713998034217522897561970639123926132812109468141778230245837569601494931472367,0.744,20.251,0.080514,1.114,UnsaturatedSolinas x64 (0)
42307582002575910332922579714097346549017899709713998034217522897561970639123926132812109468141778230245837569601494931472367,,,33.391068,,WordByWordMontgomery x32 
42307582002575910332922579714097346549017899709713998034217522897561970639123926132812109468141778230245837569601494931472367,,,1.616669,,WordByWordMontgomery x64 
169230328010303641331690318856389386196071598838855992136870091178871743226194193992506142233229486675299383870011013888737279,,,,,UnsaturatedSolinas x32 (0)
169230328010303641331690318856389386196071598838855992136870091178871743226194193992506142233229486675299383870011013888737279,,,,,UnsaturatedSolinas x64 (0)
169230328010303641331690318856389386196071598838855992136870091178871743226194193992506142233229486675299383870011013888737279,,,28.737569,,WordByWordMontgomery x32 
169230328010303641331690318856389386196071598838855992136870091178871743226194193992506142233229486675299383870011013888737279,,,1.396649,,WordByWordMontgomery x64 
45427420268475430659332737993000283397102585042957378767593137448789955507087370207886940669610222847547657600391636120845912601788399,6.088,154.974,0.651517,,UnsaturatedSolinas x32 (0)
45427420268475430659332737993000283397102585042957378767593137448789955507087370207886940669610222847547657600391636120845912601788399,0.852,21.591,0.095663,1.247,UnsaturatedSolinas x64 (0)
45427420268475430659332737993000283397102585042957378767593137448789955507087370207886940669610222847547657600391636120845912601788399,,,48.809094,,WordByWordMontgomery x32 
45427420268475430659332737993000283397102585042957378767593137448789955507087370207886940669610222847547657600391636120845912601788399,,,1.573026,,WordByWordMontgomery x64 
726838724295606890549323807888004534353641360687318060281490199180612328166730772686396383698676545930088884461843637361053498018365439,,,,,UnsaturatedSolinas x32 (0)
726838724295606890549323807888004534353641360687318060281490199180612328166730772686396383698676545930088884461843637361053498018365439,,,,,UnsaturatedSolinas x64 (0)
726838724295606890549323807888004534353641360687318060281490199180612328166730772686396383698676545930088884461843637361053498018365439,,,56.255871,,WordByWordMontgomery x32 
726838724295606890549323807888004534353641360687318060281490199180612328166730772686396383698676545930088884461843637361053498018365439,,,1.364510,,WordByWordMontgomery x64 
2907354897182427562197295231552018137414565442749272241125960796722503232560257392025174868824880222981702812136219630589176199293960191,,,,,UnsaturatedSolinas x32 (0)
2907354897182427562197295231552018137414565442749272241125960796722503232560257392025174868824880222981702812136219630589176199293960191,,,,,UnsaturatedSolinas x64 (0)
2907354897182427562197295231552018137414565442749272241125960796722503232560257392025174868824880222981702812136219630589176199293960191,,,81.716465,,WordByWordMontgomery x32 
2907354897182427562197295231552018137414565442749272241125960796722503232560257392025174868824880222981702812136219630589176199293960191,,,3.519140,,WordByWordMontgomery x64 
11629419588729710248789180926208072549658261770997088964503843186890228609814366773219056811420217048972200345700258846936553626057834493,5.466,148.123,0.571106,,UnsaturatedSolinas x32 (0)
11629419588729710248789180926208072549658261770997088964503843186890228609814366773219056811420217048972200345700258846936553626057834493,0.876,23.691,0.100802,1.262,UnsaturatedSolinas x64 (0)
11629419588729710248789180926208072549658261770997088964503843186890228609814366773219056811420217048972200345700258846936553626057834493,,,81.822374,,WordByWordMontgomery x32 
11629419588729710248789180926208072549658261770997088964503843186890228609814366773219056811420217048972200345700258846936553626057834493,,,3.577954,,WordByWordMontgomery x64 
762145642166990290864647761179972242614403843424065222377723867096038022172794340849684107193235344521442121855812163792833978437326241529839,6.676,171.354,0.690674,,UnsaturatedSolinas x32 (0)
762145642166990290864647761179972242614403843424065222377723867096038022172794340849684107193235344521442121855812163792833978437326241529839,0.934,23.591,0.105782,1.33,UnsaturatedSolinas x64 (0)
762145642166990290864647761179972242614403843424065222377723867096038022172794340849684107193235344521442121855812163792833978437326241529839,,,93.324979,,WordByWordMontgomery x32 
762145642166990290864647761179972242614403843424065222377723867096038022172794340849684107193235344521442121855812163792833978437326241529839,,,2.919187,,WordByWordMontgomery x64 
3121748550315992231381597229793166305748598142664971150859156959625371737052918555341921773480194470416908415293922726019829017557682084013670399,,,,,UnsaturatedSolinas x32 (0)
3121748550315992231381597229793166305748598142664971150859156959625371737052918555341921773480194470416908415293922726019829017557682084013670399,,,,,UnsaturatedSolinas x64 (0)
3121748550315992231381597229793166305748598142664971150859156959625371737052918555341921773480194470416908415293922726019829017557682084013670399,,,82.016381,,WordByWordMontgomery x32 
3121748550315992231381597229793166305748598142664971150859156959625371737052918555341921773480194470416908415293922726019829017557682084013670399,,,2.955384,,WordByWordMontgomery x64 
799167628880894011233688890827050574271641124522232614619944181664095165137859998750798362384253944616915694367080095461234681773897801038410285039,,,1.032198,,UnsaturatedSolinas x32 (0)
799167628880894011233688890827050574271641124522232614619944181664095165137859998750798362384253944616915694367080095461234681773897801038410285039,1.334,33.447,0.144627,,UnsaturatedSolinas x64 (0)
799167628880894011233688890827050574271641124522232614619944181664095165137859998750798362384253944616915694367080095461234681773897801038410285039,,,,,WordByWordMontgomery x32 
799167628880894011233688890827050574271641124522232614619944181664095165137859998750798362384253944616915694367080095461234681773897801038410285039,,,2.851317,,WordByWordMontgomery x64 
1598335257761788022467377781654101148543282249044465229239888363328190330275719997501596724768507889233831388734160190922469363547795602076820570091,,,1.057282,,UnsaturatedSolinas x32 (0)
1598335257761788022467377781654101148543282249044465229239888363328190330275719997501596724768507889233831388734160190922469363547795602076820570091,1.339,33.662,0.142222,,UnsaturatedSolinas x64 (0)
1598335257761788022467377781654101148543282249044465229239888363328190330275719997501596724768507889233831388734160190922469363547795602076820570091,,,,,WordByWordMontgomery x32 
1598335257761788022467377781654101148543282249044465229239888363328190330275719997501596724768507889233831388734160190922469363547795602076820570091,,,2.912921,,WordByWordMontgomery x64 
102293456496754433437912178025862473506770063938845774671352855253004181137646079840102190385184504910965208878986252219038039267058918532916516487137,,,1.073728,,UnsaturatedSolinas x32 (0)
102293456496754433437912178025862473506770063938845774671352855253004181137646079840102190385184504910965208878986252219038039267058918532916516487137,1.367,36.19,0.148317,,UnsaturatedSolinas x64 (0)
102293456496754433437912178025862473506770063938845774671352855253004181137646079840102190385184504910965208878986252219038039267058918532916516487137,,,,,WordByWordMontgomery x32 
102293456496754433437912178025862473506770063938845774671352855253004181137646079840102190385184504910965208878986252219038039267058918532916516487137,,,3.580371,,WordByWordMontgomery x64 
3292621777717531703499517186296461297235914818063567795121505704883698582458552017893209304118318844074148143396809486426396407928092469737516832688963583,,,,,UnsaturatedSolinas x32 (0)
3292621777717531703499517186296461297235914818063567795121505704883698582458552017893209304118318844074148143396809486426396407928092469737516832688963583,,,,,UnsaturatedSolinas x64 (0)
3292621777717531703499517186296461297235914818063567795121505704883698582458552017893209304118318844074148143396809486426396407928092469737516832688963583,,,,,WordByWordMontgomery x32 
3292621777717531703499517186296461297235914818063567795121505704883698582458552017893209304118318844074148143396809486426396407928092469737516832688963583,,,3.625756,,WordByWordMontgomery x64 
6703903964971298549787012499102923063739682910296196688861780721860882015036773488400937149083451713845015929093243025426876941405973284973216824503041567,,,1.683658,,UnsaturatedSolinas x32 (0)
6703903964971298549787012499102923063739682910296196688861780721860882015036773488400937149083451713845015929093243025426876941405973284973216824503041567,,,0.202033,,UnsaturatedSolinas x64 (0)
6703903964971298549787012499102923063739682910296196688861780721860882015036773488400937149083451713845015929093243025426876941405973284973216824503041567,,,,,WordByWordMontgomery x32 
6703903964971298549787012499102923063739682910296196688861780721860882015036773488400937149083451713845015929093243025426876941405973284973216824503041567,,,3.581726,,WordByWordMontgomery x64 
6703903964971298549787012499102923063739682910296196688861780721860882015036773488400937149083451713845015929093243025426876941405973284973216824503041861,,,1.492005,,UnsaturatedSolinas x32 (0)
6703903964971298549787012499102923063739682910296196688861780721860882015036773488400937149083451713845015929093243025426876941405973284973216824503041861,,,0.200935,,UnsaturatedSolinas x64 (0)
6703903964971298549787012499102923063739682910296196688861780721860882015036773488400937149083451713845015929093243025426876941405973284973216824503041861,,,,,WordByWordMontgomery x32 
6703903964971298549787012499102923063739682910296196688861780721860882015036773488400937149083451713845015929093243025426876941405973284973216824503041861,,,2.883786,,WordByWordMontgomery x64 
13307355755662784245937995239384449178495717617804446826996292939863313924196378526398893947208652243867464023067321551174658528251694711947109629815685119,,,,,UnsaturatedSolinas x32 (0)
13307355755662784245937995239384449178495717617804446826996292939863313924196378526398893947208652243867464023067321551174658528251694711947109629815685119,,,,,UnsaturatedSolinas x64 (0)
13307355755662784245937995239384449178495717617804446826996292939863313924196378526398893947208652243867464023067321551174658528251694711947109629815685119,,,,,WordByWordMontgomery x32 
13307355755662784245937995239384449178495717617804446826996292939863313924196378526398893947208652243867464023067321551174658528251694711947109629815685119,,,3.603070,,WordByWordMontgomery x64 
13407807929942597099574024998205846127479365820592393377723561443721764030073546976801874298166903427690031858186486050853753882811946569946433649006083527,,,1.652178,,UnsaturatedSolinas x32 (0)
13407807929942597099574024998205846127479365820592393377723561443721764030073546976801874298166903427690031858186486050853753882811946569946433649006083527,,,0.205722,,UnsaturatedSolinas x64 (0)
13407807929942597099574024998205846127479365820592393377723561443721764030073546976801874298166903427690031858186486050853753882811946569946433649006083527,,,,,WordByWordMontgomery x32 
13407807929942597099574024998205846127479365820592393377723561443721764030073546976801874298166903427690031858186486050853753882811946569946433649006083527,,,3.501772,,WordByWordMontgomery x64 
6864797660130609714981900799081393217269435300143305409394463459185543183397656052122559640661454554977296311391480858037121987999716643812574028291115057151,,,1.039524,,UnsaturatedSolinas x32 (0)
6864797660130609714981900799081393217269435300143305409394463459185543183397656052122559640661454554977296311391480858037121987999716643812574028291115057151,,,0.166395,,UnsaturatedSolinas x64 (0)
6864797660130609714981900799081393217269435300143305409394463459185543183397656052122559640661454554977296311391480858037121987999716643812574028291115057151,,,,,WordByWordMontgomery x32 
6864797660130609714981900799081393217269435300143305409394463459185543183397656052122559640661454554977296311391480858037121987999716643812574028291115057151,,,7.283314,,WordByWordMontgomery x64 
back to top