Automated commit (Turing)

pausetimes_seq/turing/20250110_031414/b204bc49ea54cf6ef6bcec0ffaa511b06021f665/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":0,"distr_latency":[0.000951,0.002823,0.003087,0.003335,0.003471,0.003599,0.003727,0.003863,0.004111,0.004303,0.004815,0.007127,0.009023,0.033375,0.068799,0.975871,0.975871,0.975871]}
+{"name":"alt-ergo.fill.why","mean_latency":0,"max_latency":2,"distr_latency":[0.071423,0.291839,0.488703,0.534015,0.542719,0.550911,0.572927,0.629247,0.808959,0.891903,1.300479,1.460223,1.824767,2.842623,2.842623,2.842623,2.842623,2.842623]}
+{"name":"nqueens.14","mean_latency":0,"max_latency":0,"distr_latency":[0.001175,0.002823,0.002919,0.002999,0.003039,0.003095,0.003191,0.008151,0.010103,0.010231,0.010519,0.010695,0.019071,0.078847,0.240767,0.240767,0.240767,0.240767]}
+{"name":"game_of_life.256","mean_latency":0,"max_latency":0,"distr_latency":[0.008951,0.022479,0.096895,0.161023,0.200831,0.217983,0.218495,0.221823,0.224767,0.229119,0.229119,0.234239,0.234239,0.674815,0.674815,0.674815,0.674815,0.674815]}
+{"name":"revcomp2.","mean_latency":1,"max_latency":3,"distr_latency":[0.530943,0.877567,0.946687,0.969727,1.619967,1.971199,1.984511,2.004991,2.016255,2.018303,2.029567,2.074623,2.177023,2.586623,3.809279,3.809279,3.809279,3.809279]}
+{"name":"menhir.sql-parser","mean_latency":0,"max_latency":8,"distr_latency":[0.001055,0.002823,0.003015,0.010399,0.030559,0.077311,0.188031,0.350719,0.726015,0.888831,1.378303,1.531903,1.891327,3.856383,7.577599,8.495103,8.495103,8.495103]}
+{"name":"menhir.sysver","mean_latency":0,"max_latency":38,"distr_latency":[0.000983,0.002735,0.002839,0.002927,0.002983,0.003159,0.030399,0.273407,0.833023,0.965631,1.278975,1.438719,1.739775,3.819519,6.111231,19.890175,38.600703,38.600703]}
+{"name":"thread_ring_lwt_mvar.20_000","mean_latency":0,"max_latency":0,"distr_latency":[0.121855,0.196863,0.198911,0.202751,0.204159,0.206975,0.279039,0.390911,0.396799,0.397823,0.398847,0.400639,0.403967,0.469247,0.905215,0.906239,0.906239,0.906239]}
+{"name":"alt-ergo.yyll.why","mean_latency":0,"max_latency":6,"distr_latency":[0.006695,0.014311,0.026799,0.050399,0.071295,0.100863,0.142079,0.206847,0.382463,0.451839,0.542719,0.671743,0.967679,2.172927,6.033407,6.373375,6.373375,6.373375]}
+{"name":"fft.","mean_latency":0,"max_latency":5,"distr_latency":[0.374527,0.722943,0.739839,0.747007,0.750591,0.756223,0.765951,1.326079,1.347583,1.351679,1.362943,1.388543,1.484799,2.664447,5.210111,5.210111,5.210111,5.210111]}
+{"name":"cubicle.szymanski_at.cub","mean_latency":0,"max_latency":4,"distr_latency":[0.023903,0.065791,0.089343,0.125375,0.150783,0.181247,0.213119,0.261631,0.481535,0.542207,0.652799,0.911871,1.021439,2.269183,2.412543,2.885631,3.438591,4.063231]}
+{"name":"kb_no_exc.","mean_latency":0,"max_latency":1,"distr_latency":[0.122239,0.333055,0.351743,0.369663,0.383999,0.401919,0.444159,0.558079,0.776703,0.846847,0.893951,0.968191,1.022975,1.311743,1.813503,1.813503,1.813503,1.813503]}
+{"name":"evolutionary_algorithm.10000_10000","mean_latency":0,"max_latency":8,"distr_latency":[0.003783,0.004367,0.005215,0.005799,0.006167,0.082367,0.123711,0.241279,0.249599,0.251647,0.253567,0.255743,0.260991,0.272895,0.299263,8.298495,8.298495,8.298495]}
+{"name":"soli.2000","mean_latency":0,"max_latency":0,"distr_latency":[0.021647,0.021647,0.021647,0.021647,0.262911,0.262911,0.262911,0.262911,0.262911,0.262911,0.262911,0.262911,0.262911,0.262911,0.262911,0.262911,0.262911,0.262911]}
+{"name":"lexifi-g2pp.","mean_latency":0,"max_latency":0,"distr_latency":[0.001023,0.002807,0.002959,0.003055,0.003103,0.003151,0.003223,0.003319,0.003511,0.003607,0.003863,0.008287,0.010223,0.036415,0.781311,0.894463,0.894463,0.894463]}
+{"name":"spectralnorm2.5_500","mean_latency":0,"max_latency":0,"distr_latency":[0.000935,0.002095,0.002191,0.002223,0.002239,0.002263,0.002287,0.002319,0.002375,0.002399,0.002431,0.002479,0.002735,0.011903,0.060031,0.782847,0.782847,0.782847]}
+{"name":"sequence_cps.10000","mean_latency":0,"max_latency":0,"distr_latency":[0.000967,0.002439,0.002575,0.002703,0.002743,0.002783,0.002823,0.002911,0.003215,0.003727,0.005015,0.007631,0.008807,0.029327,0.091391,0.511743,0.511743,0.511743]}
+{"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":272,"distr_latency":[0.004359,0.088639,0.185983,0.304639,0.410111,0.542207,0.714239,0.967167,1.344511,1.406975,1.458175,1.516543,1.651711,35.749887,178.126847,272.891903,272.891903,272.891903]}
+{"name":"test_decompress.64_524_288","mean_latency":0,"max_latency":1,"distr_latency":[0.003671,0.012015,0.020655,0.025439,0.028239,0.031839,0.035743,0.039839,0.043199,0.044863,0.047487,0.053183,0.089215,0.137599,1.090559,1.090559,1.090559,1.090559]}
+{"name":"zarith_pi.10_000","mean_latency":0,"max_latency":75,"distr_latency":[0.000127,0.012871,0.013607,0.023199,0.024159,0.024815,0.025471,0.027791,0.035679,0.036511,0.037823,0.041215,0.046303,0.065023,72.876031,75.104255,75.104255,75.104255]}
+{"name":"floyd_warshall.512","mean_latency":0,"max_latency":1,"distr_latency":[0.007055,0.022031,0.041119,0.066111,0.169727,0.697343,0.783359,0.867839,1.125375,1.160191,1.206271,1.303551,1.515519,1.685503,1.733631,1.733631,1.733631,1.733631]}
+{"name":"regexredux2.","mean_latency":1,"max_latency":60,"distr_latency":[0.070847,1.729535,1.760255,2.199551,2.230271,2.588671,2.809855,2.848767,3.776511,3.780607,3.784703,3.788799,3.809279,18.792447,60.293119,60.293119,60.293119,60.293119]}
+{"name":"hamming.1_000_000","mean_latency":0,"max_latency":4,"distr_latency":[0.192767,0.813567,0.907775,0.935935,0.942079,0.951295,0.956415,0.967679,1.426431,1.563647,2.035711,2.117631,2.230271,2.443263,4.292607,4.292607,4.292607,4.292607]}
+{"name":"markbench.20","mean_latency":34,"max_latency":1400,"distr_latency":[0.824831,3.254271,3.260415,3.280895,3.301375,3.627007,3.809279,3.868671,4.093951,4.126719,4.194303,1387.266047,1393.557503,1395.654655,1400.897535,1400.897535,1400.897535,1400.897535]}
+{"name":"binarytrees5.21","mean_latency":0,"max_latency":8,"distr_latency":[0.005039,0.048287,0.171775,0.640511,0.941055,1.241087,1.992703,2.590719,2.967551,4.048895,4.120575,4.134911,4.179967,4.739071,5.619711,8.278015,8.278015,8.278015]}
+{"name":"mergesort.67108864","mean_latency":1,"max_latency":133,"distr_latency":[0.002183,0.006767,0.007135,0.007455,0.007639,0.007903,0.008199,0.019487,0.024399,0.026287,0.026719,0.027967,0.387327,133.824511,133.824511,133.824511,133.824511,133.824511]}
+{"name":"LU_decomposition.1024","mean_latency":0,"max_latency":0,"distr_latency":[0.000967,0.002231,0.002319,0.002359,0.002383,0.002407,0.002439,0.002519,0.002655,0.002687,0.002743,0.002863,0.006975,0.021471,0.080959,0.724991,0.724991,0.724991]}
+{"name":"graph500_seq_kernel1.edges_data","mean_latency":2,"max_latency":687,"distr_latency":[0.445439,3.590143,3.610623,3.627007,3.637247,3.647487,3.663871,3.696639,3.792895,4.202495,4.669439,4.894719,5.197823,20.414463,668.991487,687.341567,687.341567,687.341567]}
+{"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.000863,0.005783,0.007791,0.011063,0.015679,0.021215,0.027151,0.049471,0.085567,0.096191,0.114239,0.127551,0.148607,0.333567,0.802303,0.802303,0.802303,0.802303]}
+{"name":"zdd.words_txt","mean_latency":1,"max_latency":16,"distr_latency":[0.631807,0.837631,1.051647,1.155071,1.203199,1.267711,1.316863,1.598463,3.129343,3.440639,3.903487,4.055039,5.861375,12.451839,16.334847,16.334847,16.334847,16.334847]}
+{"name":"yojson_ydump.sample.json","mean_latency":0,"max_latency":1,"distr_latency":[0.000159,0.130879,0.204415,0.359935,0.434687,0.460031,0.494079,0.532991,0.542207,0.546303,0.546815,0.548351,0.695807,1.292287,1.292287,1.292287,1.292287,1.292287]}
+{"name":"thread_ring_lwt_stream.20_000","mean_latency":0,"max_latency":2,"distr_latency":[0.335359,0.472575,0.477183,0.487167,0.761343,0.819711,0.837119,0.848895,0.860671,0.863231,0.867327,0.871935,0.878079,0.898047,2.056191,2.684927,2.684927,2.684927]}
+{"name":"kb.","mean_latency":0,"max_latency":1,"distr_latency":[0.050943,0.142975,0.158975,0.180607,0.191615,0.205823,0.224895,0.274687,0.342015,0.371967,0.390143,0.409599,0.453631,0.546303,1.278975,1.278975,1.278975,1.278975]}
+{"name":"fasta6.25_000_000","mean_latency":0,"max_latency":0,"distr_latency":[0.000199,0.031103,0.048511,0.048511,0.076031,0.076031,0.076031,0.076031,0.376575,0.376575,0.376575,0.376575,0.376575,0.376575,0.376575,0.376575,0.376575,0.376575]}
+{"name":"qr-decomposition.","mean_latency":0,"max_latency":1,"distr_latency":[0.001215,0.002951,0.003055,0.003143,0.003183,0.003231,0.003303,0.003455,0.006647,0.007143,0.007751,0.008871,0.014775,0.084351,0.365311,1.380351,1.380351,1.380351]}
+{"name":"knucleotide.","mean_latency":0,"max_latency":5,"distr_latency":[0.001127,0.002391,0.002535,0.002631,0.002695,0.002791,0.006231,0.010255,0.068927,0.273407,0.328959,0.924159,3.913727,4.333567,5.746687,5.746687,5.746687,5.746687]}
+{"name":"pidigits5.10_000","mean_latency":0,"max_latency":67,"distr_latency":[0.000127,0.017135,0.018447,0.019055,0.019375,0.020479,0.030287,0.032559,0.036799,0.039487,0.043199,0.046239,0.052607,0.071999,64.716799,67.960831,67.960831,67.960831]}
+{"name":"levinson-durbin.","mean_latency":0,"max_latency":0,"distr_latency":[0.002775,0.010807,0.013727,0.019855,0.020303,0.021727,0.022335,0.022991,0.031583,0.033919,0.037343,0.043423,0.050655,0.070271,0.101055,0.314879,0.314879,0.314879]}
+{"name":"knucleotide3.","mean_latency":0,"max_latency":4,"distr_latency":[0.001015,0.002247,0.002439,0.002663,0.002735,0.002791,0.003023,0.009679,0.011631,0.012231,0.032927,0.063775,3.674111,3.868671,4.130815,4.130815,4.130815,4.130815]}
+{"name":"minilight.roomfront","mean_latency":0,"max_latency":0,"distr_latency":[0.001367,0.005255,0.005591,0.005911,0.006087,0.006287,0.006543,0.006903,0.007647,0.007967,0.008439,0.009295,0.011015,0.054591,0.112127,0.251775,0.769535,0.769535]}
+{"name":"cubicle.german_pfs.cub","mean_latency":0,"max_latency":6,"distr_latency":[0.013415,0.039359,0.060479,0.097279,0.123775,0.148223,0.167423,0.188031,0.272383,0.388095,0.921087,1.128447,1.187839,1.584127,1.830911,5.652479,6.483967,6.483967]}
+{"name":"bdd.26","mean_latency":0,"max_latency":3,"distr_latency":[0.001119,0.002975,0.003119,0.003239,0.003311,0.003391,0.003487,0.003631,0.004023,0.006447,0.010431,0.019807,0.082623,1.469439,3.160063,3.301375,3.301375,3.301375]}
+{"name":"owl_gc.","mean_latency":0,"max_latency":14,"distr_latency":[0.005871,0.012839,0.016071,0.029215,0.050943,0.134015,0.159103,0.160127,0.161535,0.161791,0.162175,0.162559,0.165247,0.175487,14.499839,14.671871,14.671871,14.671871]}
+{"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.010495,0.028831,0.115647,0.211327,0.216831,0.227199,0.229119,0.238591,0.249215,0.250111,0.251903,0.251903,0.252031,0.675839,0.675839,0.675839,0.675839,0.675839]}
+{"name":"crout-decomposition.","mean_latency":0,"max_latency":2,"distr_latency":[0.000991,0.002487,0.002623,0.002719,0.002767,0.002823,0.002895,0.003007,0.006879,0.008039,0.009823,0.013487,0.033055,0.099327,2.338815,2.338815,2.338815,2.338815]}
+{"name":"chameneos_redux_lwt.600000","mean_latency":0,"max_latency":0,"distr_latency":[0.000999,0.020831,0.021039,0.021279,0.022255,0.023151,0.023583,0.023967,0.025135,0.027327,0.028431,0.029695,0.041503,0.078783,0.903679,0.903679,0.903679,0.903679]}
+{"name":"fasta3.25_000_000","mean_latency":0,"max_latency":0,"distr_latency":[0.001055,0.002231,0.002295,0.002319,0.002335,0.002351,0.002383,0.002447,0.002847,0.007959,0.008919,0.009543,0.010079,0.071231,0.430335,0.430335,0.430335,0.430335]}
+{"name":"test_lwt.200","mean_latency":0,"max_latency":1,"distr_latency":[0.020175,0.038079,0.043231,0.048927,0.052287,0.057503,0.062559,0.070143,0.111551,0.121343,0.135167,0.148223,0.168063,0.204671,0.596479,1.948671,1.948671,1.948671]}
+{"name":"durand-kerner-aberth.","mean_latency":0,"max_latency":0,"distr_latency":[0.001919,0.006471,0.007119,0.009135,0.009263,0.009383,0.009503,0.009743,0.012647,0.013767,0.014615,0.017087,0.021663,0.064223,0.091071,0.728063,0.728063,0.728063]}
+{"name":"quicksort.4000000","mean_latency":1,"max_latency":4,"distr_latency":[0.000175,0.396799,0.396799,0.396799,0.396799,0.396799,4.165631,4.165631,4.165631,4.165631,4.165631,4.165631,4.165631,4.165631,4.165631,4.165631,4.165631,4.165631]}

pausetimes_seq/turing/20250110_082738/b204bc49ea54cf6ef6bcec0ffaa511b06021f665/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.000911,0.002727,0.002983,0.003247,0.003375,0.003495,0.003607,0.003727,0.003895,0.003999,0.004335,0.005007,0.009471,0.033631,0.070527,1.019903,1.019903,1.019903]}
+{"name":"alt-ergo.fill.why","mean_latency":0,"max_latency":3,"distr_latency":[0.077823,0.308991,0.524287,0.551935,0.564735,0.578047,0.605183,0.691711,0.855039,0.939007,1.416191,1.602559,1.970175,3.127295,3.127295,3.127295,3.127295,3.127295]}
+{"name":"nqueens.14","mean_latency":0,"max_latency":0,"distr_latency":[0.001111,0.002903,0.002999,0.003079,0.003127,0.003183,0.003263,0.008039,0.010583,0.010911,0.011271,0.011791,0.016007,0.077247,0.233855,0.233855,0.233855,0.233855]}
+{"name":"game_of_life.256","mean_latency":0,"max_latency":0,"distr_latency":[0.010127,0.023567,0.110207,0.163711,0.200191,0.220287,0.226815,0.229631,0.232447,0.238847,0.238847,0.242559,0.242559,0.680447,0.680447,0.680447,0.680447,0.680447]}
+{"name":"revcomp2.","mean_latency":1,"max_latency":4,"distr_latency":[0.531455,0.946175,1.001983,1.025023,1.625087,2.012159,2.020351,2.043903,2.054143,2.059263,2.065407,2.101247,2.174975,2.291711,4.747263,4.747263,4.747263,4.747263]}
+{"name":"menhir.sql-parser","mean_latency":0,"max_latency":9,"distr_latency":[0.000967,0.002687,0.002887,0.011079,0.030783,0.078207,0.198911,0.367871,0.817663,0.989695,1.430527,1.574911,2.154495,4.452351,9.043967,9.781247,9.781247,9.781247]}
+{"name":"menhir.sysver","mean_latency":0,"max_latency":54,"distr_latency":[0.000951,0.002607,0.002775,0.002895,0.002951,0.003087,0.031823,0.278783,0.864767,1.030655,1.362943,1.539071,2.029567,4.198399,7.290879,21.561343,54.722559,54.722559]}
+{"name":"thread_ring_lwt_mvar.20_000","mean_latency":0,"max_latency":0,"distr_latency":[0.137471,0.205439,0.207999,0.211839,0.213631,0.216319,0.290559,0.413439,0.420351,0.421375,0.422911,0.424191,0.427519,0.495103,0.912895,0.960511,0.960511,0.960511]}
+{"name":"alt-ergo.yyll.why","mean_latency":0,"max_latency":7,"distr_latency":[0.006655,0.014823,0.027759,0.052095,0.075135,0.106047,0.148095,0.215039,0.401151,0.475903,0.568319,0.703487,1.029119,2.373631,5.779455,7.069695,7.069695,7.069695]}
+{"name":"fft.","mean_latency":0,"max_latency":6,"distr_latency":[0.400639,0.769023,0.776703,0.780799,0.783871,0.788991,0.799231,1.387519,1.404927,1.412095,1.430527,1.480703,1.786879,3.108863,6.381567,6.381567,6.381567,6.381567]}
+{"name":"cubicle.szymanski_at.cub","mean_latency":0,"max_latency":4,"distr_latency":[0.024863,0.069247,0.095039,0.133887,0.159103,0.189439,0.222079,0.287999,0.555007,0.617983,0.707071,0.944127,1.040383,2.764799,2.906111,3.170303,3.461119,4.050943]}
+{"name":"kb_no_exc.","mean_latency":0,"max_latency":1,"distr_latency":[0.132863,0.344575,0.364799,0.382207,0.398335,0.421375,0.466431,0.595455,0.837631,0.925183,0.974335,1.047551,1.116159,1.413119,1.983487,1.983487,1.983487,1.983487]}
+{"name":"evolutionary_algorithm.10000_10000","mean_latency":0,"max_latency":12,"distr_latency":[0.003631,0.004231,0.005223,0.005831,0.006207,0.081919,0.123135,0.241023,0.247167,0.249215,0.252159,0.255359,0.260607,0.272639,0.317695,12.238847,12.238847,12.238847]}
+{"name":"soli.2000","mean_latency":0,"max_latency":0,"distr_latency":[0.020687,0.020687,0.020687,0.020687,0.252031,0.252031,0.252031,0.252031,0.252031,0.252031,0.252031,0.252031,0.252031,0.252031,0.252031,0.252031,0.252031,0.252031]}
+{"name":"lexifi-g2pp.","mean_latency":0,"max_latency":0,"distr_latency":[0.000991,0.002783,0.002967,0.003087,0.003151,0.003207,0.003271,0.003367,0.003543,0.003607,0.003759,0.004071,0.008895,0.035775,0.792063,0.911359,0.911359,0.911359]}
+{"name":"spectralnorm2.5_500","mean_latency":0,"max_latency":0,"distr_latency":[0.001007,0.002159,0.002271,0.002343,0.002375,0.002431,0.002487,0.002551,0.002663,0.002711,0.002799,0.003023,0.006935,0.011439,0.062463,0.778239,0.778239,0.778239]}
+{"name":"sequence_cps.10000","mean_latency":0,"max_latency":0,"distr_latency":[0.000999,0.002399,0.002543,0.002663,0.002703,0.002743,0.002799,0.002903,0.003159,0.003495,0.004735,0.007303,0.008383,0.029663,0.059775,0.509183,0.509183,0.509183]}
+{"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":285,"distr_latency":[0.003751,0.090687,0.187263,0.305919,0.415231,0.556031,0.723455,0.980991,1.359871,1.422335,1.467391,1.532927,1.711103,38.567935,192.413695,285.212671,285.212671,285.212671]}
+{"name":"test_decompress.64_524_288","mean_latency":0,"max_latency":1,"distr_latency":[0.003583,0.011959,0.020959,0.025935,0.028543,0.032511,0.038495,0.042751,0.045919,0.047423,0.050079,0.055999,0.090495,0.143871,1.093631,1.093631,1.093631,1.093631]}
+{"name":"zarith_pi.10_000","mean_latency":0,"max_latency":74,"distr_latency":[0.000127,0.013191,0.013991,0.023663,0.024527,0.025231,0.026095,0.028671,0.037823,0.038783,0.039967,0.042495,0.047359,0.066367,72.613887,74.842111,74.842111,74.842111]}
+{"name":"floyd_warshall.512","mean_latency":0,"max_latency":2,"distr_latency":[0.010119,0.026847,0.048735,0.077055,0.242431,0.732159,0.824831,0.945663,1.187839,1.224703,1.310719,1.505279,1.862655,2.012159,2.073599,2.073599,2.073599,2.073599]}
+{"name":"regexredux2.","mean_latency":1,"max_latency":86,"distr_latency":[0.070143,1.787903,1.831935,2.236415,2.545663,2.760703,2.881535,2.918399,3.796991,3.807231,3.821567,3.856383,4.067327,25.247743,86.769663,86.769663,86.769663,86.769663]}
+{"name":"hamming.1_000_000","mean_latency":0,"max_latency":3,"distr_latency":[0.195199,0.865791,0.926207,0.956415,0.963583,0.969215,0.974847,0.985599,1.735679,1.867775,2.105343,2.195455,2.306047,2.754559,3.975167,3.975167,3.975167,3.975167]}
+{"name":"markbench.20","mean_latency":37,"max_latency":1521,"distr_latency":[0.805887,3.336191,3.344383,3.362815,3.397631,4.102143,4.255743,4.292607,4.526079,4.550655,4.591615,1510.998015,1515.192319,1521.483775,1521.483775,1521.483775,1521.483775,1521.483775]}
+{"name":"binarytrees5.21","mean_latency":0,"max_latency":8,"distr_latency":[0.005935,0.049951,0.220287,0.770047,1.065983,1.283071,2.615295,2.689023,3.846143,4.317183,5.206015,6.344703,6.356991,6.443007,7.806975,8.462335,8.462335,8.462335]}
+{"name":"mergesort.67108864","mean_latency":1,"max_latency":130,"distr_latency":[0.001791,0.005551,0.005895,0.006167,0.006335,0.006519,0.006775,0.019055,0.024335,0.024703,0.025199,0.028207,0.380415,130.285567,130.285567,130.285567,130.285567,130.285567]}
+{"name":"LU_decomposition.1024","mean_latency":0,"max_latency":0,"distr_latency":[0.000967,0.002063,0.002143,0.002191,0.002215,0.002247,0.002295,0.002367,0.002495,0.002567,0.002711,0.003727,0.007039,0.023167,0.083071,0.724991,0.724991,0.724991]}
+{"name":"graph500_seq_kernel1.edges_data","mean_latency":2,"max_latency":743,"distr_latency":[0.442623,3.616767,3.641343,3.657727,3.665919,3.676159,3.688447,3.721215,3.833855,4.247551,4.759551,4.972543,5.238783,16.375807,727.187455,743.440383,743.440383,743.440383]}
+{"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.000935,0.005727,0.006943,0.011463,0.016087,0.022271,0.027631,0.051327,0.092223,0.099327,0.118783,0.133759,0.158463,0.374783,0.764927,0.764927,0.764927,0.764927]}
+{"name":"zdd.words_txt","mean_latency":1,"max_latency":16,"distr_latency":[0.658431,0.870911,1.051647,1.148927,1.207295,1.265663,1.315839,1.675263,3.143679,3.473407,3.938303,4.272127,5.984255,12.574719,16.613375,16.613375,16.613375,16.613375]}
+{"name":"yojson_ydump.sample.json","mean_latency":0,"max_latency":1,"distr_latency":[0.000175,0.140799,0.222975,0.388351,0.449023,0.478207,0.511487,0.558591,0.568319,0.572415,0.575487,0.578047,0.714239,1.393663,1.393663,1.393663,1.393663,1.393663]}
+{"name":"thread_ring_lwt_stream.20_000","mean_latency":0,"max_latency":2,"distr_latency":[0.399615,0.474623,0.479231,0.498943,0.858623,0.933887,0.951807,0.963583,0.974847,0.977919,0.982015,0.986623,0.993279,1.011199,2.179071,2.918399,2.918399,2.918399]}
+{"name":"kb.","mean_latency":0,"max_latency":1,"distr_latency":[0.056863,0.146047,0.161407,0.183423,0.195199,0.209791,0.228479,0.296191,0.369919,0.399871,0.421119,0.441087,0.490751,0.602623,1.274879,1.274879,1.274879,1.274879]}
+{"name":"fasta6.25_000_000","mean_latency":0,"max_latency":0,"distr_latency":[0.000167,0.029167,0.049599,0.049599,0.083391,0.083391,0.083391,0.083391,0.387071,0.387071,0.387071,0.387071,0.387071,0.387071,0.387071,0.387071,0.387071,0.387071]}
+{"name":"qr-decomposition.","mean_latency":0,"max_latency":1,"distr_latency":[0.001167,0.002999,0.003135,0.003207,0.003255,0.003311,0.003383,0.003511,0.005295,0.006831,0.007319,0.008271,0.014327,0.075135,0.312575,1.465343,1.465343,1.465343]}
+{"name":"knucleotide.","mean_latency":0,"max_latency":5,"distr_latency":[0.001119,0.002391,0.002591,0.002679,0.002743,0.002807,0.008223,0.010407,0.068607,0.275455,0.330751,0.929279,3.983359,4.374527,5.697535,5.697535,5.697535,5.697535]}
+{"name":"pidigits5.10_000","mean_latency":0,"max_latency":69,"distr_latency":[0.000127,0.016751,0.019071,0.019839,0.020127,0.020527,0.022335,0.033311,0.035647,0.037055,0.039807,0.044095,0.051967,0.069951,67.764223,69.074943,69.074943,69.074943]}
+{"name":"levinson-durbin.","mean_latency":0,"max_latency":0,"distr_latency":[0.002679,0.010071,0.013335,0.019487,0.019871,0.020735,0.021391,0.022111,0.028431,0.032047,0.036799,0.042687,0.049631,0.069439,0.103807,0.343039,0.343039,0.343039]}
+{"name":"knucleotide3.","mean_latency":0,"max_latency":3,"distr_latency":[0.001007,0.002151,0.002319,0.002551,0.002647,0.002727,0.002967,0.009375,0.011167,0.019455,0.035135,0.066623,3.602431,3.819519,3.823615,3.823615,3.823615,3.823615]}
+{"name":"minilight.roomfront","mean_latency":0,"max_latency":0,"distr_latency":[0.001159,0.005247,0.005591,0.005935,0.006127,0.006351,0.006655,0.007175,0.008295,0.008663,0.009159,0.009983,0.011831,0.062111,0.118847,0.263423,0.748543,0.748543]}
+{"name":"cubicle.german_pfs.cub","mean_latency":0,"max_latency":6,"distr_latency":[0.013399,0.039967,0.061759,0.100671,0.128575,0.150527,0.169983,0.194431,0.298751,0.451839,1.129471,1.377279,1.439743,1.839103,2.140159,5.533695,6.234111,6.234111]}
+{"name":"bdd.26","mean_latency":0,"max_latency":3,"distr_latency":[0.001127,0.002951,0.003127,0.003247,0.003327,0.003407,0.003487,0.003623,0.004007,0.005519,0.010207,0.021583,0.086975,1.604607,3.358719,3.506175,3.506175,3.506175]}
+{"name":"owl_gc.","mean_latency":0,"max_latency":11,"distr_latency":[0.005463,0.013263,0.016399,0.028831,0.052319,0.140287,0.172671,0.173823,0.175231,0.175615,0.175871,0.176383,0.179967,0.187903,11.034623,11.108351,11.108351,11.108351]}
+{"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.011407,0.030095,0.114623,0.213759,0.223487,0.231935,0.234751,0.241535,0.251519,0.252543,0.254847,0.254847,0.260863,0.650751,0.650751,0.650751,0.650751,0.650751]}
+{"name":"crout-decomposition.","mean_latency":0,"max_latency":2,"distr_latency":[0.000983,0.002511,0.002631,0.002703,0.002743,0.002791,0.002847,0.002943,0.006271,0.007911,0.009583,0.011759,0.032671,0.148351,2.349055,2.349055,2.349055,2.349055]}
+{"name":"chameneos_redux_lwt.600000","mean_latency":0,"max_latency":0,"distr_latency":[0.000975,0.022095,0.022495,0.022911,0.023487,0.024319,0.024879,0.025311,0.026079,0.027791,0.029775,0.031711,0.042527,0.089535,0.998911,0.998911,0.998911,0.998911]}
+{"name":"fasta3.25_000_000","mean_latency":0,"max_latency":0,"distr_latency":[0.001119,0.002319,0.002391,0.002423,0.002439,0.002463,0.002487,0.002535,0.002711,0.007887,0.008399,0.009519,0.009775,0.071295,0.430591,0.430591,0.430591,0.430591]}
+{"name":"test_lwt.200","mean_latency":0,"max_latency":1,"distr_latency":[0.022047,0.040479,0.046239,0.052767,0.057727,0.063583,0.069183,0.090495,0.131071,0.140927,0.152319,0.166271,0.188159,0.230655,0.479487,1.470463,1.470463,1.470463]}
+{"name":"durand-kerner-aberth.","mean_latency":0,"max_latency":0,"distr_latency":[0.001791,0.006623,0.006999,0.009055,0.009135,0.009207,0.009295,0.009455,0.012503,0.013487,0.014439,0.017183,0.021935,0.064319,0.086399,0.720895,0.720895,0.720895]}
+{"name":"quicksort.4000000","mean_latency":1,"max_latency":4,"distr_latency":[0.000175,0.381695,0.381695,0.381695,0.381695,0.381695,4.091903,4.091903,4.091903,4.091903,4.091903,4.091903,4.091903,4.091903,4.091903,4.091903,4.091903,4.091903]}