Automated commit (Turing)

pausetimes_par/turing/20240924_092849/b516815688647d5f975bddd06751bb6e61d816c9/5.4.0+trunk+vanilla+pausetimes_par.20240924_092849.b516815688647d5f975bddd06751bb6e61d816c9.log

@@ -0,0 +1 @@
+make: *** No rule to make target 'ocaml-versions/5.4.0+trunk.bench'.  Stop.

pausetimes_seq/turing/20240924_031129/b516815688647d5f975bddd06751bb6e61d816c9/5.4.0+trunk+pausetimes_seq_1.pausetimes.summary.bench

@@ -0,0 +1,54 @@
+{"version":"5.15.0-119-generic","hostname":"turing","kernel":"Linux","arch":"x86_64"}
+{"name":"naive-multilayer.","mean_latency":0,"max_latency":0,"distr_latency":[0.001111,0.002823,0.003151,0.003431,0.003575,0.003711,0.003839,0.004047,0.005207,0.005527,0.005855,0.007063,0.010015,0.041951,0.070655,0.982015,0.982015,0.982015]}
+{"name":"alt-ergo.fill.why","mean_latency":0,"max_latency":3,"distr_latency":[0.067199,0.276479,0.489471,0.527871,0.534527,0.548863,0.556543,0.627199,0.753151,0.879615,1.383423,1.771519,1.882111,3.004415,3.004415,3.004415,3.004415,3.004415]}
+{"name":"nqueens.14","mean_latency":0,"max_latency":0,"distr_latency":[0.001935,0.004319,0.004447,0.004535,0.004599,0.004631,0.004711,0.006791,0.016911,0.017151,0.017391,0.018303,0.019551,0.080319,0.228479,0.228479,0.228479,0.228479]}
+{"name":"game_of_life.256","mean_latency":0,"max_latency":0,"distr_latency":[0.010975,0.029983,0.110463,0.189823,0.200191,0.221183,0.230399,0.237183,0.239999,0.241279,0.241279,0.352767,0.352767,0.696831,0.696831,0.696831,0.696831,0.696831]}
+{"name":"revcomp2.","mean_latency":1,"max_latency":4,"distr_latency":[0.533503,0.848895,0.953343,1.005055,1.611775,1.936383,1.951743,1.972223,1.994751,2.016255,2.055167,2.113535,2.158591,2.365439,4.489215,4.489215,4.489215,4.489215]}
+{"name":"menhir.sql-parser","mean_latency":0,"max_latency":8,"distr_latency":[0.001111,0.002663,0.003063,0.010863,0.032031,0.078783,0.188287,0.357375,0.737791,0.889343,1.393663,1.544191,1.910783,4.075519,7.561215,8.904703,8.904703,8.904703]}
+{"name":"menhir.sysver","mean_latency":0,"max_latency":40,"distr_latency":[0.001063,0.002535,0.002695,0.002935,0.003447,0.004639,0.033023,0.278527,0.875519,1.016831,1.342463,1.524735,1.882111,4.067327,6.455295,20.267007,40.075263,40.075263]}
+{"name":"thread_ring_lwt_mvar.20_000","mean_latency":0,"max_latency":0,"distr_latency":[0.125439,0.208383,0.211455,0.215807,0.217983,0.222207,0.303615,0.410623,0.432895,0.434431,0.435967,0.438527,0.447743,0.552447,0.873983,0.919551,0.919551,0.919551]}
+{"name":"alt-ergo.yyll.why","mean_latency":0,"max_latency":7,"distr_latency":[0.007167,0.014919,0.027983,0.052159,0.074431,0.104447,0.144511,0.214655,0.394751,0.465919,0.555519,0.688127,0.994815,2.402303,6.455295,7.278591,7.278591,7.278591]}
+{"name":"fft.","mean_latency":0,"max_latency":5,"distr_latency":[0.375551,0.730111,0.746495,0.756735,0.761343,0.770559,0.830463,1.337343,1.363967,1.375231,1.403903,1.433599,1.555455,2.719743,5.017599,5.017599,5.017599,5.017599]}
+{"name":"cubicle.szymanski_at.cub","mean_latency":0,"max_latency":3,"distr_latency":[0.024623,0.067583,0.092159,0.128511,0.155263,0.186495,0.219263,0.278527,0.517887,0.577023,0.680959,0.917503,1.019903,2.416639,2.854911,3.303423,3.612671,3.850239]}
+{"name":"kb_no_exc.","mean_latency":0,"max_latency":1,"distr_latency":[0.124351,0.348159,0.378879,0.409087,0.427775,0.449535,0.500991,0.644607,0.920063,0.960511,1.023487,1.064959,1.154047,1.414143,1.592319,1.592319,1.592319,1.592319]}
+{"name":"evolutionary_algorithm.10000_10000","mean_latency":0,"max_latency":1,"distr_latency":[0.003735,0.005183,0.005647,0.006263,0.006903,0.084415,0.124799,0.242175,0.246911,0.248063,0.249599,0.256767,0.262399,0.325119,0.389631,1.149951,1.149951,1.149951]}
+{"name":"soli.2000","mean_latency":0,"max_latency":0,"distr_latency":[0.023759,0.023759,0.023759,0.023759,0.242303,0.242303,0.242303,0.242303,0.242303,0.242303,0.242303,0.242303,0.242303,0.242303,0.242303,0.242303,0.242303,0.242303]}
+{"name":"lexifi-g2pp.","mean_latency":0,"max_latency":0,"distr_latency":[0.001199,0.002927,0.003223,0.003359,0.003431,0.003527,0.003647,0.004063,0.005095,0.005175,0.005263,0.005527,0.010999,0.048383,0.696831,0.872959,0.872959,0.872959]}
+{"name":"spectralnorm2.5_500","mean_latency":0,"max_latency":0,"distr_latency":[0.001103,0.002039,0.002119,0.002191,0.002223,0.002271,0.002343,0.002455,0.003655,0.003767,0.003855,0.003959,0.006607,0.038879,0.059295,0.749567,0.749567,0.749567]}
+{"name":"sequence_cps.10000","mean_latency":0,"max_latency":0,"distr_latency":[0.001063,0.002255,0.002399,0.002535,0.002583,0.002631,0.002703,0.002839,0.004135,0.004375,0.004927,0.006511,0.008311,0.041183,0.082431,0.571903,0.571903,0.571903]}
+{"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":278,"distr_latency":[0.005063,0.095935,0.199679,0.334335,0.430335,0.577535,0.781823,1.027071,1.383423,1.449983,1.502207,1.571839,1.711103,36.569087,184.942591,278.134783,278.134783,278.134783]}
+{"name":"test_decompress.64_524_288","mean_latency":0,"max_latency":1,"distr_latency":[0.003815,0.012751,0.021135,0.026463,0.028287,0.032319,0.039615,0.044223,0.048607,0.050719,0.054207,0.064799,0.089023,0.135423,1.108991,1.108991,1.108991,1.108991]}
+{"name":"zarith_pi.10_000","mean_latency":0,"max_latency":75,"distr_latency":[0.000127,0.012895,0.014919,0.023471,0.024063,0.024703,0.025711,0.030527,0.036671,0.037599,0.039327,0.044255,0.050719,0.083071,71.237631,75.169791,75.169791,75.169791]}
+{"name":"floyd_warshall.512","mean_latency":0,"max_latency":1,"distr_latency":[0.007199,0.024127,0.043583,0.069503,0.185471,0.727039,0.811007,0.893951,1.191935,1.215487,1.252351,1.321983,1.559551,1.746943,1.801215,1.801215,1.801215,1.801215]}
+{"name":"regexredux2.","mean_latency":1,"max_latency":61,"distr_latency":[0.070783,1.719295,1.759231,2.177023,2.297855,2.617343,2.803711,2.850815,3.762175,3.770367,3.782655,3.833855,3.952639,18.989055,61.112319,61.112319,61.112319,61.112319]}
+{"name":"hamming.1_000_000","mean_latency":0,"max_latency":3,"distr_latency":[0.191487,0.837631,0.915455,0.941055,0.950271,0.957439,0.966655,0.997375,1.440767,1.687551,2.020351,2.121727,2.256895,2.559999,3.555327,3.555327,3.555327,3.555327]}
+{"name":"markbench.20","mean_latency":36,"max_latency":1474,"distr_latency":[0.824831,3.260415,3.280895,3.340287,3.442687,3.622911,3.819519,3.909631,4.472831,4.677631,4.816895,1461.714943,1465.909247,1472.200703,1474.297855,1474.297855,1474.297855,1474.297855]}
+{"name":"binarytrees5.21","mean_latency":0,"max_latency":7,"distr_latency":[0.005175,0.051167,0.178047,0.651263,0.941055,1.268735,2.009087,2.643967,2.920447,4.071423,4.134911,4.161535,4.222975,5.107711,5.947391,7.766015,7.766015,7.766015]}
+{"name":"mergesort.67108864","mean_latency":1,"max_latency":129,"distr_latency":[0.002927,0.006975,0.007519,0.007767,0.008015,0.008191,0.008391,0.009151,0.033599,0.035263,0.036095,0.037279,0.377855,129.826815,129.826815,129.826815,129.826815,129.826815]}
+{"name":"LU_decomposition.1024","mean_latency":0,"max_latency":0,"distr_latency":[0.001087,0.001911,0.001983,0.002031,0.002055,0.002095,0.002175,0.002295,0.003671,0.003823,0.003975,0.004287,0.006663,0.034303,0.081471,0.691199,0.691199,0.691199]}
+{"name":"graph500_seq_kernel1.edges_data","mean_latency":2,"max_latency":720,"distr_latency":[0.501759,3.581951,3.604479,3.629055,3.643391,3.670015,3.723263,3.815423,3.946495,4.333567,4.804607,5.033983,5.369855,17.367039,697.827327,720.371711,720.371711,720.371711]}
+{"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.006767,0.008383,0.012543,0.016247,0.022415,0.028351,0.049247,0.089087,0.103423,0.116415,0.131583,0.160639,0.336895,0.773119,0.773119,0.773119,0.773119]}
+{"name":"zdd.words_txt","mean_latency":1,"max_latency":16,"distr_latency":[0.638463,0.865279,1.056767,1.169407,1.217535,1.279999,1.328127,1.620991,3.102719,3.481599,3.942399,4.173823,5.967871,12.697599,16.588799,16.588799,16.588799,16.588799]}
+{"name":"yojson_ydump.sample.json","mean_latency":0,"max_latency":1,"distr_latency":[0.000199,0.131071,0.215679,0.384767,0.440063,0.463103,0.518655,0.542719,0.563711,0.566783,0.572927,0.594431,0.652287,1.395711,1.395711,1.395711,1.395711,1.395711]}
+{"name":"thread_ring_lwt_stream.20_000","mean_latency":0,"max_latency":2,"distr_latency":[0.350975,0.577023,0.593919,0.626175,0.810495,0.859647,0.986111,1.063935,1.082367,1.086463,1.092607,1.103871,1.150975,1.271807,2.022399,2.719743,2.719743,2.719743]}
+{"name":"kb.","mean_latency":0,"max_latency":1,"distr_latency":[0.051615,0.152447,0.170111,0.195839,0.208895,0.223487,0.248575,0.295935,0.394495,0.412415,0.452095,0.492799,0.543743,0.695295,1.208319,1.208319,1.208319,1.208319]}
+{"name":"fasta6.25_000_000","mean_latency":0,"max_latency":0,"distr_latency":[0.000223,0.032175,0.052351,0.052351,0.078335,0.078335,0.078335,0.078335,0.383487,0.383487,0.383487,0.383487,0.383487,0.383487,0.383487,0.383487,0.383487,0.383487]}
+{"name":"qr-decomposition.","mean_latency":0,"max_latency":1,"distr_latency":[0.001327,0.002903,0.003111,0.003215,0.003279,0.003359,0.003479,0.003743,0.006447,0.006663,0.007255,0.008927,0.014671,0.080575,0.289791,1.364991,1.364991,1.364991]}
+{"name":"knucleotide.","mean_latency":0,"max_latency":5,"distr_latency":[0.001335,0.002263,0.002503,0.002767,0.003807,0.004119,0.004967,0.014799,0.066239,0.283135,0.324607,0.940031,3.860479,4.272127,5.808127,5.808127,5.808127,5.808127]}
+{"name":"pidigits5.10_000","mean_latency":0,"max_latency":68,"distr_latency":[0.000135,0.017087,0.018575,0.019279,0.019727,0.022143,0.030895,0.032895,0.039103,0.041695,0.045247,0.048831,0.056415,0.089983,64.389119,68.222975,68.222975,68.222975]}
+{"name":"levinson-durbin.","mean_latency":0,"max_latency":0,"distr_latency":[0.002623,0.012543,0.014167,0.019935,0.020847,0.021711,0.022767,0.025087,0.034527,0.037119,0.041663,0.047167,0.055391,0.086911,0.142591,0.227455,0.227455,0.227455]}
+{"name":"knucleotide3.","mean_latency":0,"max_latency":3,"distr_latency":[0.001159,0.002231,0.002463,0.002679,0.003767,0.003967,0.004207,0.013967,0.016119,0.017007,0.033535,0.071999,3.653631,3.823615,3.932159,3.932159,3.932159,3.932159]}
+{"name":"minilight.roomfront","mean_latency":0,"max_latency":0,"distr_latency":[0.001807,0.005399,0.005791,0.006159,0.006375,0.006639,0.006975,0.007455,0.008335,0.008663,0.009127,0.010031,0.012583,0.059519,0.114687,0.256383,0.723455,0.723455]}
+{"name":"cubicle.german_pfs.cub","mean_latency":0,"max_latency":4,"distr_latency":[0.013863,0.040735,0.063807,0.103743,0.131583,0.151679,0.171391,0.196479,0.292095,0.423935,1.195007,1.248255,1.373183,1.782783,1.990655,3.627007,4.976639,4.976639]}
+{"name":"bdd.26","mean_latency":0,"max_latency":3,"distr_latency":[0.001151,0.002775,0.002951,0.003079,0.003159,0.003239,0.003391,0.003871,0.004991,0.006039,0.010895,0.022431,0.095743,1.547263,2.953215,3.129343,3.129343,3.129343]}
+{"name":"owl_gc.","mean_latency":0,"max_latency":12,"distr_latency":[0.005663,0.012903,0.016639,0.024607,0.043679,0.142207,0.158079,0.159871,0.164991,0.168447,0.172927,0.175231,0.179327,0.302335,12.197887,12.476415,12.476415,12.476415]}
+{"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.011751,0.035039,0.116543,0.217855,0.226431,0.230015,0.234495,0.241407,0.254719,0.255487,0.257535,0.257535,0.295423,0.814591,0.814591,0.814591,0.814591,0.814591]}
+{"name":"crout-decomposition.","mean_latency":0,"max_latency":2,"distr_latency":[0.001127,0.002335,0.002511,0.002599,0.002647,0.002719,0.002823,0.004143,0.006063,0.008095,0.009759,0.015239,0.034783,0.124351,2.263039,2.263039,2.263039,2.263039]}
+{"name":"chameneos_redux_lwt.600000","mean_latency":0,"max_latency":1,"distr_latency":[0.001223,0.022191,0.022639,0.023695,0.025247,0.026479,0.028095,0.029775,0.033023,0.033791,0.034431,0.036639,0.051391,0.095295,1.013759,1.013759,1.013759,1.013759]}
+{"name":"fasta3.25_000_000","mean_latency":0,"max_latency":0,"distr_latency":[0.001311,0.002159,0.002279,0.002375,0.002471,0.003583,0.003727,0.003831,0.003991,0.012759,0.013975,0.014975,0.016039,0.072575,0.424191,0.424191,0.424191,0.424191]}
+{"name":"test_lwt.200","mean_latency":0,"max_latency":1,"distr_latency":[0.021055,0.039167,0.044447,0.050399,0.054719,0.059935,0.065247,0.074175,0.119679,0.131455,0.144383,0.155263,0.171263,0.221951,0.559103,1.438719,1.438719,1.438719]}
+{"name":"durand-kerner-aberth.","mean_latency":0,"max_latency":0,"distr_latency":[0.002263,0.006463,0.007119,0.008903,0.009031,0.009159,0.009327,0.010079,0.013055,0.014143,0.015919,0.020431,0.026303,0.063935,0.087359,0.685055,0.685055,0.685055]}
+{"name":"quicksort.4000000","mean_latency":1,"max_latency":4,"distr_latency":[0.000119,0.377087,0.377087,0.377087,0.377087,0.377087,4.012031,4.012031,4.012031,4.012031,4.012031,4.012031,4.012031,4.012031,4.012031,4.012031,4.012031,4.012031]}