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
perf-new-extraction-times--only-UnsaturatedSolinas-x64.txt
170141183460469231731687303715884105727 0.009004
680564733841876926926749214863536422887 0.008248
1361129467683753853853498429727072845819 0.008316
174224571863520493293247799005065324265459 0.008240
1393796574908163946345982392040522594123749 0.009505
2787593149816327892691964784081045188247543 0.008262
1427247692705959881058285969449495136382746619 0.008198
1427247692705959881058285969449495136382746621 0.008128
5708990770823839524233143877797980545530986479 0.008236
365375409332725729550921208179070754913983135729 0.008211
46768052394588893382517914646921056628989841375207 0.008962
93536104789177786765035829293842113257979682750459 0.008481
2993155353253689176481146537402947624255349848014829 0.008996
23945242826029513411849172299223580994042798784118767 0.008962
23945242826029513411849172299223580994042798784118781 0.009817
784637716923335095479473677900958302012794430558004314087 0.015246
1569275433846670190958947355801916604025588861116008628213 0.014641
3138550867693340381917894711603833208051177722232017256429 0.014926
6277101735386680763835789423207666416083908700390324961279 0.021090
25108406941546723055343157692830665664409421777856138051551 0.014984
100433627766186892221372630771322662657637687111424552206321 0.015545
401734511064747568885490523085290650630550748445698208825327 0.015665
102844034832575377634685573909834406561420991602098741459288059 0.016276
6582018229284824168619876730229402019930943462534319453394436067 0.015107
13164036458569648337239753460458804039861886925068638906788872189 0.016024
105312291668557186697918027683670107800341436973822328098290401279 0.023742
3369993333393829974333376885877453834204643052817571560137951281149 0.016333
6739986666787659948666753771754907668409286105635143120275902562187 0.016099
26959946667150639794667015087019630673557916260026308143510066298881 0.037411
107839786668602559178668060348078522694548577690162289924414440996859 0.015565
1725436586697640946858688965569256363112777243042596638790631055949797 0.015265
55213970774324510299478046898216203619608871777363092441300193790394353 0.016449
14134776518227074636666380005943348126619871175004951664972849610340958199 0.024927
3618502788666131106986593281521497120414687020801267626233049500247285301239 0.027135
57896044618658097711785492504343953926634992332820282019728792003956564819203 0.025473
57896044618658097711785492504343953926634992332820282019728792003956564819949 0.024766
115792089210356248762697446949407573530086143415290314195533631308867097853951 0.090924
115792089237316195423570985008687907853269984665640564039457584007908834671663 0.035658
115792089237316195423570985008687907853269984665640564039457584007913129639747 0.025466
118571099379011784113736688648896417641748464297615937576404566024103044751294461 0.026538
62165404551223330269422781018352605012557018849668464680057997111644937126566671941623 0.026818
3978585891278293137243057985174566720803649206378781739523711815145275976100267004264429 0.029333
4271974071841820164790043412339104229205409044713305539894083215644439451561281100045924173873143 0.043666
8543948143683640329580086824678208458410818089423688076513504625452471533457129634052536482660351 0.061388
139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444719 0.045071
139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444733 0.045590
559936185544451052639360570142111069530411374308662383724997275240947967795040236345219373317901778929 0.046155
1202453802380202612679414065556140558016349465041059773802132977424491020858679523053413887173001575952350707687 0.068298
1231312693637327475383720003129487931408741852202045208373384168882678805359287831606695820465153613775207124697069 0.068490
9850501549098619803069760025035903451269934817616361666987073351061430442874302652853566563721228910201656997576599 0.072674
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995152987 0.068474
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153221 0.072129
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153377 0.071887
39402006196394479212279040100143613805079739270465446667948293404245721771496870329047266088258938001861606973112319 0.243770
39402006196394479212279040100143613805079739270465446667948293404245721771497210611414266254884915640806627990306499 0.068823
1260864198284623334792929283204595641762551656654894293374345388935863096687910739565256520156317300505812095689818091 0.071558
5164499756173817179311838344006023748659411585658447025661318713081295244033682389259290706560275662871806343945494986721 0.073789
21153791001287955166461289857048673274508949854856999017108761448780985319561963066406054734070889115122918784800747465736171 0.103598
42307582002575910332922579714097346549017899709713998034217522897561970639123926132812109468141778230245837569601494931472367 0.101968
169230328010303641331690318856389386196071598838855992136870091178871743226194193992506142233229486675299383870011013888737279 0.140504
45427420268475430659332737993000283397102585042957378767593137448789955507087370207886940669610222847547657600391636120845912601788399 0.111981
726838724295606890549323807888004534353641360687318060281490199180612328166730772686396383698676545930088884461843637361053498018365439 0.154050
2907354897182427562197295231552018137414565442749272241125960796722503232560257392025174868824880222981702812136219630589176199293960191 0.156407
11629419588729710248789180926208072549658261770997088964503843186890228609814366773219056811420217048972200345700258846936553626057834493 0.112780
762145642166990290864647761179972242614403843424065222377723867096038022172794340849684107193235344521442121855812163792833978437326241529839 0.112097
3121748550315992231381597229793166305748598142664971150859156959625371737052918555341921773480194470416908415293922726019829017557682084013670399 0.165786
799167628880894011233688890827050574271641124522232614619944181664095165137859998750798362384253944616915694367080095461234681773897801038410285039 0.166141
1598335257761788022467377781654101148543282249044465229239888363328190330275719997501596724768507889233831388734160190922469363547795602076820570091 0.163053
102293456496754433437912178025862473506770063938845774671352855253004181137646079840102190385184504910965208878986252219038039267058918532916516487137 0.172970
6703903964971298549787012499102923063739682910296196688861780721860882015036773488400937149083451713845015929093243025426876941405973284973216824503041567 0.232431
6703903964971298549787012499102923063739682910296196688861780721860882015036773488400937149083451713845015929093243025426876941405973284973216824503041861 0.235398
13407807929942597099574024998205846127479365820592393377723561443721764030073546976801874298166903427690031858186486050853753882811946569946433649006083527 0.238450
6864797660130609714981900799081393217269435300143305409394463459185543183397656052122559640661454554977296311391480858037121987999716643812574028291115057151 0.188854
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...