From f5b558ed16a290913e806b7ec417fa8e3d2c24f0 Mon Sep 17 00:00:00 2001 From: paulcadman Date: Fri, 18 Aug 2023 08:06:09 +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 | 202 ++++++++------- benchmark-results/plot/combinations.svg | 207 ++++++++-------- benchmark-results/plot/cps.svg | 152 ++++++------ benchmark-results/plot/fibonacci.svg | 241 +++++++++--------- benchmark-results/plot/fold.svg | 269 ++++++++++---------- benchmark-results/plot/mapfold.svg | 213 +++++++++------- benchmark-results/plot/mapfun.svg | 220 ++++++++--------- benchmark-results/plot/maybe.svg | 279 +++++++++++++-------- benchmark-results/plot/mergesort.svg | 310 +++++++++++------------- benchmark-results/plot/prime.svg | 271 ++++++++++----------- 20 files changed, 1315 insertions(+), 1237 deletions(-) diff --git a/benchmark-results/csv/ackermann.csv b/benchmark-results/csv/ackermann.csv index f563c248..ea392b27 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.6969922153538164,0.6969194605622988,0.6970975788118494,1.2128125895697313e-4,3.4175416203652276e-5,1.4834978976609653e-4 -0x1f78b4,ocaml byte,1.8544343649376362,1.853054936687234,1.8564454287507033,2.4359593030408963e-3,9.138271827225809e-4,3.1856530867901012e-3 -0xb2df8a,haskell,1.3521299073336575,1.3521052886668108,1.3521472235003102,3.06991104168736e-5,1.9775137656340546e-5,3.9989973913416005e-5 -0x33a02c,haskell strict,0.5231674823748639,0.5218946410000171,0.5256925041250801,2.5273826333079797e-3,8.025168588033336e-6,2.9274689886525946e-3 -0xfb9a99,juvix,2.1793674502500457,2.172732747624991,2.1840213732501375,7.647860965252698e-3,4.7359635314872806e-3,1.0747774787562956e-2 -0xe31a1c,juvix wasm,1.069795317000133,1.0676885617502876,1.0715215206249695,2.5919467246415524e-3,1.399839117214853e-3,3.5947014212765888e-3 -0xfdbf6f,c,6.46547746288062e-4,6.44490207887476e-4,6.49592096695464e-4,1.0429604004186786e-5,6.427593129413322e-6,1.7465134619389996e-5 -0xff7f00,c wasm,0.46424392687489063,0.46075791425028,0.46772993949950126,5.608070072623225e-3,2.810025163685404e-3,7.872813510637119e-3 -0xcab2d6,runtime,2.77436314241667,2.742002055166419,2.791867574166796,3.1056976578317665e-2,1.4649368161706276e-2,4.0424753531786844e-2 -0x6a3d9a,runtime wasm,2.95248593247959,2.9461522804377864,2.9588818247507334,8.17922463111328e-3,4.225078707608182e-3,9.941774904278135e-3 +0xa6cee3,ocaml,0.265210567719605,0.26492783773988776,0.2654932976993223,4.067963276032891e-4,3.2695963955526697e-4,5.078146704767504e-4 +0x1f78b4,ocaml byte,2.2277559179375053,2.224869536687341,2.2321148789376366,4.682729846100954e-3,1.1494953751025605e-3,6.055423117178243e-3 +0xb2df8a,haskell,1.623768724895778,1.6224984737500563,1.6250389760414996,2.5201067576581726e-3,2.799474987114081e-5,2.9318930643767575e-3 +0x33a02c,haskell strict,0.6322801489169478,0.6322530703337179,0.6323087872506221,3.924237686302055e-5,1.841437487460333e-5,5.421954087988299e-5 +0xfb9a99,juvix,2.6328949987920773,2.5952571957509463,2.652769021666851,3.5703956287871895e-2,1.02675866025193e-2,4.607068750533981e-2 +0xe31a1c,juvix wasm,1.288738729563003,1.2840182611252355,1.295318351562969,8.018354879798463e-3,3.0251786483209246e-3,1.0901454892984844e-2 +0xfdbf6f,c,7.704413796364747e-4,7.678313865777601e-4,7.735168549718058e-4,1.1034222170580056e-5,9.60547830148428e-6,1.2607204259424304e-5 +0xff7f00,c wasm,0.5586618811879589,0.5536396558752585,0.5631607730625774,6.8263410532040285e-3,4.335455805761095e-3,9.363625870000242e-3 +0xcab2d6,runtime,3.316909639896039,3.277159819708686,3.361686608666787,5.769920786870842e-2,2.8191195333420183e-2,7.591954862127734e-2 +0x6a3d9a,runtime wasm,3.536254526146081,3.5342955936250746,3.539927789812623,3.740003645117542e-3,6.666086232059477e-5,4.457300010988645e-3 diff --git a/benchmark-results/csv/combinations.csv b/benchmark-results/csv/combinations.csv index 6a13558f..cf58dea7 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.787597436854147,10.785995864833392,10.788845246999927,2.1206828175460717e-3,1.233074125075049e-3,2.8816940942535257e-3 -0x1f78b4,ocaml byte,56.447780828770725,56.41851496637469,56.49481089668734,5.041600999535628e-2,7.276531083181936e-3,6.30466830263223e-2 -0xb2df8a,haskell,8.388423956250108,8.383442555125157,8.390910685249992,4.696544246081742e-3,1.6649027497805946e-3,5.752041186006674e-3 -0x33a02c,haskell strict,8.37719719195845,8.373372604583514,8.379760664708405,4.265227921970859e-3,2.191564779431082e-3,5.920086728987282e-3 -0xfb9a99,juvix,12.392743312958354,12.386700323875118,12.39565971783342,6.602783407352952e-3,3.4424033842961874e-3,9.244544538381484e-3 -0xe31a1c,juvix wasm,29.70927426733338,29.69338523887501,29.71702595962512,1.5462732056585942e-2,1.1305515000685773e-3,1.8357874522843855e-2 -0xfdbf6f,c,7.603826491145942,7.602814748875176,7.605418173375028,1.7268536920208794e-3,3.03032536793657e-4,2.2061388056022297e-3 -0xff7f00,c wasm,9.786229711729012,9.783045768749616,9.789413654708408,4.535294702568785e-3,2.327622984668664e-3,6.197647389927438e-3 -0xcab2d6,runtime,11.461991253666667,11.459794362249852,11.463033022666878,2.1481609506206695e-3,3.554573331712163e-4,2.7419750887495127e-3 -0x6a3d9a,runtime wasm,26.77377627279183,26.764273433499966,26.776976545166843,6.630270000163255e-3,1.4945937624335588e-3,8.65903611778696e-3 +0xa6cee3,ocaml,10.880788285395758,10.879184469499933,10.881839878374876,1.9574030241225845e-3,9.391785230581169e-4,2.4285499582892248e-3 +0x1f78b4,ocaml byte,67.86646073441666,67.71438514704171,68.16646056129157,0.2933861239041577,2.070336383318505e-2,0.3480078161482257 +0xb2df8a,haskell,10.027488778791678,10.017053746499869,10.031220328666791,7.1278376557124615e-3,3.268091188757347e-5,8.666697476243835e-3 +0x33a02c,haskell strict,10.035416337583266,10.032880267083252,10.039585957999975,4.722960661019494e-3,1.6374931668297066e-3,5.8084370020718284e-3 +0xfb9a99,juvix,14.845264169979222,14.839236787749996,14.849179725416738,7.4824144465053186e-3,4.31429253137781e-3,9.042587943506254e-3 +0xe31a1c,juvix wasm,35.6346337893331,35.62576178816637,35.64792217358323,1.4743534802920484e-2,2.6979938331059827e-3,1.9135989268779987e-2 +0xfdbf6f,c,6.941758253749906,6.940593008874771,6.944054826249953,2.297670226818513e-3,3.2255250137946945e-5,2.6705805554418345e-3 +0xff7f00,c wasm,9.580389806354313,9.575661965208344,9.583446022687724,5.724209817106697e-3,3.704582194343059e-3,7.058029291184542e-3 +0xcab2d6,runtime,13.714183423562417,13.707908637062246,13.720134611499816,8.513800943807317e-3,5.594921737115442e-3,1.0578311946566542e-2 +0x6a3d9a,runtime wasm,32.13932664841665,32.13337070124987,32.1436674889167,7.184877526382856e-3,3.8435057508544724e-3,1.0024741724850371e-2 diff --git a/benchmark-results/csv/cps.csv b/benchmark-results/csv/cps.csv index ba482fee..abf1709c 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.40549415447909115,0.40537982779172427,0.4055708181039866,1.2950139994063586e-4,7.397403136293157e-5,1.770470578817519e-4 -0x1f78b4,ocaml byte,3.1054744465832678,3.1033297967500175,3.1094353362499305,3.996088057624817e-3,3.441452163815764e-4,4.929476642684597e-3 -0xb2df8a,haskell,238.69413105154192,229.20121943075037,244.4911069256669,9.590358342179558,4.852144332665375,13.387542325647331 -0x33a02c,haskell strict,1.705900556791865,1.7030970917501236,1.7095721357504772,4.368621475615991e-3,1.4089871137771878e-3,5.862886328816809e-3 -0xfb9a99,juvix,1.9991184262083455,1.996390146875001,2.0026649967498997,4.041252302472252e-3,2.293549925452172e-4,4.947717875053827e-3 -0xe31a1c,juvix wasm,2.0525440556247836,2.0498644441250917,2.054248856499764,2.8268258024128335e-3,1.3934770874827285e-3,3.937068976337997e-3 -0xfdbf6f,c,0.17116541979580285,0.17108865038093685,0.17132340722424041,1.8986779685142678e-4,5.3005786667442164e-5,2.6756730122164325e-4 -0xff7f00,c wasm,0.26758008190664745,0.2645372110663933,0.27001870503998365,4.274082806248792e-3,2.6683741097656517e-3,5.57233206095618e-3 -0xcab2d6,runtime,0.4087832706246293,0.4086668535001081,0.4089924301240444,2.123913460761954e-4,2.0069750007678522e-5,2.532127363105159e-4 -0x6a3d9a,runtime wasm,0.48966388674978134,0.4880983324999306,0.4906492082495788,1.8792485328562045e-3,1.3821850000113045e-3,2.275502532585568e-3 +0xa6cee3,ocaml,0.4866899754165767,0.486586317999695,0.48673936033329335,9.879107421600516e-5,1.7623833249075238e-5,1.2533697031965308e-4 +0x1f78b4,ocaml byte,3.722960097937706,3.7224797853752234,3.7237499296876044,8.641380781393763e-4,1.330540001920344e-4,1.1092343489782059e-3 +0xb2df8a,haskell,236.00035651441692,225.62710550500083,241.03022995283334,10.087482525245287,0.7262073968336153,12.340001915993891 +0x33a02c,haskell strict,2.051584438041573,2.0495290334999936,2.052793226374888,2.047305995631998e-3,7.441959657031407e-4,2.7915770785311685e-3 +0xfb9a99,juvix,2.337971961708073,2.336888375958021,2.338723981833065,1.2316415302042298e-3,6.743283816989758e-4,1.7367160864000324e-3 +0xe31a1c,juvix wasm,2.436371776478874,2.428817609686689,2.4399857416040427,7.231514503746489e-3,1.221362410434093e-3,9.099505972452725e-3 +0xfdbf6f,c,0.20539541275840947,0.20536041233344804,0.2054219964334657,5.069472299328769e-5,3.093618635258408e-5,7.15855054006788e-5 +0xff7f00,c wasm,0.31659393160365046,0.31353616153404196,0.31984696156656967,5.07849146046377e-3,3.5247797297788077e-3,7.5173621535395505e-3 +0xcab2d6,runtime,0.4907102766663911,0.4905651530415298,0.4909877333742543,2.757412841821563e-4,2.0610000092347036e-5,3.3514865551778004e-4 +0x6a3d9a,runtime wasm,0.5893597243956114,0.5862084976667272,0.5925109511244955,4.384024675648619e-3,2.0317307588600193e-3,5.959552468142873e-3 diff --git a/benchmark-results/csv/fibonacci.csv b/benchmark-results/csv/fibonacci.csv index 4e6297f2..38329d66 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.4030471577917136,0.4029756525833553,0.4031177880000456,8.33218533704324e-5,7.40133741675211e-5,9.142485854784921e-5 -0x1f78b4,ocaml byte,2.146080102895837,2.145181983833254,2.1478392431875477,1.7632026990997886e-3,1.5184312179188433e-5,2.0513687608294815e-3 -0xb2df8a,haskell,230.96016112495835,225.1378935800834,235.27956973520836,7.2836470235069,4.278989468549496,9.975246895471319 -0x33a02c,haskell strict,1.7118638535622495,1.7117619883123325,1.7119971542495023,1.5770290264138909e-4,7.497229580147995e-5,2.0489237266242105e-4 -0xfb9a99,juvix,0.3098250934165693,0.30967112041666345,0.3099763543498284,2.2637276246125336e-4,1.6617978627401727e-4,2.83806413840312e-4 -0xe31a1c,juvix wasm,0.3781378530207462,0.3755938194999544,0.3794506199374723,2.4683414620855428e-3,2.1492181326171911e-4,3.0584102344678207e-3 -0xfdbf6f,c,0.1925780853305873,0.19253487531382993,0.19263094066673148,7.487609452635489e-5,5.509696353238475e-5,1.0099293281288498e-4 -0xff7f00,c wasm,0.2531240830965423,0.25028237543003345,0.25637146661306665,4.484494678599974e-3,3.7771759643057024e-3,5.651975772015606e-3 -0xcab2d6,runtime,0.3097894090935248,0.3097142558003725,0.3098801865600035,1.199957977390084e-4,7.688096300788625e-5,1.5275416247255988e-4 -0x6a3d9a,runtime wasm,0.3785025597085034,0.37231254783334106,0.3825897344586148,6.698532975454301e-3,3.835718705870148e-3,9.438925768807534e-3 +0xa6cee3,ocaml,0.4838710382708271,0.4837155155416468,0.48400338983333313,2.1954101943694434e-4,1.3812470893893015e-4,3.056528409620654e-4 +0x1f78b4,ocaml byte,2.5788752608958228,2.5787636961666367,2.5789619605624807,1.3625197721160517e-4,8.66003149332596e-5,1.711638107606443e-4 +0xb2df8a,haskell,229.8876585572709,217.17303168037506,236.2121116305626,12.383943321453525,4.669191241592682,16.843809690086037 +0x33a02c,haskell strict,2.051722867166594,2.0501867980415986,2.0526388865415206,1.543603052957082e-3,5.882097746963173e-4,2.115456130787351e-3 +0xfb9a99,juvix,0.3719090089792303,0.3716902738750605,0.37207245125000554,2.6257063231719687e-4,1.8496871428477145e-4,3.17857688787283e-4 +0xe31a1c,juvix wasm,0.4586850220623357,0.44883278068715526,0.46359786331244857,9.366093538720439e-3,2.057375125067068e-3,1.1407055967372084e-2 +0xfdbf6f,c,0.23175768199441538,0.23149768966658887,0.23205674313331756,4.5512912165605933e-4,3.6955877999251196e-4,5.026971779521566e-4 +0xff7f00,c wasm,0.2999433415633151,0.2984568589132808,0.30278793738008974,3.079281954702749e-3,4.286681661220537e-4,4.0709003938192295e-3 +0xcab2d6,runtime,0.37176028679154643,0.3717097677499055,0.3717931707082395,5.5600797483073674e-5,2.508143846110057e-5,7.594215261897175e-5 +0x6a3d9a,runtime wasm,0.4592770646873608,0.4563203661249796,0.46133491331227106,3.5209694971454516e-3,2.602041019875019e-3,4.226161823738358e-3 diff --git a/benchmark-results/csv/fold.csv b/benchmark-results/csv/fold.csv index 8c877da9..7913c123 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.4135803019165299,0.41326658512502945,0.41409621087518644,5.629897844034434e-4,1.1152249953738647e-4,7.244978960883714e-4 -0x1f78b4,ocaml byte,3.1034509437499005,3.1026416724998853,3.1041750621251745,1.0864385265842303e-3,6.008665663992725e-4,1.4635098976613437e-3 -0xb2df8a,haskell,1.6876953973748339,1.6833414742503314,1.69022291962483,5.141594419666784e-3,4.330361361425445e-3,5.805046800824626e-3 -0x33a02c,haskell strict,1.7027194697500743,1.7020917040008499,1.7039500521251512,1.2338197695827631e-3,2.8500749522208935e-5,1.4374417088650162e-3 -0xfb9a99,juvix,0.3827777846457063,0.3826579495417567,0.3828681941247396,1.497154825420505e-4,8.250436369651093e-5,1.9424295439815696e-4 -0xe31a1c,juvix wasm,0.6190850375411779,0.6171457934995033,0.621080020083203,2.9512687859718128e-3,8.108997499221005e-4,3.670868452860398e-3 -0xcab2d6,runtime,0.4247002641044446,0.4244550047501434,0.4250631810629102,4.0648613924034013e-4,9.442707963812461e-5,5.311257302796167e-4 -0x6a3d9a,runtime wasm,1.1988320941461172,1.196644187250513,1.200905401375394,2.732255590145253e-3,1.4989456246894406e-3,3.3219212207260015e-3 +0xa6cee3,ocaml,0.49733538320856496,0.4962360964586878,0.4994687000005342,2.148571309958003e-3,1.4777568358870057e-5,2.5239164354737467e-3 +0x1f78b4,ocaml byte,3.726266048333173,3.726103296666224,3.7264012141249623,2.2588236982006677e-4,1.2315612262059158e-4,3.121520250993663e-4 +0xb2df8a,haskell,2.041126475520476,2.0385484698123264,2.04241074274978,2.559335263331624e-3,6.921483266819628e-5,2.977360974147521e-3 +0x33a02c,haskell strict,2.0223222383745756,2.022274953999234,2.022352922499825,5.21623896282261e-5,2.306044045243118e-5,7.086195189067122e-5 +0xfb9a99,juvix,0.4588773286250974,0.4586825483748574,0.45919712175054883,3.4948228585919214e-4,6.871187645724765e-5,4.4982571963554874e-4 +0xe31a1c,juvix wasm,0.7422272991669464,0.7394410914174235,0.7438868022917026,2.7678988321914763e-3,1.326005480622622e-3,3.8324583031959683e-3 +0xcab2d6,runtime,0.5095847863544046,0.5094167404792339,0.509711399938169,2.1394364944173433e-4,1.0190309284551469e-4,2.892918894481587e-4 +0x6a3d9a,runtime wasm,1.4448662276460784,1.4378162825418408,1.451916172750316,1.079140336720062e-2,4.705229165044331e-3,1.4806954933408598e-2 diff --git a/benchmark-results/csv/mapfold.csv b/benchmark-results/csv/mapfold.csv index 1efc2950..94caa161 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.9660160763124093,1.9634353579375556,1.9671943699372985,2.4671820367655854e-3,5.176086615837356e-4,3.2387612276405173e-3 -0x1f78b4,ocaml byte,5.955441428645865,5.950100476958066,5.95870658704151,5.515545104035398e-3,2.8685408386299256e-3,7.750436183194603e-3 -0xb2df8a,haskell,2.300840011291674,2.2983246853749506,2.3020974468333106,2.5108845170186906e-3,1.2965333250347655e-5,2.9044482852080148e-3 -0x33a02c,haskell strict,2.2897521233333387,2.284900511416784,2.293343799124841,5.97784730179239e-3,3.5438999849223447e-3,7.299188883124174e-3 -0xfb9a99,juvix,3.4153663409170654,3.41063619300121,3.417597452833358,4.665549739421504e-3,5.35848166540065e-4,5.771276428248345e-3 -0xe31a1c,juvix wasm,1.3129510728545408,1.3107945447087181,1.3148251225004515,2.602828728656325e-3,1.8838360521041624e-3,3.2412428234241206e-3 -0xcab2d6,runtime,3.264243997812438,3.2631582353753856,3.2650127328121243,1.2860432696655511e-3,7.491086193067413e-4,1.7753174360172943e-3 -0x6a3d9a,runtime wasm,3.4869988814792428,3.4826986426251096,3.4952560299375364,8.206145687146013e-3,4.6330112490977626e-4,9.84500594631896e-3 +0xa6cee3,ocaml,1.774341030916844,1.7736240079166237,1.775662297917279,1.328798463315885e-3,1.4886611080601334e-4,1.6558936887692613e-3 +0x1f78b4,ocaml byte,7.139979809666708,7.137169901749758,7.14528751475018,5.411087900108839e-3,4.191441668504048e-4,6.400540171774542e-3 +0xb2df8a,haskell,2.7523225091046393,2.752243772000611,2.7524009873127397,1.1479387061763849e-4,5.382087465477525e-5,1.5046310908658057e-4 +0x33a02c,haskell strict,2.7416738597292656,2.740419568562629,2.742295142875264,1.2408133737968363e-3,5.697841637197776e-5,1.449077683985261e-3 +0xfb9a99,juvix,3.950137883208299,3.9443895995832463,3.9603239188750194,1.0694515492973343e-2,2.9383472002937616e-5,1.2570544893911201e-2 +0xe31a1c,juvix wasm,1.5348115446667332,1.529861345874906,1.5379155159168174,5.224096425076279e-3,2.3735104108848354e-3,7.168314547171921e-3 +0xcab2d6,runtime,3.832513277437594,3.8217086453748834,3.8401335976874407,1.2790247343435007e-2,1.0605368369170618e-2,1.496739537701787e-2 +0x6a3d9a,runtime wasm,4.161902119562342,4.158113332562266,4.163995111624899,3.7125455509689287e-3,1.7497336250471562e-3,4.833558122917617e-3 diff --git a/benchmark-results/csv/mapfun.csv b/benchmark-results/csv/mapfun.csv index 51e67899..18b12d9e 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.26920244762016715,0.2690644026401666,0.26935480620025676,2.1673821157065247e-4,1.682329628577374e-4,2.7294685583053105e-4 -0x1f78b4,ocaml byte,0.9726555859790172,0.9716674338330147,0.9732764116666507,1.1557195298901365e-3,1.0275652956127552e-3,1.3148882950402487e-3 -0xb2df8a,haskell,2.6416088940001523,2.6291754142503123,2.647222395500042,1.1908225834413108e-2,4.063214165167235e-3,1.5807941591398696e-2 -0x33a02c,haskell strict,1.2338891878545155,1.2320160681670131,1.2376235877294448,3.7359242784312844e-3,1.625566710572457e-5,4.3257846232155174e-3 -0xfb9a99,juvix,1.8211260317918156,1.8196584567499485,1.8220117340001707,1.5164101518780006e-3,5.731095851750032e-4,2.04544163366265e-3 -0xe31a1c,juvix wasm,1.547858457229078,1.5461959780000143,1.5496186774372518,2.313335969971421e-3,1.0237230528441915e-3,3.121203619333933e-3 -0xcab2d6,runtime,3.6408829490622643,3.6297505364994627,3.648324224874917,1.2386109404121166e-2,6.3086667994604025e-3,1.718489037419726e-2 -0x6a3d9a,runtime wasm,2.2259828727289914,2.220355808374734,2.2291842362915304,5.466855438495413e-3,2.4668831634136567e-3,7.393232458422941e-3 +0xa6cee3,ocaml,0.3153179142067469,0.31491503374005336,0.31554572494011157,4.4022591409340414e-4,2.0994119024844992e-4,5.88029741944837e-4 +0x1f78b4,ocaml byte,1.1663659279373253,1.165102277999722,1.1672192633122904,1.4960435768811003e-3,1.1601113705828644e-3,1.7744778251503448e-3 +0xb2df8a,haskell,3.1400526107916753,3.137558338749841,3.1413774529999046,2.881277485766945e-3,2.5316695382778345e-3,2.956987834548469e-3 +0x33a02c,haskell strict,1.4764798391458953,1.4722712695001974,1.4798170994374686,5.039522775940978e-3,3.916281648288935e-3,5.820210472840617e-3 +0xfb9a99,juvix,2.1916017930002076,2.189135987624771,2.192794961249926,2.4102048716929956e-3,1.0329494498443306e-3,3.2962803257711734e-3 +0xe31a1c,juvix wasm,1.8610196919372584,1.8569429551868097,1.8661391244373817,6.236374862356872e-3,2.72835203186445e-3,8.083133698467852e-3 +0xcab2d6,runtime,4.257998850479718,4.251208791625686,4.271366417250192,1.3035935766665988e-2,9.300050001002091e-4,1.5439438554784643e-2 +0x6a3d9a,runtime wasm,2.6421653932925437,2.6311722359168925,2.647324178542931,1.0812227937020464e-2,1.351173749753798e-3,1.2741655796996267e-2 diff --git a/benchmark-results/csv/maybe.csv b/benchmark-results/csv/maybe.csv index 2b030581..f5a90537 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.42355127566675793,0.4227488284166914,0.42510108341692404,1.5690223762466304e-3,3.672449997793592e-5,1.8317383017999852e-3 -0x1f78b4,ocaml byte,4.322026495354142,4.258780029625086,4.409456197874988,0.10111737700541301,2.7371540744267564e-2,0.13423826222890126 -0xb2df8a,haskell,13.96301850354132,13.947697381916441,13.99070161466625,2.879093666188489e-2,4.8832596662578e-3,3.5382614777644004e-2 -0x33a02c,haskell strict,0.9428363513750734,0.934450554875184,0.9478769182500552,8.383658325580095e-3,4.099604752504304e-3,1.1640690568556161e-2 -0xfb9a99,juvix,2.9270873890208122,2.92155294037525,2.932324058249833,6.963393075723367e-3,3.718185791740325e-3,8.487870525809824e-3 -0xe31a1c,juvix wasm,2.999500143396176,2.99023965662559,3.0133032427506805,1.5514728065198267e-2,3.3614196242979233e-3,2.0341978910328927e-2 -0xfdbf6f,c,0.45745030854175184,0.4571927660831534,0.4576223786665423,3.0261419394349385e-4,2.663542504706129e-4,3.524691639435615e-4 -0xff7f00,c wasm,0.612995910770754,0.610614256791602,0.6154361025626258,3.799848874113095e-3,2.1930707383946185e-3,4.6495928750118765e-3 -0xcab2d6,runtime,0.9016164603748015,0.9011474508748355,0.9024828742493204,8.879021348997117e-4,4.773675027536228e-5,1.0662753029331317e-3 -0x6a3d9a,runtime wasm,1.9562566759163549,1.9521748654998419,1.9619670351661018,6.441648259724426e-3,2.719194291431534e-3,8.487644782141516e-3 +0xa6cee3,ocaml,0.5074599579997994,0.5061328147496624,0.5080786937498942,1.2645513514809902e-3,2.8057606566262165e-4,1.6359970433809912e-3 +0x1f78b4,ocaml byte,5.129545336562576,5.099349820500265,5.149956829875085,3.725784441694261e-2,2.262723749596347e-2,4.713832463415578e-2 +0xb2df8a,haskell,16.231348367229014,16.191573674228987,16.253505208541508,3.887034742355413e-2,1.946532095833753e-2,5.116903318464135e-2 +0x33a02c,haskell strict,1.134755448583898,1.132970176875915,1.1376709333753752,3.266809090571133e-3,1.0977419997288962e-3,4.0411651331737726e-3 +0xfb9a99,juvix,3.385519246458595,3.3845949172500696,3.3863624141671,1.3878028410517918e-3,7.349635037826491e-4,1.947212413909727e-3 +0xe31a1c,juvix wasm,3.5460563679167385,3.5345161869175477,3.553426246791408,1.2081992146130016e-2,6.4682226777799876e-3,1.702000620874187e-2 +0xfdbf6f,c,0.549023377729327,0.5489192408128929,0.5491372119581683,1.4566918041342892e-4,8.410780361754138e-5,1.9274761708681383e-4 +0xff7f00,c wasm,0.7360159855627822,0.733565885500866,0.7384660856246985,3.804051023999245e-3,1.373755890866421e-3,5.177818231312823e-3 +0xcab2d6,runtime,1.0814076357292304,1.0808694906667522,1.0821540491878068,9.22373509346793e-4,3.43335880051076e-4,1.2427927867393789e-3 +0x6a3d9a,runtime wasm,2.3456423232085704,2.338129202458352,2.3576220242505315,1.3338555312835077e-2,2.5017987500177696e-3,1.7350809150370447e-2 diff --git a/benchmark-results/csv/mergesort.csv b/benchmark-results/csv/mergesort.csv index 69c6058f..daa6f470 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.3690123427499685,3.363551324749949,3.372554899499974,5.7948248387541005e-3,3.250642846571295e-3,8.181184372941007e-3 -0x1f78b4,ocaml byte,5.200162488437556,5.181736257250122,5.234013283812558,3.4178260459651943e-2,1.651860896729404e-3,4.053501638910415e-2 -0xb2df8a,haskell,6.842156709812495,6.738922156625014,6.898863133749994,0.12011206415202898,0.10876838505139301,0.13095787650038337 -0x33a02c,haskell strict,6.74217205314586,6.670413812375045,6.808086479124995,8.935307480125557e-2,5.190720443803396e-2,0.1065702892162861 -0xfb9a99,juvix,3.402987905520817,3.3940500836458085,3.4187741643124667,1.614093804006531e-2,2.377677990351639e-3,2.0641015462020254e-2 -0xe31a1c,juvix wasm,1.7505350149374788,1.734963941625002,1.7707259615624764,2.3735764712827755e-2,7.4050221084544475e-3,3.150486435589308e-2 -0xfdbf6f,c,0.13234833675952276,0.13214399757202502,0.13273144828870254,4.918582604692525e-4,2.054831581232673e-4,7.321302143656124e-4 -0xff7f00,c wasm,0.2311286587888743,0.23041709915001243,0.232032553388851,1.3364513765733433e-3,7.080992275089574e-4,1.9615750445573605e-3 -0xcab2d6,runtime,1.4037267404166964,1.3986201447500548,1.4075910867916643,6.280776693746518e-3,3.931483401176797e-3,7.861694129935542e-3 -0x6a3d9a,runtime wasm,0.7620340087083216,0.7591120300000114,0.7635474800416422,2.777384186928308e-3,1.177550749986267e-3,3.4952123268137433e-3 +0xa6cee3,ocaml,4.112307919333328,4.109664210499986,4.113849123333334,3.1289125119318265e-3,2.608060599746276e-3,3.559258177117887e-3 +0x1f78b4,ocaml byte,6.32428987481251,6.271511869437506,6.350139929250015,5.001974502536495e-2,1.1733482500015047e-2,6.218743888995854e-2 +0xb2df8a,haskell,7.778953650375006,7.740228857999971,7.798472475500015,3.790265516804967e-2,1.728457783559177e-2,5.189184324577503e-2 +0x33a02c,haskell strict,7.7829972839583235,7.713613152374975,7.818648426208327,7.446126030493726e-2,6.489358902171559e-2,8.233278629982849e-2 +0xfb9a99,juvix,3.851777197416683,3.8390326217500004,3.8626322800000708,1.6250117177917935e-2,1.3534205005145213e-2,1.894037433735496e-2 +0xe31a1c,juvix wasm,1.8662864674375161,1.7553006780625087,1.921325975750013,0.1100063197075002,2.176813999985483e-3,0.12920240172639594 +0xfdbf6f,c,0.15829667539014008,0.15794054771836713,0.15863962508573196,6.051529245319046e-4,4.4328180059743526e-4,8.801195361195353e-4 +0xff7f00,c wasm,0.27450692328332216,0.2722755316166608,0.27786009719998217,4.166830031848122e-3,1.6644405380863954e-3,6.110917752297448e-3 +0xcab2d6,runtime,1.6199662214583246,1.6179490809166546,1.621823856833328,2.70685193134781e-3,1.4291984542642304e-3,3.673382235028776e-3 +0x6a3d9a,runtime wasm,0.8912545318333068,0.8896796104166544,0.8923911965000002,1.8867399038194049e-3,1.3505053711815468e-3,2.321161413024237e-3 diff --git a/benchmark-results/csv/prime.csv b/benchmark-results/csv/prime.csv index 337f032f..36e7cd88 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.23838587579189,16.23293358829187,16.24111538425018,5.269208127802003e-3,1.1029358908474793e-3,6.847227257095583e-3 -0x1f78b4,ocaml byte,29.68611316981283,29.683182955625625,29.6882328550004,3.706573419751504e-3,2.4481752018894755e-3,4.895203254563714e-3 -0xb2df8a,haskell,17.495855548458128,17.493357930958343,17.498622444666275,4.288529419214627e-3,1.4190340577980745e-3,5.768000543333459e-3 -0x33a02c,haskell strict,17.471801067645895,17.471763264895838,17.47185131218714,5.5669609266402966e-5,1.7531875300846878e-5,6.815660409002422e-5 -0xfb9a99,juvix,13.04486707916692,13.044619051750146,13.045145157833758,3.6071097337332474e-4,1.8110672080258374e-4,4.667043618146955e-4 -0xe31a1c,juvix wasm,5.8083692213333125,5.805517692082806,5.812122778750222,4.336908974696778e-3,1.9530744233129818e-3,5.679768144190882e-3 -0xfdbf6f,c,0.36366608847894594,0.36320374466655875,0.36453965041634245,8.906026176731627e-4,8.839291664722304e-5,1.0597965221968196e-3 -0xff7f00,c wasm,0.5882123341251599,0.5853055852501257,0.5927876648752317,5.060210987960965e-3,1.0586147498088394e-3,6.574629595231247e-3 -0xcab2d6,runtime,13.039173024812348,13.038589773625063,13.039515129374195,6.932110622772347e-4,6.451328162606517e-4,7.897494939494549e-4 -0x6a3d9a,runtime wasm,6.318249923603882,6.313542930916507,6.320531324603773,4.458834426718803e-3,1.7877601664317844e-3,5.440264952833944e-3 +0xa6cee3,ocaml,19.487154826166943,19.484513906250413,19.489236946667006,3.08369587870597e-3,2.7562743228743414e-3,3.4015203099148923e-3 +0x1f78b4,ocaml byte,35.731983531062916,35.633265396812895,35.92659495981309,0.19457104140865328,3.5918485889950835e-3,0.22797976553258834 +0xb2df8a,haskell,20.99209986554168,20.99204551441638,20.99214110050002,6.729614609075068e-5,4.007684704828955e-5,9.232177248574598e-5 +0x33a02c,haskell strict,20.969453199249944,20.96797366499974,20.97093273350015,2.086540204529696e-3,1.0688707520686025e-3,2.884797015801528e-3 +0xfb9a99,juvix,15.662266980354085,15.659585394187616,15.666570782166142,4.5307907062764295e-3,1.0534825685447617e-3,5.853311695742528e-3 +0xe31a1c,juvix wasm,6.976839142895908,6.9752154171668135,6.978462868625002,2.3324539829640565e-3,1.0730067473422946e-3,3.2079172995579386e-3 +0xfdbf6f,c,0.4359643017496637,0.43584216712497437,0.4361831133742271,2.307164070380808e-4,4.491400278133385e-5,2.792135690458703e-4 +0xff7f00,c wasm,0.7073139085624689,0.7032664369999111,0.7093161263125012,3.919580767708574e-3,4.1372350005985936e-4,4.674145947666296e-3 +0xcab2d6,runtime,15.650926060978918,15.650461345124768,15.651282563249879,5.89714715165431e-4,3.765564306259831e-4,7.811205616419897e-4 +0x6a3d9a,runtime wasm,7.58307163352121,7.575056319833645,7.586868661208579,7.6561672804381815e-3,1.708951681224636e-3,9.741714230927507e-3 diff --git a/benchmark-results/plot/ackermann.svg b/benchmark-results/plot/ackermann.svg index aac37084..17c18035 100644 --- a/benchmark-results/plot/ackermann.svg +++ b/benchmark-results/plot/ackermann.svg @@ -70,11 +70,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 0.5 @@ -83,11 +83,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 1 @@ -96,11 +96,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 1.5 @@ -109,11 +109,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 2 @@ -122,11 +122,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 2.5 @@ -134,13 +134,39 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox + + + + + + + 3 + + + + + + + + + + + + + 3.5 + + + + + + - 3 + 4 @@ -212,68 +238,68 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox gnuplot_plot_1a - + - - + + - - + + - - + + - - + + - - + + - + - + - - + + - - + + - + Mean - - 0.6970 + + 0.2652 - - 1.8544 + + 2.2278 - - 1.3521 + + 1.6238 - - 0.5232 + + 0.6323 - - 2.1794 + + 2.6329 - - 1.0698 + + 1.2887 - 0.0006 + 0.0008 - - 0.4642 + + 0.5587 - - 2.7744 + + 3.3169 - - 2.9525 + + 3.5363 @@ -481,68 +507,68 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox gnuplot_plot_1b - + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - + gnuplot_plot_2b - - 0.02% + + 0.15% - - 0.13% + + 0.21% - - 0.00% + + 0.16% - - 0.48% + + 0.01% - - 0.35% + + 1.36% - - 0.24% + + 0.62% - - 1.61% + + 1.43% - - 1.21% + + 1.22% - - 1.12% + + 1.74% - - 0.28% + + 0.11% diff --git a/benchmark-results/plot/combinations.svg b/benchmark-results/plot/combinations.svg index 4e0f2c1d..d7b8cdf2 100644 --- a/benchmark-results/plot/combinations.svg +++ b/benchmark-results/plot/combinations.svg @@ -70,11 +70,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 10 @@ -83,11 +83,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 20 @@ -96,11 +96,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 30 @@ -109,11 +109,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 40 @@ -122,11 +122,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 50 @@ -134,13 +134,26 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox + + + + + + + 60 + + + + + + - 60 + 70 @@ -212,68 +225,68 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox gnuplot_plot_1a - + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - + Mean - - 10.7876 + + 10.8808 - - 56.4478 + + 67.8665 - - 8.3884 + + 10.0275 - - 8.3772 + + 10.0354 - - 12.3927 + + 14.8453 - - 29.7093 + + 35.6346 - - 7.6038 + + 6.9418 - - 9.7862 + + 9.5804 - - 11.4620 + + 13.7142 - - 26.7738 + + 32.1393 @@ -310,7 +323,7 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - 0.01 + 0.05 @@ -323,7 +336,7 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - 0.02 + 0.1 @@ -336,7 +349,7 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - 0.03 + 0.15 @@ -349,7 +362,7 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - 0.04 + 0.2 @@ -362,7 +375,7 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - 0.05 + 0.25 @@ -375,7 +388,7 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - 0.06 + 0.3 @@ -388,7 +401,7 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - 0.07 + 0.35 @@ -401,7 +414,7 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - 0.08 + 0.4 @@ -414,7 +427,7 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - 0.09 + 0.45 @@ -481,67 +494,67 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox gnuplot_plot_1b - + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - + gnuplot_plot_2b - + 0.02% - - 0.09% + + 0.43% - - 0.06% + + 0.07% - + 0.05% - + 0.05% - - 0.05% + + 0.04% - - 0.02% + + 0.03% - - 0.05% + + 0.06% - - 0.02% + + 0.06% - + 0.02% @@ -570,7 +583,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 = 0.09; +gnuplot_svg.plot_axis_ymax = 0.45; 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 38089dfd..87b2f8f4 100644 --- a/benchmark-results/plot/cps.svg +++ b/benchmark-results/plot/cps.svg @@ -199,68 +199,68 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox gnuplot_plot_1a - + - - + + - - + + - - + + - - + + - - + + - + - + - - + + - - + + - + Mean - - 0.4055 + + 0.4867 - - 3.1055 + + 3.7230 - - 238.6941 + + 236.0004 - - 1.7059 + + 2.0516 - - 1.9991 + + 2.3380 - - 2.0525 + + 2.4364 - 0.1712 + 0.2054 - - 0.2676 + + 0.3166 - - 0.4088 + + 0.4907 - - 0.4897 + + 0.5894 @@ -468,68 +468,68 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox gnuplot_plot_1b - + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - + gnuplot_plot_2b - - 0.03% + + 0.02% - - 0.13% + + 0.02% - - 4.02% + + 4.27% - - 0.26% + + 0.10% - - 0.20% + + 0.05% - - 0.14% + + 0.30% - - 0.11% + + 0.02% - + 1.60% - - 0.05% + + 0.06% - - 0.38% + + 0.74% diff --git a/benchmark-results/plot/fibonacci.svg b/benchmark-results/plot/fibonacci.svg index 23004ccf..65ecb35e 100644 --- a/benchmark-results/plot/fibonacci.svg +++ b/benchmark-results/plot/fibonacci.svg @@ -199,68 +199,68 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox gnuplot_plot_1a - + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - + Mean - - 0.4030 + + 0.4839 - - 2.1461 + + 2.5789 - - 230.9602 + + 229.8877 - - 1.7119 + + 2.0517 - - 0.3098 + + 0.3719 - - 0.3781 + + 0.4587 - - 0.1926 + + 0.2318 - - 0.2531 + + 0.2999 - - 0.3098 + + 0.3718 - - 0.3785 + + 0.4593 @@ -279,11 +279,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 0 @@ -292,24 +292,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - 0.5 - - - - - - - - - - - - + 1 @@ -318,12 +305,12 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - 1.5 + + 2 @@ -331,12 +318,12 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - 2 + + 3 @@ -344,12 +331,12 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - 2.5 + + 4 @@ -357,12 +344,12 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - 3 + + 5 @@ -370,70 +357,70 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - 3.5 + + 6 - + ocaml - + ocaml byte - + haskell - + haskell strict - + juvix - + juvix wasm - + c - + c wasm - + runtime - + runtime wasm - + - + Standard deviation @@ -442,68 +429,68 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox gnuplot_plot_1b - + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - + gnuplot_plot_2b - - 0.02% + + 0.05% - - 0.08% + + 0.01% - - 3.15% + + 5.39% - - 0.01% + + 0.08% - + 0.07% - - 0.65% + + 2.04% - - 0.04% + + 0.20% - - 1.77% + + 1.03% - - 0.04% + + 0.01% - - 1.77% + + 0.77% @@ -514,7 +501,7 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + @@ -522,16 +509,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 = 3.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/fold.svg b/benchmark-results/plot/fold.svg index 7aec804b..ce3a0b96 100644 --- a/benchmark-results/plot/fold.svg +++ b/benchmark-results/plot/fold.svg @@ -70,11 +70,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 0.5 @@ -83,11 +83,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 1 @@ -96,11 +96,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 1.5 @@ -109,11 +109,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 2 @@ -122,11 +122,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 2.5 @@ -135,11 +135,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 3 @@ -147,13 +147,26 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox + + + + + + + 3.5 + + + + + + - 3.5 + 4 @@ -215,56 +228,56 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox gnuplot_plot_1a - + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - + Mean - - 0.4136 + + 0.4973 - - 3.1035 + + 3.7263 - - 1.6877 + + 2.0411 - - 1.7027 + + 2.0223 - - 0.3828 + + 0.4589 - - 0.6191 + + 0.7422 - - 0.4247 + + 0.5096 - - 1.1988 + + 1.4449 @@ -283,11 +296,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 0 @@ -296,24 +309,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - 0.05 - - - - - - - - - - - - + 0.1 @@ -322,24 +322,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - - - - - - 0.15 - - - - - - - - + - + 0.2 @@ -348,12 +335,12 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - 0.25 + + 0.3 @@ -361,12 +348,12 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - 0.3 + + 0.4 @@ -374,12 +361,12 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - 0.35 + + 0.5 @@ -387,12 +374,12 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - 0.4 + + 0.6 @@ -400,12 +387,12 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - 0.45 + + 0.7 @@ -413,60 +400,60 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - 0.5 + + 0.8 - + ocaml - + ocaml byte - + haskell - + haskell strict - + juvix - + juvix wasm - + runtime - + runtime wasm - + - + Standard deviation @@ -475,56 +462,56 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox gnuplot_plot_1b - + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - + gnuplot_plot_2b - - 0.14% + + 0.43% - - 0.04% + + 0.01% - - 0.30% + + 0.13% - - 0.07% + + 0.00% - - 0.04% + + 0.08% - - 0.48% + + 0.37% - - 0.10% + + 0.04% - - 0.23% + + 0.75% @@ -535,7 +522,7 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + @@ -543,16 +530,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 = 8.5; gnuplot_svg.plot_axis_ymin = 0; -gnuplot_svg.plot_axis_ymax = 0.5; +gnuplot_svg.plot_axis_ymax = 0.8; 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 880943a2..07f9b3b1 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 @@ -134,13 +134,39 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox + + + + + + + 6 + + + + + + + + + + + + + 7 + + + + + + - 6 + 8 @@ -202,56 +228,56 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox gnuplot_plot_1a - + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - + Mean - - 1.9660 + + 1.7743 - - 5.9554 + + 7.1400 - - 2.3008 + + 2.7523 - - 2.2898 + + 2.7417 - - 3.4154 + + 3.9501 - - 1.3130 + + 1.5348 - - 3.2642 + + 3.8325 - - 3.4870 + + 4.1619 @@ -283,11 +309,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 0.05 @@ -296,11 +322,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 0.1 @@ -309,11 +335,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 0.15 @@ -322,11 +348,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 0.2 @@ -335,11 +361,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 0.25 @@ -347,13 +373,26 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox + + + + + + + 0.3 + + + + + + - 0.3 + 0.35 @@ -410,56 +449,56 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox gnuplot_plot_1b - + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - + gnuplot_plot_2b - - 0.13% + + 0.07% - - 0.09% + + 0.08% - - 0.11% + + 0.00% - - 0.26% + + 0.05% - - 0.14% + + 0.27% - - 0.20% + + 0.34% - - 0.04% + + 0.33% - - 0.24% + + 0.09% @@ -487,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 = 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 f286e4e4..8b61c299 100644 --- a/benchmark-results/plot/mapfun.svg +++ b/benchmark-results/plot/mapfun.svg @@ -70,11 +70,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 0.5 @@ -83,11 +83,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 1 @@ -96,11 +96,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 1.5 @@ -109,11 +109,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 2 @@ -122,11 +122,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 2.5 @@ -135,11 +135,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 3 @@ -148,11 +148,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 3.5 @@ -160,13 +160,26 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox + + + + + + + 4 + + + + + + - 4 + 4.5 @@ -228,56 +241,56 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox gnuplot_plot_1a - + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - + Mean - - 0.2692 + + 0.3153 - - 0.9727 + + 1.1664 - - 2.6416 + + 3.1401 - - 1.2339 + + 1.4765 - - 1.8211 + + 2.1916 - - 1.5479 + + 1.8610 - - 3.6409 + + 4.2580 - - 2.2260 + + 2.6422 @@ -309,11 +322,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 0.05 @@ -322,11 +335,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 0.1 @@ -335,11 +348,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 0.15 @@ -348,11 +361,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 0.2 @@ -361,11 +374,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 0.25 @@ -374,11 +387,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 0.3 @@ -387,11 +400,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 0.35 @@ -400,11 +413,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 0.4 @@ -412,26 +425,13 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - - - - - - - 0.45 - - - - - - - 0.5 + 0.45 @@ -488,56 +488,56 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox gnuplot_plot_1b - + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - + gnuplot_plot_2b - - 0.08% + + 0.14% - - 0.12% + + 0.13% - - 0.45% + + 0.09% - - 0.30% - - - 0.08% + + 0.34% - - 0.15% + + 0.11% - + 0.34% - - 0.25% + + 0.31% + + + 0.41% @@ -565,7 +565,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.5; +gnuplot_svg.plot_axis_ymax = 0.45; 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 9ef0cd10..863c601f 100644 --- a/benchmark-results/plot/maybe.svg +++ b/benchmark-results/plot/maybe.svg @@ -70,11 +70,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 2 @@ -83,11 +83,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 4 @@ -96,11 +96,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 6 @@ -109,11 +109,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 8 @@ -122,11 +122,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 10 @@ -135,11 +135,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 12 @@ -147,13 +147,39 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox + + + + + + + 14 + + + + + + + + + + + + + 16 + + + + + + - 14 + 18 @@ -225,68 +251,68 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox gnuplot_plot_1a - + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - + Mean - - 0.4236 + + 0.5075 - - 4.3220 + + 5.1295 - - 13.9630 + + 16.2313 - - 0.9428 + + 1.1348 - - 2.9271 + + 3.3855 - - 2.9995 + + 3.5461 - - 0.4575 + + 0.5490 - - 0.6130 + + 0.7360 - - 0.9016 + + 1.0814 - - 1.9563 + + 2.3456 @@ -318,12 +344,12 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - 0.5 + + 0.1 @@ -331,12 +357,12 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - 1 + + 0.2 @@ -344,12 +370,12 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - 1.5 + + 0.3 @@ -357,12 +383,51 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - 2 + + 0.4 + + + + + + + + + + + + + 0.5 + + + + + + + + + + + + + 0.6 + + + + + + + + + + + + + 0.7 @@ -375,7 +440,7 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - 2.5 + 0.8 @@ -442,68 +507,68 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox gnuplot_plot_1b - + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - + gnuplot_plot_2b - - 0.37% + + 0.25% - - 2.34% + + 0.73% - - 0.21% + + 0.24% - - 0.89% + + 0.29% - - 0.24% + + 0.04% - - 0.52% + + 0.34% - - 0.07% + + 0.03% - - 0.62% + + 0.52% - - 0.10% + + 0.09% - - 0.33% + + 0.57% @@ -531,7 +596,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.5; +gnuplot_svg.plot_axis_ymax = 0.8; 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 41ebcc22..22386e31 100644 --- a/benchmark-results/plot/mergesort.svg +++ b/benchmark-results/plot/mergesort.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,13 +147,26 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox + + + + + + + 7 + + + + + + - 7 + 8 @@ -225,68 +238,68 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox gnuplot_plot_1a - + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - + Mean - - 3.3690 + + 4.1123 - - 5.2002 + + 6.3243 - - 6.8422 + + 7.7790 - - 6.7422 + + 7.7830 - - 3.4030 + + 3.8518 - - 1.7505 + + 1.8663 - - 0.1323 + + 0.1583 - - 0.2311 + + 0.2745 - - 1.4037 + + 1.6200 - - 0.7620 + + 0.8913 @@ -305,11 +318,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 0 @@ -318,51 +331,12 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - - - - - - 0.2 - - - - - - - - + - - 0.4 - - - - - - - - - - - - - 0.6 - - - - - - - - - - - - - 0.8 + + 1 @@ -370,12 +344,12 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - 1 + + 2 @@ -383,12 +357,12 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - 1.2 + + 3 @@ -396,12 +370,12 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - 1.4 + + 4 @@ -409,12 +383,12 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - 1.6 + + 5 @@ -422,70 +396,70 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - 1.8 + + 6 - + ocaml - + ocaml byte - + haskell - + haskell strict - + juvix - + juvix wasm - + c - + c wasm - + runtime - + runtime wasm - + - + Standard deviation @@ -494,68 +468,68 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox gnuplot_plot_1b - + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - + gnuplot_plot_2b - - 0.17% + + 0.08% - - 0.66% + + 0.79% - - 1.76% + + 0.49% - - 1.33% + + 0.96% - - 0.47% + + 0.42% - - 1.36% + + 5.89% - - 0.37% + + 0.38% - - 0.58% + + 1.52% - - 0.45% + + 0.17% - - 0.36% + + 0.21% @@ -566,7 +540,7 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + @@ -574,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 = 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 = 1.8; +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/prime.svg b/benchmark-results/plot/prime.svg index ac36b895..1e6b00b2 100644 --- a/benchmark-results/plot/prime.svg +++ b/benchmark-results/plot/prime.svg @@ -70,11 +70,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 5 @@ -83,11 +83,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 10 @@ -96,11 +96,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 15 @@ -109,11 +109,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 20 @@ -122,11 +122,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 25 @@ -134,13 +134,39 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox + + + + + + + 30 + + + + + + + + + + + + + 35 + + + + + + - 30 + 40 @@ -212,68 +238,68 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox gnuplot_plot_1a - + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - + Mean - - 16.2384 + + 19.4872 - - 29.6861 + + 35.7320 - - 17.4959 + + 20.9921 - - 17.4718 + + 20.9695 - - 13.0449 + + 15.6623 - - 5.8084 + + 6.9768 - - 0.3637 + + 0.4360 - - 0.5882 + + 0.7073 - - 13.0392 + + 15.6509 - - 6.3182 + + 7.5831 @@ -305,11 +331,11 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - + 0.1 @@ -317,39 +343,13 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - - - - - - - 0.2 - - - - - - - 0.3 - - - - - - - - - - - - - 0.4 + 0.2 @@ -357,12 +357,12 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - 0.5 + + 0.3 @@ -375,20 +375,7 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - 0.6 - - - - - - - - - - - - - 0.7 + 0.4 @@ -396,12 +383,12 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - + - - 0.8 + + 0.5 @@ -414,7 +401,7 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox - 0.9 + 0.6 @@ -481,68 +468,68 @@ onclick="gnuplot_svg.toggleCoordBox(evt)" onmousemove="gnuplot_svg.moveCoordBox gnuplot_plot_1b - + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - + gnuplot_plot_2b - - 0.03% - - - 0.01% - - + 0.02% - - 0.00% + + 0.54% - + 0.00% - - 0.07% + + 0.01% - - 0.24% + + 0.03% - - 0.86% + + 0.03% - - 0.01% + + 0.05% + + + 0.55% + + + 0.00% - - 0.07% + + 0.10% @@ -570,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 = 0.9; +gnuplot_svg.plot_axis_ymax = 0.6; gnuplot_svg.polar_mode = false; gnuplot_svg.plot_axis_x2min = "none" gnuplot_svg.plot_axis_y2min = "none"