From 4cf27256ea0cf74ff58b4e560b193347f0923536 Mon Sep 17 00:00:00 2001 From: paulcadman Date: Sun, 24 Sep 2023 07:24:17 +0000 Subject: [PATCH] Add benchmark results --- benchmark-results/csv/ackermann.csv | 20 +-- benchmark-results/csv/combinations.csv | 20 +-- benchmark-results/csv/cps.csv | 20 +-- benchmark-results/csv/fibonacci.csv | 20 +-- benchmark-results/csv/fold.csv | 16 +- benchmark-results/csv/mapfold.csv | 16 +- benchmark-results/csv/mapfun.csv | 16 +- benchmark-results/csv/maybe.csv | 20 +-- benchmark-results/csv/mergesort.csv | 20 +-- benchmark-results/csv/prime.csv | 20 +-- benchmark-results/plot/ackermann.svg | 209 +++++++++------------- benchmark-results/plot/combinations.svg | 227 ++++++++++++++---------- benchmark-results/plot/cps.svg | 209 +++++++++------------- benchmark-results/plot/fibonacci.svg | 215 +++++++++------------- benchmark-results/plot/fold.svg | 225 ++++++++++------------- benchmark-results/plot/mapfold.svg | 159 +++++++++-------- benchmark-results/plot/mapfun.svg | 138 +++++++------- benchmark-results/plot/maybe.svg | 222 +++++++++-------------- benchmark-results/plot/mergesort.svg | 154 ++++++++-------- benchmark-results/plot/prime.svg | 198 ++++++++------------- 20 files changed, 968 insertions(+), 1176 deletions(-) diff --git a/benchmark-results/csv/ackermann.csv b/benchmark-results/csv/ackermann.csv index d8d47fdf..84b6bb7b 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.6968024978540749,0.6967299362082333,0.6968432896665414,8.443278805593997e-5,7.588605135949322e-5,9.420465563311907e-5 -0x1f78b4,ocaml byte,1.8581485031458744,1.8565321934374879,1.8598662984167427,2.2082670762918603e-3,1.1148875776119365e-3,2.77694610859364e-3 -0xb2df8a,haskell,1.3531695761666924,1.3523007603748738,1.3547332938751424,1.5947218673159427e-3,6.761579954383244e-5,1.938828325586911e-3 -0x33a02c,haskell strict,0.5227872584374609,0.5219496216876678,0.5244524448124821,1.6674912549059337e-3,6.724749709974276e-6,1.9307013022688885e-3 -0xfb9a99,juvix,2.271816671458396,2.264506226166759,2.2768153272080554,8.697753494298374e-3,6.528803606152391e-3,1.0467289462339496e-2 -0xe31a1c,juvix wasm,1.005883935270731,1.0025032430623924,1.0078453808332597,3.3084325828866804e-3,1.5255909839827944e-3,4.529764494107087e-3 -0xfdbf6f,c,6.489112130678465e-4,6.473890815553284e-4,6.508171201413917e-4,6.998728021051818e-6,5.776732434820031e-6,9.085659055363262e-6 -0xff7f00,c wasm,0.46515550341666767,0.46209890483351046,0.4682121019998249,4.434774985196285e-3,1.7619601912203294e-3,6.000472361557605e-3 -0xcab2d6,runtime,2.7382480593540586,2.7113162794373125,2.773523422916393,4.010967970637142e-2,1.7510080247474295e-2,5.293746095624075e-2 -0x6a3d9a,runtime wasm,3.1203223021457993,3.1161412750002455,3.125097520770813,6.140501959032249e-3,2.983753689404326e-3,7.737506231505092e-3 +0xa6cee3,ocaml,0.6968244215414833,0.696735536833027,0.6969133062499395,1.4225054497049062e-4,7.60238917805715e-5,2.0022815260465135e-4 +0x1f78b4,ocaml byte,1.8633908629373839,1.8523905868746624,1.8706289977500696,1.1871438466592846e-2,7.115534397291039e-3,1.678647293334004e-2 +0xb2df8a,haskell,1.3590738594372738,1.3540342886873873,1.36160098018712,4.769772556582522e-3,1.2571775202804567e-3,5.836135380793778e-3 +0x33a02c,haskell strict,0.5219652814165935,0.5219471903333972,0.5219833724997898,3.001992667665546e-5,1.2883412250058213e-5,4.160982625380111e-5 +0xfb9a99,juvix,2.2804214974791344,2.2660817442499592,2.289802208124911,1.5337625440734201e-2,8.854473458189164e-3,2.1673465448720165e-2 +0xe31a1c,juvix wasm,1.002099075791591,0.9999497538749438,1.0033563837499742,2.155243284765855e-3,9.1724424999029e-4,2.975472376933965e-3 +0xfdbf6f,c,6.472110539816375e-4,6.454111495165248e-4,6.493822046754286e-4,8.155669832284646e-6,6.813634734019182e-6,1.0478071784895242e-5 +0xff7f00,c wasm,0.4617932876878588,0.46044192087530667,0.463144654500411,1.9319458215367891e-3,8.398354280364966e-4,2.6336925168797174e-3 +0xcab2d6,runtime,2.7634692182919025,2.733758187666581,2.8223973471672252,5.5800649848404216e-2,1.4286543083017023e-2,6.823445679791894e-2 +0x6a3d9a,runtime wasm,3.12084952045844,3.1140419069167065,3.1276571340001738,1.0379919842141884e-2,4.799580241541937e-3,1.4409839128839298e-2 diff --git a/benchmark-results/csv/combinations.csv b/benchmark-results/csv/combinations.csv index 7d7fabe1..33426d1f 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,10.787056941166648,10.784782581374998,10.790849029374954,4.04029453416834e-3,5.044209166653602e-4,4.861801675437515e-3 -0x1f78b4,ocaml byte,57.561399851354146,56.85868739910402,58.494006209750296,1.1827607263959798,0.469668732692494,1.6228448938780475 -0xb2df8a,haskell,10.101775586208248,10.101756659374985,10.101803297833158,3.063013332751018e-5,1.1024648795011207e-5,3.945727201007097e-5 -0x33a02c,haskell strict,10.101773168458388,10.101755912666665,10.101790424250112,2.7969610113643064e-5,1.4271094291197852e-5,3.928041032297799e-5 -0xfb9a99,juvix,12.99613727475016,12.99361488400018,12.997664833250138,2.9785942930736567e-3,2.4738117181424646e-3,3.52774524466e-3 -0xe31a1c,juvix wasm,23.5216342553958,23.48533730731242,23.5405462525833,3.4824092260430095e-2,1.824682912501885e-2,4.3675386668469936e-2 -0xfdbf6f,c,7.602442325416803,7.601934563500038,7.602683516291904,4.8812531270589927e-4,5.8612983986990725e-5,6.156194506505773e-4 -0xff7f00,c wasm,9.789507235187537,9.787623454187553,9.791474867000034,2.5748911506401125e-3,1.2128371903235631e-3,3.2200869774191513e-3 -0xcab2d6,runtime,11.44290862260425,11.423634137479098,11.452136870333561,1.8625020225951163e-2,1.982435687382423e-3,2.329416093004764e-2 -0x6a3d9a,runtime wasm,24.99902431543768,24.993560461312825,25.001765479062612,5.224345452536154e-3,9.331843749578184e-4,6.33044622699058e-3 +0xa6cee3,ocaml,10.696344264624807,10.687850395749876,10.70060794824974,8.243351634329706e-3,2.8573212078546514e-3,1.112903236756125e-2 +0x1f78b4,ocaml byte,56.51637750914574,56.40995542493738,56.716285153333274,0.20158508183068882,1.1853827833419928e-2,0.23770789951291588 +0xb2df8a,haskell,10.101795782479257,10.099308001583267,10.104283563375247,4.060336067367335e-3,2.4735125266579956e-3,5.7421400149141304e-3 +0x33a02c,haskell strict,10.098686794062436,10.093700293187226,10.101176558937558,4.7182051360781735e-3,1.2565253750835836e-3,5.765964806984525e-3 +0xfb9a99,juvix,12.997644263520803,12.993975072249896,13.00282025068742,5.466213517014252e-3,1.8173340522199414e-3,7.260777625494962e-3 +0xe31a1c,juvix wasm,23.502634055104256,23.487344063250248,23.513273544520793,1.8967388267770172e-2,1.2336801609464265e-2,2.457084831471311e-2 +0xfdbf6f,c,7.603832732479229,7.602889005874999,7.604280586312598,9.034580843883027e-4,4.6453285121882874e-4,1.14516911095968e-3 +0xff7f00,c wasm,9.79235284756254,9.790812788750145,9.794652237874857,2.6194137400968164e-3,6.932705764638872e-4,3.466148033103543e-3 +0xcab2d6,runtime,11.421501142395792,11.417659903312483,11.4243624262499,4.900577645321613e-3,2.8322339977672906e-3,5.947882536177747e-3 +0x6a3d9a,runtime wasm,24.99913382310429,24.995816817854195,25.00177861018767,4.750779096895671e-3,2.3787635942158648e-3,6.107874138152461e-3 diff --git a/benchmark-results/csv/cps.csv b/benchmark-results/csv/cps.csv index f91c7b4c..d9c5a07d 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.40566810758328603,0.4055321466666252,0.40577636774992243,1.6395916523893308e-4,1.1668399997688539e-4,1.98707219527039e-4 -0x1f78b4,ocaml byte,3.101575145333394,3.1011383452500922,3.1019100241250612,5.624777445121374e-4,3.180932196933667e-4,7.733694420592111e-4 -0xb2df8a,haskell,189.0187591371457,183.31498063024992,194.5411141393747,8.088491519409562,3.560620998374816,10.3670331320728 -0x33a02c,haskell strict,1.7119955298750635,1.7118138529998912,1.7122970093753338,3.0753597648840246e-4,3.681374967834383e-5,3.8610357008778693e-4 -0xfb9a99,juvix,2.001439890812852,1.99728865243776,2.00823349237506,7.460769403681165e-3,1.905524374478773e-3,9.265802382643365e-3 -0xe31a1c,juvix wasm,2.035625290291667,2.032957642749807,2.039488126625656,4.537088407410541e-3,1.42789468987204e-3,6.09763261839617e-3 -0xfdbf6f,c,0.17151611205984776,0.17119908248170798,0.17241358463108963,8.060441137369464e-4,7.593682203576983e-5,1.1557479461708855e-3 -0xff7f00,c wasm,0.26355807040649476,0.2611250771663132,0.2652827948798949,2.910038608521969e-3,1.8265132072431437e-3,4.39825359952774e-3 -0xcab2d6,runtime,0.4088095745623832,0.40869838599974173,0.4089797463125251,1.8190437350049788e-4,3.773749995161779e-5,2.2336685974655071e-4 -0x6a3d9a,runtime wasm,0.5133089066040762,0.5102027368748168,0.5164150763333357,4.874665556789439e-3,2.0511349999715023e-3,6.698317075685091e-3 +0xa6cee3,ocaml,0.40588756454182356,0.40557059804147383,0.40651770566743534,6.294857771630233e-4,5.858333527924975e-6,7.320027772040541e-4 +0x1f78b4,ocaml byte,3.103251248396153,3.102522372375688,3.1037752392707794,9.21765880843345e-4,5.498617770851475e-4,1.2101050900733277e-3 +0xb2df8a,haskell,191.0629247131666,179.3746463089999,196.41921442116646,11.445261023203654,3.3589414201583345,15.29718788091245 +0x33a02c,haskell strict,1.7125282382710718,1.7117667664997498,1.7137238965623283,1.2519503782652591e-3,2.2990325078353635e-4,1.5201245280928462e-3 +0xfb9a99,juvix,1.9991323747293563,1.9881354423133644,2.0048809646248174,1.0752961287335326e-2,1.6549971664971963e-3,1.3653676840851404e-2 +0xe31a1c,juvix wasm,2.035659204104377,2.027183141062551,2.0396889099795317,8.139859836859777e-3,1.1757687717893735e-3,1.0268422028363075e-2 +0xfdbf6f,c,0.17123416004348477,0.17113867696872043,0.1714286285713613,2.3444783404589776e-4,6.558167037682317e-5,3.44406855609478e-4 +0xff7f00,c wasm,0.264750617200037,0.26144877639994474,0.2693160684002699,5.799130656838089e-3,2.0450066463837614e-3,7.976582731628701e-3 +0xcab2d6,runtime,0.40883923937497,0.4086975872500034,0.40907771787487945,2.569646075523559e-4,4.190074992038717e-5,3.2713156992308906e-4 +0x6a3d9a,runtime wasm,0.5110461718748335,0.5080933479998748,0.5131142917497679,3.7208517696556316e-3,2.0431363702686734e-3,4.776118266039122e-3 diff --git a/benchmark-results/csv/fibonacci.csv b/benchmark-results/csv/fibonacci.csv index 109a19fd..98fb9789 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.4031518685833693,0.40293305737502294,0.4035641121250251,4.2083046523536723e-4,4.2225750007673923e-5,5.004022755451598e-4 -0x1f78b4,ocaml byte,2.146563461374967,2.1449705839999638,2.147595707124964,1.927366927860773e-3,1.2585554778804507e-3,2.3838694465218107e-3 -0xb2df8a,haskell,195.07198961181254,179.27274879237504,204.439264066875,16.334859312577155,7.444013783736668,22.68820220459227 -0x33a02c,haskell strict,1.711498106812409,1.7105321493125416,1.711974716562338,9.512942981621094e-4,3.515087485084223e-5,1.1301002206171333e-3 -0xfb9a99,juvix,0.3101622914533831,0.30966446040010853,0.3111568538001393,1.0952607835012943e-3,3.619947035132668e-5,1.3623002045934896e-3 -0xe31a1c,juvix wasm,0.37811649337493236,0.3766287156249746,0.3788537883748404,1.4666599940016713e-3,5.4850749620527495e-5,1.7180727445899188e-3 -0xfdbf6f,c,0.192772726391604,0.19256602587499097,0.19317947722765386,4.903584853419098e-4,2.375414087545292e-5,6.634827589939977e-4 -0xff7f00,c wasm,0.2506006699165725,0.24889425396665202,0.2519837304998691,2.489460465201902e-3,2.085414926612097e-3,2.773748264287748e-3 -0xcab2d6,runtime,0.3097320014133372,0.309687880733342,0.3097819539998454,6.831112690482492e-5,5.0160098867654814e-5,9.011993270319972e-5 -0x6a3d9a,runtime wasm,0.37567467793741116,0.37493659118746336,0.3768104626873878,1.315127819473698e-3,4.612739999174664e-4,1.610114078383757e-3 +0xa6cee3,ocaml,0.4033876145208713,0.4029612211041732,0.4042189271875998,8.303939135008789e-4,2.649320835720892e-5,9.847134156452737e-4 +0x1f78b4,ocaml byte,2.148571540562491,2.1483092729999766,2.148730102062492,3.124612301221e-4,2.5381952681420637e-4,3.6618209883484997e-4 +0xb2df8a,haskell,189.36356650147923,186.54343761820843,193.5049715190626,4.811042437444652,1.4427497718794573,6.433031588368646 +0x33a02c,haskell strict,1.7119048259998901,1.7117739064997863,1.7120974467497945,2.0604118842711594e-4,4.99145001716661e-5,2.5776553316927405e-4 +0xfb9a99,juvix,0.3094138917465413,0.3093656288267327,0.3094515057996432,6.363466612031331e-5,4.587318657948618e-5,8.7546111263094e-5 +0xe31a1c,juvix wasm,0.37849303943755785,0.376354735750283,0.38144457206237803,3.5630682389560845e-3,1.7119525898258681e-3,4.516825208205679e-3 +0xfdbf6f,c,0.19255904131104115,0.192539150877691,0.1925789728332903,3.2104399868507754e-5,2.816893045783459e-5,3.7337333967468364e-5 +0xff7f00,c wasm,0.2500308534331998,0.2485063443332547,0.2524223563331907,2.7121464057805935e-3,1.249733248504703e-3,3.777846899694708e-3 +0xcab2d6,runtime,0.30974627889016115,0.3096941680000782,0.30982101344041435,9.260947172982145e-5,6.218815045024308e-5,1.1657168274927005e-4 +0x6a3d9a,runtime wasm,0.37551012070849765,0.3734846157503853,0.37697572712500005,2.4666398712425647e-3,1.6252220822729243e-3,3.1103942272022443e-3 diff --git a/benchmark-results/csv/fold.csv b/benchmark-results/csv/fold.csv index b7fd5ca6..bdf1b618 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.4131248119584825,0.4124044090830239,0.41421679712561854,1.2522482150983565e-3,3.4333475036874006e-4,1.6636991762840206e-3 -0x1f78b4,ocaml byte,3.104385040478784,3.1039081833748696,3.1047010843118414,5.167065033878984e-4,3.0416039216860693e-4,7.298719683653622e-4 -0xb2df8a,haskell,1.692319326458346,1.6921541572501155,1.6924276895831554,1.9985651849961205e-4,1.4229240366566285e-4,2.502539171155822e-4 -0x33a02c,haskell strict,1.692125052500046,1.6920773380002174,1.6921710759999087,5.5501714913048936e-5,5.0855291070433916e-5,6.136425051690772e-5 -0xfb9a99,juvix,0.3127636650198838,0.31270216871998857,0.312825161319779,9.60312629767667e-5,7.758377018661264e-5,1.1876454410652985e-4 -0xe31a1c,juvix wasm,0.4815477981253859,0.4776949865010162,0.4839925372500602,4.096468462914669e-3,2.264262904498e-3,5.776424083682564e-3 -0xcab2d6,runtime,0.4244433309166122,0.4243032117499297,0.42459972949984603,2.3082127593993055e-4,1.2211801615065568e-4,3.235913544110266e-4 -0x6a3d9a,runtime wasm,1.2604270253958323,1.2564239877501677,1.2646087194998472,5.571763559502049e-3,2.524831141821077e-3,7.549447900419465e-3 +0xa6cee3,ocaml,0.41575681220842853,0.4154406793752514,0.41594328774999667,3.171562756847642e-4,1.2819510046240234e-4,4.369067368726152e-4 +0x1f78b4,ocaml byte,3.104726198458214,3.1041739981249066,3.1050685601664254,5.824743144831051e-4,3.0638800238097416e-4,8.186991360529614e-4 +0xb2df8a,haskell,1.6903847778749725,1.686431379625219,1.6924221138748028,3.895857064322495e-3,2.4254749981389434e-4,4.705025951726835e-3 +0x33a02c,haskell strict,1.6898093274588366,1.6865031606250795,1.6914690738756235,3.120424584496161e-3,1.2405687582526716e-3,3.8330201620736066e-3 +0xfb9a99,juvix,0.3134665854930426,0.3133773059995292,0.31352361602643214,1.0741499214266856e-4,6.272955629629325e-5,1.5081255802801407e-4 +0xe31a1c,juvix wasm,0.4826618393960871,0.4820308478754214,0.4831632022501253,7.588768203037593e-4,5.910974119714964e-4,8.772585228629531e-4 +0xcab2d6,runtime,0.42410318460410207,0.4238595945833671,0.4242820434373016,3.0073790088849236e-4,1.769034099691233e-4,3.648168578742186e-4 +0x6a3d9a,runtime wasm,1.2613150867706129,1.258484910624702,1.2630599767914341,3.3912130764613153e-3,2.405593667087147e-3,4.029650892909849e-3 diff --git a/benchmark-results/csv/mapfold.csv b/benchmark-results/csv/mapfold.csv index 226ed8b1..a4ce72c4 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.964364113792082,1.9627045867503057,1.965625678750257,2.028899431150222e-3,1.2431339507729636e-3,2.4808140628867423e-3 -0x1f78b4,ocaml byte,5.941511790250122,5.939549981999865,5.942601551500275,2.0275017992932324e-3,8.193186241552989e-4,2.7650083814412274e-3 -0xb2df8a,haskell,2.2435372052707785,2.2420782802498707,2.24458515550009,1.7093713499347274e-3,1.4463982134772233e-3,1.938861907991125e-3 -0x33a02c,haskell strict,2.1953934484794977,2.192889960666738,2.1995512906257773,4.7149614552062825e-3,1.6860940833491878e-3,5.774537991290433e-3 -0xfb9a99,juvix,3.461402611708271,3.4545983469997736,3.4637383698332846,4.583262269099157e-3,2.0873377314297066e-4,5.500549819059398e-3 -0xe31a1c,juvix wasm,1.3917368246662818,1.3903439317499533,1.392412791875131,1.3684965688288582e-3,6.631758378716768e-5,1.6085287174098814e-3 -0xcab2d6,runtime,3.3000349847703396,3.295603972082366,3.302140461145503,4.3544913722535486e-3,4.738787174078914e-4,5.37059606484458e-3 -0x6a3d9a,runtime wasm,3.1725208333125465,3.1658763518748856,3.1767098459999943,8.141135185907004e-3,4.910937500426371e-3,9.674110410946882e-3 +0xa6cee3,ocaml,1.965005576958409,1.9632271194586413,1.9668644164999023,2.4925843808488056e-3,1.006600749633435e-3,3.040501170102689e-3 +0x1f78b4,ocaml byte,5.949063686687282,5.946303540250028,5.951823833124536,4.57175849484538e-3,7.417308399492398e-4,5.845803399745961e-3 +0xb2df8a,haskell,2.2470804631456454,2.2420755551664415,2.2495880651455686,5.779193329843382e-3,5.008528913683972e-3,5.791058758704602e-3 +0x33a02c,haskell strict,2.202054954499772,2.2020261044995095,2.202073752500155,3.550966903792548e-5,2.1145488686330943e-5,4.341212232530991e-5 +0xfb9a99,juvix,3.448234472271338,3.437088478626265,3.4539165900835087,1.0590640479063884e-2,5.040082619174949e-4,1.3122288993696081e-2 +0xe31a1c,juvix wasm,1.3929692640833384,1.3894846823332803,1.394777506500077,3.4747016834070672e-3,4.193018333656928e-4,4.3555079141119925e-3 +0xcab2d6,runtime,3.279907336541745,3.277459012999657,3.2814387632086364,2.5435322507556374e-3,1.1843596668251054e-3,3.5366783934957613e-3 +0x6a3d9a,runtime wasm,3.170094843437255,3.1641857513750438,3.1741284782497132,7.06451617261514e-3,5.176976310456692e-3,8.469487260678815e-3 diff --git a/benchmark-results/csv/mapfun.csv b/benchmark-results/csv/mapfun.csv index 8a968c48..a89f6b92 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.2669749019031466,0.26385975004013745,0.26848602416976064,3.3558653195355486e-3,1.601406592150645e-4,4.184929052150116e-3 -0x1f78b4,ocaml byte,0.971448858624702,0.9695971327498683,0.9722937529998793,1.773189335830883e-3,6.420444917558125e-4,2.3571280251369364e-3 -0xb2df8a,haskell,2.5913713769997835,2.589693134749723,2.592209191750044,1.6715116797593073e-3,6.033886601613863e-6,1.9378719265590548e-3 -0x33a02c,haskell strict,1.2593669184791831,1.2579185848333814,1.260621297229174,2.0847382364972346e-3,1.0612638142040128e-3,2.8968636358917203e-3 -0xfb9a99,juvix,1.8406653514372238,1.8390623378743385,1.8417886641874475,1.9068765385271956e-3,1.4648837779451724e-3,2.289347970522223e-3 -0xe31a1c,juvix wasm,1.8413806280620975,1.8403486597499068,1.843233717186422,1.8900863201312458e-3,2.026468750955246e-4,2.257330441505132e-3 -0xcab2d6,runtime,3.6245580338958994,3.614851152541557,3.630938849083426,1.1443055941520189e-2,9.735869454378663e-3,1.3416998834715185e-2 -0x6a3d9a,runtime wasm,2.557122337124914,2.553212266874501,2.5588971002501544,3.7652792497405913e-3,7.21087999863812e-4,4.931280574083252e-3 +0xa6cee3,ocaml,0.26886695305661,0.2687871630001609,0.2690024491866158,1.4832363682210005e-4,5.123481344908919e-5,1.9523994953320255e-4 +0x1f78b4,ocaml byte,0.9739044563335332,0.9734447728333938,0.97471826583372,8.596988760398693e-4,1.8166433331617826e-4,1.061593570189962e-3 +0xb2df8a,haskell,2.607833170124877,2.6040936591243735,2.6103246153750206,4.251539267942223e-3,2.030481512587838e-3,5.753746343366124e-3 +0x33a02c,haskell strict,1.2620818299164966,1.2620552634998603,1.2621263771666236,4.631225596889268e-5,7.980416285136016e-6,5.7814989858757284e-5 +0xfb9a99,juvix,1.840579521895582,1.8383272715415537,1.8428317722496104,3.4820912020681145e-3,1.8496664262711558e-3,4.884713665765901e-3 +0xe31a1c,juvix wasm,1.84309561224984,1.839420056999984,1.8483092997494168,5.8387561470270325e-3,2.2679960957004155e-3,7.563281020455449e-3 +0xcab2d6,runtime,3.6258795238542234,3.604432597937489,3.6383094403125824,2.29036586346966e-2,8.897375888425117e-3,3.1003498145118744e-2 +0x6a3d9a,runtime wasm,2.567944172166449,2.5609386033331702,2.573344555749486,8.572280994854454e-3,5.419947859828732e-3,1.0800078680029631e-2 diff --git a/benchmark-results/csv/maybe.csv b/benchmark-results/csv/maybe.csv index 252eff90..01722236 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.42185481006259806,0.4207100500002525,0.42248630112510455,1.3349756040329105e-3,1.1899307486939183e-3,1.4583661397158452e-3 -0x1f78b4,ocaml byte,4.332636810666846,4.26146070475005,4.385203287250192,8.137198371805175e-2,4.717658988903201e-2,0.11471757504576517 -0xb2df8a,haskell,14.026229943562631,13.999335427437984,14.038031116187446,2.6078926852832803e-2,7.966705122028194e-3,3.4856583730399876e-2 -0x33a02c,haskell strict,0.75345201318756,0.7520370630002162,0.7546311015624573,1.6848648211991758e-3,1.2590847451170622e-3,2.0086027410943673e-3 -0xfb9a99,juvix,2.9033732411040396,2.8988289414373867,2.9116471969998656,8.332928284866979e-3,1.110660259538156e-3,1.0494610543281324e-2 -0xe31a1c,juvix wasm,2.7270724509792594,2.7247605620625563,2.728515404562586,2.43242941068404e-3,9.757960540940384e-4,3.3323585590464277e-3 -0xfdbf6f,c,0.458041565791613,0.4576357097916836,0.4587938889998213,7.744223487120578e-4,4.674424997119786e-5,9.110962413617939e-4 -0xff7f00,c wasm,0.6134963860833599,0.6110546173333281,0.6148748478334104,2.35925560380412e-3,9.546375115544116e-4,3.1834210498370794e-3 -0xcab2d6,runtime,0.9013245133957449,0.8999382665416154,0.9024962983329866,1.6960319706100667e-3,1.0343387156478696e-3,2.058246011377535e-3 -0x6a3d9a,runtime wasm,1.519577685833345,1.5125648442499369,1.5242063197499647,8.749867500239487e-3,4.962183112238525e-3,1.0523171579990432e-2 +0xa6cee3,ocaml,0.4221012715833581,0.42099781012547055,0.4226150824997603,1.0545137120895364e-3,2.8912056127390227e-4,1.3734408494629883e-3 +0x1f78b4,ocaml byte,4.268822839666541,4.234522811499801,4.301329829749875,4.308940635574045e-2,2.3784663909965937e-2,5.210170468020644e-2 +0xb2df8a,haskell,14.087343641625049,14.066660704749967,14.105528581875092,2.6040780333917535e-2,1.3770727103226537e-2,3.331033030205602e-2 +0x33a02c,haskell strict,0.7519059292915244,0.7518888728750426,0.751930929749733,2.6569776661600212e-5,5.825250354973832e-6,3.461753713872073e-5 +0xfb9a99,juvix,2.907217708458196,2.9042531075001534,2.9116379332081883,4.929500567403735e-3,1.048277000336384e-3,6.277855775782516e-3 +0xe31a1c,juvix wasm,2.7283929721666973,2.725708340250037,2.730242565416669,3.136776353242867e-3,1.6584798151881056e-3,4.271452643050143e-3 +0xfdbf6f,c,0.457715007853911,0.4576445647706274,0.4578483731246479,1.3416977592626322e-4,9.514010886921916e-6,1.6268133238525153e-4 +0xff7f00,c wasm,0.6109127231666776,0.6088664358749725,0.6123086023749806,2.334507162195402e-3,1.2361832425386592e-3,3.223644946679953e-3 +0xcab2d6,runtime,0.9068582290833357,0.9011322241666069,0.9109864017500513,6.748981062602374e-3,5.656695439651378e-3,7.62229295416033e-3 +0x6a3d9a,runtime wasm,1.5293136291873755,1.5171940898126195,1.5363572777496302,1.2829340008149955e-2,5.907478220676673e-3,1.7850313261490294e-2 diff --git a/benchmark-results/csv/mergesort.csv b/benchmark-results/csv/mergesort.csv index 7fe76e3c..4a73893a 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,3.36841170497915,3.3675452392291567,3.368843347333306,8.373185021123483e-4,1.6794859521518575e-4,1.0844827656122632e-3 -0x1f78b4,ocaml byte,5.178483263520834,5.170515393937528,5.1840979647708165,9.21651645720723e-3,5.119895896766254e-3,1.2966597112385953e-2 -0xb2df8a,haskell,6.602422396895828,6.575490968187523,6.621122410020813,3.0928818900291803e-2,1.926405171222681e-2,4.318583044623756e-2 -0x33a02c,haskell strict,6.661119968500027,6.641165763500018,6.678809661250028,2.4380630254818524e-2,1.515461970407189e-2,3.02855088146218e-2 -0xfb9a99,juvix,3.393187266437503,3.3870866440000214,3.399649428875013,8.214240985071031e-3,4.3239719182401925e-3,1.027159129648683e-2 -0xe31a1c,juvix wasm,1.7968453092291792,1.7918970375000072,1.8046696739375392,8.86970588168507e-3,2.1670654715960115e-3,1.142754405944336e-2 -0xfdbf6f,c,0.13174363919941526,0.13156677974109174,0.1319399754940542,3.4321495093748636e-4,2.583755240291559e-4,4.5267188725129135e-4 -0xff7f00,c wasm,0.23159206205275748,0.2300588886944297,0.2329706473388784,2.2850368082131477e-3,1.681884504726153e-3,3.1083452662770215e-3 -0xcab2d6,runtime,1.41693726541664,1.415747325624963,1.4176098776666397,1.1976918144217653e-3,7.393098389617444e-4,1.5533314543905333e-3 -0x6a3d9a,runtime wasm,0.7671100953541649,0.765053397166677,0.7685270589791552,2.3999265624317914e-3,1.2712317900170664e-3,3.272337321280301e-3 +0xa6cee3,ocaml,3.370865367895888,3.3686218797500374,3.3724970273125763,2.706121436830978e-3,1.4975888849485942e-3,3.768156013802604e-3 +0x1f78b4,ocaml byte,5.199652541604209,5.1963631613125045,5.201884976666747,3.6647335158705237e-3,2.2435572905131367e-3,5.155587937219223e-3 +0xb2df8a,haskell,6.674744614250021,6.659937834874985,6.682104469125055,1.4073300249334446e-2,3.071749000090218e-3,1.7197935458843266e-2 +0x33a02c,haskell strict,6.878552828687513,6.863748166500017,6.886455028437515,1.4201277466845305e-2,6.909761038860817e-3,1.824934861141476e-2 +0xfb9a99,juvix,3.418971789395807,3.4126665623333943,3.4262295633749034,9.161433126634694e-3,4.310500904301944e-3,1.1506727408313818e-2 +0xe31a1c,juvix wasm,1.4552249320416546,1.4439008930833004,1.4615684624167027,1.3210513486869935e-2,1.1748718797656573e-2,1.4485653302112723e-2 +0xfdbf6f,c,0.13283881562038952,0.13256846156830307,0.13317280814643198,5.749302449340955e-4,3.199760994087233e-4,9.01996857346545e-4 +0xff7f00,c wasm,0.23103853158611465,0.23013658197499845,0.23183398743057637,1.365878389312347e-3,9.700643499333745e-4,1.9157151947047219e-3 +0xcab2d6,runtime,1.4020149647500044,1.400933662749992,1.402744379750009,1.1922384063382432e-3,7.365938311621388e-4,1.6845117864142131e-3 +0x6a3d9a,runtime wasm,0.7707204221874898,0.7689900408124686,0.7740328048125207,3.336100179350209e-3,1.923258749911838e-4,3.936772979850815e-3 diff --git a/benchmark-results/csv/prime.csv b/benchmark-results/csv/prime.csv index 720b4a26..4e95dfe7 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,16.243506690208317,16.242902594874863,16.243800127708408,5.888363514097757e-4,3.9768656201022694e-5,6.981157990438002e-4 -0x1f78b4,ocaml byte,29.687541125729126,29.682322145354078,29.690044276416756,4.953536573018739e-3,2.159720856097576e-3,6.271940004415102e-3 -0xb2df8a,haskell,22.53723357937531,22.529723530874776,22.540990550000515,7.126360234280764e-3,1.6952840579728158e-3,8.676352007196885e-3 -0x33a02c,haskell strict,22.53827641818744,22.528694584312348,22.54242420068738,9.301506204414958e-3,3.182860845962367e-3,1.2549404096947986e-2 -0xfb9a99,juvix,13.085721493583302,13.084347080083413,13.086724588666431,1.5900195483190796e-3,8.58346356604511e-4,2.2380434699917273e-3 -0xe31a1c,juvix wasm,5.8086541436246835,5.807557716249903,5.809467482624541,1.3726724043907255e-3,9.079787344520579e-4,1.845474442895333e-3 -0xfdbf6f,c,0.36340451860432194,0.36320893470845783,0.36371901193786016,3.407052771643441e-4,5.5554958256237574e-5,4.354238610760078e-4 -0xff7f00,c wasm,0.5894044484789447,0.5849072791656909,0.5928319376043873,5.865031533522466e-3,3.4796385140880414e-3,7.915447076875344e-3 -0xcab2d6,runtime,13.038958584333196,13.03857350033301,13.039197410000043,4.015288770804024e-4,2.022640034160851e-4,5.632551285758711e-4 -0x6a3d9a,runtime wasm,5.164035552917009,5.148109673667174,5.175548183791913,1.9314764042899217e-2,1.1800559940446391e-2,2.6587282138826628e-2 +0xa6cee3,ocaml,16.241059781125347,16.23842133162509,16.242317839500476,2.5176897156929967e-3,4.896975281681285e-4,3.1878767507205357e-3 +0x1f78b4,ocaml byte,29.683439124374974,29.68143085299971,29.68471701662535,2.4774954326808466e-3,1.4607582497774274e-3,2.951165738999169e-3 +0xb2df8a,haskell,22.549934788500007,22.540571316999756,22.56116917049974,1.4324570511895037e-2,5.766428996068112e-3,1.8739786303179972e-2 +0x33a02c,haskell strict,22.525985467854145,22.50807444299994,22.54057578474999,2.2042257942136184e-2,1.4983709875195927e-2,2.5977046864763452e-2 +0xfb9a99,juvix,13.088666911624841,13.087808611749551,13.089247521499829,1.0510340014997727e-3,7.103143130066453e-4,1.3408610704720677e-3 +0xe31a1c,juvix wasm,5.811835672916724,5.8095457663333345,5.814125579500114,3.2858289947673815e-3,1.40567158088208e-3,4.475616400026895e-3 +0xfdbf6f,c,0.3638257984168452,0.3631868406249623,0.3645496073758068,8.611505783393587e-4,3.694044165361843e-4,1.05373496753726e-3 +0xff7f00,c wasm,0.5849056898954359,0.5828797447497891,0.5874006081872949,3.1318919054101092e-3,1.3170889739174138e-3,4.098503473484689e-3 +0xcab2d6,runtime,13.037965134687283,13.03708682774959,13.038617556812142,1.1312032726047197e-3,6.548377170885615e-4,1.5067043576487736e-3 +0x6a3d9a,runtime wasm,5.143969950125135,5.128818322125198,5.1524357310001205,1.46356073883505e-2,6.663678436122096e-3,1.955088346829256e-2 diff --git a/benchmark-results/plot/ackermann.svg b/benchmark-results/plot/ackermann.svg index 898f31f7..953eb475 100644 --- a/benchmark-results/plot/ackermann.svg +++ b/benchmark-results/plot/ackermann.svg @@ -228,65 +228,65 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - + + - - + + - - + + - - + + - + - + - - + + - - + + - + Mean 0.6968 - - 1.8581 + + 1.8634 - - 1.3532 + + 1.3591 - - 0.5228 + + 0.5220 - - 2.2718 + + 2.2804 - - 1.0059 + + 1.0021 0.0006 - - 0.4652 + + 0.4618 - - 2.7382 + + 2.7635 - - 3.1203 + + 3.1208 @@ -318,51 +318,12 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - 0.2 - - - - - - - - - - - - - 0.4 - - - - - - - - - - - - - 0.6 - - - - - - - - - - - - - 0.8 + + 0.5 @@ -370,11 +331,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 1 @@ -383,12 +344,12 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - 1.2 + + 1.5 @@ -396,12 +357,12 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - 1.4 + + 2 @@ -414,7 +375,7 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - 1.6 + 2.5 @@ -481,68 +442,68 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox gnuplot_plot_1b - + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - + gnuplot_plot_2b - - 0.01% + + 0.02% - - 0.12% + + 0.64% - - 0.12% + + 0.35% - - 0.32% + + 0.01% - - 0.38% + + 0.67% - - 0.33% + + 0.22% - - 1.08% + + 1.26% - - 0.95% + + 0.42% - - 1.46% + + 2.02% - - 0.20% + + 0.33% @@ -570,7 +531,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 = 1.6; +gnuplot_svg.plot_axis_ymax = 2.5; 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 2cad27cf..936f80c4 100644 --- a/benchmark-results/plot/combinations.svg +++ b/benchmark-results/plot/combinations.svg @@ -212,12 +212,12 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox gnuplot_plot_1a - + - - + + - + @@ -227,53 +227,53 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - + + - + - + - + Mean - - 10.7871 + + 10.6963 - - 57.5614 + + 56.5164 10.1018 - 10.1018 + 10.0987 - 12.9961 + 12.9976 - - 23.5216 + + 23.5026 - - 7.6024 + + 7.6038 - 9.7895 + 9.7924 - - 11.4429 + + 11.4215 - 24.9990 + 24.9991 @@ -292,11 +292,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 0 @@ -305,12 +305,51 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + + + + + + 0.05 + + + + + + + + + + + + + 0.1 + + + + + + + + + + + + + 0.15 + + + + + + + + - - 0.5 + + 0.2 @@ -318,12 +357,12 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - 1 + + 0.25 @@ -331,12 +370,12 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - 1.5 + + 0.3 @@ -344,12 +383,12 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - 2 + + 0.35 @@ -357,70 +396,70 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - 2.5 + + 0.4 - + ocaml - + ocaml byte - + haskell - + haskell strict - + juvix - + juvix wasm - + c - + c wasm - + runtime - + runtime wasm - + - + Standard deviation @@ -429,67 +468,67 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox gnuplot_plot_1b - + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - + gnuplot_plot_2b - - 0.04% + + 0.08% - - 2.05% + + 0.36% - - 0.00% + + 0.04% - - 0.00% + + 0.05% - - 0.02% + + 0.04% - - 0.15% + + 0.08% - + 0.01% - + 0.03% - - 0.16% + + 0.04% - + 0.02% @@ -501,7 +540,7 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + @@ -509,16 +548,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 = 62.2; 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 = 712.8; 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.5; +gnuplot_svg.plot_axis_ymax = 0.4; 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 d0502910..1ca55e46 100644 --- a/benchmark-results/plot/cps.svg +++ b/benchmark-results/plot/cps.svg @@ -270,9 +270,9 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + @@ -298,34 +298,34 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox Mean - 0.4057 + 0.4059 - 3.1016 + 3.1033 - - 189.0188 + + 191.0629 - 1.7120 + 1.7125 - 2.0014 + 1.9991 - 2.0356 + 2.0357 - 0.1715 + 0.1712 - 0.2636 + 0.2648 0.4088 - 0.5133 + 0.5110 @@ -344,11 +344,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 0 @@ -357,24 +357,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - 0.5 - - - - - - - - - - - - + 1 @@ -383,24 +370,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - - - - - - 1.5 - - - - - - - - + - + 2 @@ -409,24 +383,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - - - - - - 2.5 - - - - - - - - + - + 3 @@ -435,12 +396,12 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - 3.5 + + 4 @@ -448,12 +409,12 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - 4 + + 5 @@ -461,70 +422,70 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - 4.5 + + 6 - + ocaml - + ocaml byte - + haskell - + haskell strict - + juvix - + juvix wasm - + c - + c wasm - + runtime - + runtime wasm - + - + Standard deviation @@ -533,68 +494,68 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox gnuplot_plot_1b - + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - + gnuplot_plot_2b - - 0.04% + + 0.16% - - 0.02% + + 0.03% - - 4.28% + + 5.99% - - 0.02% + + 0.07% - - 0.37% + + 0.54% - - 0.22% + + 0.40% - - 0.47% + + 0.14% - - 1.10% + + 2.19% - - 0.04% + + 0.06% - - 0.95% + + 0.73% @@ -605,7 +566,7 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + @@ -613,16 +574,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 = 10.5; gnuplot_svg.plot_axis_ymin = 0; -gnuplot_svg.plot_axis_ymax = 4.5; +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/fibonacci.svg b/benchmark-results/plot/fibonacci.svg index 8802045b..1aee0bc5 100644 --- a/benchmark-results/plot/fibonacci.svg +++ b/benchmark-results/plot/fibonacci.svg @@ -270,9 +270,9 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + @@ -298,34 +298,34 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox Mean - 0.4032 + 0.4034 - 2.1466 + 2.1486 - - 195.0720 + + 189.3636 - 1.7115 + 1.7119 - 0.3102 + 0.3094 - 0.3781 + 0.3785 - 0.1928 + 0.1926 - 0.2506 + 0.2500 0.3097 - 0.3757 + 0.3755 @@ -344,11 +344,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 0 @@ -357,25 +357,12 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - 1 - - - - - - - - - - - - - 2 + + 0.5 @@ -383,38 +370,12 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - 3 - - - - - - - - - - - - - 4 - - - - - - - - - - - - - 5 + + 1 @@ -422,12 +383,12 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - 6 + + 1.5 @@ -435,12 +396,12 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - 7 + + 2 @@ -448,12 +409,12 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - 8 + + 2.5 @@ -461,70 +422,70 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - 9 + + 3 - + ocaml - + ocaml byte - + haskell - + haskell strict - + juvix - + juvix wasm - + c - + c wasm - + runtime - + runtime wasm - + - + Standard deviation @@ -533,68 +494,68 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox gnuplot_plot_1b - + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - + gnuplot_plot_2b - - 0.10% + + 0.21% - - 0.09% + + 0.01% - - 8.37% + + 2.54% - - 0.06% + + 0.01% - - 0.35% + + 0.02% - - 0.39% + + 0.94% - - 0.25% + + 0.02% - - 0.99% + + 1.08% - - 0.02% + + 0.03% - - 0.35% + + 0.66% @@ -605,7 +566,7 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + @@ -613,16 +574,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 = 37.3; +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 = 737.7; +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 = 9; +gnuplot_svg.plot_axis_ymax = 3; 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 e716d7da..73b89612 100644 --- a/benchmark-results/plot/fold.svg +++ b/benchmark-results/plot/fold.svg @@ -215,56 +215,56 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox gnuplot_plot_1a - + - + - + - - + + - - + + - - + + - - + + - - + + - + Mean - - 0.4131 + + 0.4158 - 3.1044 + 3.1047 - - 1.6923 + + 1.6904 - - 1.6921 + + 1.6898 - - 0.3128 + + 0.3135 - - 0.4815 + + 0.4827 - - 0.4244 + + 0.4241 - - 1.2604 + + 1.2613 @@ -283,11 +283,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 0 @@ -296,12 +296,12 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - 0.1 + + 0.05 @@ -309,51 +309,12 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - 0.2 - - - - - - - - - - - - - 0.3 - - - - - - - - - - - - - 0.4 - - - - - - - - - - - - - 0.5 + + 0.1 @@ -361,12 +322,12 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - 0.6 + + 0.15 @@ -374,12 +335,12 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - 0.7 + + 0.2 @@ -387,12 +348,12 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - 0.8 + + 0.25 @@ -400,60 +361,60 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - 0.9 + + 0.3 - + 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.30% + + 0.08% - + 0.02% - - 0.01% + + 0.23% - - 0.00% + + 0.18% - + 0.03% - - 0.85% + + 0.16% - - 0.05% + + 0.07% - - 0.44% + + 0.27% @@ -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 = 62.2; 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 = 712.8; 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 = 0.9; +gnuplot_svg.plot_axis_ymax = 0.3; 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 01bdc495..fdb6d193 100644 --- a/benchmark-results/plot/mapfold.svg +++ b/benchmark-results/plot/mapfold.svg @@ -205,53 +205,53 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - + + - - + + - - + + - - + + - - + + - - + + - + Mean - 1.9644 + 1.9650 - - 5.9415 + + 5.9491 - - 2.2435 + + 2.2471 - - 2.1954 + + 2.2021 - - 3.4614 + + 3.4482 - - 1.3917 + + 1.3930 - - 3.3000 + + 3.2799 - - 3.1725 + + 3.1701 @@ -283,11 +283,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 0.05 @@ -296,11 +296,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 0.1 @@ -309,11 +309,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 0.15 @@ -322,11 +322,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 0.2 @@ -335,11 +335,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 0.25 @@ -347,13 +347,26 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox + + + + + + + 0.3 + + + + + + - 0.3 + 0.35 @@ -410,56 +423,56 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox gnuplot_plot_1b - + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - + gnuplot_plot_2b - - 0.10% - - - 0.03% + + 0.13% - + 0.08% - - 0.21% + + 0.26% + + + 0.00% - - 0.13% + + 0.31% - - 0.10% + + 0.25% - - 0.13% + + 0.08% - - 0.26% + + 0.22% @@ -487,7 +500,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 = 0.3; +gnuplot_svg.plot_axis_ymax = 0.35; 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 2ae52614..f269436c 100644 --- a/benchmark-results/plot/mapfun.svg +++ b/benchmark-results/plot/mapfun.svg @@ -228,56 +228,56 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox gnuplot_plot_1a - + - - + + - - + + - - + + - + - + - - + + - - + + - + Mean - - 0.2670 + + 0.2689 - - 0.9714 + + 0.9739 - - 2.5914 + + 2.6078 - - 1.2594 + + 1.2621 - 1.8407 + 1.8406 - - 1.8414 + + 1.8431 - - 3.6246 + + 3.6259 - - 2.5571 + + 2.5679 @@ -314,7 +314,7 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - 0.2 + 0.1 @@ -327,7 +327,7 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - 0.4 + 0.2 @@ -340,7 +340,7 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - 0.6 + 0.3 @@ -353,7 +353,7 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - 0.8 + 0.4 @@ -366,7 +366,7 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - 1 + 0.5 @@ -379,7 +379,7 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - 1.2 + 0.6 @@ -392,7 +392,7 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - 1.4 + 0.7 @@ -449,56 +449,56 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox gnuplot_plot_1b - + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - + gnuplot_plot_2b - - 1.26% - - - 0.18% - - + 0.06% - - 0.17% + + 0.09% + + + 0.16% - - 0.10% + + 0.00% - - 0.10% + + 0.19% - + 0.32% - - 0.15% + + 0.63% + + + 0.33% @@ -526,7 +526,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 = 1.4; +gnuplot_svg.plot_axis_ymax = 0.7; gnuplot_svg.polar_mode = false; gnuplot_svg.plot_axis_x2min = "none" gnuplot_svg.plot_axis_y2min = "none" diff --git a/benchmark-results/plot/maybe.svg b/benchmark-results/plot/maybe.svg index 90de4858..2bcb5425 100644 --- a/benchmark-results/plot/maybe.svg +++ b/benchmark-results/plot/maybe.svg @@ -241,65 +241,65 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - + + - - + + - - + + - - + + - + - + - - + + - - + + - + Mean - 0.4219 + 0.4221 - - 4.3326 + + 4.2688 - - 14.0262 + + 14.0873 - - 0.7535 + + 0.7519 - - 2.9034 + + 2.9072 - - 2.7271 + + 2.7284 - 0.4580 + 0.4577 - - 0.6135 + + 0.6109 - - 0.9013 + + 0.9069 - - 1.5196 + + 1.5293 @@ -331,11 +331,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 0.2 @@ -344,11 +344,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 0.4 @@ -357,11 +357,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 0.6 @@ -370,11 +370,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 0.8 @@ -383,11 +383,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 1 @@ -395,65 +395,13 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - - - - - - - 1.2 - - - - - - - - - - - - - 1.4 - - - - - - - - - - - - - 1.6 - - - - - - - - - - - - - 1.8 - - - - - - - 2 + 1.2 @@ -520,68 +468,68 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox gnuplot_plot_1b - + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - + gnuplot_plot_2b - - 0.32% + + 0.25% - - 1.88% + + 1.01% - - 0.19% + + 0.18% - - 0.22% + + 0.00% - - 0.29% + + 0.17% - - 0.09% + + 0.11% - - 0.17% + + 0.03% - + 0.38% - - 0.19% + + 0.74% - - 0.58% + + 0.84% @@ -609,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.2; 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 fd364a75..66c9d8a9 100644 --- a/benchmark-results/plot/mergesort.svg +++ b/benchmark-results/plot/mergesort.svg @@ -225,68 +225,68 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox gnuplot_plot_1a - + - - + + - - + + - - + + - - + + - - + + - - + + - + - + - - + + - + Mean - - 3.3684 + + 3.3709 - - 5.1785 + + 5.1997 - - 6.6024 + + 6.6747 - - 6.6611 + + 6.8786 - - 3.3932 + + 3.4190 - - 1.7968 + + 1.4552 - - 0.1317 + + 0.1328 - 0.2316 + 0.2310 - - 1.4169 + + 1.4020 - - 0.7671 + + 0.7707 @@ -507,68 +507,68 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox gnuplot_plot_1b - + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - + gnuplot_plot_2b - - 0.02% + + 0.08% - - 0.18% + + 0.07% - - 0.47% + + 0.21% - - 0.37% + + 0.21% - - 0.24% + + 0.27% - - 0.49% + + 0.91% - - 0.26% + + 0.43% - - 0.99% + + 0.59% - - 0.08% + + 0.09% - - 0.31% + + 0.43% diff --git a/benchmark-results/plot/prime.svg b/benchmark-results/plot/prime.svg index 865389d7..550ce3b4 100644 --- a/benchmark-results/plot/prime.svg +++ b/benchmark-results/plot/prime.svg @@ -218,12 +218,12 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - + + - + @@ -233,47 +233,47 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + - + - + Mean - 16.2435 + 16.2411 - 29.6875 + 29.6834 - - 22.5372 + + 22.5499 - - 22.5383 + + 22.5260 - 13.0857 + 13.0887 - 5.8087 + 5.8118 - 0.3634 + 0.3638 - - 0.5894 + + 0.5849 - 13.0390 + 13.0380 - - 5.1640 + + 5.1440 @@ -305,11 +305,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 0.1 @@ -318,11 +318,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 0.2 @@ -331,11 +331,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 0.3 @@ -344,11 +344,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 0.4 @@ -357,11 +357,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 0.5 @@ -369,65 +369,13 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - - - - - - - 0.6 - - - - - - - - - - - - - 0.7 - - - - - - - - - - - - - 0.8 - - - - - - - - - - - - - 0.9 - - - - - - - 1 + 0.6 @@ -494,68 +442,68 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox gnuplot_plot_1b - + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - + gnuplot_plot_2b - - 0.00% - - + 0.02% - - 0.03% + + 0.01% + + + 0.06% - - 0.04% + + 0.10% - + 0.01% - - 0.02% + + 0.06% - - 0.09% + + 0.24% - - 1.00% + + 0.54% - - 0.00% + + 0.01% - - 0.37% + + 0.28% @@ -583,7 +531,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 = 1; +gnuplot_svg.plot_axis_ymax = 0.6; gnuplot_svg.polar_mode = false; gnuplot_svg.plot_axis_x2min = "none" gnuplot_svg.plot_axis_y2min = "none"