Automated commit (Turing)

pausetimes_seq/turing/20231116_025734/d1cb680b6221a43007f168ee2c2837d2aee7591e/5.2.0+trunk+pausetimes_seq_1.pausetimes.summary.bench

@@ -0,0 +1,53 @@
+{"version":"5.15.0-88-generic","hostname":"turing","kernel":"Linux","arch":"x86_64"}
+{"name":"naive-multilayer.","mean_latency":0,"max_latency":0,"distr_latency":[0.000471,0.002367,0.002679,0.002919,0.003031,0.003151,0.003263,0.003415,0.003655,0.003823,0.004303,0.005407,0.009591,0.033119,0.074367,0.889343,0.889343,0.889343]}
+{"name":"alt-ergo.fill.why","mean_latency":0,"max_latency":3,"distr_latency":[0.058239,0.226047,0.466943,0.523775,0.534015,0.542207,0.553983,0.591359,0.793087,0.925183,1.283071,1.530879,1.839103,3.383295,3.383295,3.383295,3.383295,3.383295]}
+{"name":"nqueens.14","mean_latency":0,"max_latency":0,"distr_latency":[0.000607,0.002479,0.002599,0.002711,0.002783,0.003143,0.003887,0.004007,0.013855,0.014159,0.014679,0.014903,0.020991,0.110399,0.222847,0.222847,0.222847,0.222847]}
+{"name":"game_of_life.256","mean_latency":0,"max_latency":0,"distr_latency":[0.009551,0.024271,0.037023,0.173951,0.215295,0.218495,0.222719,0.228223,0.235903,0.238719,0.238719,0.248959,0.248959,0.576511,0.576511,0.576511,0.576511,0.576511]}
+{"name":"revcomp2.","mean_latency":1,"max_latency":3,"distr_latency":[0.531967,0.851967,0.954367,1.015807,1.916927,1.940479,1.950719,1.963007,1.972223,1.974271,1.983487,1.998847,2.024447,3.293183,3.682303,3.682303,3.682303,3.682303]}
+{"name":"menhir.sql-parser","mean_latency":0,"max_latency":12,"distr_latency":[0.000439,0.002311,0.002463,0.010407,0.030239,0.076479,0.188671,0.355327,0.710143,0.867327,1.276927,1.494015,1.846271,3.895295,7.667711,12.673023,12.673023,12.673023]}
+{"name":"menhir.sysver","mean_latency":0,"max_latency":52,"distr_latency":[0.000559,0.002207,0.002359,0.002463,0.002551,0.003919,0.054911,0.257407,0.811007,0.974335,1.245183,1.418239,1.671167,3.371007,5.947391,7.319551,52.428799,52.428799]}
+{"name":"thread_ring_lwt_mvar.20_000","mean_latency":0,"max_latency":1,"distr_latency":[0.121023,0.195583,0.201599,0.206463,0.209663,0.213759,0.252927,0.384767,0.414719,0.418047,0.420607,0.422911,0.425727,0.560639,0.921087,1.586175,1.586175,1.586175]}
+{"name":"alt-ergo.yyll.why","mean_latency":0,"max_latency":6,"distr_latency":[0.006327,0.017279,0.030559,0.052383,0.067647,0.092927,0.137727,0.204543,0.353535,0.425215,0.511743,0.622591,0.934399,2.572287,4.374527,6.717439,6.717439,6.717439]}
+{"name":"fft.","mean_latency":0,"max_latency":4,"distr_latency":[0.373503,0.688127,0.710655,0.721919,0.725503,0.730111,0.751615,1.300479,1.324031,1.333247,1.341439,1.367039,1.541119,2.678783,4.837375,4.837375,4.837375,4.837375]}
+{"name":"cubicle.szymanski_at.cub","mean_latency":0,"max_latency":6,"distr_latency":[0.023263,0.065087,0.088319,0.122815,0.147583,0.176895,0.207871,0.265215,0.498431,0.556031,0.653311,0.884223,0.977407,2.351103,2.574335,5.541887,6.000639,6.455295]}
+{"name":"kb_no_exc.","mean_latency":0,"max_latency":1,"distr_latency":[0.118911,0.328703,0.351487,0.376063,0.393727,0.416767,0.457215,0.622079,0.819199,0.851967,0.899583,0.950271,1.074175,1.419263,1.521663,1.521663,1.521663,1.521663]}
+{"name":"evolutionary_algorithm.10000_10000","mean_latency":0,"max_latency":6,"distr_latency":[0.003071,0.003599,0.004631,0.005239,0.005655,0.081599,0.122751,0.240767,0.245119,0.246143,0.247295,0.249599,0.257919,0.267519,0.317183,6.926335,6.926335,6.926335]}
+{"name":"soli.2000","mean_latency":0,"max_latency":0,"distr_latency":[0.000119,0.029023,0.029023,0.038047,0.038047,0.038047,0.038047,0.228223,0.228223,0.228223,0.228223,0.228223,0.228223,0.228223,0.228223,0.228223,0.228223,0.228223]}
+{"name":"lexifi-g2pp.","mean_latency":0,"max_latency":1,"distr_latency":[0.000471,0.002375,0.002583,0.002735,0.002799,0.002863,0.002935,0.003039,0.003287,0.003511,0.004343,0.008407,0.010695,0.038367,0.883711,1.040895,1.040895,1.040895]}
+{"name":"spectralnorm2.5_500","mean_latency":0,"max_latency":0,"distr_latency":[0.000503,0.001679,0.001815,0.001863,0.001887,0.001919,0.001959,0.002015,0.002111,0.002151,0.002231,0.002423,0.004479,0.012999,0.063775,0.704511,0.704511,0.704511]}
+{"name":"sequence_cps.10000","mean_latency":0,"max_latency":0,"distr_latency":[0.000471,0.001871,0.001975,0.002151,0.002191,0.002231,0.002271,0.002319,0.002447,0.002503,0.002615,0.003495,0.008511,0.030671,0.074175,0.459519,0.459519,0.459519]}
+{"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":208,"distr_latency":[0.005295,0.106047,0.210047,0.338431,0.433663,0.537087,0.699903,0.916991,1.328127,1.382399,1.438719,1.507327,1.685503,31.899647,138.412031,208.666623,208.666623,208.666623]}
+{"name":"test_decompress.64_524_288","mean_latency":0,"max_latency":1,"distr_latency":[0.002951,0.011127,0.018511,0.024095,0.026607,0.028879,0.032703,0.037535,0.041183,0.042847,0.044831,0.051071,0.084991,0.148863,1.086463,1.086463,1.086463,1.086463]}
+{"name":"zarith_pi.10_000","mean_latency":0,"max_latency":69,"distr_latency":[0.000135,0.011671,0.018991,0.021487,0.021999,0.022543,0.023311,0.027903,0.031279,0.032959,0.035903,0.040351,0.045023,0.060031,63.340543,69.599231,69.599231,69.599231]}
+{"name":"floyd_warshall.512","mean_latency":0,"max_latency":1,"distr_latency":[0.006975,0.023007,0.041567,0.074943,0.146559,0.641535,0.736767,0.835071,1.099775,1.114111,1.179647,1.299455,1.511423,1.685503,1.721343,1.721343,1.721343,1.721343]}
+{"name":"regexredux2.","mean_latency":1,"max_latency":60,"distr_latency":[0.040511,1.535999,1.662975,2.036735,2.123775,2.514943,2.801663,2.840575,3.684351,3.694591,3.704831,3.719167,3.790847,18.694143,60.358655,60.358655,60.358655,60.358655]}
+{"name":"hamming.1_000_000","mean_latency":0,"max_latency":3,"distr_latency":[0.174079,0.792063,0.907263,0.937471,0.944127,0.950783,0.958463,0.967679,1.425407,1.560575,1.944575,2.012159,2.058239,2.803711,3.952639,3.952639,3.952639,3.952639]}
+{"name":"markbench.20","mean_latency":34,"max_latency":1414,"distr_latency":[0.835583,3.198975,3.207167,3.229695,3.254271,3.637247,3.809279,3.883007,4.069375,4.143103,4.186111,1400.897535,1404.043263,1413.480447,1414.529023,1414.529023,1414.529023,1414.529023]}
+{"name":"binarytrees5.21","mean_latency":0,"max_latency":8,"distr_latency":[0.003431,0.055231,0.193919,0.647679,0.960511,1.186815,2.002943,2.457599,2.596863,3.583999,4.089855,4.122623,4.143103,5.328895,5.722111,8.019967,8.019967,8.019967]}
+{"name":"mergesort.67108864","mean_latency":0,"max_latency":128,"distr_latency":[0.001991,0.005991,0.006975,0.007375,0.007655,0.007855,0.008279,0.008911,0.030607,0.031359,0.031855,0.034623,0.317439,128.647167,128.647167,128.647167,128.647167,128.647167]}
+{"name":"LU_decomposition.1024","mean_latency":0,"max_latency":0,"distr_latency":[0.000487,0.001623,0.001775,0.001807,0.001823,0.001839,0.001855,0.001887,0.001959,0.001983,0.002015,0.002063,0.003063,0.017983,0.074431,0.745983,0.745983,0.745983]}
+{"name":"graph500_seq_kernel1.edges_data","mean_latency":2,"max_latency":710,"distr_latency":[0.468735,3.524607,3.543039,3.559423,3.567615,3.577855,3.592191,3.624959,3.741695,4.292607,4.755455,4.931583,5.201919,14.385151,698.875903,710.934527,710.934527,710.934527]}
+{"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.000327,0.005999,0.007687,0.010167,0.014983,0.020479,0.027967,0.053759,0.094783,0.109119,0.119807,0.131583,0.162431,0.287231,0.731647,0.731647,0.731647,0.731647]}
+{"name":"zdd.words_txt","mean_latency":0,"max_latency":44,"distr_latency":[0.162303,0.452351,0.988671,1.150975,1.203199,1.239039,1.291263,1.754111,3.053567,3.170303,3.854335,6.389759,8.278015,12.468223,44.367871,44.367871,44.367871,44.367871]}
+{"name":"yojson_ydump.sample.json","mean_latency":0,"max_latency":1,"distr_latency":[0.000175,0.159743,0.225663,0.367103,0.417023,0.451071,0.459519,0.521727,0.533503,0.538623,0.542207,0.545279,0.660479,1.336319,1.336319,1.336319,1.336319,1.336319]}
+{"name":"thread_ring_lwt_stream.20_000","mean_latency":0,"max_latency":2,"distr_latency":[0.416767,0.563711,0.572415,0.666111,0.771071,0.813567,0.933887,1.008639,1.029119,1.033727,1.038847,1.044991,1.053695,1.669119,2.318335,2.330623,2.330623,2.330623]}
+{"name":"kb.","mean_latency":0,"max_latency":5,"distr_latency":[0.049439,0.137471,0.155135,0.173183,0.188031,0.202111,0.221311,0.269567,0.363007,0.391935,0.433151,0.461311,0.529407,0.715775,5.672959,5.672959,5.672959,5.672959]}
+{"name":"fasta6.25_000_000","mean_latency":0,"max_latency":0,"distr_latency":[0.000287,0.027487,0.035711,0.035711,0.089599,0.089599,0.089599,0.089599,0.352511,0.352511,0.352511,0.352511,0.352511,0.352511,0.352511,0.352511,0.352511,0.352511]}
+{"name":"qr-decomposition.","mean_latency":0,"max_latency":1,"distr_latency":[0.000695,0.002479,0.002647,0.002759,0.002823,0.002879,0.002959,0.003087,0.005207,0.006191,0.006575,0.008375,0.013959,0.080703,0.307199,1.319935,1.319935,1.319935]}
+{"name":"knucleotide.","mean_latency":0,"max_latency":5,"distr_latency":[0.000591,0.001799,0.001927,0.002023,0.002071,0.002135,0.002463,0.009535,0.040479,0.227071,0.301823,0.904191,3.696639,4.077567,5.156863,5.156863,5.156863,5.156863]}
+{"name":"pidigits5.10_000","mean_latency":0,"max_latency":60,"distr_latency":[0.000135,0.015575,0.016383,0.016975,0.017327,0.017967,0.028543,0.030095,0.033183,0.035679,0.038047,0.043135,0.049823,0.065503,51.478527,60.162047,60.162047,60.162047]}
+{"name":"levinson-durbin.","mean_latency":0,"max_latency":0,"distr_latency":[0.002359,0.012303,0.013447,0.017999,0.018767,0.019439,0.020031,0.021983,0.033087,0.037599,0.043327,0.048351,0.054207,0.068543,0.104447,0.301567,0.301567,0.301567]}
+{"name":"knucleotide3.","mean_latency":0,"max_latency":3,"distr_latency":[0.000551,0.001847,0.001991,0.002167,0.002231,0.002319,0.002439,0.003391,0.013351,0.019295,0.035871,0.067903,3.454975,3.680255,3.688447,3.688447,3.688447,3.688447]}
+{"name":"minilight.roomfront","mean_latency":0,"max_latency":1,"distr_latency":[0.000503,0.004543,0.004863,0.005159,0.005327,0.005511,0.005735,0.006055,0.006663,0.006895,0.007239,0.007823,0.009575,0.057983,0.152063,0.763903,1.414143,1.414143]}
+{"name":"cubicle.german_pfs.cub","mean_latency":0,"max_latency":6,"distr_latency":[0.012767,0.039039,0.060287,0.097279,0.123839,0.147327,0.165887,0.187519,0.275967,0.420607,1.167359,1.240063,1.348607,1.739775,2.627583,5.672959,6.705151,6.705151]}
+{"name":"bdd.26","mean_latency":0,"max_latency":3,"distr_latency":[0.000479,0.002479,0.002639,0.002735,0.002799,0.002855,0.002935,0.003055,0.003607,0.004815,0.010183,0.022031,0.091455,1.477631,3.018751,3.051519,3.051519,3.051519]}
+{"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.010287,0.024015,0.079423,0.193919,0.217215,0.222591,0.233343,0.242431,0.248447,0.251519,0.251775,0.251775,0.285951,0.694783,0.694783,0.694783,0.694783,0.694783]}
+{"name":"crout-decomposition.","mean_latency":0,"max_latency":2,"distr_latency":[0.000527,0.002095,0.002231,0.002311,0.002351,0.002391,0.002455,0.002559,0.005095,0.007815,0.009591,0.012855,0.033631,0.119103,2.217983,2.217983,2.217983,2.217983]}
+{"name":"chameneos_redux_lwt.600000","mean_latency":0,"max_latency":0,"distr_latency":[0.000519,0.020303,0.021183,0.021903,0.023311,0.024623,0.026703,0.029551,0.032207,0.032671,0.033695,0.034591,0.043839,0.089727,0.926719,0.926719,0.926719,0.926719]}
+{"name":"fasta3.25_000_000","mean_latency":0,"max_latency":0,"distr_latency":[0.000559,0.001759,0.001839,0.001903,0.001951,0.001999,0.002055,0.002159,0.003159,0.007807,0.009199,0.011559,0.013503,0.073215,0.389631,0.389631,0.389631,0.389631]}
+{"name":"test_lwt.200","mean_latency":0,"max_latency":1,"distr_latency":[0.019775,0.036575,0.041599,0.047135,0.050911,0.055711,0.060767,0.067711,0.110719,0.125439,0.138751,0.152191,0.173823,0.222207,0.500223,1.424383,1.424383,1.424383]}
+{"name":"durand-kerner-aberth.","mean_latency":0,"max_latency":0,"distr_latency":[0.001255,0.005991,0.006591,0.008463,0.008591,0.008719,0.008911,0.009711,0.012391,0.013759,0.015735,0.017695,0.022623,0.058687,0.091967,0.660991,0.660991,0.660991]}
+{"name":"quicksort.4000000","mean_latency":1,"max_latency":4,"distr_latency":[0.000127,0.335615,0.335615,0.335615,0.335615,0.335615,4.087807,4.087807,4.087807,4.087807,4.087807,4.087807,4.087807,4.087807,4.087807,4.087807,4.087807,4.087807]}