https://github.com/mit-plv/fiat-crypto
Revision 72fe0dddee5e6dceeab0b8a2e6a745abf5287d3e authored by Jason Gross on 15 July 2021, 00:27:45 UTC, committed by Jason Gross on 15 July 2021, 00:28:57 UTC
```
make COQBIN="$HOME/.local64/coq/coq-8.11.1/bin/" SKIP_BEDROCK2=1 TIMED=1 --output-sync perf-csv
```
1 parent f020c4e
Raw File
Tip revision: 72fe0dddee5e6dceeab0b8a2e6a745abf5287d3e authored by Jason Gross on 15 July 2021, 00:27:45 UTC
make perf csv
Tip revision: 72fe0dd
perf-new-extraction-times--only-UnsaturatedSolinas-x32.txt
170141183460469231731687303715884105727 0.022049
680564733841876926926749214863536422887 0.019793
1361129467683753853853498429727072845819 0.019412
174224571863520493293247799005065324265459 0.028237
1393796574908163946345982392040522594123749 0.028436
2787593149816327892691964784081045188247543 0.029088
1427247692705959881058285969449495136382746619 0.028707
1427247692705959881058285969449495136382746621 0.029731
5708990770823839524233143877797980545530986479 0.030552
365375409332725729550921208179070754913983135729 0.030594
46768052394588893382517914646921056628989841375207 0.042542
93536104789177786765035829293842113257979682750459 0.030179
2993155353253689176481146537402947624255349848014829 0.042087
23945242826029513411849172299223580994042798784118767 0.043410
23945242826029513411849172299223580994042798784118781 0.043586
784637716923335095479473677900958302012794430558004314087 0.058404
1569275433846670190958947355801916604025588861116008628213 0.057752
3138550867693340381917894711603833208051177722232017256429 0.059637
6277101735386680763835789423207666416083908700390324961279 0.103535
25108406941546723055343157692830665664409421777856138051551 0.058955
100433627766186892221372630771322662657637687111424552206321 0.060372
401734511064747568885490523085290650630550748445698208825327 0.059303
102844034832575377634685573909834406561420991602098741459288059 0.061898
6582018229284824168619876730229402019930943462534319453394436067 0.080806
13164036458569648337239753460458804039861886925068638906788872189 0.062182
105312291668557186697918027683670107800341436973822328098290401279 0.085773
3369993333393829974333376885877453834204643052817571560137951281149 0.062484
6739986666787659948666753771754907668409286105635143120275902562187 0.080898
26959946667150639794667015087019630673557916260026308143510066298881 0.145057
107839786668602559178668060348078522694548577690162289924414440996859 0.082896
1725436586697640946858688965569256363112777243042596638790631055949797 0.083778
55213970774324510299478046898216203619608871777363092441300193790394353 0.085751
14134776518227074636666380005943348126619871175004951664972849610340958199 0.087417
3618502788666131106986593281521497120414687020801267626233049500247285301239 0.110704
57896044618658097711785492504343953926634992332820282019728792003956564819203 0.144734
57896044618658097711785492504343953926634992332820282019728792003956564819949 0.114642
115792089210356248762697446949407573530086143415290314195533631308867097853951 1.387468
115792089237316195423570985008687907853269984665640564039457584007908834671663 0.182232
115792089237316195423570985008687907853269984665640564039457584007913129639747 0.144121
118571099379011784113736688648896417641748464297615937576404566024103044751294461 0.115336
62165404551223330269422781018352605012557018849668464680057997111644937126566671941623 0.155563
3978585891278293137243057985174566720803649206378781739523711815145275976100267004264429 0.195140
4271974071841820164790043412339104229205409044713305539894083215644439451561281100045924173873143 0.252613
8543948143683640329580086824678208458410818089423688076513504625452471533457129634052536482660351 0.273408
139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444719 0.264811
139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444733 0.255907
559936185544451052639360570142111069530411374308662383724997275240947967795040236345219373317901778929 0.261990
1202453802380202612679414065556140558016349465041059773802132977424491020858679523053413887173001575952350707687 0.429228
1231312693637327475383720003129487931408741852202045208373384168882678805359287831606695820465153613775207124697069 0.439554
9850501549098619803069760025035903451269934817616361666987073351061430442874302652853566563721228910201656997576599 0.511307
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995152987 0.603082
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153221 0.499071
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153377 0.432919
39402006196394479212279040100143613805079739270465446667948293404245721771496870329047266088258938001861606973112319 1.366522
39402006196394479212279040100143613805079739270465446667948293404245721771497210611414266254884915640806627990306499 0.509088
1260864198284623334792929283204595641762551656654894293374345388935863096687910739565256520156317300505812095689818091 0.520044
5164499756173817179311838344006023748659411585658447025661318713081295244033682389259290706560275662871806343945494986721 0.543637
21153791001287955166461289857048673274508949854856999017108761448780985319561963066406054734070889115122918784800747465736171 0.649358
42307582002575910332922579714097346549017899709713998034217522897561970639123926132812109468141778230245837569601494931472367 0.572347
169230328010303641331690318856389386196071598838855992136870091178871743226194193992506142233229486675299383870011013888737279 0.747865
45427420268475430659332737993000283397102585042957378767593137448789955507087370207886940669610222847547657600391636120845912601788399 0.798434
726838724295606890549323807888004534353641360687318060281490199180612328166730772686396383698676545930088884461843637361053498018365439 1.108988
2907354897182427562197295231552018137414565442749272241125960796722503232560257392025174868824880222981702812136219630589176199293960191 1.133597
11629419588729710248789180926208072549658261770997088964503843186890228609814366773219056811420217048972200345700258846936553626057834493 0.697355
762145642166990290864647761179972242614403843424065222377723867096038022172794340849684107193235344521442121855812163792833978437326241529839 0.840516
3121748550315992231381597229793166305748598142664971150859156959625371737052918555341921773480194470416908415293922726019829017557682084013670399 1.134106
799167628880894011233688890827050574271641124522232614619944181664095165137859998750798362384253944616915694367080095461234681773897801038410285039 1.072631
1598335257761788022467377781654101148543282249044465229239888363328190330275719997501596724768507889233831388734160190922469363547795602076820570091 1.192722
102293456496754433437912178025862473506770063938845774671352855253004181137646079840102190385184504910965208878986252219038039267058918532916516487137 1.251587
6703903964971298549787012499102923063739682910296196688861780721860882015036773488400937149083451713845015929093243025426876941405973284973216824503041567 1.707246
6703903964971298549787012499102923063739682910296196688861780721860882015036773488400937149083451713845015929093243025426876941405973284973216824503041861 1.684522
13407807929942597099574024998205846127479365820592393377723561443721764030073546976801874298166903427690031858186486050853753882811946569946433649006083527 1.941350
6864797660130609714981900799081393217269435300143305409394463459185543183397656052122559640661454554977296311391480858037121987999716643812574028291115057151 1.195148
back to top