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-over-new-extraction--only-UnsaturatedSolinas-x32.txt
170141183460469231731687303715884105727 1.0
680564733841876926926749214863536422887 1.0
1361129467683753853853498429727072845819 1.0
174224571863520493293247799005065324265459 1.0
1393796574908163946345982392040522594123749 1.0
2787593149816327892691964784081045188247543 1.0
1427247692705959881058285969449495136382746619 1.0
1427247692705959881058285969449495136382746621 1.0
5708990770823839524233143877797980545530986479 1.0
365375409332725729550921208179070754913983135729 1.0
46768052394588893382517914646921056628989841375207 1.0
93536104789177786765035829293842113257979682750459 1.0
2993155353253689176481146537402947624255349848014829 1.0
23945242826029513411849172299223580994042798784118767 1.0
23945242826029513411849172299223580994042798784118781 1.0
784637716923335095479473677900958302012794430558004314087 1.0
1569275433846670190958947355801916604025588861116008628213 1.0
3138550867693340381917894711603833208051177722232017256429 1.0
6277101735386680763835789423207666416083908700390324961279 1.0
25108406941546723055343157692830665664409421777856138051551 1.0
100433627766186892221372630771322662657637687111424552206321 1.0
401734511064747568885490523085290650630550748445698208825327 1.0
102844034832575377634685573909834406561420991602098741459288059 1.0
6582018229284824168619876730229402019930943462534319453394436067 1.0
13164036458569648337239753460458804039861886925068638906788872189 1.0
105312291668557186697918027683670107800341436973822328098290401279 1.0
3369993333393829974333376885877453834204643052817571560137951281149 1.0
6739986666787659948666753771754907668409286105635143120275902562187 1.0
26959946667150639794667015087019630673557916260026308143510066298881 1.0
107839786668602559178668060348078522694548577690162289924414440996859 1.0
1725436586697640946858688965569256363112777243042596638790631055949797 1.0
55213970774324510299478046898216203619608871777363092441300193790394353 1.0
14134776518227074636666380005943348126619871175004951664972849610340958199 1.0
3618502788666131106986593281521497120414687020801267626233049500247285301239 1.0
57896044618658097711785492504343953926634992332820282019728792003956564819203 1.0
57896044618658097711785492504343953926634992332820282019728792003956564819949 1.0
115792089210356248762697446949407573530086143415290314195533631308867097853951 1.0
115792089237316195423570985008687907853269984665640564039457584007908834671663 1.0
115792089237316195423570985008687907853269984665640564039457584007913129639747 1.0
118571099379011784113736688648896417641748464297615937576404566024103044751294461 1.0
62165404551223330269422781018352605012557018849668464680057997111644937126566671941623 1.0
3978585891278293137243057985174566720803649206378781739523711815145275976100267004264429 1.0
4271974071841820164790043412339104229205409044713305539894083215644439451561281100045924173873143 1.0
8543948143683640329580086824678208458410818089423688076513504625452471533457129634052536482660351 1.0
139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444719 1.0
139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444733 1.0
559936185544451052639360570142111069530411374308662383724997275240947967795040236345219373317901778929 1.0
1202453802380202612679414065556140558016349465041059773802132977424491020858679523053413887173001575952350707687 1.0
1231312693637327475383720003129487931408741852202045208373384168882678805359287831606695820465153613775207124697069 1.0
9850501549098619803069760025035903451269934817616361666987073351061430442874302652853566563721228910201656997576599 1.0
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995152987 1.0
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153221 1.0
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153377 1.0
39402006196394479212279040100143613805079739270465446667948293404245721771496870329047266088258938001861606973112319 1.0
39402006196394479212279040100143613805079739270465446667948293404245721771497210611414266254884915640806627990306499 1.0
1260864198284623334792929283204595641762551656654894293374345388935863096687910739565256520156317300505812095689818091 1.0
5164499756173817179311838344006023748659411585658447025661318713081295244033682389259290706560275662871806343945494986721 1.0
21153791001287955166461289857048673274508949854856999017108761448780985319561963066406054734070889115122918784800747465736171 1.0
42307582002575910332922579714097346549017899709713998034217522897561970639123926132812109468141778230245837569601494931472367 1.0
169230328010303641331690318856389386196071598838855992136870091178871743226194193992506142233229486675299383870011013888737279 1.0
45427420268475430659332737993000283397102585042957378767593137448789955507087370207886940669610222847547657600391636120845912601788399 1.0
726838724295606890549323807888004534353641360687318060281490199180612328166730772686396383698676545930088884461843637361053498018365439 1.0
2907354897182427562197295231552018137414565442749272241125960796722503232560257392025174868824880222981702812136219630589176199293960191 1.0
11629419588729710248789180926208072549658261770997088964503843186890228609814366773219056811420217048972200345700258846936553626057834493 1.0
762145642166990290864647761179972242614403843424065222377723867096038022172794340849684107193235344521442121855812163792833978437326241529839 1.0
3121748550315992231381597229793166305748598142664971150859156959625371737052918555341921773480194470416908415293922726019829017557682084013670399 1.0
799167628880894011233688890827050574271641124522232614619944181664095165137859998750798362384253944616915694367080095461234681773897801038410285039 1.0
1598335257761788022467377781654101148543282249044465229239888363328190330275719997501596724768507889233831388734160190922469363547795602076820570091 1.0
102293456496754433437912178025862473506770063938845774671352855253004181137646079840102190385184504910965208878986252219038039267058918532916516487137 1.0
6703903964971298549787012499102923063739682910296196688861780721860882015036773488400937149083451713845015929093243025426876941405973284973216824503041567 1.0
6703903964971298549787012499102923063739682910296196688861780721860882015036773488400937149083451713845015929093243025426876941405973284973216824503041861 1.0
13407807929942597099574024998205846127479365820592393377723561443721764030073546976801874298166903427690031858186486050853753882811946569946433649006083527 1.0
6864797660130609714981900799081393217269435300143305409394463459185543183397656052122559640661454554977296311391480858037121987999716643812574028291115057151 1.0
back to top