Automated commit (Turing)

pausetimes_seq/turing/20250111_030830/6c298db0e356d0e04dd45acf6684f693f8baa7db/5.4.0+trunk+pausetimes_seq_1.pausetimes.summary.bench

@@ -0,0 +1,54 @@
+{"version":"5.15.0-126-generic","hostname":"turing","kernel":"Linux","arch":"x86_64"}
+{"name":"naive-multilayer.","mean_latency":0,"max_latency":1,"distr_latency":[0.000919,0.002735,0.002983,0.003239,0.003375,0.003495,0.003623,0.003743,0.003911,0.003991,0.004223,0.004807,0.008831,0.033119,0.070207,1.009151,1.009151,1.009151]}
+{"name":"alt-ergo.fill.why","mean_latency":0,"max_latency":2,"distr_latency":[0.070335,0.271359,0.490495,0.530943,0.540159,0.547327,0.565759,0.627199,0.803327,0.882175,1.314815,1.465343,1.788927,2.861055,2.861055,2.861055,2.861055,2.861055]}
+{"name":"nqueens.14","mean_latency":0,"max_latency":0,"distr_latency":[0.001159,0.002831,0.002919,0.002999,0.003063,0.003119,0.003255,0.008151,0.010159,0.010287,0.010583,0.011119,0.017119,0.077439,0.250111,0.250111,0.250111,0.250111]}
+{"name":"game_of_life.256","mean_latency":0,"max_latency":0,"distr_latency":[0.010183,0.026847,0.104959,0.184447,0.188159,0.218751,0.220543,0.223871,0.229247,0.237311,0.237311,0.237823,0.237823,0.669695,0.669695,0.669695,0.669695,0.669695]}
+{"name":"revcomp2.","mean_latency":1,"max_latency":3,"distr_latency":[0.523775,0.879103,0.947199,0.973311,1.541119,1.935359,1.957887,1.974271,1.999871,2.003967,2.009087,2.013183,2.020351,2.125823,3.880959,3.880959,3.880959,3.880959]}
+{"name":"menhir.sql-parser","mean_latency":0,"max_latency":8,"distr_latency":[0.000975,0.002759,0.002935,0.010207,0.030719,0.077951,0.187519,0.346623,0.712703,0.886783,1.353727,1.552383,1.906687,3.926015,7.471103,8.183807,8.183807,8.183807]}
+{"name":"menhir.sysver","mean_latency":0,"max_latency":38,"distr_latency":[0.000967,0.002767,0.002919,0.003031,0.003095,0.003255,0.030463,0.273151,0.850431,0.975871,1.292287,1.465343,1.743871,3.903487,6.238207,19.857407,38.666239,38.666239]}
+{"name":"thread_ring_lwt_mvar.20_000","mean_latency":0,"max_latency":0,"distr_latency":[0.121919,0.199935,0.201983,0.205695,0.207231,0.209663,0.282623,0.395775,0.401919,0.402943,0.403967,0.405759,0.408319,0.578047,0.852479,0.905727,0.905727,0.905727]}
+{"name":"alt-ergo.yyll.why","mean_latency":0,"max_latency":6,"distr_latency":[0.006671,0.014415,0.027119,0.050207,0.071999,0.101503,0.142463,0.207871,0.385535,0.453631,0.546815,0.670719,0.985599,2.183167,6.094847,6.434815,6.434815,6.434815]}
+{"name":"fft.","mean_latency":0,"max_latency":4,"distr_latency":[0.367871,0.726527,0.742399,0.753663,0.756735,0.760831,0.770559,1.325055,1.347583,1.355775,1.363967,1.395711,1.517567,2.783231,4.730879,4.730879,4.730879,4.730879]}
+{"name":"cubicle.szymanski_at.cub","mean_latency":0,"max_latency":3,"distr_latency":[0.023855,0.065503,0.088831,0.124543,0.149887,0.179839,0.211327,0.262015,0.487679,0.545279,0.649727,0.905727,1.010175,2.326527,2.457599,2.748415,3.334143,3.340287]}
+{"name":"kb_no_exc.","mean_latency":0,"max_latency":1,"distr_latency":[0.123071,0.331519,0.350207,0.366335,0.380927,0.401407,0.443391,0.555007,0.774655,0.842751,0.892927,0.964607,1.023487,1.321983,1.437695,1.437695,1.437695,1.437695]}
+{"name":"evolutionary_algorithm.10000_10000","mean_latency":0,"max_latency":8,"distr_latency":[0.003743,0.004343,0.005215,0.005807,0.006175,0.081471,0.122879,0.240767,0.246015,0.247039,0.248447,0.253439,0.259071,0.269055,0.286463,8.962047,8.962047,8.962047]}
+{"name":"soli.2000","mean_latency":0,"max_latency":0,"distr_latency":[0.020607,0.020607,0.020607,0.020607,0.264959,0.264959,0.264959,0.264959,0.264959,0.264959,0.264959,0.264959,0.264959,0.264959,0.264959,0.264959,0.264959,0.264959]}
+{"name":"lexifi-g2pp.","mean_latency":0,"max_latency":0,"distr_latency":[0.000967,0.002727,0.002887,0.002975,0.003015,0.003055,0.003111,0.003183,0.003303,0.003351,0.003455,0.003639,0.008711,0.038367,0.797695,0.911359,0.911359,0.911359]}
+{"name":"spectralnorm2.5_500","mean_latency":0,"max_latency":0,"distr_latency":[0.000983,0.002023,0.002119,0.002159,0.002175,0.002191,0.002223,0.002351,0.002439,0.002455,0.002479,0.002511,0.002743,0.011247,0.059295,0.733695,0.733695,0.733695]}
+{"name":"sequence_cps.10000","mean_latency":0,"max_latency":0,"distr_latency":[0.000991,0.002455,0.002591,0.002735,0.002775,0.002815,0.002863,0.002943,0.003207,0.003479,0.005007,0.007023,0.008191,0.029887,0.059583,0.510207,0.510207,0.510207]}
+{"name":"fannkuchredux.12","mean_latency":0,"max_latency":0,"distr_latency":[7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06]}
+{"name":"menhir.ocamly","mean_latency":0,"max_latency":267,"distr_latency":[0.003655,0.087743,0.183807,0.303615,0.408063,0.540159,0.710655,0.964095,1.340415,1.403903,1.455103,1.513471,1.640447,34.111487,175.898623,267.386879,267.386879,267.386879]}
+{"name":"test_decompress.64_524_288","mean_latency":0,"max_latency":1,"distr_latency":[0.003599,0.011951,0.020575,0.025391,0.028159,0.031839,0.035615,0.039807,0.042847,0.044511,0.047359,0.053151,0.089663,0.134911,1.077247,1.077247,1.077247,1.077247]}
+{"name":"zarith_pi.10_000","mean_latency":0,"max_latency":74,"distr_latency":[0.000127,0.012999,0.013719,0.023631,0.024607,0.025311,0.026127,0.029023,0.038687,0.039711,0.040927,0.042911,0.047615,0.065439,70.647807,74.907647,74.907647,74.907647]}
+{"name":"floyd_warshall.512","mean_latency":0,"max_latency":1,"distr_latency":[0.007135,0.023311,0.042527,0.066559,0.178815,0.697855,0.780287,0.864767,1.110015,1.165311,1.210367,1.296383,1.510399,1.681407,1.730559,1.730559,1.730559,1.730559]}
+{"name":"regexredux2.","mean_latency":1,"max_latency":60,"distr_latency":[0.072639,1.710079,1.744895,2.187263,2.209791,2.553855,2.793471,2.830335,3.751935,3.753983,3.756031,3.760127,3.821567,18.792447,60.293119,60.293119,60.293119,60.293119]}
+{"name":"hamming.1_000_000","mean_latency":0,"max_latency":4,"distr_latency":[0.189311,0.822783,0.907775,0.936447,0.943615,0.951295,0.955903,0.969727,1.409023,1.645567,2.031615,2.107391,2.230271,2.467839,4.300799,4.300799,4.300799,4.300799]}
+{"name":"markbench.20","mean_latency":34,"max_latency":1405,"distr_latency":[0.818687,3.252223,3.258367,3.276799,3.299327,3.579903,3.809279,3.854335,4.014079,4.044799,4.100095,1395.654655,1397.751807,1402.994687,1405.091839,1405.091839,1405.091839,1405.091839]}
+{"name":"binarytrees5.21","mean_latency":0,"max_latency":7,"distr_latency":[0.004967,0.048127,0.170879,0.638463,0.933887,1.248255,1.996799,2.607103,2.914303,4.048895,4.128767,4.145151,4.214783,4.681727,5.550079,7.864319,7.864319,7.864319]}
+{"name":"mergesort.67108864","mean_latency":0,"max_latency":128,"distr_latency":[0.002279,0.007071,0.007591,0.007991,0.008191,0.008327,0.008639,0.018575,0.025407,0.025823,0.026415,0.027215,0.378623,128.647167,128.647167,128.647167,128.647167,128.647167]}
+{"name":"LU_decomposition.1024","mean_latency":0,"max_latency":0,"distr_latency":[0.000983,0.002263,0.002343,0.002391,0.002423,0.002463,0.002527,0.002623,0.002767,0.002831,0.002959,0.003791,0.007359,0.023871,0.081151,0.785919,0.785919,0.785919]}
+{"name":"graph500_seq_kernel1.edges_data","mean_latency":2,"max_latency":708,"distr_latency":[0.440575,3.594239,3.614719,3.631103,3.637247,3.647487,3.661823,3.696639,3.817471,4.231167,4.759551,4.943871,5.230591,15.081471,694.681599,708.837375,708.837375,708.837375]}
+{"name":"nbody.50_000_000","mean_latency":0,"max_latency":0,"distr_latency":[7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06]}
+{"name":"grammatrix.","mean_latency":0,"max_latency":0,"distr_latency":[0.000943,0.005983,0.007999,0.011207,0.015399,0.021055,0.025983,0.049759,0.085311,0.094527,0.113535,0.127295,0.145023,0.334847,0.768511,0.768511,0.768511,0.768511]}
+{"name":"zdd.words_txt","mean_latency":1,"max_latency":15,"distr_latency":[0.623103,0.830463,1.032191,1.144831,1.208319,1.269759,1.316863,1.606655,3.100671,3.420159,3.891199,4.069375,5.750783,12.115967,15.974399,15.974399,15.974399,15.974399]}
+{"name":"yojson_ydump.sample.json","mean_latency":0,"max_latency":1,"distr_latency":[0.000167,0.129727,0.205183,0.362495,0.436735,0.462591,0.489471,0.532479,0.542207,0.543743,0.544255,0.546815,0.695807,1.316863,1.316863,1.316863,1.316863,1.316863]}
+{"name":"thread_ring_lwt_stream.20_000","mean_latency":0,"max_latency":2,"distr_latency":[0.338175,0.472319,0.476927,0.487167,0.763903,0.823807,0.841215,0.852991,0.864255,0.867327,0.870399,0.875519,0.882175,0.902143,1.936383,2.063359,2.063359,2.063359]}
+{"name":"kb.","mean_latency":0,"max_latency":1,"distr_latency":[0.051167,0.138111,0.152447,0.173695,0.184063,0.198399,0.216575,0.273919,0.344063,0.371967,0.388351,0.410623,0.453119,0.553983,1.259519,1.259519,1.259519,1.259519]}
+{"name":"fasta6.25_000_000","mean_latency":0,"max_latency":0,"distr_latency":[0.000263,0.029887,0.048991,0.048991,0.077695,0.077695,0.077695,0.077695,0.380415,0.380415,0.380415,0.380415,0.380415,0.380415,0.380415,0.380415,0.380415,0.380415]}
+{"name":"qr-decomposition.","mean_latency":0,"max_latency":1,"distr_latency":[0.001183,0.002903,0.003015,0.003079,0.003111,0.003151,0.003215,0.003303,0.003943,0.006495,0.006951,0.008527,0.014487,0.079231,0.312063,1.426431,1.426431,1.426431]}
+{"name":"knucleotide.","mean_latency":0,"max_latency":5,"distr_latency":[0.001111,0.002383,0.002495,0.002599,0.002663,0.002783,0.004527,0.010111,0.068031,0.281087,0.321279,0.976895,3.901439,4.288511,5.500927,5.500927,5.500927,5.500927]}
+{"name":"pidigits5.10_000","mean_latency":0,"max_latency":67,"distr_latency":[0.000127,0.016183,0.018047,0.018863,0.019183,0.019663,0.021087,0.031359,0.034047,0.035743,0.038495,0.042367,0.049471,0.066879,64.946175,67.502079,67.502079,67.502079]}
+{"name":"levinson-durbin.","mean_latency":0,"max_latency":0,"distr_latency":[0.002743,0.010359,0.013639,0.019711,0.020063,0.021199,0.022031,0.022607,0.028143,0.032239,0.036703,0.043007,0.050015,0.069247,0.098623,0.314111,0.314111,0.314111]}
+{"name":"knucleotide3.","mean_latency":0,"max_latency":4,"distr_latency":[0.000975,0.002151,0.002359,0.002495,0.002583,0.002655,0.002863,0.009287,0.011255,0.018319,0.034303,0.065087,3.676159,3.844095,4.122623,4.122623,4.122623,4.122623]}
+{"name":"minilight.roomfront","mean_latency":0,"max_latency":0,"distr_latency":[0.001263,0.005287,0.005615,0.005927,0.006095,0.006287,0.006519,0.006863,0.007503,0.007767,0.008143,0.008799,0.010671,0.055519,0.104127,0.227071,0.757759,0.757759]}
+{"name":"cubicle.german_pfs.cub","mean_latency":0,"max_latency":5,"distr_latency":[0.013479,0.039295,0.060447,0.097407,0.123775,0.147455,0.166271,0.187007,0.273151,0.393215,0.957951,1.158143,1.218559,1.605631,1.863679,4.567039,5.881855,5.881855]}
+{"name":"bdd.26","mean_latency":0,"max_latency":3,"distr_latency":[0.001127,0.002927,0.003087,0.003191,0.003263,0.003335,0.003439,0.003583,0.003967,0.005863,0.010295,0.019839,0.085887,1.514495,3.164159,3.287039,3.287039,3.287039]}
+{"name":"owl_gc.","mean_latency":0,"max_latency":13,"distr_latency":[0.006111,0.013295,0.016527,0.029855,0.051263,0.135295,0.160255,0.161407,0.162815,0.163199,0.163583,0.164351,0.171647,0.181631,13.508607,13.762559,13.762559,13.762559]}
+{"name":"mandelbrot6.16_000","mean_latency":0,"max_latency":0,"distr_latency":[7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06]}
+{"name":"matrix_multiplication.1024","mean_latency":0,"max_latency":0,"distr_latency":[0.010303,0.031071,0.111551,0.209663,0.219391,0.230143,0.231423,0.238591,0.249471,0.249983,0.253695,0.253695,0.254975,0.642047,0.642047,0.642047,0.642047,0.642047]}
+{"name":"crout-decomposition.","mean_latency":0,"max_latency":2,"distr_latency":[0.001007,0.002583,0.002727,0.002823,0.002871,0.002927,0.002991,0.003111,0.006863,0.008023,0.009703,0.013535,0.033151,0.138879,2.357247,2.357247,2.357247,2.357247]}
+{"name":"chameneos_redux_lwt.600000","mean_latency":0,"max_latency":0,"distr_latency":[0.000951,0.021999,0.022239,0.022415,0.023199,0.024079,0.024639,0.025039,0.025807,0.027519,0.029423,0.030175,0.042495,0.086015,0.895487,0.895487,0.895487,0.895487]}
+{"name":"fasta3.25_000_000","mean_latency":0,"max_latency":0,"distr_latency":[0.001023,0.002215,0.002279,0.002319,0.002335,0.002351,0.002375,0.002399,0.002503,0.007903,0.008311,0.009311,0.009647,0.069119,0.440575,0.440575,0.440575,0.440575]}
+{"name":"test_lwt.200","mean_latency":0,"max_latency":1,"distr_latency":[0.020015,0.037343,0.042655,0.048511,0.051839,0.057215,0.062591,0.069887,0.111679,0.121919,0.136191,0.149119,0.170495,0.207999,0.638463,1.497087,1.497087,1.497087]}
+{"name":"durand-kerner-aberth.","mean_latency":0,"max_latency":0,"distr_latency":[0.001751,0.006359,0.006871,0.009007,0.009111,0.009199,0.009287,0.009455,0.012071,0.013231,0.014135,0.017039,0.021199,0.058687,0.088831,0.723967,0.723967,0.723967]}
+{"name":"quicksort.4000000","mean_latency":1,"max_latency":4,"distr_latency":[0.000143,0.368127,0.368127,0.368127,0.368127,0.368127,4.030463,4.030463,4.030463,4.030463,4.030463,4.030463,4.030463,4.030463,4.030463,4.030463,4.030463,4.030463]}

pausetimes_seq/turing/20250111_082103/6c298db0e356d0e04dd45acf6684f693f8baa7db/5.4.0+trunk+vanilla+pausetimes_seq_1.pausetimes.summary.bench

@@ -0,0 +1,54 @@
+{"version":"5.15.0-126-generic","hostname":"turing","kernel":"Linux","arch":"x86_64"}
+{"name":"naive-multilayer.","mean_latency":0,"max_latency":1,"distr_latency":[0.000919,0.002735,0.002999,0.003279,0.003407,0.003527,0.003647,0.003751,0.003927,0.004015,0.004351,0.004935,0.009247,0.034335,0.077055,1.054719,1.054719,1.054719]}
+{"name":"alt-ergo.fill.why","mean_latency":0,"max_latency":3,"distr_latency":[0.070847,0.304383,0.515071,0.548351,0.557567,0.567807,0.606719,0.691199,0.843775,0.925695,1.358847,1.593343,1.949695,3.147775,3.147775,3.147775,3.147775,3.147775]}
+{"name":"nqueens.14","mean_latency":0,"max_latency":0,"distr_latency":[0.001087,0.002903,0.002983,0.003055,0.003095,0.003143,0.003215,0.007855,0.010047,0.010255,0.010463,0.011583,0.016255,0.082495,0.253567,0.253567,0.253567,0.253567]}
+{"name":"game_of_life.256","mean_latency":0,"max_latency":0,"distr_latency":[0.010015,0.025151,0.086143,0.162175,0.212863,0.220671,0.224255,0.231423,0.237055,0.238847,0.238847,0.239103,0.239103,0.669695,0.669695,0.669695,0.669695,0.669695]}
+{"name":"revcomp2.","mean_latency":1,"max_latency":4,"distr_latency":[0.532479,0.927231,1.000959,1.027583,1.606655,2.002943,2.018303,2.033663,2.050047,2.055167,2.060287,2.089983,2.113535,2.220031,4.960255,4.960255,4.960255,4.960255]}
+{"name":"menhir.sql-parser","mean_latency":0,"max_latency":12,"distr_latency":[0.000919,0.002639,0.002783,0.010599,0.030431,0.078719,0.198655,0.364543,0.808959,0.987647,1.431551,1.569791,2.150399,4.407295,8.912895,12.378111,12.378111,12.378111]}
+{"name":"menhir.sysver","mean_latency":0,"max_latency":52,"distr_latency":[0.000951,0.002551,0.002631,0.002775,0.002823,0.002895,0.030751,0.278783,0.872447,1.020415,1.361919,1.523711,1.997823,4.085759,7.184383,21.643263,52.625407,52.625407]}
+{"name":"thread_ring_lwt_mvar.20_000","mean_latency":0,"max_latency":0,"distr_latency":[0.135679,0.208895,0.211199,0.215167,0.216831,0.219391,0.293887,0.416767,0.425471,0.426239,0.427263,0.428543,0.431615,0.567295,0.885759,0.944127,0.944127,0.944127]}
+{"name":"alt-ergo.yyll.why","mean_latency":0,"max_latency":6,"distr_latency":[0.006807,0.015399,0.027903,0.051999,0.073919,0.104575,0.146303,0.214399,0.404223,0.476671,0.569343,0.701951,1.029631,2.316287,6.053887,6.488063,6.488063,6.488063]}
+{"name":"fft.","mean_latency":0,"max_latency":6,"distr_latency":[0.399615,0.759807,0.769535,0.850943,0.857087,0.861183,0.871423,1.382399,1.457151,1.462271,1.470463,1.488895,1.785855,3.108863,6.131711,6.131711,6.131711,6.131711]}
+{"name":"cubicle.szymanski_at.cub","mean_latency":0,"max_latency":3,"distr_latency":[0.024655,0.068991,0.094719,0.133375,0.158335,0.188671,0.222335,0.290047,0.559615,0.623103,0.711679,0.940031,1.035263,2.824191,2.953215,3.160063,3.383295,3.473407]}
+{"name":"kb_no_exc.","mean_latency":0,"max_latency":1,"distr_latency":[0.132351,0.347391,0.366079,0.381695,0.397567,0.421631,0.466687,0.607743,0.839679,0.919551,0.973311,1.043455,1.113087,1.400831,1.981439,1.981439,1.981439,1.981439]}
+{"name":"evolutionary_algorithm.10000_10000","mean_latency":0,"max_latency":7,"distr_latency":[0.003575,0.004127,0.005231,0.005823,0.006255,0.083903,0.123967,0.242047,0.248191,0.250111,0.252671,0.255487,0.260351,0.272127,0.298495,7.823359,7.823359,7.823359]}
+{"name":"soli.2000","mean_latency":0,"max_latency":0,"distr_latency":[0.019919,0.019919,0.019919,0.019919,0.248831,0.248831,0.248831,0.248831,0.248831,0.248831,0.248831,0.248831,0.248831,0.248831,0.248831,0.248831,0.248831,0.248831]}
+{"name":"lexifi-g2pp.","mean_latency":0,"max_latency":0,"distr_latency":[0.001007,0.002807,0.002975,0.003063,0.003111,0.003159,0.003223,0.003319,0.003551,0.003663,0.003943,0.008103,0.010383,0.038335,0.761343,0.873471,0.873471,0.873471]}
+{"name":"spectralnorm2.5_500","mean_latency":0,"max_latency":0,"distr_latency":[0.000975,0.002087,0.002175,0.002231,0.002263,0.002311,0.002367,0.002431,0.002551,0.002607,0.002679,0.002967,0.007279,0.012199,0.057567,0.729087,0.729087,0.729087]}
+{"name":"sequence_cps.10000","mean_latency":0,"max_latency":0,"distr_latency":[0.000967,0.002439,0.002583,0.002711,0.002743,0.002791,0.002847,0.002943,0.003199,0.003463,0.004679,0.007111,0.008071,0.030927,0.084799,0.524287,0.524287,0.524287]}
+{"name":"fannkuchredux.12","mean_latency":0,"max_latency":0,"distr_latency":[7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06]}
+{"name":"menhir.ocamly","mean_latency":0,"max_latency":281,"distr_latency":[0.003663,0.090879,0.188799,0.308735,0.416767,0.561151,0.738303,0.993791,1.378303,1.447935,1.492991,1.561599,1.727487,38.305791,188.612607,281.280511,281.280511,281.280511]}
+{"name":"test_decompress.64_524_288","mean_latency":0,"max_latency":1,"distr_latency":[0.003631,0.012023,0.020879,0.026015,0.028591,0.032431,0.038591,0.042911,0.045919,0.047423,0.050047,0.055871,0.090111,0.138495,1.106943,1.106943,1.106943,1.106943]}
+{"name":"zarith_pi.10_000","mean_latency":0,"max_latency":75,"distr_latency":[0.000127,0.013063,0.013751,0.020799,0.024015,0.024671,0.025215,0.025871,0.029503,0.031263,0.034527,0.039007,0.044895,0.058943,70.778879,75.300863,75.300863,75.300863]}
+{"name":"floyd_warshall.512","mean_latency":0,"max_latency":2,"distr_latency":[0.010231,0.026607,0.048511,0.076799,0.222463,0.732671,0.821759,0.942591,1.168383,1.220607,1.316863,1.497087,1.866751,2.016255,2.052095,2.052095,2.052095,2.052095]}
+{"name":"regexredux2.","mean_latency":1,"max_latency":83,"distr_latency":[0.067007,1.796095,1.840127,2.287615,2.551807,2.666495,2.869247,2.914303,3.870719,3.878911,3.885055,3.897343,3.921919,23.724031,83.361791,83.361791,83.361791,83.361791]}
+{"name":"hamming.1_000_000","mean_latency":0,"max_latency":3,"distr_latency":[0.189695,0.867839,0.933887,0.959487,0.966655,0.971775,0.979967,1.000959,1.738751,1.752063,2.111487,2.181119,2.328575,2.912255,3.618815,3.618815,3.618815,3.618815]}
+{"name":"markbench.20","mean_latency":38,"max_latency":1537,"distr_latency":[0.808447,3.338239,3.346431,3.364863,3.430399,4.167679,4.325375,4.358143,4.571135,4.583423,4.644863,1527.775231,1530.920959,1537.212415,1537.212415,1537.212415,1537.212415,1537.212415]}
+{"name":"binarytrees5.21","mean_latency":0,"max_latency":8,"distr_latency":[0.005751,0.048127,0.211455,0.708095,0.986111,1.285119,2.617343,2.684927,3.553279,4.329471,5.033983,6.168575,6.262783,6.414335,8.376319,8.871935,8.871935,8.871935]}
+{"name":"mergesort.67108864","mean_latency":1,"max_latency":131,"distr_latency":[0.001863,0.005399,0.005847,0.006159,0.006383,0.006519,0.006703,0.018639,0.023887,0.025423,0.026575,0.032927,0.376319,131.006463,131.006463,131.006463,131.006463,131.006463]}
+{"name":"LU_decomposition.1024","mean_latency":0,"max_latency":0,"distr_latency":[0.000959,0.001967,0.002071,0.002111,0.002127,0.002151,0.002175,0.002215,0.002335,0.002375,0.002423,0.002479,0.002743,0.022831,0.080639,0.790527,0.790527,0.790527]}
+{"name":"graph500_seq_kernel1.edges_data","mean_latency":2,"max_latency":743,"distr_latency":[0.443391,3.610623,3.631103,3.647487,3.655679,3.663871,3.678207,3.713023,3.807231,4.235263,4.710399,4.935679,5.222399,16.408575,727.711743,743.964671,743.964671,743.964671]}
+{"name":"nbody.50_000_000","mean_latency":0,"max_latency":0,"distr_latency":[7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06]}
+{"name":"grammatrix.","mean_latency":0,"max_latency":0,"distr_latency":[0.000871,0.005807,0.007679,0.010551,0.015679,0.021503,0.027759,0.053087,0.093375,0.100351,0.117887,0.131583,0.155007,0.381695,0.766975,0.766975,0.766975,0.766975]}
+{"name":"zdd.words_txt","mean_latency":1,"max_latency":16,"distr_latency":[0.662527,0.871935,1.073151,1.164287,1.216511,1.272831,1.326079,1.688575,3.194879,3.520511,4.009983,4.259839,6.004735,12.664831,16.621567,16.621567,16.621567,16.621567]}
+{"name":"yojson_ydump.sample.json","mean_latency":0,"max_latency":1,"distr_latency":[0.000167,0.140799,0.223871,0.391679,0.445951,0.478207,0.510975,0.558591,0.568831,0.570367,0.571903,0.574975,0.708607,1.419263,1.419263,1.419263,1.419263,1.419263]}
+{"name":"thread_ring_lwt_stream.20_000","mean_latency":0,"max_latency":2,"distr_latency":[0.375807,0.477439,0.482047,0.494847,0.846847,0.920575,0.938495,0.950271,0.963071,0.965631,0.969215,0.972799,0.979455,0.998911,2.181119,2.920447,2.920447,2.920447]}
+{"name":"kb.","mean_latency":0,"max_latency":1,"distr_latency":[0.056639,0.143487,0.157951,0.179711,0.190975,0.205439,0.223743,0.293887,0.368639,0.398847,0.421119,0.441087,0.486911,0.596479,1.255423,1.255423,1.255423,1.255423]}
+{"name":"fasta6.25_000_000","mean_latency":0,"max_latency":0,"distr_latency":[0.000271,0.031247,0.049151,0.049151,0.082239,0.082239,0.082239,0.082239,0.389119,0.389119,0.389119,0.389119,0.389119,0.389119,0.389119,0.389119,0.389119,0.389119]}
+{"name":"qr-decomposition.","mean_latency":0,"max_latency":1,"distr_latency":[0.001167,0.002983,0.003111,0.003183,0.003231,0.003287,0.003367,0.003511,0.005159,0.006759,0.007103,0.008135,0.013631,0.075519,0.301055,1.413119,1.413119,1.413119]}
+{"name":"knucleotide.","mean_latency":0,"max_latency":5,"distr_latency":[0.001111,0.002367,0.002567,0.002703,0.002783,0.002887,0.008359,0.010407,0.068863,0.280319,0.317951,0.967679,3.938303,4.362239,5.767167,5.767167,5.767167,5.767167]}
+{"name":"pidigits5.10_000","mean_latency":0,"max_latency":69,"distr_latency":[0.000127,0.017583,0.019503,0.020239,0.020607,0.021887,0.030319,0.034303,0.038303,0.041439,0.044543,0.047263,0.053823,0.073791,64.716799,69.206015,69.206015,69.206015]}
+{"name":"levinson-durbin.","mean_latency":0,"max_latency":0,"distr_latency":[0.002671,0.010575,0.013479,0.019647,0.020127,0.021183,0.021887,0.022639,0.031263,0.033343,0.037151,0.043263,0.050079,0.070783,0.096639,0.305407,0.305407,0.305407]}
+{"name":"knucleotide3.","mean_latency":0,"max_latency":3,"distr_latency":[0.000991,0.002151,0.002447,0.002647,0.002719,0.002823,0.003007,0.009759,0.011367,0.018991,0.032447,0.065503,3.594239,3.778559,3.819519,3.819519,3.819519,3.819519]}
+{"name":"minilight.roomfront","mean_latency":0,"max_latency":0,"distr_latency":[0.001159,0.005391,0.005727,0.006055,0.006247,0.006487,0.006807,0.007343,0.008535,0.008911,0.009431,0.010223,0.011855,0.062527,0.119807,0.230911,0.764415,0.764415]}
+{"name":"cubicle.german_pfs.cub","mean_latency":0,"max_latency":6,"distr_latency":[0.013511,0.039935,0.061631,0.100415,0.128383,0.150271,0.169087,0.193919,0.301311,0.458495,1.153023,1.402879,1.466367,1.861631,2.248703,5.820415,6.234111,6.234111]}
+{"name":"bdd.26","mean_latency":0,"max_latency":3,"distr_latency":[0.001103,0.003031,0.003183,0.003263,0.003311,0.003375,0.003447,0.003527,0.003775,0.003967,0.010383,0.021967,0.086975,1.602559,3.362815,3.518463,3.518463,3.518463]}
+{"name":"owl_gc.","mean_latency":0,"max_latency":9,"distr_latency":[0.005535,0.013231,0.016463,0.029135,0.062239,0.147839,0.180351,0.181503,0.183039,0.183423,0.183807,0.184959,0.192255,0.204543,9.256959,9.355263,9.355263,9.355263]}
+{"name":"mandelbrot6.16_000","mean_latency":0,"max_latency":0,"distr_latency":[7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06,7e-06]}
+{"name":"matrix_multiplication.1024","mean_latency":0,"max_latency":0,"distr_latency":[0.011159,0.028399,0.108927,0.214143,0.222463,0.231167,0.234367,0.239871,0.249087,0.250495,0.255231,0.255231,0.257407,0.665087,0.665087,0.665087,0.665087,0.665087]}
+{"name":"crout-decomposition.","mean_latency":0,"max_latency":2,"distr_latency":[0.001063,0.002487,0.002607,0.002703,0.002751,0.002807,0.002879,0.002999,0.006703,0.008063,0.009687,0.013231,0.032287,0.112063,2.336767,2.336767,2.336767,2.336767]}
+{"name":"chameneos_redux_lwt.600000","mean_latency":0,"max_latency":0,"distr_latency":[0.001031,0.022639,0.022799,0.023071,0.023727,0.024847,0.025231,0.025663,0.027375,0.028959,0.030351,0.031647,0.045439,0.080511,0.780799,0.780799,0.780799,0.780799]}
+{"name":"fasta3.25_000_000","mean_latency":0,"max_latency":0,"distr_latency":[0.001103,0.002263,0.002343,0.002407,0.002439,0.002463,0.002503,0.002567,0.002975,0.007959,0.008519,0.009335,0.009631,0.071039,0.427519,0.427519,0.427519,0.427519]}
+{"name":"test_lwt.200","mean_latency":0,"max_latency":1,"distr_latency":[0.022047,0.041119,0.047135,0.053663,0.058463,0.064383,0.070079,0.090623,0.129791,0.140799,0.150655,0.163071,0.186111,0.226815,0.628735,1.473535,1.473535,1.473535]}
+{"name":"durand-kerner-aberth.","mean_latency":0,"max_latency":0,"distr_latency":[0.001927,0.006679,0.007167,0.009063,0.009159,0.009255,0.009383,0.009647,0.013199,0.013999,0.014999,0.017039,0.022367,0.052191,0.089727,0.718847,0.718847,0.718847]}
+{"name":"quicksort.4000000","mean_latency":1,"max_latency":4,"distr_latency":[0.000511,0.420351,0.420351,0.420351,0.420351,0.420351,4.255743,4.255743,4.255743,4.255743,4.255743,4.255743,4.255743,4.255743,4.255743,4.255743,4.255743,4.255743]}