Automated commit (Turing)

pausetimes_seq/turing/20241001_031028/51a1781be2730f99ca33e4351d0cc5557b4c43cb/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":1,"distr_latency":[0.001127,0.002855,0.003159,0.003455,0.003591,0.003735,0.003879,0.004119,0.005255,0.005575,0.005919,0.007455,0.010135,0.037887,0.068671,1.008127,1.008127,1.008127]}
+{"name":"alt-ergo.fill.why","mean_latency":0,"max_latency":2,"distr_latency":[0.069183,0.304127,0.496383,0.528895,0.541695,0.553471,0.582143,0.636927,0.758783,0.926207,1.462271,1.895423,2.020351,2.721791,2.721791,2.721791,2.721791,2.721791]}
+{"name":"nqueens.14","mean_latency":0,"max_latency":0,"distr_latency":[0.001887,0.004311,0.004471,0.004583,0.004631,0.004671,0.004743,0.006239,0.016655,0.016895,0.017119,0.017951,0.019855,0.080639,0.224127,0.224127,0.224127,0.224127]}
+{"name":"game_of_life.256","mean_latency":0,"max_latency":0,"distr_latency":[0.012159,0.028495,0.112767,0.185855,0.203775,0.224767,0.226175,0.232831,0.239231,0.241919,0.241919,0.244607,0.244607,0.701439,0.701439,0.701439,0.701439,0.701439]}
+{"name":"revcomp2.","mean_latency":1,"max_latency":4,"distr_latency":[0.538623,0.849407,0.950783,0.987135,1.612799,1.945599,1.961983,1.986559,2.015231,2.038783,2.047999,2.111487,2.166783,2.275327,4.485119,4.485119,4.485119,4.485119]}
+{"name":"menhir.sql-parser","mean_latency":0,"max_latency":8,"distr_latency":[0.000999,0.002655,0.003199,0.012519,0.031519,0.078527,0.188671,0.359423,0.739839,0.904191,1.387519,1.541119,1.883135,4.141055,7.585791,8.519679,8.519679,8.519679]}
+{"name":"menhir.sysver","mean_latency":0,"max_latency":40,"distr_latency":[0.001015,0.002535,0.002687,0.002879,0.003223,0.004631,0.032255,0.276991,0.853503,1.020415,1.320959,1.494015,1.863679,3.958783,6.463487,20.168703,40.140799,40.140799]}
+{"name":"thread_ring_lwt_mvar.20_000","mean_latency":0,"max_latency":1,"distr_latency":[0.125247,0.207103,0.210815,0.215039,0.217471,0.222079,0.304127,0.408831,0.432383,0.433663,0.435199,0.437503,0.443391,0.549887,0.979455,1.121279,1.121279,1.121279]}
+{"name":"alt-ergo.yyll.why","mean_latency":0,"max_latency":7,"distr_latency":[0.007055,0.014791,0.027791,0.051807,0.073791,0.104255,0.145535,0.215039,0.393215,0.465663,0.554495,0.693247,0.989183,2.420735,6.062079,7.352319,7.352319,7.352319]}
+{"name":"fft.","mean_latency":0,"max_latency":4,"distr_latency":[0.374783,0.734719,0.752127,0.778751,0.797183,0.803327,0.844799,1.339391,1.390591,1.403903,1.424383,1.459199,1.568767,3.696639,4.911103,4.911103,4.911103,4.911103]}
+{"name":"cubicle.szymanski_at.cub","mean_latency":0,"max_latency":4,"distr_latency":[0.024879,0.067967,0.092671,0.129087,0.155775,0.186623,0.218879,0.279039,0.519423,0.579071,0.681471,0.920575,1.020415,2.416639,2.830335,3.194879,3.610623,4.907007]}
+{"name":"kb_no_exc.","mean_latency":0,"max_latency":1,"distr_latency":[0.125759,0.348927,0.383231,0.414463,0.432383,0.453375,0.514815,0.643071,0.898047,0.933887,1.019391,1.111039,1.193983,1.676287,1.887231,1.887231,1.887231,1.887231]}
+{"name":"evolutionary_algorithm.10000_10000","mean_latency":0,"max_latency":1,"distr_latency":[0.003631,0.005127,0.005599,0.006239,0.006855,0.081919,0.123647,0.241407,0.246911,0.248447,0.251135,0.255999,0.262143,0.315391,0.447231,1.509375,1.509375,1.509375]}
+{"name":"soli.2000","mean_latency":0,"max_latency":0,"distr_latency":[0.021695,0.021695,0.021695,0.021695,0.236031,0.236031,0.236031,0.236031,0.236031,0.236031,0.236031,0.236031,0.236031,0.236031,0.236031,0.236031,0.236031,0.236031]}
+{"name":"lexifi-g2pp.","mean_latency":0,"max_latency":0,"distr_latency":[0.001167,0.002895,0.003199,0.003319,0.003383,0.003463,0.003567,0.003943,0.004991,0.005047,0.005135,0.005303,0.010927,0.047519,0.667135,0.767487,0.767487,0.767487]}
+{"name":"spectralnorm2.5_500","mean_latency":0,"max_latency":0,"distr_latency":[0.001063,0.001959,0.002039,0.002103,0.002127,0.002159,0.002215,0.002295,0.003551,0.003679,0.003767,0.003855,0.004055,0.028447,0.064063,0.770047,0.770047,0.770047]}
+{"name":"sequence_cps.10000","mean_latency":0,"max_latency":0,"distr_latency":[0.001039,0.002223,0.002367,0.002511,0.002567,0.002607,0.002655,0.002743,0.003351,0.003959,0.004223,0.004559,0.008735,0.043935,0.062495,0.469759,0.469759,0.469759]}
+{"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":279,"distr_latency":[0.004959,0.097215,0.200959,0.336383,0.430847,0.580607,0.792575,1.027071,1.392639,1.461247,1.510399,1.571839,1.717247,36.175871,184.025087,279.445503,279.445503,279.445503]}
+{"name":"test_decompress.64_524_288","mean_latency":0,"max_latency":1,"distr_latency":[0.003703,0.012687,0.021007,0.026399,0.028063,0.031647,0.039071,0.044031,0.048415,0.050143,0.052415,0.065503,0.090111,0.136319,1.067007,1.067007,1.067007,1.067007]}
+{"name":"zarith_pi.10_000","mean_latency":0,"max_latency":75,"distr_latency":[0.000127,0.012631,0.013695,0.021743,0.023055,0.023679,0.024335,0.025327,0.029871,0.032831,0.036639,0.041343,0.046207,0.084287,72.351743,75.497471,75.497471,75.497471]}
+{"name":"floyd_warshall.512","mean_latency":0,"max_latency":1,"distr_latency":[0.008487,0.023327,0.044063,0.069631,0.213759,0.729599,0.801791,0.897023,1.174527,1.213439,1.275903,1.324031,1.570815,1.719295,1.732607,1.732607,1.732607,1.732607]}
+{"name":"regexredux2.","mean_latency":1,"max_latency":60,"distr_latency":[0.073023,1.722367,1.763327,2.174975,2.281471,2.613247,2.809855,2.859007,3.774463,3.780607,3.792895,3.844095,4.005887,19.070975,60.817407,60.817407,60.817407,60.817407]}
+{"name":"hamming.1_000_000","mean_latency":0,"max_latency":4,"distr_latency":[0.194687,0.856575,0.928255,0.954367,0.963583,0.971263,0.979967,1.011711,1.465343,1.734655,2.088959,2.183167,2.285567,2.449407,4.284415,4.284415,4.284415,4.284415]}
+{"name":"markbench.20","mean_latency":36,"max_latency":1465,"distr_latency":[0.838143,3.262463,3.284991,3.344383,3.467263,3.627007,3.813375,3.930111,4.378623,4.575231,4.702207,1450.180607,1458.569215,1462.763519,1465.909247,1465.909247,1465.909247,1465.909247]}
+{"name":"binarytrees5.21","mean_latency":0,"max_latency":9,"distr_latency":[0.005135,0.051135,0.180735,0.645631,0.946175,1.267711,2.002943,2.646015,2.899967,4.071423,4.136959,4.169727,4.251647,5.083135,6.094847,9.814015,9.814015,9.814015]}
+{"name":"mergesort.67108864","mean_latency":1,"max_latency":130,"distr_latency":[0.003407,0.007823,0.008727,0.009135,0.009503,0.009855,0.010335,0.011079,0.035839,0.037567,0.038911,0.083071,0.381183,130.678783,130.678783,130.678783,130.678783,130.678783]}
+{"name":"LU_decomposition.1024","mean_latency":0,"max_latency":0,"distr_latency":[0.001063,0.001927,0.002023,0.002063,0.002079,0.002103,0.002135,0.002207,0.002431,0.003639,0.003799,0.003935,0.004119,0.034655,0.087231,0.754175,0.754175,0.754175]}
+{"name":"graph500_seq_kernel1.edges_data","mean_latency":2,"max_latency":712,"distr_latency":[0.499455,3.586047,3.608575,3.633151,3.649535,3.676159,3.729407,3.821567,3.973119,4.362239,4.833279,5.042175,5.394431,17.170431,695.730175,712.507391,712.507391,712.507391]}
+{"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.006991,0.009319,0.012783,0.016591,0.022783,0.028319,0.049599,0.088767,0.102527,0.117311,0.132223,0.159999,0.338431,0.785407,0.785407,0.785407,0.785407]}
+{"name":"zdd.words_txt","mean_latency":1,"max_latency":16,"distr_latency":[0.629759,0.863743,1.064959,1.168383,1.227775,1.282047,1.352703,1.639423,3.160063,3.553279,3.971071,4.276223,5.943295,12.607487,16.351231,16.351231,16.351231,16.351231]}
+{"name":"yojson_ydump.sample.json","mean_latency":0,"max_latency":1,"distr_latency":[0.000207,0.133759,0.218623,0.373759,0.439039,0.462335,0.489983,0.534015,0.555519,0.561151,0.565247,0.581119,0.676863,1.688575,1.688575,1.688575,1.688575,1.688575]}
+{"name":"thread_ring_lwt_stream.20_000","mean_latency":0,"max_latency":2,"distr_latency":[0.357375,0.589311,0.597503,0.642559,0.839167,0.995839,1.059839,1.075199,1.087487,1.091583,1.095679,1.115135,1.154047,1.271807,2.060287,2.123775,2.123775,2.123775]}
+{"name":"kb.","mean_latency":0,"max_latency":1,"distr_latency":[0.051679,0.150527,0.168703,0.193663,0.205311,0.220159,0.245631,0.302079,0.396287,0.427263,0.459263,0.500479,0.542207,0.708607,1.215487,1.215487,1.215487,1.215487]}
+{"name":"fasta6.25_000_000","mean_latency":0,"max_latency":0,"distr_latency":[0.000223,0.032799,0.052383,0.052383,0.078463,0.078463,0.078463,0.078463,0.382975,0.382975,0.382975,0.382975,0.382975,0.382975,0.382975,0.382975,0.382975,0.382975]}
+{"name":"qr-decomposition.","mean_latency":0,"max_latency":1,"distr_latency":[0.001303,0.002823,0.003023,0.003127,0.003183,0.003255,0.003367,0.003623,0.006399,0.006599,0.007111,0.008847,0.014311,0.077631,0.299007,1.556479,1.556479,1.556479]}
+{"name":"knucleotide.","mean_latency":0,"max_latency":5,"distr_latency":[0.001367,0.002303,0.002535,0.002815,0.003767,0.004047,0.004511,0.014287,0.074239,0.292863,0.322559,0.945663,3.868671,4.349951,5.926911,5.926911,5.926911,5.926911]}
+{"name":"pidigits5.10_000","mean_latency":0,"max_latency":64,"distr_latency":[0.000135,0.017263,0.018319,0.018895,0.019263,0.019999,0.024927,0.033247,0.036639,0.039199,0.041727,0.047039,0.055039,0.084287,62.226431,64.716799,64.716799,64.716799]}
+{"name":"levinson-durbin.","mean_latency":0,"max_latency":0,"distr_latency":[0.002567,0.012551,0.013775,0.019391,0.020383,0.021055,0.021871,0.023743,0.033471,0.036895,0.041215,0.047039,0.056479,0.078015,0.103231,0.248703,0.248703,0.248703]}
+{"name":"knucleotide3.","mean_latency":0,"max_latency":4,"distr_latency":[0.001231,0.002199,0.002431,0.002671,0.003743,0.003975,0.004143,0.013783,0.015623,0.019023,0.033151,0.067519,3.631103,3.833855,4.022271,4.022271,4.022271,4.022271]}
+{"name":"minilight.roomfront","mean_latency":0,"max_latency":0,"distr_latency":[0.001263,0.005199,0.005559,0.005911,0.006111,0.006351,0.006663,0.007127,0.007959,0.008223,0.008623,0.009415,0.012975,0.060063,0.108863,0.395007,0.740863,0.740863]}
+{"name":"cubicle.german_pfs.cub","mean_latency":0,"max_latency":5,"distr_latency":[0.013887,0.041247,0.065023,0.106047,0.133759,0.152959,0.172415,0.198527,0.295167,0.428799,1.192959,1.247231,1.371135,1.784831,2.026495,4.124671,5.083135,5.083135]}
+{"name":"bdd.26","mean_latency":0,"max_latency":3,"distr_latency":[0.001119,0.002855,0.002999,0.003103,0.003167,0.003247,0.003351,0.003783,0.004967,0.005287,0.011367,0.024559,0.094207,1.435647,2.977791,3.160063,3.160063,3.160063]}
+{"name":"owl_gc.","mean_latency":0,"max_latency":12,"distr_latency":[0.005671,0.012999,0.016783,0.024527,0.044351,0.141951,0.157695,0.159359,0.162303,0.165887,0.169599,0.173567,0.177791,0.308479,12.419071,12.992511,12.992511,12.992511]}
+{"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.010703,0.031711,0.137855,0.216063,0.222207,0.232063,0.235135,0.240895,0.250495,0.251135,0.253055,0.253055,0.255487,0.648191,0.648191,0.648191,0.648191,0.648191]}
+{"name":"crout-decomposition.","mean_latency":0,"max_latency":2,"distr_latency":[0.001127,0.002351,0.002511,0.002599,0.002647,0.002703,0.002791,0.003183,0.006175,0.008063,0.009831,0.015327,0.035743,0.109951,2.291711,2.291711,2.291711,2.291711]}
+{"name":"chameneos_redux_lwt.600000","mean_latency":0,"max_latency":1,"distr_latency":[0.001159,0.022143,0.022735,0.023775,0.025135,0.026351,0.027871,0.029471,0.033343,0.033919,0.035071,0.037087,0.050143,0.095807,1.172479,1.172479,1.172479,1.172479]}
+{"name":"fasta3.25_000_000","mean_latency":0,"max_latency":0,"distr_latency":[0.001271,0.002143,0.002287,0.002383,0.002455,0.003567,0.003695,0.003775,0.003927,0.013031,0.014071,0.014887,0.016007,0.073663,0.429567,0.429567,0.429567,0.429567]}
+{"name":"test_lwt.200","mean_latency":0,"max_latency":1,"distr_latency":[0.021071,0.038815,0.044127,0.050015,0.053855,0.059327,0.064415,0.073535,0.119807,0.133119,0.145023,0.155135,0.172799,0.218367,0.507135,1.729535,1.729535,1.729535]}
+{"name":"durand-kerner-aberth.","mean_latency":0,"max_latency":0,"distr_latency":[0.002055,0.006407,0.007015,0.008807,0.008919,0.009023,0.009151,0.009487,0.012335,0.013767,0.015855,0.020191,0.026175,0.071871,0.082559,0.678399,0.678399,0.678399]}
+{"name":"quicksort.4000000","mean_latency":1,"max_latency":4,"distr_latency":[0.000119,0.393983,0.393983,0.393983,0.393983,0.393983,4.595711,4.595711,4.595711,4.595711,4.595711,4.595711,4.595711,4.595711,4.595711,4.595711,4.595711,4.595711]}