diff --git a/benchmark-results/csv/ackermann.csv b/benchmark-results/csv/ackermann.csv index a6527bf..f816b71 100644 --- a/benchmark-results/csv/ackermann.csv +++ b/benchmark-results/csv/ackermann.csv @@ -1,11 +1,11 @@ Color,Name,Mean,MeanLB,MeanUB,Stddev,StddevLB,StddevUB -0xa6cee3,ocaml,0.3090289778999719,0.3082877271000098,0.310426602499903,1.5298872830254438e-3,1.9247477853920206e-4,1.969905494272937e-3 -0x1f78b4,ocaml byte,2.0915488630832613,2.051980707499922,2.1258946949999427,5.536812219097789e-2,3.242247113579881e-2,7.694154048548577e-2 -0xb2df8a,haskell,1.0335150362917698,1.0107780605001722,1.0535093887499727,2.790275655862016e-2,1.684886574992106e-2,3.3053402022833835e-2 -0x33a02c,haskell strict,0.44821941472911436,0.4399892946249224,0.45229240383325,8.046212513633974e-3,5.84355958361954e-4,9.840702185099186e-3 -0xfb9a99,juvix,1.0496165704166838,1.0197166825000181,1.0943037863750362,4.873041188248799e-2,7.023104603427983e-3,6.2099249069373696e-2 -0xe31a1c,juvix wasm,0.6965141163124903,0.6886402495625816,0.6999478520624507,7.605670803495956e-3,2.829564605832913e-3,1.025404331222904e-2 -0xfdbf6f,c,3.7250613443384593e-4,3.7119146642615697e-4,3.741636103294486e-4,5.855798763848023e-6,4.617649568059958e-6,7.728520888555385e-6 -0xff7f00,c wasm,0.20161942908333685,0.20109119149998378,0.20266105072227625,1.210088736852314e-3,4.7725196640501216e-4,1.6300179213623429e-3 -0xcab2d6,runtime,1.1214948369165825,1.0886647978748556,1.1420669460832187,3.402185174091939e-2,1.724681588033578e-2,4.777645338410982e-2 -0x6a3d9a,runtime wasm,1.0852805446249836,1.0779309596250357,1.0889463564998891,7.2062294651602035e-3,6.219690528801863e-4,8.797554282744093e-3 +0xa6cee3,ocaml,0.308033306283343,0.30783457558338495,0.3081417064666433,2.1183818722572857e-4,6.21173666680001e-5,2.863379211900773e-4 +0x1f78b4,ocaml byte,2.09826078331245,2.015559961062536,2.147838041437391,8.250220283294568e-2,3.944668570039826e-2,0.11449377329647341 +0xb2df8a,haskell,1.044949854104156,1.0321373068749153,1.0577624013333966,1.9535659197149873e-2,9.384759776664453e-3,2.719168627210772e-2 +0x33a02c,haskell strict,0.45544258216669203,0.4482256180000377,0.4626595463333464,1.250951621528629e-2,2.8352734999543827e-3,1.636110271292181e-2 +0xfb9a99,juvix,1.0458927078750644,1.0270898290001091,1.0603688667499966,2.334945324776161e-2,1.3279782786728568e-2,3.014360593325291e-2 +0xe31a1c,juvix wasm,0.6925675813125641,0.6789709694374721,0.6994438615626279,1.3491659963040708e-2,3.601479225765966e-4,1.5880089013590667e-2 +0xfdbf6f,c,3.697986766866237e-4,3.6880575753304106e-4,3.7126353391374816e-4,4.723843230218456e-6,3.612375579300428e-6,6.238377554172568e-6 +0xff7f00,c wasm,0.20473070445550676,0.20143385805550273,0.21198124544439326,7.8005137174973534e-3,1.6468348578934575e-3,1.0691758354887516e-2 +0xcab2d6,runtime,1.0651845672708855,1.0555381182500696,1.0699862639583937,9.100416502393892e-3,2.8593948749744413e-3,1.1188476255168996e-2 +0x6a3d9a,runtime wasm,1.0855864816457483,1.0797208264374945,1.0890584716249805,5.875181353102086e-3,2.2283722068642585e-3,8.049212012536612e-3 diff --git a/benchmark-results/csv/combinations.csv b/benchmark-results/csv/combinations.csv index fbcbf97..011d015 100644 --- a/benchmark-results/csv/combinations.csv +++ b/benchmark-results/csv/combinations.csv @@ -1,11 +1,11 @@ Color,Name,Mean,MeanLB,MeanUB,Stddev,StddevLB,StddevUB -0xa6cee3,ocaml,7.211862777541711,7.209956377166662,7.215303167000144,3.5330158892821874e-3,2.976480238159832e-4,4.402643078870129e-3 -0x1f78b4,ocaml byte,51.85441582747911,51.45002539166661,52.57375268593745,0.7309828650534975,7.226395383334605e-2,0.8728228191863827 -0xb2df8a,haskell,8.32668811247917,7.7710797344583025,8.882296490500039,0.9141716301238433,0.32384261432100525,1.2405464874031904 -0x33a02c,haskell strict,8.538970050895793,8.068499209750087,8.815590203583193,0.501497400569875,0.35382675868300595,0.6145668527821052 -0xfb9a99,juvix,10.560906746020825,10.444898088187472,10.618929765687483,0.11573322537598785,8.632887626953967e-5,0.1339552735657135 -0xe31a1c,juvix wasm,17.041114683750077,16.940150582000115,17.09606890675006,0.11704114044470594,0.10049476050001793,0.12691134176858426 -0xfdbf6f,c,3.913631692666627,3.909509004749907,3.917931303374985,5.709850782691521e-3,2.5821598272053863e-3,7.711882608653802e-3 -0xff7f00,c wasm,5.081238223458304,5.053761435125011,5.094868461749968,2.7062898020183555e-2,1.663744833384495e-3,3.268802580880372e-2 -0xcab2d6,runtime,10.326399830750072,9.650838208249997,10.813464298875118,0.8219303539316967,0.5168313982853427,1.0110186914540256 -0x6a3d9a,runtime wasm,15.135771523479244,15.09919545900027,15.162995195645824,4.6772376932001286e-2,2.918380872388572e-2,6.287037781482022e-2 +0xa6cee3,ocaml,7.212171163416708,7.210851046250042,7.2142182331667,2.260140113921903e-3,4.983585000388757e-4,2.7543622533280766e-3 +0x1f78b4,ocaml byte,52.38646258522919,51.90934506162503,52.86358010883335,0.7752455876349784,0.379085341469034,1.0855432427465574 +0xb2df8a,haskell,8.42156394858329,7.790783896583369,9.348458870999764,1.0893175282878584,0.33347492184531236,1.456724131286401 +0x33a02c,haskell strict,8.039717500958432,7.603974248750092,8.475460753166772,0.564857138845279,0.27800960116655915,0.7484393966206376 +0xfb9a99,juvix,10.596822016937542,10.55637868118753,10.617587612999994,4.009570395021812e-2,2.314538249947873e-3,4.67381635674527e-2 +0xe31a1c,juvix wasm,17.014379043770827,16.951063615375062,17.069587041624857,7.90881067637501e-2,4.060987088771853e-2,9.994305059825956e-2 +0xfdbf6f,c,3.9079999402290846,3.90332753562501,3.91119305531231,5.420847474189967e-3,2.800683819221142e-3,7.374183411414801e-3 +0xff7f00,c wasm,5.08585451912496,5.061535482499759,5.098779239500042,2.307093841960929e-2,8.65685973605701e-3,2.9848363151017368e-2 +0xcab2d6,runtime,9.239095803104078,8.947238811874854,9.460681395999984,0.3601917697681674,0.21716150589995467,0.4568533439043126 +0x6a3d9a,runtime wasm,15.182766448229254,15.039698717875126,15.250401536541725,0.13553229242544115,4.193944394251897e-2,0.17420422475374114 diff --git a/benchmark-results/csv/cps.csv b/benchmark-results/csv/cps.csv index 05fe98d..1f88850 100644 --- a/benchmark-results/csv/cps.csv +++ b/benchmark-results/csv/cps.csv @@ -1,11 +1,11 @@ Color,Name,Mean,MeanLB,MeanUB,Stddev,StddevLB,StddevUB -0xa6cee3,ocaml,0.28611564179335497,0.2789112335533506,0.3005323225000211,1.6015301907574928e-2,8.721079463199985e-5,1.9737270084583237e-2 -0x1f78b4,ocaml byte,2.160310759229096,2.134759434437541,2.17171237468753,2.6102771286886695e-2,1.1500103760507413e-2,3.623886992361739e-2 -0xb2df8a,haskell,17.0661271349792,16.95336638256248,17.11541992791668,0.10893903759679792,4.671236476217411e-2,0.14657297396103267 -0x33a02c,haskell strict,0.5743705386250136,0.5743069874999946,0.5744114697500132,7.779037972240632e-5,4.917069856536096e-5,9.452638414698555e-5 -0xfb9a99,juvix,0.8208514022500518,0.8189979145001113,0.8218493519999962,1.8087916335868782e-3,9.592824832681461e-4,2.3046662270724354e-3 -0xe31a1c,juvix wasm,0.8646741239791519,0.8642902003748532,0.8648703634167229,3.771679273635984e-4,2.364515572724046e-4,4.5319556842887286e-4 -0xfdbf6f,c,0.1548914505799654,0.15483725697629866,0.15498567482989553,1.3821784380265483e-4,8.835782897389155e-5,1.742442007880387e-4 -0xff7f00,c wasm,0.19264303421950393,0.19216173799434524,0.19349458403915176,9.946440811202531e-4,2.96495396002348e-4,1.3921437527691924e-3 -0xcab2d6,runtime,0.27840153120668526,0.27833164069988925,0.27846817290001125,1.0982502860668936e-4,7.448780739524152e-5,1.478301359457563e-4 -0x6a3d9a,runtime wasm,0.3163817639332319,0.31613664770008654,0.3165225076998195,2.8883647222837494e-4,1.502187045960842e-4,3.854426789412089e-4 +0xa6cee3,ocaml,0.27917889647998134,0.278794021639989,0.27989922299996123,7.798482858353923e-4,1.4129527337486414e-4,1.0029067647153935e-3 +0x1f78b4,ocaml byte,1.9677594179792,1.9060585853334637,2.0456575940625896,0.10245199042004065,4.5472149779878075e-2,0.14244852499215369 +0xb2df8a,haskell,17.185645900249995,17.109321711999996,17.23818080799998,9.615247230018728e-2,5.277550606738869e-2,0.12132417252522817 +0x33a02c,haskell strict,0.5741126792083074,0.5740326252498562,0.5741927331667587,1.1036344700305565e-4,5.229372054855876e-5,1.4981258005230486e-4 +0xfb9a99,juvix,0.8252361930416517,0.8241965097499815,0.826177832250039,1.494886320323517e-3,9.319906759109456e-4,2.090270668791795e-3 +0xe31a1c,juvix wasm,0.8668093154167309,0.8664231649165686,0.8673324214166769,5.812681405273069e-4,1.6613000025245128e-4,7.108934282681123e-4 +0xfdbf6f,c,0.15483656414703176,0.1548153397279516,0.15486351187495045,4.225664234853151e-5,2.956284865018005e-5,5.978369208208393e-5 +0xff7f00,c wasm,0.19217054753612248,0.192036287883391,0.19245250620834517,2.90833477384021e-4,7.948975855230525e-5,3.9596005482066786e-4 +0xcab2d6,runtime,0.2784119264700166,0.27837828773990625,0.2784696596001595,6.352676873001175e-5,1.5386762934188513e-5,8.571046789116717e-5 +0x6a3d9a,runtime wasm,0.31587263685347355,0.31555182115349456,0.31650816743349425,6.801386940883118e-4,7.410664536585971e-5,8.703029122250829e-4 diff --git a/benchmark-results/csv/fibonacci.csv b/benchmark-results/csv/fibonacci.csv index d06acee..955cc19 100644 --- a/benchmark-results/csv/fibonacci.csv +++ b/benchmark-results/csv/fibonacci.csv @@ -1,11 +1,11 @@ Color,Name,Mean,MeanLB,MeanUB,Stddev,StddevLB,StddevUB -0xa6cee3,ocaml,0.2786369094066841,0.27855480267335264,0.2787952244400139,1.6577834493394992e-4,3.856747687223491e-5,2.198040480812364e-4 -0x1f78b4,ocaml byte,0.9941738299583088,0.9921412166666432,0.997578176374958,3.8093659636268553e-3,1.2710120000178904e-3,4.6941193244061106e-3 -0xb2df8a,haskell,17.071667463604133,17.047133263666712,17.099628439916632,3.334212012607558e-2,1.4516436541631705e-2,4.092444037454418e-2 -0x33a02c,haskell strict,0.5744108025832778,0.5742773824166345,0.5745357236249049,1.6893528688810764e-4,9.041129008307182e-5,2.1180296694385555e-4 -0xfb9a99,juvix,0.2784024937966433,0.278301975249974,0.2785035848099733,1.4002665253543757e-4,1.2127888358002607e-4,1.5103490596520938e-4 -0xe31a1c,juvix wasm,0.3159319742099812,0.3156603957999778,0.3160731022599839,2.9346492283695194e-4,1.3250257129416445e-4,3.92801364459757e-4 -0xfdbf6f,c,0.15483158876053693,0.1548112071496406,0.15485013956190088,3.535610962402371e-5,2.4762472030263378e-5,5.2337139043742635e-5 -0xff7f00,c wasm,0.19238588086109934,0.19218637263885008,0.19257154741661806,3.125806646725699e-4,2.481034905505072e-4,4.01254177324992e-4 -0xcab2d6,runtime,0.278405742019986,0.27831355923995943,0.27850401064002656,1.4403557298123035e-4,8.650195372146777e-5,1.819276906675814e-4 -0x6a3d9a,runtime wasm,0.3164985314499904,0.31584124764998933,0.3177089588500098,1.3439630268531112e-3,1.8869312760893555e-4,1.7441131799810282e-3 +0xa6cee3,ocaml,0.2785254411666665,0.278472855100008,0.27863021379997915,1.1328099909574698e-4,2.430692908277227e-5,1.4346602982201438e-4 +0x1f78b4,ocaml byte,0.9899267066874842,0.9881978122500072,0.9907728568124838,1.6809723272247607e-3,2.625021249684778e-4,2.1479110102688975e-3 +0xb2df8a,haskell,16.908199726458346,16.773155493833368,17.00030678545833,0.15308041565550165,8.270300253073448e-2,0.21271214123162602 +0x33a02c,haskell strict,0.574212510645855,0.5741047789584192,0.5744008283749906,1.9216050948899817e-4,2.2626124945190895e-5,2.383582887845931e-4 +0xfb9a99,juvix,0.2783671767700313,0.27830814537000453,0.2784804345700741,1.2324159316546836e-4,1.2036827873735024e-5,1.5830647045941487e-4 +0xe31a1c,juvix wasm,0.3155290665866247,0.31529571638666465,0.31595732731987936,4.567368054577869e-4,1.052713626786473e-4,6.090409584037926e-4 +0xfdbf6f,c,0.1548598403843609,0.15482738670068,0.1549231815714604,7.818665428539306e-5,1.5307397567574735e-5,1.1349696180047333e-4 +0xff7f00,c wasm,0.1927114697555491,0.19197922717222707,0.19418726944442397,1.7558454481491493e-3,6.187696973157042e-5,2.3682201036637537e-3 +0xcab2d6,runtime,0.27838309495666785,0.2783155625633329,0.27844738683998915,9.96628300148912e-5,8.184743332294055e-5,1.1537499710296619e-4 +0x6a3d9a,runtime wasm,0.3155934112366882,0.3155125131566562,0.3157515969167586,1.6468425483903725e-4,3.5897024496311106e-5,2.1669867611339748e-4 diff --git a/benchmark-results/csv/fold.csv b/benchmark-results/csv/fold.csv index b8bc756..c2841c8 100644 --- a/benchmark-results/csv/fold.csv +++ b/benchmark-results/csv/fold.csv @@ -1,9 +1,9 @@ Color,Name,Mean,MeanLB,MeanUB,Stddev,StddevLB,StddevUB -0xa6cee3,ocaml,0.3141123684432508,0.31400809681342556,0.31416193603320913,1.108677130365786e-4,3.4439032609573895e-5,1.455025175680896e-4 -0x1f78b4,ocaml byte,2.8310601145001137,2.7237443245001787,2.928676300000234,0.132129959122031,8.151442921370178e-2,0.16740900540172945 -0xb2df8a,haskell,0.4248789580624172,0.42367762662468067,0.4264488704998257,1.8971771674843553e-3,6.470398192449842e-4,2.5685840052411227e-3 -0x33a02c,haskell strict,0.4226229733125327,0.42209010650018775,0.42313349768750186,7.374807416967288e-4,3.79673610228258e-4,1.0133203030816024e-3 -0xfb9a99,juvix,0.28153631872009405,0.2814339423600177,0.28172377850026653,2.039137256418168e-4,3.882408440869422e-5,2.680215715804989e-4 -0xe31a1c,juvix wasm,0.31788943560005767,0.31777908360011986,0.31796344339997934,1.3801205072026676e-4,8.689720563744231e-5,1.825488079136846e-4 -0xcab2d6,runtime,0.28323367942324695,0.2818506482800148,0.2859513490830068,3.02783937863986e-3,5.97362978419602e-5,3.7448447002827274e-3 -0x6a3d9a,runtime wasm,0.7209222049793501,0.7204348143756079,0.721146007645795,4.6415251571996853e-4,1.7403537038197141e-4,6.087302662152051e-4 +0xa6cee3,ocaml,0.31294466363317347,0.31286840803328536,0.31308568689960337,1.5127992600497066e-4,2.8105291861778482e-5,1.9884911789966016e-4 +0x1f78b4,ocaml byte,2.8401327516875767,2.6623613596877362,2.9269055086250546,0.17120244110412788,3.5654514711866675e-2,0.22309997940657814 +0xb2df8a,haskell,0.4211943814791728,0.41771009012506966,0.4244422780623722,4.34439114024205e-3,2.4804574658928514e-3,5.1826424262006844e-3 +0x33a02c,haskell strict,0.42192380797911255,0.4184252111250544,0.4241098794998379,4.0663181931898055e-3,3.606531545256669e-3,4.395945190032584e-3 +0xfb9a99,juvix,0.28069123842338434,0.2806462641567335,0.2807715490999726,9.125577349719046e-5,1.3332533156438568e-5,1.1916877595818996e-4 +0xe31a1c,juvix wasm,0.31678968069668373,0.31659725509325654,0.31705530634681056,3.402483931777702e-4,1.319281168850355e-4,4.5198339953297326e-4 +0xcab2d6,runtime,0.282499151263349,0.2811860282633491,0.28497791528360117,2.7432014477344548e-3,2.479566771378134e-4,3.461806766444279e-3 +0x6a3d9a,runtime wasm,0.720109774395875,0.7199799307499006,0.7201775345627084,1.237051826231401e-4,2.2408125005313195e-5,1.564854022463447e-4 diff --git a/benchmark-results/csv/mapfold.csv b/benchmark-results/csv/mapfold.csv index 33650b7..7ba7838 100644 --- a/benchmark-results/csv/mapfold.csv +++ b/benchmark-results/csv/mapfold.csv @@ -1,9 +1,9 @@ Color,Name,Mean,MeanLB,MeanUB,Stddev,StddevLB,StddevUB -0xa6cee3,ocaml,1.172056030645744,1.1475495054375529,1.1976392676248224,3.3432721655057236e-2,2.145190614134727e-2,4.480547404293881e-2 -0x1f78b4,ocaml byte,7.153347556250101,7.08879256312512,7.268808637375059,0.11397015324676561,2.6963658718394096e-2,0.14908337063296973 -0xb2df8a,haskell,1.9428947592916,1.9164956347499356,1.9626110767499085,3.139728333838093e-2,2.5712403409686623e-2,3.649593922057359e-2 -0x33a02c,haskell strict,1.9115068289999424,1.8904842200000758,1.9224608897499138,2.1018451742026104e-2,1.497182697332381e-2,2.5297319690862147e-2 -0xfb9a99,juvix,1.7506918031874648,1.7468071442499422,1.752639887249984,3.693523037350625e-3,2.6579330041863296e-5,4.48565714006593e-3 -0xe31a1c,juvix wasm,0.8520346539999272,0.8511645251248486,0.8526405093749835,1.0976603295751622e-3,5.95170413900915e-4,1.399163055514964e-3 -0xcab2d6,runtime,2.0999170370417723,2.095331176375055,2.102068558291857,4.3486084575795345e-3,1.765849952436246e-3,5.621866069968332e-3 -0x6a3d9a,runtime wasm,2.3277028247080693,2.3027151593330473,2.341377387874502,2.3931835045755637e-2,8.083625436592825e-3,3.1754778936088544e-2 +0xa6cee3,ocaml,1.1974759637707848,1.1810281736666184,1.2139237538749512,2.151019601050905e-2,1.4295522411210968e-2,2.9023716152052417e-2 +0x1f78b4,ocaml byte,6.989468783895821,6.839771297562493,7.113442734374985,0.18355066673280843,0.12762492966673245,0.21520611166342773 +0xb2df8a,haskell,1.8842721439377783,1.79960128775042,1.9512580036251848,0.10106100851288045,7.387569417174457e-2,0.12166327227740521 +0x33a02c,haskell strict,1.852982763229382,1.8152330361670768,1.8826780649167933,5.042648392458042e-2,2.483332337889622e-2,6.857836169157626e-2 +0xfb9a99,juvix,1.7334046026042909,1.732031512062406,1.7341563235002013,1.347067502184634e-3,3.3774116688312095e-4,1.7805033415743306e-3 +0xe31a1c,juvix wasm,0.8497697482500257,0.8471047205000559,0.8516934952499469,3.367415303238455e-3,2.2319115407005642e-3,4.442703393028843e-3 +0xcab2d6,runtime,2.0917288594792276,2.085514787979188,2.100970789375083,1.0129004432504808e-2,3.3591434736695673e-3,1.3017749913243282e-2 +0x6a3d9a,runtime wasm,2.332685749374965,2.269903607500131,2.3632162907499987,6.113621625058766e-2,4.4826467940316875e-3,7.498991191955466e-2 diff --git a/benchmark-results/csv/mapfun.csv b/benchmark-results/csv/mapfun.csv index 16cfd19..baab708 100644 --- a/benchmark-results/csv/mapfun.csv +++ b/benchmark-results/csv/mapfun.csv @@ -1,9 +1,9 @@ Color,Name,Mean,MeanLB,MeanUB,Stddev,StddevLB,StddevUB -0xa6cee3,ocaml,0.345712260520808,0.34092455399991195,0.35049996704170405,6.10110504898058e-3,3.143426708258318e-3,7.534558855496757e-3 -0x1f78b4,ocaml byte,1.0851276741249762,1.057773406750016,1.1055238720000489,3.2786335466016385e-2,2.3040637925723948e-2,4.034626305099301e-2 -0xb2df8a,haskell,1.8696248814581509,1.8490206974998387,1.8806422782914751,2.0036152940697747e-2,9.75341925027351e-3,2.5443588109954757e-2 -0x33a02c,haskell strict,0.8797160864166926,0.8598372923333955,0.8940065684166711,2.521389662284593e-2,1.4524651451274925e-2,3.300245451814838e-2 -0xfb9a99,juvix,1.1191595394793883,1.118772948500009,1.1192857487501442,2.6879784452567783e-4,2.4331320644249102e-5,3.284157746615633e-4 -0xe31a1c,juvix wasm,1.0617389302708677,1.060368814249955,1.0642956592500923,2.618924477185303e-3,1.4126072345321296e-4,3.1447439702913683e-3 -0xcab2d6,runtime,1.448212734437637,1.4463273427502372,1.4499926561251186,2.8346489807705567e-3,1.7527695959721485e-3,3.991473846794617e-3 -0x6a3d9a,runtime wasm,0.993337288250018,0.992653311625304,0.9936574877501698,6.556620456695336e-4,1.0888450842668309e-4,8.44230431009395e-4 +0xa6cee3,ocaml,0.3413039330416912,0.3299990246250104,0.3466785580000078,1.0851429411474236e-2,2.3650364732360207e-3,1.4236302071687483e-2 +0x1f78b4,ocaml byte,1.0819955464791822,1.0555881848332924,1.103036778229087,3.233469273951993e-2,2.006709229135796e-2,4.045053284642709e-2 +0xb2df8a,haskell,1.8529041607707957,1.8432130821875603,1.8685273467498291,1.6746685129983875e-2,4.133632374873741e-3,2.1077965788727324e-2 +0x33a02c,haskell strict,0.8871724339583315,0.8672776352499909,0.907071230500037,2.7160093085059483e-2,1.3038949749620787e-2,3.672975664959732e-2 +0xfb9a99,juvix,1.1200315176874938,1.118723135187679,1.122635356874639,2.605829257151969e-3,1.5190000340226106e-5,3.0154258581926627e-3 +0xe31a1c,juvix wasm,1.0594760799791818,1.0592027148333423,1.0597494451250213,4.061039234982912e-4,2.0617362338924144e-4,5.630913532686683e-4 +0xcab2d6,runtime,1.454944184145764,1.4511525700830437,1.4613572058332995,6.757017103136785e-3,7.80137625270072e-4,8.105811431055718e-3 +0x6a3d9a,runtime wasm,0.9880392040208411,0.9874619234375359,0.9888483141875213,9.063961189216581e-4,4.151051872413877e-4,1.1883949888142707e-3 diff --git a/benchmark-results/csv/maybe.csv b/benchmark-results/csv/maybe.csv index c55088e..060bf1a 100644 --- a/benchmark-results/csv/maybe.csv +++ b/benchmark-results/csv/maybe.csv @@ -1,11 +1,11 @@ Color,Name,Mean,MeanLB,MeanUB,Stddev,StddevLB,StddevUB -0xa6cee3,ocaml,0.3250205267233014,0.32485759029000294,0.32514030219990675,2.211050122651105e-4,1.7645035995036637e-4,2.636830874285146e-4 -0x1f78b4,ocaml byte,4.310717247791691,3.9255678665001597,4.6144764578749005,0.4807776602434498,0.3135520148176544,0.6273009173585335 -0xb2df8a,haskell,8.568106310104119,8.47511578606236,8.616698269270824,8.80494087094648e-2,3.1204905625031643e-2,0.11221832282139323 -0x33a02c,haskell strict,0.6134342204166879,0.6130769038333785,0.6137915369999973,5.860268553909069e-4,2.4879718996001325e-4,8.108291783524524e-4 -0xfb9a99,juvix,1.3314959344166464,1.3257568559167037,1.3356858768333004,6.788755556203649e-3,3.3418986144870687e-3,9.50939310090841e-3 -0xe31a1c,juvix wasm,1.4122280290415479,1.4035256018332043,1.4278159226665441,1.557827778013221e-2,1.4149028333273472e-3,1.9243294050240587e-2 -0xfdbf6f,c,0.34457511985421735,0.34214538587497145,0.34940064987512187,4.591475630376469e-3,9.784311249632083e-4,5.585104831371538e-3 -0xff7f00,c wasm,0.4673282414584037,0.46199229050012036,0.4732284266250417,8.657972437529648e-3,4.6508275214135805e-3,1.2202168324089994e-2 -0xcab2d6,runtime,0.4773450157708889,0.47629204591665564,0.4780187844375803,1.2625455983442026e-3,9.000464325177543e-4,1.556002084343264e-3 -0x6a3d9a,runtime wasm,0.8628825225624249,0.8531372615000237,0.8680832364998423,9.551859918177327e-3,1.755499491391142e-3,1.2225491831510971e-2 +0xa6cee3,ocaml,0.3239998689333091,0.3236748201333406,0.32429283693324884,4.8482626083177024e-4,3.2936180187016735e-4,6.299323546178973e-4 +0x1f78b4,ocaml byte,4.320182350208398,3.9415541143335986,4.522627573416628,0.3713954411122309,6.459420175002606e-2,0.474495707578684 +0xb2df8a,haskell,8.603570748333388,8.537242917250182,8.656596729624937,7.928835941175752e-2,5.624883758339662e-2,9.494756078418339e-2 +0x33a02c,haskell strict,0.6086881462083037,0.6026633304999507,0.6116446181249842,5.978022148683503e-3,2.2374374998435087e-4,6.959256181752598e-3 +0xfb9a99,juvix,1.3310461654791557,1.3222997079583174,1.3459686498124768,1.4901076406412138e-2,3.2084058183032994e-3,1.9327712089648393e-2 +0xe31a1c,juvix wasm,1.4058107996666536,1.4037722893333466,1.4086014024165934,3.346869225792419e-3,1.1688054660287015e-3,4.532602795991657e-3 +0xfdbf6f,c,0.3381183892707895,0.33353324449990396,0.3427035340416751,6.025314560816866e-3,2.9849860115747505e-3,7.927766479716776e-3 +0xff7f00,c wasm,0.46894099283337215,0.4618655000834527,0.47363974245833634,8.394056035896567e-3,3.8876110353690497e-3,1.0851297443310922e-2 +0xcab2d6,runtime,0.4780253754375394,0.47707236556254884,0.47974005743748194,1.7365398141579518e-3,2.4374761307304556e-4,2.2008820314647426e-3 +0x6a3d9a,runtime wasm,0.8473503971041983,0.8299031103750281,0.8571433343541818,2.0350047937168114e-2,1.7872085461865205e-2,2.2615819829740175e-2 diff --git a/benchmark-results/csv/mergesort.csv b/benchmark-results/csv/mergesort.csv index 4aaf013..34aadb6 100644 --- a/benchmark-results/csv/mergesort.csv +++ b/benchmark-results/csv/mergesort.csv @@ -1,11 +1,11 @@ Color,Name,Mean,MeanLB,MeanUB,Stddev,StddevLB,StddevUB -0xa6cee3,ocaml,2.075473089041689,2.074747124250024,2.075923335875018,7.441342859169836e-4,3.516666565198528e-4,1.0398005216972373e-3 -0x1f78b4,ocaml byte,5.0373284292500005,4.982736345750007,5.129343295499997,9.911035248515697e-2,1.5424215249983941e-2,0.1260750164173737 -0xb2df8a,haskell,4.503650729687474,4.4793556027499815,4.520370384187497,2.9127622330375448e-2,2.0099300635486733e-2,3.575938764576075e-2 -0x33a02c,haskell strict,4.4584100692291555,4.416199996499955,4.494327695500004,5.45920165700393e-2,3.162206237100611e-2,7.440306491218616e-2 -0xfb9a99,juvix,1.4831709570416673,1.480760689125006,1.4856139327499918,3.3427443636462983e-3,1.781293607810883e-3,4.245354101562159e-3 -0xe31a1c,juvix wasm,0.6794828901666605,0.6783037159166696,0.6802683116666586,1.2833062895782692e-3,7.704987238543798e-4,1.8138532578047784e-3 -0xfdbf6f,c,8.735833836842352e-2,8.719110037223538e-2,8.758086204508862e-2,3.794422204993641e-4,2.608326271825639e-4,5.547429368498608e-4 -0xff7f00,c wasm,0.15513691777008054,0.15461578369525078,0.15621508872449832,1.330342411566334e-3,1.295481144686656e-4,1.9082437119525145e-3 -0xcab2d6,runtime,0.6935289498541598,0.6933379419374859,0.6937286898333166,2.7409122292815864e-4,1.209647380515495e-4,3.659594821958394e-4 -0x6a3d9a,runtime wasm,0.3925508984583151,0.3921684151249849,0.392728658916648,3.708386525303386e-4,5.392483332875009e-5,4.4384298139491836e-4 +0xa6cee3,ocaml,2.046015343687491,2.045312654875005,2.0463844948125,7.078941020213993e-4,3.710035610096481e-4,9.82787423160066e-4 +0x1f78b4,ocaml byte,5.014380385541661,4.959277380999978,5.04040039133333,5.292700764881354e-2,7.979647655973025e-3,6.761729283858188e-2 +0xb2df8a,haskell,4.438390753958328,4.394803068833345,4.467090787708313,4.731695254113838e-2,2.5300493192865283e-2,6.627988884522017e-2 +0x33a02c,haskell strict,4.396576080166649,4.3864702072499995,4.403403594083306,1.1243233583415398e-2,6.3392890201086835e-3,1.5767467990711166e-2 +0xfb9a99,juvix,1.4793193414791759,1.4714749375000338,1.4833965116458288,7.481040184194807e-3,3.5658445470123585e-3,9.4158211729958e-3 +0xe31a1c,juvix wasm,0.6891498539583457,0.6802606415000128,0.6948954468333474,9.86047067498075e-3,4.9778831573288615e-3,1.326887837214479e-2 +0xfdbf6f,c,8.70402051376245e-2,8.687273683095566e-2,8.742383598500168e-2,4.680779954140108e-4,1.981758123034878e-4,7.279885502376562e-4 +0xff7f00,c wasm,0.15444617237924477,0.15420600056971853,0.1549149634149741,5.604088100279265e-4,1.8946884563051357e-4,8.28437687924623e-4 +0xcab2d6,runtime,0.687739964291661,0.6815892603750058,0.690774519874978,5.964531185503348e-3,5.793317499751538e-4,7.1964363163505895e-3 +0x6a3d9a,runtime wasm,0.39085746556250456,0.3905225635000136,0.3913419431874843,5.543321100713499e-4,1.4266440621902503e-4,7.164017617551788e-4 diff --git a/benchmark-results/csv/prime.csv b/benchmark-results/csv/prime.csv index 6924968..ccac7d6 100644 --- a/benchmark-results/csv/prime.csv +++ b/benchmark-results/csv/prime.csv @@ -1,11 +1,11 @@ Color,Name,Mean,MeanLB,MeanUB,Stddev,StddevLB,StddevUB -0xa6cee3,ocaml,3.107332616958369,3.106663113124739,3.108482028000367,1.2033637880388079e-3,1.344505833837939e-4,1.4755017519010702e-3 -0x1f78b4,ocaml byte,19.074125463083345,18.41102785625003,19.445392907208355,0.7720436801657247,0.695189119666642,0.8574054352276756 -0xb2df8a,haskell,4.068874471104228,4.066822441833361,4.070926500375094,3.448135539369955e-3,1.1310938749602428e-3,4.6376012557265995e-3 -0x33a02c,haskell strict,4.033495246895882,4.029386729166617,4.036191042375094,5.064779175593806e-3,2.825444500103913e-3,6.225672982413805e-3 -0xfb9a99,juvix,3.1069608378748512,3.1067215743749443,3.1070753256247485,2.2671798529149036e-4,6.260411023540458e-5,2.881572514254643e-4 -0xe31a1c,juvix wasm,2.677195618145788,2.6759942879166374,2.679412682937482,2.2941607320458635e-3,3.421715000513359e-4,2.774353324743163e-3 -0xfdbf6f,c,0.2509870700367507,0.25093917826658674,0.25106806981686225,9.112628231498584e-5,1.5926594450572462e-5,1.1929572970530798e-4 -0xff7f00,c wasm,0.2589025460165158,0.2581282066832228,0.26034306499968807,1.6097309700888137e-3,1.468287950487238e-4,2.0671277902225937e-3 -0xcab2d6,runtime,3.103231066500124,3.103023941500017,3.1034381915002314,3.2909828080278754e-4,1.9092473988741919e-4,4.6476177084897683e-4 -0x6a3d9a,runtime wasm,2.673710625999945,2.6730558015001407,2.674323103249776,8.958229178451933e-4,4.707826742076229e-4,1.227312149189517e-3 +0xa6cee3,ocaml,3.1043707929167303,3.1042576216667235,3.104540402749933,1.9598028725254416e-4,5.7365937792755917e-5,2.6135780662397496e-4 +0x1f78b4,ocaml byte,19.3587716040207,18.360638338124886,19.921978074354023,0.964943319523922,0.40972128666740404,1.3006696290251312 +0xb2df8a,haskell,4.0279050648333055,4.025387983624967,4.02928160570832,2.4568307953551833e-3,1.121469865769584e-3,3.3428908713566937e-3 +0x33a02c,haskell strict,4.018212019125144,4.014335537750412,4.020021991500016,3.7073965318126195e-3,6.643422323060837e-4,4.772398109408194e-3 +0xfb9a99,juvix,3.103472008687561,3.1030670620627347,3.104143917374927,7.547483480763024e-4,2.571486251099486e-4,9.279401577824493e-4 +0xe31a1c,juvix wasm,2.673751041812674,2.672939619250049,2.6746529294375136,1.2830478575646565e-3,6.717649184859011e-4,1.8021949680827045e-3 +0xfdbf6f,c,0.2508523137633407,0.2508146450333394,0.25089782475995887,6.357009788433328e-5,4.4351617001488885e-5,8.94359731653207e-5 +0xff7f00,c wasm,0.25789217947009396,0.25757895287002913,0.25843978730038847,6.009403023413579e-4,2.0505078750073484e-4,8.005414424716442e-4 +0xcab2d6,runtime,3.1018325282083765,3.101509000999954,3.102063040083408,3.7888970152420953e-4,1.9986697072677198e-4,5.323443724031945e-4 +0x6a3d9a,runtime wasm,2.6718349537083177,2.671310661583296,2.672474171375086,8.672207328807979e-4,4.1941632625021503e-4,1.210800798060598e-3 diff --git a/benchmark-results/plot/ackermann.svg b/benchmark-results/plot/ackermann.svg index b2404b9..0193bd9 100644 --- a/benchmark-results/plot/ackermann.svg +++ b/benchmark-results/plot/ackermann.svg @@ -199,68 +199,68 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox gnuplot_plot_1a - + - - + + - - + + - - + + - - + + - - + + - + - + - - + + - - + + - + Mean - - 0.3090 + + 0.3080 - - 2.0915 + + 2.0983 - - 1.0335 + + 1.0449 - - 0.4482 + + 0.4554 - - 1.0496 + + 1.0459 - - 0.6965 + + 0.6926 0.0004 - - 0.2016 + + 0.2047 - - 1.1215 + + 1.0652 - - 1.0853 + + 1.0856 @@ -292,11 +292,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 0.5 @@ -305,11 +305,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 1 @@ -318,11 +318,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 1.5 @@ -331,11 +331,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 2 @@ -344,11 +344,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 2.5 @@ -357,11 +357,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 3 @@ -370,11 +370,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 3.5 @@ -382,39 +382,13 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - - - - - - - 4 - - - - - - - - - - - - - 4.5 - - - - - - - 5 + 4 @@ -481,68 +455,68 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox gnuplot_plot_1b - + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - + gnuplot_plot_2b - - 0.50% + + 0.07% - - 2.65% + + 3.93% - - 2.70% + + 1.87% - - 1.80% + + 2.75% - - 4.64% + + 2.23% - - 1.09% + + 1.95% - - 1.57% + + 1.28% - - 0.60% + + 3.81% - - 3.03% + + 0.85% - - 0.66% + + 0.54% @@ -570,7 +544,7 @@ gnuplot_svg.plot_height = 420.3; gnuplot_svg.plot_axis_xmin = -1; gnuplot_svg.plot_axis_xmax = 10.5; gnuplot_svg.plot_axis_ymin = 0; -gnuplot_svg.plot_axis_ymax = 5; +gnuplot_svg.plot_axis_ymax = 4; gnuplot_svg.polar_mode = false; gnuplot_svg.plot_axis_x2min = "none" gnuplot_svg.plot_axis_y2min = "none" diff --git a/benchmark-results/plot/combinations.svg b/benchmark-results/plot/combinations.svg index feeaf2e..9bcfad5 100644 --- a/benchmark-results/plot/combinations.svg +++ b/benchmark-results/plot/combinations.svg @@ -215,65 +215,65 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - + + - - + + - - + + - - + + - + - + - - + + - + Mean - 7.2119 + 7.2122 - - 51.8544 + + 52.3865 - - 8.3267 + + 8.4216 - - 8.5390 + + 8.0397 - - 10.5609 + + 10.5968 - - 17.0411 + + 17.0144 - 3.9136 + 3.9080 - 5.0812 + 5.0859 - - 10.3264 + + 9.2391 - - 15.1358 + + 15.1828 @@ -305,11 +305,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 2 @@ -318,11 +318,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 4 @@ -331,11 +331,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 6 @@ -344,11 +344,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 8 @@ -357,11 +357,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 10 @@ -369,13 +369,26 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox + + + + + + + 12 + + + + + + - 12 + 14 @@ -442,68 +455,68 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox gnuplot_plot_1b - + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - + gnuplot_plot_2b - - 0.05% + + 0.03% - - 1.41% + + 1.48% - - 10.98% + + 12.93% - - 5.87% + + 7.03% - - 1.10% + + 0.38% - - 0.69% + + 0.46% - - 0.15% + + 0.14% - - 0.53% + + 0.45% - - 7.96% + + 3.90% - - 0.31% + + 0.89% @@ -531,7 +544,7 @@ gnuplot_svg.plot_height = 420.3; gnuplot_svg.plot_axis_xmin = -1; gnuplot_svg.plot_axis_xmax = 10.5; gnuplot_svg.plot_axis_ymin = 0; -gnuplot_svg.plot_axis_ymax = 12; +gnuplot_svg.plot_axis_ymax = 14; gnuplot_svg.polar_mode = false; gnuplot_svg.plot_axis_x2min = "none" gnuplot_svg.plot_axis_y2min = "none" diff --git a/benchmark-results/plot/cps.svg b/benchmark-results/plot/cps.svg index f145b9e..a9b1c20 100644 --- a/benchmark-results/plot/cps.svg +++ b/benchmark-results/plot/cps.svg @@ -251,21 +251,21 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox gnuplot_plot_1a - + - - + + - - + + - + - + - + @@ -284,35 +284,35 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox Mean - - 0.2861 + + 0.2792 - - 2.1603 + + 1.9678 - - 17.0661 + + 17.1856 - 0.5744 + 0.5741 - - 0.8209 + + 0.8252 - 0.8647 + 0.8668 - 0.1549 + 0.1548 - 0.1926 + 0.1922 0.2784 - 0.3164 + 0.3159 @@ -481,68 +481,68 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox gnuplot_plot_1b - + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - + gnuplot_plot_2b - - 5.60% + + 0.28% - - 1.21% + + 5.21% - - 0.64% + + 0.56% - - 0.01% + + 0.02% - - 0.22% + + 0.18% - - 0.04% + + 0.07% - - 0.09% + + 0.03% - - 0.52% + + 0.15% - - 0.04% + + 0.02% - - 0.09% + + 0.22% diff --git a/benchmark-results/plot/fibonacci.svg b/benchmark-results/plot/fibonacci.svg index d5b181d..6af8346 100644 --- a/benchmark-results/plot/fibonacci.svg +++ b/benchmark-results/plot/fibonacci.svg @@ -254,12 +254,12 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - + + - + @@ -285,34 +285,34 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox Mean - 0.2786 + 0.2785 - - 0.9942 + + 0.9899 - - 17.0717 + + 16.9082 - 0.5744 + 0.5742 0.2784 - 0.3159 + 0.3155 - 0.1548 + 0.1549 - 0.1924 + 0.1927 0.2784 - 0.3165 + 0.3156 @@ -331,11 +331,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 0 @@ -344,12 +344,12 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - 0.05 + + 0.1 @@ -357,12 +357,12 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - 0.1 + + 0.2 @@ -370,12 +370,12 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - 0.15 + + 0.3 @@ -383,12 +383,12 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - 0.2 + + 0.4 @@ -396,12 +396,12 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - 0.25 + + 0.5 @@ -409,12 +409,12 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - 0.3 + + 0.6 @@ -422,12 +422,12 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - 0.35 + + 0.7 @@ -435,12 +435,25 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - 0.4 + + 0.8 + + + + + + + + + + + + + 0.9 @@ -448,70 +461,70 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - 0.45 + + 1 - + ocaml - + ocaml byte - + haskell - + haskell strict - + juvix - + juvix wasm - + c - + c wasm - + runtime - + runtime wasm - + - + Standard deviation @@ -520,68 +533,68 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox gnuplot_plot_1b - + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - + gnuplot_plot_2b - - 0.06% + + 0.04% - - 0.38% + + 0.17% - - 0.20% + + 0.91% - + 0.03% - - 0.05% + + 0.04% - - 0.09% + + 0.14% - - 0.02% + + 0.05% - - 0.16% + + 0.91% - - 0.05% + + 0.04% - - 0.42% + + 0.05% @@ -592,7 +605,7 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + @@ -600,16 +613,16 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox // plot boundaries and axis scaling information for mousing gnuplot_svg.plot_term_xmax = 800; gnuplot_svg.plot_term_ymax = 1100; -gnuplot_svg.plot_xmin = 62.2; +gnuplot_svg.plot_xmin = 53.9; gnuplot_svg.plot_xmax = 775.0; gnuplot_svg.plot_ybot = 1042.3; gnuplot_svg.plot_ytop = 622.0; -gnuplot_svg.plot_width = 712.8; +gnuplot_svg.plot_width = 721.1; gnuplot_svg.plot_height = 420.3; gnuplot_svg.plot_axis_xmin = -1; gnuplot_svg.plot_axis_xmax = 10.5; gnuplot_svg.plot_axis_ymin = 0; -gnuplot_svg.plot_axis_ymax = 0.45; +gnuplot_svg.plot_axis_ymax = 1; gnuplot_svg.polar_mode = false; gnuplot_svg.plot_axis_x2min = "none" gnuplot_svg.plot_axis_y2min = "none" diff --git a/benchmark-results/plot/fold.svg b/benchmark-results/plot/fold.svg index d4436ce..cc886b0 100644 --- a/benchmark-results/plot/fold.svg +++ b/benchmark-results/plot/fold.svg @@ -202,56 +202,56 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox gnuplot_plot_1a - + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - + Mean - - 0.3141 + + 0.3129 - - 2.8311 + + 2.8401 - - 0.4249 + + 0.4212 - - 0.4226 + + 0.4219 - - 0.2815 + + 0.2807 - - 0.3179 + + 0.3168 - - 0.2832 + + 0.2825 - - 0.7209 + + 0.7201 @@ -270,11 +270,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 0 @@ -283,24 +283,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - 0.5 - - - - - - - - - - - - + 1 @@ -309,24 +296,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - 1.5 - - - - - - - - - - - - + 2 @@ -335,24 +309,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - - - - - - 2.5 - - - - - - - - + - + 3 @@ -361,12 +322,12 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - 3.5 + + 4 @@ -374,12 +335,12 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - 4 + + 5 @@ -387,12 +348,12 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - 4.5 + + 6 @@ -400,60 +361,60 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - 5 + + 7 - + ocaml - + ocaml byte - + haskell - + haskell strict - + juvix - + juvix wasm - + runtime - + runtime wasm - + - + Standard deviation @@ -462,56 +423,56 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox gnuplot_plot_1b - + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - + gnuplot_plot_2b - - 0.04% + + 0.05% - - 4.67% + + 6.03% - - 0.45% + + 1.03% - - 0.17% + + 0.96% - - 0.07% + + 0.03% - - 0.04% + + 0.11% - - 1.07% + + 0.97% - - 0.06% + + 0.02% @@ -522,7 +483,7 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + @@ -530,16 +491,16 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox // plot boundaries and axis scaling information for mousing gnuplot_svg.plot_term_xmax = 800; gnuplot_svg.plot_term_ymax = 1100; -gnuplot_svg.plot_xmin = 53.9; +gnuplot_svg.plot_xmin = 37.3; gnuplot_svg.plot_xmax = 775.0; gnuplot_svg.plot_ybot = 1042.3; gnuplot_svg.plot_ytop = 622.0; -gnuplot_svg.plot_width = 721.1; +gnuplot_svg.plot_width = 737.7; gnuplot_svg.plot_height = 420.3; gnuplot_svg.plot_axis_xmin = -1; gnuplot_svg.plot_axis_xmax = 8.5; gnuplot_svg.plot_axis_ymin = 0; -gnuplot_svg.plot_axis_ymax = 5; +gnuplot_svg.plot_axis_ymax = 7; gnuplot_svg.polar_mode = false; gnuplot_svg.plot_axis_x2min = "none" gnuplot_svg.plot_axis_y2min = "none" diff --git a/benchmark-results/plot/mapfold.svg b/benchmark-results/plot/mapfold.svg index c456a89..4adbba6 100644 --- a/benchmark-results/plot/mapfold.svg +++ b/benchmark-results/plot/mapfold.svg @@ -70,11 +70,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 1 @@ -83,11 +83,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 2 @@ -96,11 +96,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 3 @@ -109,11 +109,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 4 @@ -122,11 +122,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 5 @@ -135,11 +135,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 6 @@ -147,26 +147,13 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - - - - - - - 7 - - - - - - - 8 + 7 @@ -228,56 +215,56 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox gnuplot_plot_1a - + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - + Mean - - 1.1721 + + 1.1975 - - 7.1533 + + 6.9895 - - 1.9429 + + 1.8843 - - 1.9115 + + 1.8530 - - 1.7507 + + 1.7334 - - 0.8520 + + 0.8498 - - 2.0999 + + 2.0917 - - 2.3277 + + 2.3327 @@ -296,11 +283,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 0 @@ -309,12 +296,12 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - 0.5 + + 1 @@ -322,12 +309,12 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - 1 + + 2 @@ -335,12 +322,12 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - 1.5 + + 3 @@ -348,12 +335,12 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - 2 + + 4 @@ -361,12 +348,12 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - 2.5 + + 5 @@ -374,60 +361,60 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - 3 + + 6 - + ocaml - + ocaml byte - + haskell - + haskell strict - + juvix - + juvix wasm - + runtime - + runtime wasm - + - + Standard deviation @@ -436,56 +423,56 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox gnuplot_plot_1b - + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - + gnuplot_plot_2b - - 2.85% + + 1.80% - - 1.59% + + 2.63% - - 1.62% + + 5.36% - - 1.10% + + 2.72% - - 0.21% + + 0.08% - - 0.13% + + 0.40% - - 0.21% + + 0.48% - - 1.03% + + 2.62% @@ -496,7 +483,7 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + @@ -504,16 +491,16 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox // plot boundaries and axis scaling information for mousing gnuplot_svg.plot_term_xmax = 800; gnuplot_svg.plot_term_ymax = 1100; -gnuplot_svg.plot_xmin = 53.9; +gnuplot_svg.plot_xmin = 37.3; gnuplot_svg.plot_xmax = 775.0; gnuplot_svg.plot_ybot = 1042.3; gnuplot_svg.plot_ytop = 622.0; -gnuplot_svg.plot_width = 721.1; +gnuplot_svg.plot_width = 737.7; gnuplot_svg.plot_height = 420.3; gnuplot_svg.plot_axis_xmin = -1; gnuplot_svg.plot_axis_xmax = 8.5; gnuplot_svg.plot_axis_ymin = 0; -gnuplot_svg.plot_axis_ymax = 3; +gnuplot_svg.plot_axis_ymax = 6; gnuplot_svg.polar_mode = false; gnuplot_svg.plot_axis_x2min = "none" gnuplot_svg.plot_axis_y2min = "none" diff --git a/benchmark-results/plot/mapfun.svg b/benchmark-results/plot/mapfun.svg index 5a64e7c..c289eee 100644 --- a/benchmark-results/plot/mapfun.svg +++ b/benchmark-results/plot/mapfun.svg @@ -254,56 +254,56 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox gnuplot_plot_1a - + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - + Mean - - 0.3457 + + 0.3413 - - 1.0851 + + 1.0820 - - 1.8696 + + 1.8529 - - 0.8797 + + 0.8872 - - 1.1192 + + 1.1200 - - 1.0617 + + 1.0595 - - 1.4482 + + 1.4549 - - 0.9933 + + 0.9880 @@ -475,56 +475,56 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox gnuplot_plot_1b - + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - + gnuplot_plot_2b - - 1.76% + + 3.18% - - 3.02% + + 2.99% - - 1.07% + + 0.90% - - 2.87% + + 3.06% - - 0.02% + + 0.23% - - 0.25% + + 0.04% - - 0.20% + + 0.46% - - 0.07% + + 0.09% diff --git a/benchmark-results/plot/maybe.svg b/benchmark-results/plot/maybe.svg index 69f3a21..6dedf38 100644 --- a/benchmark-results/plot/maybe.svg +++ b/benchmark-results/plot/maybe.svg @@ -251,68 +251,68 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox gnuplot_plot_1a - + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - + - + - + Mean - - 0.3250 + + 0.3240 - - 4.3107 + + 4.3202 - - 8.5681 + + 8.6036 - - 0.6134 + + 0.6087 - - 1.3315 + + 1.3310 - - 1.4122 + + 1.4058 - - 0.3446 + + 0.3381 - - 0.4673 + + 0.4689 - 0.4773 + 0.4780 - - 0.8629 + + 0.8474 @@ -331,11 +331,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 0 @@ -344,11 +344,24 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + + 1 + + + + + + + + + + + + 2 @@ -357,11 +370,24 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + + 3 + + + + + + + + + + + + 4 @@ -370,11 +396,24 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + + + + + + 5 + + + + + + + + - + 6 @@ -383,12 +422,12 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - 8 + + 7 @@ -396,12 +435,12 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - 10 + + 8 @@ -409,70 +448,70 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - 12 + + 9 - + ocaml - + ocaml byte - + haskell - + haskell strict - + juvix - + juvix wasm - + c - + c wasm - + runtime - + runtime wasm - + - + Standard deviation @@ -481,68 +520,68 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox gnuplot_plot_1b - + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - + gnuplot_plot_2b - - 0.07% + + 0.15% - - 11.15% + + 8.60% - - 1.03% + + 0.92% - - 0.10% + + 0.98% - - 0.51% + + 1.12% - - 1.10% + + 0.24% - - 1.33% + + 1.78% - - 1.85% + + 1.79% - - 0.26% + + 0.36% - - 1.11% + + 2.40% @@ -553,7 +592,7 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + @@ -561,16 +600,16 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox // plot boundaries and axis scaling information for mousing gnuplot_svg.plot_term_xmax = 800; gnuplot_svg.plot_term_ymax = 1100; -gnuplot_svg.plot_xmin = 45.6; +gnuplot_svg.plot_xmin = 37.3; gnuplot_svg.plot_xmax = 775.0; gnuplot_svg.plot_ybot = 1042.3; gnuplot_svg.plot_ytop = 622.0; -gnuplot_svg.plot_width = 729.4; +gnuplot_svg.plot_width = 737.7; gnuplot_svg.plot_height = 420.3; gnuplot_svg.plot_axis_xmin = -1; gnuplot_svg.plot_axis_xmax = 10.5; gnuplot_svg.plot_axis_ymin = 0; -gnuplot_svg.plot_axis_ymax = 12; +gnuplot_svg.plot_axis_ymax = 9; gnuplot_svg.polar_mode = false; gnuplot_svg.plot_axis_x2min = "none" gnuplot_svg.plot_axis_y2min = "none" diff --git a/benchmark-results/plot/mergesort.svg b/benchmark-results/plot/mergesort.svg index 3d3164a..1a04e47 100644 --- a/benchmark-results/plot/mergesort.svg +++ b/benchmark-results/plot/mergesort.svg @@ -212,68 +212,68 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox gnuplot_plot_1a - + - - + + - - + + - - + + - - + + - - + + - + - + - - + + - - + + - + Mean - - 2.0755 + + 2.0460 - - 5.0373 + + 5.0144 - - 4.5037 + + 4.4384 - - 4.4584 + + 4.3966 - - 1.4832 + + 1.4793 - - 0.6795 + + 0.6891 - 0.0874 + 0.0870 - - 0.1551 + + 0.1544 - - 0.6935 + + 0.6877 - - 0.3926 + + 0.3909 @@ -305,11 +305,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 0.2 @@ -318,11 +318,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 0.4 @@ -331,11 +331,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 0.6 @@ -344,11 +344,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 0.8 @@ -357,11 +357,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 1 @@ -370,11 +370,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 1.2 @@ -383,11 +383,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 1.4 @@ -395,39 +395,13 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - - - - - - - 1.6 - - - - - - - - - - - - - 1.8 - - - - - - - 2 + 1.6 @@ -494,68 +468,68 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox gnuplot_plot_1b - + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - + gnuplot_plot_2b - - 0.04% + + 0.03% - - 1.97% + + 1.06% - - 0.65% + + 1.07% - - 1.22% + + 0.26% - - 0.23% + + 0.51% - - 0.19% + + 1.43% - - 0.43% + + 0.54% - - 0.86% + + 0.36% - - 0.04% + + 0.87% - - 0.09% + + 0.14% @@ -583,7 +557,7 @@ gnuplot_svg.plot_height = 420.3; gnuplot_svg.plot_axis_xmin = -1; gnuplot_svg.plot_axis_xmax = 10.5; gnuplot_svg.plot_axis_ymin = 0; -gnuplot_svg.plot_axis_ymax = 2; +gnuplot_svg.plot_axis_ymax = 1.6; gnuplot_svg.polar_mode = false; gnuplot_svg.plot_axis_x2min = "none" gnuplot_svg.plot_axis_y2min = "none" diff --git a/benchmark-results/plot/prime.svg b/benchmark-results/plot/prime.svg index d8c940d..5de1363 100644 --- a/benchmark-results/plot/prime.svg +++ b/benchmark-results/plot/prime.svg @@ -264,21 +264,21 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox gnuplot_plot_1a - + - - + + - - + + - - + + - - + + - + @@ -291,41 +291,41 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + Mean - - 3.1073 + + 3.1044 - - 19.0741 + + 19.3588 - - 4.0689 + + 4.0279 - - 4.0335 + + 4.0182 - - 3.1070 + + 3.1035 - 2.6772 + 2.6738 - 0.2510 + 0.2509 - 0.2589 + 0.2579 - 3.1032 + 3.1018 - - 2.6737 + + 2.6718 @@ -357,11 +357,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 0.5 @@ -370,11 +370,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 1 @@ -383,11 +383,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 1.5 @@ -396,11 +396,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 2 @@ -409,11 +409,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 2.5 @@ -422,11 +422,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 3 @@ -435,11 +435,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 3.5 @@ -448,11 +448,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 4 @@ -460,13 +460,26 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox + + + + + + + 4.5 + + + + + + - 4.5 + 5 @@ -533,67 +546,67 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox gnuplot_plot_1b - + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - + - + - + gnuplot_plot_2b - - 0.04% + + 0.01% - - 4.05% + + 4.98% - - 0.08% + + 0.06% - - 0.13% + + 0.09% - - 0.01% + + 0.02% - - 0.09% + + 0.05% - - 0.04% + + 0.03% - - 0.62% + + 0.23% 0.01% - + 0.03% @@ -622,7 +635,7 @@ gnuplot_svg.plot_height = 420.3; gnuplot_svg.plot_axis_xmin = -1; gnuplot_svg.plot_axis_xmax = 10.5; gnuplot_svg.plot_axis_ymin = 0; -gnuplot_svg.plot_axis_ymax = 4.5; +gnuplot_svg.plot_axis_ymax = 5; gnuplot_svg.polar_mode = false; gnuplot_svg.plot_axis_x2min = "none" gnuplot_svg.plot_axis_y2min = "none"