miloignis/kraken
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

first paper data

Browse Source
This commit is contained in:
Nathan Braswell
2022-07-09 13:58:11 -04:00
parent 7145f8865e
commit 82f652b178
5 changed files with 22 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
koka_bench/slow_rbtree_table.csv
View File

@@ -1,6 +1,4 @@
command,mean,stddev,median,user,system,min,max
./slow/kraken-rbtree-opt 100,0.024073812766902663,0.00101568872666385,0.023981108820000003,0.013964058938053093,0.010416836283185843,0.022171882820000002,0.026677836820000002
./slow/kraken-rbtree-opt-wavm 100,0.034688892393170745,0.007841371606363657,0.033655831319999996,0.02159911268292682,0.01100518292682927,0.03249684882,0.10438634682000002
./slow/newlisp-slow-fexpr-rbtree 100,0.33467720061999995,0.0017169909863666642,0.33419976582,0.33144182000000005,0.0029782,0.33133876282,0.33724592082
./slow/newlisp-macro-rbtree 100,0.012808572662105267,0.0006186239065595693,0.01251284132,0.009985556842105265,0.0026657263157894733,0.012097865820000001,0.014971716820000001
./slow/kraken-rbtree-slow-wavm 100,2501.1674679941198,26.23156008638233,2511.02493639732,2500.37616872,0.5680571000000001,2428.79803291582,2514.95137303882
1 command mean stddev median user system min max
2 ./slow/kraken-rbtree-opt 100 0.024073812766902663 0.00101568872666385 0.023981108820000003 0.013964058938053093 0.010416836283185843 0.022171882820000002 0.026677836820000002
3 ./slow/kraken-rbtree-opt-wavm 100 0.034688892393170745 0.007841371606363657 0.033655831319999996 0.02159911268292682 0.01100518292682927 0.03249684882 0.10438634682000002
./slow/newlisp-slow-fexpr-rbtree 100 0.33467720061999995 0.0017169909863666642 0.33419976582 0.33144182000000005 0.0029782 0.33133876282 0.33724592082
./slow/newlisp-macro-rbtree 100 0.012808572662105267 0.0006186239065595693 0.01251284132 0.009985556842105265 0.0026657263157894733 0.012097865820000001 0.014971716820000001
4 ./slow/kraken-rbtree-slow-wavm 100 2501.1674679941198 26.23156008638233 2511.02493639732 2500.37616872 0.5680571000000001 2428.79803291582 2514.95137303882