https://github.com/mit-plv/fiat-crypto
Raw File
Tip revision: e38849fe4a842fdeaa003cb28ba80b844a332653 authored by Jason Gross on 28 June 2021, 20:45:50 UTC
Fix lingering xargs
Tip revision: e38849f
perf-old-vm-times.txt
170141183460469231731687303715884105727 0.033
170141183460469231731687303715884105727 0.012
170141183460469231731687303715884105727 0.187
170141183460469231731687303715884105727 0.022
680564733841876926926749214863536422887 0.034
680564733841876926926749214863536422887 0.012
680564733841876926926749214863536422887 0.606
680564733841876926926749214863536422887 0.139
1361129467683753853853498429727072845819 0.034
1361129467683753853853498429727072845819 0.012
1361129467683753853853498429727072845819 0.598
1361129467683753853853498429727072845819 0.138
174224571863520493293247799005065324265459 0.056
174224571863520493293247799005065324265459 0.014
174224571863520493293247799005065324265459 0.607
174224571863520493293247799005065324265459 0.138
1393796574908163946345982392040522594123749 0.058
1393796574908163946345982392040522594123749 0.014
1393796574908163946345982392040522594123749 0.603
1393796574908163946345982392040522594123749 0.138
2787593149816327892691964784081045188247543 0.058
2787593149816327892691964784081045188247543 0.014
2787593149816327892691964784081045188247543 0.608
2787593149816327892691964784081045188247543 0.14
1427247692705959881058285969449495136382746619 0.064
1427247692705959881058285969449495136382746619 0.016
1427247692705959881058285969449495136382746619 0.595
1427247692705959881058285969449495136382746619 0.139
1427247692705959881058285969449495136382746621 0.064
1427247692705959881058285969449495136382746621 0.015
1427247692705959881058285969449495136382746621 0.613
1427247692705959881058285969449495136382746621 0.14
5708990770823839524233143877797980545530986479 0.067
5708990770823839524233143877797980545530986479 0.016
5708990770823839524233143877797980545530986479 0.606
5708990770823839524233143877797980545530986479 0.139
365375409332725729550921208179070754913983135729 0.07
365375409332725729550921208179070754913983135729 0.017
365375409332725729550921208179070754913983135729 0.605
365375409332725729550921208179070754913983135729 0.14
46768052394588893382517914646921056628989841375207 0.107
46768052394588893382517914646921056628989841375207 0.018
46768052394588893382517914646921056628989841375207 1.455
46768052394588893382517914646921056628989841375207 0.14
93536104789177786765035829293842113257979682750459 0.109
93536104789177786765035829293842113257979682750459 0.019
93536104789177786765035829293842113257979682750459 1.465
93536104789177786765035829293842113257979682750459 0.139
2993155353253689176481146537402947624255349848014829 0.115
2993155353253689176481146537402947624255349848014829 0.019
2993155353253689176481146537402947624255349848014829 1.474
2993155353253689176481146537402947624255349848014829 0.14
23945242826029513411849172299223580994042798784118767 0.118
23945242826029513411849172299223580994042798784118767 0.02
23945242826029513411849172299223580994042798784118767 1.465
23945242826029513411849172299223580994042798784118767 0.14
23945242826029513411849172299223580994042798784118781 0.118
23945242826029513411849172299223580994042798784118781 0.02
23945242826029513411849172299223580994042798784118781 1.448
23945242826029513411849172299223580994042798784118781 0.141
784637716923335095479473677900958302012794430558004314087 0.184
784637716923335095479473677900958302012794430558004314087 0.04
784637716923335095479473677900958302012794430558004314087 1.45
784637716923335095479473677900958302012794430558004314087 0.14
1569275433846670190958947355801916604025588861116008628213 0.185
1569275433846670190958947355801916604025588861116008628213 0.04
1569275433846670190958947355801916604025588861116008628213 1.458
1569275433846670190958947355801916604025588861116008628213 0.141
3138550867693340381917894711603833208051177722232017256429 0.187
3138550867693340381917894711603833208051177722232017256429 0.041
3138550867693340381917894711603833208051177722232017256429 1.451
3138550867693340381917894711603833208051177722232017256429 0.14
6277101735386680763835789423207666416083908700390324961279 1.441
6277101735386680763835789423207666416083908700390324961279 0.14
25108406941546723055343157692830665664409421777856138051551 0.191
25108406941546723055343157692830665664409421777856138051551 0.041
25108406941546723055343157692830665664409421777856138051551 3.151
25108406941546723055343157692830665664409421777856138051551 0.571
100433627766186892221372630771322662657637687111424552206321 0.192
100433627766186892221372630771322662657637687111424552206321 0.042
100433627766186892221372630771322662657637687111424552206321 3.222
100433627766186892221372630771322662657637687111424552206321 0.572
401734511064747568885490523085290650630550748445698208825327 0.198
401734511064747568885490523085290650630550748445698208825327 0.043
401734511064747568885490523085290650630550748445698208825327 3.193
401734511064747568885490523085290650630550748445698208825327 0.578
33343964418374048217495713416079124002335712120992951332503551 3.263
33343964418374048217495713416079124002335712120992951332503551 0.573
102844034832575377634685573909834406561420991602098741459288059 0.21
102844034832575377634685573909834406561420991602098741459288059 0.046
102844034832575377634685573909834406561420991602098741459288059 3.209
102844034832575377634685573909834406561420991602098741459288059 0.573
6582018229284824168619876730229402019930943462534319453394436067 0.321
6582018229284824168619876730229402019930943462534319453394436067 0.048
6582018229284824168619876730229402019930943462534319453394436067 3.189
6582018229284824168619876730229402019930943462534319453394436067 0.57
13164036458569648337239753460458804039861886925068638906788872189 0.25
13164036458569648337239753460458804039861886925068638906788872189 0.049
13164036458569648337239753460458804039861886925068638906788872189 3.232
13164036458569648337239753460458804039861886925068638906788872189 0.572
105312291668557186697918027683670107800341436973822328098290401279 3.203
105312291668557186697918027683670107800341436973822328098290401279 0.574
3369993333393829974333376885877453834204643052817571560137951281149 0.343
3369993333393829974333376885877453834204643052817571560137951281149 0.053
3369993333393829974333376885877453834204643052817571560137951281149 3.228
3369993333393829974333376885877453834204643052817571560137951281149 0.573
6739986666787659948666753771754907668409286105635143120275902562187 0.335
6739986666787659948666753771754907668409286105635143120275902562187 0.053
6739986666787659948666753771754907668409286105635143120275902562187 3.204
6739986666787659948666753771754907668409286105635143120275902562187 0.574
26959946667150639794667015087019630673557916260026308143510066298881 3.181
26959946667150639794667015087019630673557916260026308143510066298881 0.573
107839786668602559178668060348078522694548577690162289924414440996859 0.327
107839786668602559178668060348078522694548577690162289924414440996859 0.054
107839786668602559178668060348078522694548577690162289924414440996859 6.373
107839786668602559178668060348078522694548577690162289924414440996859 0.571
1725436586697640946858688965569256363112777243042596638790631055949797 0.339
1725436586697640946858688965569256363112777243042596638790631055949797 0.056
1725436586697640946858688965569256363112777243042596638790631055949797 6.373
1725436586697640946858688965569256363112777243042596638790631055949797 0.572
55213970774324510299478046898216203619608871777363092441300193790394353 0.35
55213970774324510299478046898216203619608871777363092441300193790394353 0.058
55213970774324510299478046898216203619608871777363092441300193790394353 6.373
55213970774324510299478046898216203619608871777363092441300193790394353 0.571
14134776518227074636666380005943348126619871175004951664972849610340958199 0.37
14134776518227074636666380005943348126619871175004951664972849610340958199 0.099
14134776518227074636666380005943348126619871175004951664972849610340958199 6.384
14134776518227074636666380005943348126619871175004951664972849610340958199 0.572
3618502788666131106986593281521497120414687020801267626233049500247285301239 0.508
3618502788666131106986593281521497120414687020801267626233049500247285301239 0.105
3618502788666131106986593281521497120414687020801267626233049500247285301239 6.357
3618502788666131106986593281521497120414687020801267626233049500247285301239 0.572
28723632732102194046035667469577626311807405711506937402182952014414119698431 6.438
28723632732102194046035667469577626311807405711506937402182952014414119698431 0.574
57896044618658097711785492504343953926634992332820282019728792003956564819203 0.663
57896044618658097711785492504343953926634992332820282019728792003956564819203 0.107
57896044618658097711785492504343953926634992332820282019728792003956564819203 6.335
57896044618658097711785492504343953926634992332820282019728792003956564819203 0.579
57896044618658097711785492504343953926634992332820282019728792003956564819949 0.518
57896044618658097711785492504343953926634992332820282019728792003956564819949 0.107
57896044618658097711785492504343953926634992332820282019728792003956564819949 6.318
57896044618658097711785492504343953926634992332820282019728792003956564819949 0.573
115636606695615697602567654828622531023877166082715509571142882662199379099647 6.375
115636606695615697602567654828622531023877166082715509571142882662199379099647 0.579
115792089210356248762697446949407573530086143415290314195533631308867097853951 6.407
115792089210356248762697446949407573530086143415290314195533631308867097853951 0.572
115792089237316195423570985008687907853269984665640564039457584007908834671663 0.161
115792089237316195423570985008687907853269984665640564039457584007908834671663 6.374
115792089237316195423570985008687907853269984665640564039457584007908834671663 0.575
115792089237316195423570985008687907853269984665640564039457584007913129639747 0.666
115792089237316195423570985008687907853269984665640564039457584007913129639747 0.108
115792089237316195423570985008687907853269984665640564039457584007913129639747 6.296
115792089237316195423570985008687907853269984665640564039457584007913129639747 0.579
118571099379011784113736688648896417641748464297615937576404566024103044751294461 0.564
118571099379011784113736688648896417641748464297615937576404566024103044751294461 0.116
118571099379011784113736688648896417641748464297615937576404566024103044751294461 11.917
118571099379011784113736688648896417641748464297615937576404566024103044751294461 1.859
62165404551223330269422781018352605012557018849668464680057997111644937126566671941623 0.807
62165404551223330269422781018352605012557018849668464680057997111644937126566671941623 0.131
62165404551223330269422781018352605012557018849668464680057997111644937126566671941623 11.939
62165404551223330269422781018352605012557018849668464680057997111644937126566671941623 1.883
3978585891278293137243057985174566720803649206378781739523711815145275976100267004264429 1.02
3978585891278293137243057985174566720803649206378781739523711815145275976100267004264429 0.135
3978585891278293137243057985174566720803649206378781739523711815145275976100267004264429 20.823
3978585891278293137243057985174566720803649206378781739523711815145275976100267004264429 1.868
4271974071841820164790043412339104229205409044713305539894083215644439451561281100045924173873143 1.493
4271974071841820164790043412339104229205409044713305539894083215644439451561281100045924173873143 0.239
4271974071841820164790043412339104229205409044713305539894083215644439451561281100045924173873143 34.421
4271974071841820164790043412339104229205409044713305539894083215644439451561281100045924173873143 4.834
8543948143683640329580086824678208458410818089423688076513504625452471533457129634052536482660351 34.351
8543948143683640329580086824678208458410818089423688076513504625452471533457129634052536482660351 4.787
139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444719 1.636
139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444719 0.284
139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444719 34.975
139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444719 4.823
139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444733 1.615
139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444733 0.286
139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444733 34.544
139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444733 4.809
559936185544451052639360570142111069530411374308662383724997275240947967795040236345219373317901778929 1.635
559936185544451052639360570142111069530411374308662383724997275240947967795040236345219373317901778929 0.29
559936185544451052639360570142111069530411374308662383724997275240947967795040236345219373317901778929 34.759
559936185544451052639360570142111069530411374308662383724997275240947967795040236345219373317901778929 4.835
1202453802380202612679414065556140558016349465041059773802132977424491020858679523053413887173001575952350707687 2.753
1202453802380202612679414065556140558016349465041059773802132977424491020858679523053413887173001575952350707687 0.439
1202453802380202612679414065556140558016349465041059773802132977424491020858679523053413887173001575952350707687 55.223
1202453802380202612679414065556140558016349465041059773802132977424491020858679523053413887173001575952350707687 4.815
1231312693637327475383720003129487931408741852202045208373384168882678805359287831606695820465153613775207124697069 2.911
1231312693637327475383720003129487931408741852202045208373384168882678805359287831606695820465153613775207124697069 0.464
1231312693637327475383720003129487931408741852202045208373384168882678805359287831606695820465153613775207124697069 55.583
1231312693637327475383720003129487931408741852202045208373384168882678805359287831606695820465153613775207124697069 4.836
9850501549098619803069760025035903451269934817616361666987073351061430442874302652853566563721228910201656997576599 3.467
9850501549098619803069760025035903451269934817616361666987073351061430442874302652853566563721228910201656997576599 0.473
9850501549098619803069760025035903451269934817616361666987073351061430442874302652853566563721228910201656997576599 55.196
9850501549098619803069760025035903451269934817616361666987073351061430442874302652853566563721228910201656997576599 4.816
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995152987 4.058
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995152987 0.474
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995152987 55.535
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995152987 4.787
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153221 3.491
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153221 0.473
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153221 55.265
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153221 4.86
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153377 3.472
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153377 0.475
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153377 55.495
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153377 4.818
27242793346725870392864805069239920482418413479970250235261124736529268568574243274298145027791523704776457633923071 54.979
27242793346725870392864805069239920482418413479970250235261124736529268568574243274298145027791523704776457633923071 4.812
39399000061888528705747341564979723453684698396802844018513788071802160543945063912606632720166983136866747113537535 56.801
39399000061888528705747341564979723453684698396802844018513788071802160543945063912606632720166983136866747113537535 4.824
39402006196394479212279040100143613805079739270465446667948293404245721771496870329047266088258938001861606973112319 55.257
39402006196394479212279040100143613805079739270465446667948293404245721771496870329047266088258938001861606973112319 4.812
39402006196394479212279040100143613805079739270465446667948293404245721771497210611414266254884915640806627990306499 3.45
39402006196394479212279040100143613805079739270465446667948293404245721771497210611414266254884915640806627990306499 0.477
39402006196394479212279040100143613805079739270465446667948293404245721771497210611414266254884915640806627990306499 55.438
39402006196394479212279040100143613805079739270465446667948293404245721771497210611414266254884915640806627990306499 4.773
1260864198284623334792929283204595641762551656654894293374345388935863096687910739565256520156317300505812095689818091 3.575
1260864198284623334792929283204595641762551656654894293374345388935863096687910739565256520156317300505812095689818091 0.489
1260864198284623334792929283204595641762551656654894293374345388935863096687910739565256520156317300505812095689818091 85.571
1260864198284623334792929283204595641762551656654894293374345388935863096687910739565256520156317300505812095689818091 10.888
5164499756173817179311838344006023748659411585658447025661318713081295244033682389259290706560275662871806343945494986721 3.781
5164499756173817179311838344006023748659411585658447025661318713081295244033682389259290706560275662871806343945494986721 0.521
5164499756173817179311838344006023748659411585658447025661318713081295244033682389259290706560275662871806343945494986721 85.363
5164499756173817179311838344006023748659411585658447025661318713081295244033682389259290706560275662871806343945494986721 10.914
21153791001287955166461289857048673274508949854856999017108761448780985319561963066406054734070889115122918784800747465736171 4.665
21153791001287955166461289857048673274508949854856999017108761448780985319561963066406054734070889115122918784800747465736171 0.747
21153791001287955166461289857048673274508949854856999017108761448780985319561963066406054734070889115122918784800747465736171 86.08
21153791001287955166461289857048673274508949854856999017108761448780985319561963066406054734070889115122918784800747465736171 10.964
42307582002575910332922579714097346549017899709713998034217522897561970639123926132812109468141778230245837569601494931472367 4.712
42307582002575910332922579714097346549017899709713998034217522897561970639123926132812109468141778230245837569601494931472367 0.753
42307582002575910332922579714097346549017899709713998034217522897561970639123926132812109468141778230245837569601494931472367 86.34
42307582002575910332922579714097346549017899709713998034217522897561970639123926132812109468141778230245837569601494931472367 11.129
169230328010303641331690318856389386196071598838855992136870091178871743226194193992506142233229486675299383870011013888737279 85.422
169230328010303641331690318856389386196071598838855992136870091178871743226194193992506142233229486675299383870011013888737279 10.882
45427420268475430659332737993000283397102585042957378767593137448789955507087370207886940669610222847547657600391636120845912601788399 6.144
45427420268475430659332737993000283397102585042957378767593137448789955507087370207886940669610222847547657600391636120845912601788399 0.857
45427420268475430659332737993000283397102585042957378767593137448789955507087370207886940669610222847547657600391636120845912601788399 128.912
45427420268475430659332737993000283397102585042957378767593137448789955507087370207886940669610222847547657600391636120845912601788399 10.813
726838724295606890549323807888004534353641360687318060281490199180612328166730772686396383698676545930088884461843637361053498018365439 128.861
726838724295606890549323807888004534353641360687318060281490199180612328166730772686396383698676545930088884461843637361053498018365439 10.906
2907354897182427562197295231552018137414565442749272241125960796722503232560257392025174868824880222981702812136219630589176199293960191 187.769
2907354897182427562197295231552018137414565442749272241125960796722503232560257392025174868824880222981702812136219630589176199293960191 22.422
11629419588729710248789180926208072549658261770997088964503843186890228609814366773219056811420217048972200345700258846936553626057834493 5.539
11629419588729710248789180926208072549658261770997088964503843186890228609814366773219056811420217048972200345700258846936553626057834493 0.885
11629419588729710248789180926208072549658261770997088964503843186890228609814366773219056811420217048972200345700258846936553626057834493 187.914
11629419588729710248789180926208072549658261770997088964503843186890228609814366773219056811420217048972200345700258846936553626057834493 22.389
762145642166990290864647761179972242614403843424065222377723867096038022172794340849684107193235344521442121855812163792833978437326241529839 6.794
762145642166990290864647761179972242614403843424065222377723867096038022172794340849684107193235344521442121855812163792833978437326241529839 0.947
762145642166990290864647761179972242614403843424065222377723867096038022172794340849684107193235344521442121855812163792833978437326241529839 187.005
762145642166990290864647761179972242614403843424065222377723867096038022172794340849684107193235344521442121855812163792833978437326241529839 22.327
3121748550315992231381597229793166305748598142664971150859156959625371737052918555341921773480194470416908415293922726019829017557682084013670399 187.93
3121748550315992231381597229793166305748598142664971150859156959625371737052918555341921773480194470416908415293922726019829017557682084013670399 22.493
799167628880894011233688890827050574271641124522232614619944181664095165137859998750798362384253944616915694367080095461234681773897801038410285039 9.705
799167628880894011233688890827050574271641124522232614619944181664095165137859998750798362384253944616915694367080095461234681773897801038410285039 1.348
799167628880894011233688890827050574271641124522232614619944181664095165137859998750798362384253944616915694367080095461234681773897801038410285039 270.325
799167628880894011233688890827050574271641124522232614619944181664095165137859998750798362384253944616915694367080095461234681773897801038410285039 22.367
1598335257761788022467377781654101148543282249044465229239888363328190330275719997501596724768507889233831388734160190922469363547795602076820570091 9.721
1598335257761788022467377781654101148543282249044465229239888363328190330275719997501596724768507889233831388734160190922469363547795602076820570091 1.347
1598335257761788022467377781654101148543282249044465229239888363328190330275719997501596724768507889233831388734160190922469363547795602076820570091 267.395
1598335257761788022467377781654101148543282249044465229239888363328190330275719997501596724768507889233831388734160190922469363547795602076820570091 22.395
102293456496754433437912178025862473506770063938845774671352855253004181137646079840102190385184504910965208878986252219038039267058918532916516487137 9.945
102293456496754433437912178025862473506770063938845774671352855253004181137646079840102190385184504910965208878986252219038039267058918532916516487137 1.373
102293456496754433437912178025862473506770063938845774671352855253004181137646079840102190385184504910965208878986252219038039267058918532916516487137 268.585
102293456496754433437912178025862473506770063938845774671352855253004181137646079840102190385184504910965208878986252219038039267058918532916516487137 22.226
3292621777717531703499517186296461297235914818063567795121505704883698582458552017893209304118318844074148143396809486426396407928092469737516832688963583 266.734
3292621777717531703499517186296461297235914818063567795121505704883698582458552017893209304118318844074148143396809486426396407928092469737516832688963583 22.625
6703903964971298549787012499102923063739682910296196688861780721860882015036773488400937149083451713845015929093243025426876941405973284973216824503041567 15.094
6703903964971298549787012499102923063739682910296196688861780721860882015036773488400937149083451713845015929093243025426876941405973284973216824503041567 1.882
6703903964971298549787012499102923063739682910296196688861780721860882015036773488400937149083451713845015929093243025426876941405973284973216824503041567 268.919
6703903964971298549787012499102923063739682910296196688861780721860882015036773488400937149083451713845015929093243025426876941405973284973216824503041567 22.615
6703903964971298549787012499102923063739682910296196688861780721860882015036773488400937149083451713845015929093243025426876941405973284973216824503041861 13.543
6703903964971298549787012499102923063739682910296196688861780721860882015036773488400937149083451713845015929093243025426876941405973284973216824503041861 1.882
6703903964971298549787012499102923063739682910296196688861780721860882015036773488400937149083451713845015929093243025426876941405973284973216824503041861 268.255
6703903964971298549787012499102923063739682910296196688861780721860882015036773488400937149083451713845015929093243025426876941405973284973216824503041861 22.424
13307355755662784245937995239384449178495717617804446826996292939863313924196378526398893947208652243867464023067321551174658528251694711947109629815685119 270.23
13307355755662784245937995239384449178495717617804446826996292939863313924196378526398893947208652243867464023067321551174658528251694711947109629815685119 22.441
13407807929942597099574024998205846127479365820592393377723561443721764030073546976801874298166903427690031858186486050853753882811946569946433649006083527 15.169
13407807929942597099574024998205846127479365820592393377723561443721764030073546976801874298166903427690031858186486050853753882811946569946433649006083527 1.88
13407807929942597099574024998205846127479365820592393377723561443721764030073546976801874298166903427690031858186486050853753882811946569946433649006083527 269.239
13407807929942597099574024998205846127479365820592393377723561443721764030073546976801874298166903427690031858186486050853753882811946569946433649006083527 22.489
6864797660130609714981900799081393217269435300143305409394463459185543183397656052122559640661454554977296311391480858037121987999716643812574028291115057151 9.558
6864797660130609714981900799081393217269435300143305409394463459185543183397656052122559640661454554977296311391480858037121987999716643812574028291115057151 1.512
6864797660130609714981900799081393217269435300143305409394463459185543183397656052122559640661454554977296311391480858037121987999716643812574028291115057151 376.919
6864797660130609714981900799081393217269435300143305409394463459185543183397656052122559640661454554977296311391480858037121987999716643812574028291115057151 42.292
back to top