Automated commit (Turing)

pausetimes_seq/turing/20241229_031640/f28bfbcb232b017460cb0ba7f9ec8cf1cf773811/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.000999,0.002871,0.003127,0.003383,0.003503,0.003607,0.003703,0.003823,0.004079,0.004263,0.004735,0.007767,0.009319,0.033247,0.066623,0.973823,0.973823,0.973823]}
+{"name":"alt-ergo.fill.why","mean_latency":0,"max_latency":2,"distr_latency":[0.066239,0.291839,0.494591,0.533503,0.544255,0.553983,0.572927,0.624127,0.817663,0.905727,1.374207,1.475583,1.899519,2.902015,2.902015,2.902015,2.902015,2.902015]}
+{"name":"nqueens.14","mean_latency":0,"max_latency":0,"distr_latency":[0.001151,0.002815,0.002895,0.002975,0.003023,0.003079,0.003183,0.008431,0.010295,0.010519,0.010687,0.011871,0.018495,0.078271,0.221311,0.221311,0.221311,0.221311]}
+{"name":"game_of_life.256","mean_latency":0,"max_latency":0,"distr_latency":[0.010215,0.025711,0.078207,0.162303,0.211967,0.217343,0.221055,0.227071,0.233727,0.236543,0.236543,0.239487,0.239487,0.673791,0.673791,0.673791,0.673791,0.673791]}
+{"name":"revcomp2.","mean_latency":1,"max_latency":4,"distr_latency":[0.525311,0.849919,0.946687,0.970239,1.613823,1.952767,1.969151,1.987583,1.998847,2.002943,2.010111,2.063359,2.123775,2.740223,4.669439,4.669439,4.669439,4.669439]}
+{"name":"menhir.sql-parser","mean_latency":0,"max_latency":8,"distr_latency":[0.000967,0.002615,0.002791,0.010383,0.030463,0.077055,0.185855,0.351231,0.709631,0.871935,1.338367,1.534975,1.880063,3.837951,7.475199,8.232959,8.232959,8.232959]}
+{"name":"menhir.sysver","mean_latency":0,"max_latency":41,"distr_latency":[0.000967,0.002599,0.002751,0.002831,0.002887,0.003055,0.030559,0.274175,0.838143,0.952831,1.273855,1.435647,1.718271,3.846143,6.017023,18.366463,41.877503,41.877503]}
+{"name":"thread_ring_lwt_mvar.20_000","mean_latency":0,"max_latency":0,"distr_latency":[0.121279,0.195455,0.197503,0.201343,0.202879,0.205567,0.278015,0.392191,0.398847,0.399615,0.400895,0.401919,0.403967,0.467711,0.848383,0.911871,0.911871,0.911871]}
+{"name":"alt-ergo.yyll.why","mean_latency":0,"max_latency":6,"distr_latency":[0.006647,0.014399,0.027231,0.050975,0.072383,0.102655,0.144383,0.209279,0.385791,0.460031,0.551935,0.676351,0.982015,2.181119,5.967871,6.369279,6.369279,6.369279]}
+{"name":"fft.","mean_latency":0,"max_latency":4,"distr_latency":[0.369151,0.722431,0.740863,0.748031,0.750591,0.755199,0.765439,1.330175,1.347583,1.355775,1.364991,1.388543,1.509375,2.676735,4.898815,4.898815,4.898815,4.898815]}
+{"name":"cubicle.szymanski_at.cub","mean_latency":0,"max_latency":4,"distr_latency":[0.024079,0.065983,0.089471,0.125375,0.150655,0.180479,0.211967,0.260991,0.485887,0.543231,0.650239,0.906751,1.010687,2.322431,2.486271,3.141631,3.680255,4.870143]}
+{"name":"kb_no_exc.","mean_latency":0,"max_latency":1,"distr_latency":[0.121855,0.338687,0.358143,0.375807,0.388863,0.412415,0.455423,0.593919,0.789503,0.843263,0.879103,0.920575,0.992767,1.220607,1.530879,1.530879,1.530879,1.530879]}
+{"name":"evolutionary_algorithm.10000_10000","mean_latency":0,"max_latency":13,"distr_latency":[0.003743,0.004359,0.005287,0.005855,0.006231,0.082367,0.123711,0.241407,0.249983,0.252159,0.254207,0.256639,0.262399,0.274175,0.965631,13.893631,13.893631,13.893631]}
+{"name":"soli.2000","mean_latency":0,"max_latency":0,"distr_latency":[0.022143,0.022143,0.022143,0.022143,0.231423,0.231423,0.231423,0.231423,0.231423,0.231423,0.231423,0.231423,0.231423,0.231423,0.231423,0.231423,0.231423,0.231423]}
+{"name":"lexifi-g2pp.","mean_latency":0,"max_latency":0,"distr_latency":[0.000967,0.002703,0.002863,0.002935,0.002967,0.003007,0.003055,0.003119,0.003239,0.003287,0.003383,0.003591,0.008727,0.036671,0.648191,0.780799,0.780799,0.780799]}
+{"name":"spectralnorm2.5_500","mean_latency":0,"max_latency":0,"distr_latency":[0.001031,0.002079,0.002159,0.002207,0.002239,0.002295,0.002359,0.002431,0.002535,0.002583,0.002647,0.002831,0.006743,0.010511,0.054303,0.745983,0.745983,0.745983]}
+{"name":"sequence_cps.10000","mean_latency":0,"max_latency":0,"distr_latency":[0.000983,0.002327,0.002439,0.002567,0.002599,0.002631,0.002655,0.002695,0.002887,0.002935,0.003071,0.003679,0.007815,0.029343,0.053663,0.475135,0.475135,0.475135]}
+{"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":268,"distr_latency":[0.003407,0.087807,0.183167,0.300799,0.406271,0.538111,0.711167,0.961023,1.338367,1.400831,1.453055,1.513471,1.647615,34.406399,173.015039,268.173311,268.173311,268.173311]}
+{"name":"test_decompress.64_524_288","mean_latency":0,"max_latency":1,"distr_latency":[0.003703,0.012191,0.020175,0.025279,0.027919,0.031247,0.035231,0.039391,0.042559,0.044511,0.046783,0.053311,0.079999,0.126655,1.100799,1.100799,1.100799,1.100799]}
+{"name":"zarith_pi.10_000","mean_latency":0,"max_latency":75,"distr_latency":[0.000119,0.012303,0.013247,0.020367,0.022223,0.022831,0.023423,0.024095,0.027887,0.029951,0.033695,0.037663,0.043967,0.061087,69.926911,75.890687,75.890687,75.890687]}
+{"name":"floyd_warshall.512","mean_latency":0,"max_latency":1,"distr_latency":[0.008359,0.023855,0.043519,0.074431,0.187903,0.704511,0.782847,0.880127,1.136639,1.171455,1.225727,1.323007,1.545215,1.737727,1.737727,1.737727,1.737727,1.737727]}
+{"name":"regexredux2.","mean_latency":1,"max_latency":60,"distr_latency":[0.067199,1.702911,1.734655,2.174975,2.207743,2.562047,2.791423,2.824191,3.756031,3.758079,3.760127,3.766271,3.788799,18.776063,60.293119,60.293119,60.293119,60.293119]}
+{"name":"hamming.1_000_000","mean_latency":0,"max_latency":4,"distr_latency":[0.187007,0.819199,0.906751,0.933887,0.942079,0.949247,0.954367,0.966143,1.433599,1.518591,2.009087,2.097151,2.242559,2.449407,4.210687,4.210687,4.210687,4.210687]}
+{"name":"markbench.20","mean_latency":34,"max_latency":1400,"distr_latency":[0.818687,3.317759,3.325951,3.342335,3.358719,3.586047,3.790847,3.848191,4.038655,4.067327,4.157439,1392.508927,1394.606079,1399.848959,1400.897535,1400.897535,1400.897535,1400.897535]}
+{"name":"binarytrees5.21","mean_latency":0,"max_latency":9,"distr_latency":[0.004863,0.049631,0.173055,0.639487,0.941567,1.231871,1.999871,2.566143,2.832383,4.063231,4.134911,4.149247,4.190207,5.033983,6.008831,9.314303,9.314303,9.314303]}
+{"name":"mergesort.67108864","mean_latency":1,"max_latency":132,"distr_latency":[0.002391,0.007047,0.007919,0.008287,0.008527,0.008711,0.009095,0.019855,0.026351,0.027407,0.027583,0.029407,0.382207,132.775935,132.775935,132.775935,132.775935,132.775935]}
+{"name":"LU_decomposition.1024","mean_latency":0,"max_latency":0,"distr_latency":[0.000919,0.002191,0.002271,0.002303,0.002319,0.002343,0.002367,0.002415,0.002575,0.002607,0.002647,0.002711,0.003439,0.021951,0.085631,0.797183,0.797183,0.797183]}
+{"name":"graph500_seq_kernel1.edges_data","mean_latency":2,"max_latency":709,"distr_latency":[0.446975,3.651583,3.672063,3.686399,3.692543,3.700735,3.715071,3.741695,3.868671,4.202495,4.706303,4.947967,5.189631,8.937471,689.438719,709.885951,709.885951,709.885951]}
+{"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.000951,0.005759,0.007719,0.010759,0.015479,0.021039,0.026575,0.050079,0.086463,0.095615,0.114431,0.128191,0.149119,0.331519,0.765439,0.765439,0.765439,0.765439]}
+{"name":"zdd.words_txt","mean_latency":1,"max_latency":16,"distr_latency":[0.626687,0.823807,1.041407,1.151999,1.215487,1.270783,1.320959,1.628159,3.166207,3.506175,3.944447,4.192255,5.840895,12.197887,16.343039,16.343039,16.343039,16.343039]}
+{"name":"yojson_ydump.sample.json","mean_latency":0,"max_latency":1,"distr_latency":[0.000175,0.131583,0.206975,0.358655,0.428543,0.454911,0.479487,0.526847,0.536063,0.537599,0.539135,0.542719,0.683519,1.477631,1.477631,1.477631,1.477631,1.477631]}
+{"name":"thread_ring_lwt_stream.20_000","mean_latency":0,"max_latency":2,"distr_latency":[0.336383,0.475391,0.479999,0.489471,0.766975,0.824319,0.841215,0.852991,0.864767,0.867839,0.871935,0.876543,0.882687,0.902143,2.082815,2.686975,2.686975,2.686975]}
+{"name":"kb.","mean_latency":0,"max_latency":0,"distr_latency":[0.050751,0.139903,0.154879,0.176639,0.187775,0.201471,0.218111,0.268031,0.346111,0.372991,0.391935,0.419327,0.461055,0.626175,0.951807,0.951807,0.951807,0.951807]}
+{"name":"fasta6.25_000_000","mean_latency":0,"max_latency":0,"distr_latency":[0.000207,0.028895,0.047871,0.047871,0.073791,0.073791,0.073791,0.073791,0.365055,0.365055,0.365055,0.365055,0.365055,0.365055,0.365055,0.365055,0.365055,0.365055]}
+{"name":"qr-decomposition.","mean_latency":0,"max_latency":1,"distr_latency":[0.001215,0.002935,0.003039,0.003111,0.003151,0.003199,0.003263,0.003391,0.006663,0.007031,0.007991,0.008903,0.013791,0.080063,0.299519,1.384447,1.384447,1.384447]}
+{"name":"knucleotide.","mean_latency":0,"max_latency":5,"distr_latency":[0.001159,0.002311,0.002511,0.002663,0.002711,0.002815,0.007807,0.010159,0.070207,0.272383,0.318975,0.957951,3.889151,4.280319,5.906431,5.906431,5.906431,5.906431]}
+{"name":"pidigits5.10_000","mean_latency":0,"max_latency":67,"distr_latency":[0.000127,0.016831,0.018143,0.018815,0.019199,0.020351,0.030447,0.032527,0.037055,0.039775,0.043519,0.046367,0.052255,0.073599,66.060287,67.829759,67.829759,67.829759]}
+{"name":"levinson-durbin.","mean_latency":0,"max_latency":0,"distr_latency":[0.002775,0.012599,0.013791,0.019247,0.020191,0.021215,0.021775,0.022847,0.033087,0.035231,0.039359,0.044543,0.052799,0.069823,0.084351,0.234623,0.234623,0.234623]}
+{"name":"knucleotide3.","mean_latency":0,"max_latency":4,"distr_latency":[0.001063,0.002391,0.002567,0.002671,0.002711,0.002815,0.003087,0.009535,0.011551,0.013831,0.036351,0.072127,3.674111,3.842047,4.130815,4.130815,4.130815,4.130815]}
+{"name":"minilight.roomfront","mean_latency":0,"max_latency":0,"distr_latency":[0.001623,0.005415,0.005767,0.006103,0.006287,0.006503,0.006767,0.007127,0.007871,0.008159,0.008647,0.009615,0.011463,0.055039,0.103935,0.254335,0.731647,0.731647]}
+{"name":"cubicle.german_pfs.cub","mean_latency":0,"max_latency":28,"distr_latency":[0.013375,0.039519,0.060671,0.097279,0.123519,0.147839,0.166271,0.186879,0.274431,0.400639,0.954879,1.154047,1.213439,1.604607,1.836031,5.771263,28.917759,28.917759]}
+{"name":"bdd.26","mean_latency":0,"max_latency":3,"distr_latency":[0.001103,0.002943,0.003095,0.003199,0.003263,0.003343,0.003431,0.003583,0.004031,0.007103,0.010191,0.022911,0.086591,1.530879,2.973695,3.147775,3.147775,3.147775]}
+{"name":"owl_gc.","mean_latency":0,"max_latency":14,"distr_latency":[0.006031,0.013351,0.017119,0.023487,0.042559,0.141183,0.158975,0.159999,0.161663,0.162047,0.162559,0.164223,0.173439,0.184959,14.155775,14.311423,14.311423,14.311423]}
+{"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.010983,0.028783,0.110975,0.212351,0.222847,0.228351,0.232319,0.240639,0.251007,0.251007,0.253695,0.253695,0.257407,0.652287,0.652287,0.652287,0.652287,0.652287]}
+{"name":"crout-decomposition.","mean_latency":0,"max_latency":2,"distr_latency":[0.001007,0.002439,0.002559,0.002639,0.002687,0.002735,0.002791,0.002895,0.006295,0.008079,0.009631,0.010679,0.032335,0.127487,2.252799,2.252799,2.252799,2.252799]}
+{"name":"chameneos_redux_lwt.600000","mean_latency":0,"max_latency":1,"distr_latency":[0.000999,0.022095,0.022271,0.022479,0.023311,0.024079,0.024655,0.025007,0.025599,0.027135,0.029791,0.031103,0.041983,0.087807,1.034239,1.034239,1.034239,1.034239]}
+{"name":"fasta3.25_000_000","mean_latency":0,"max_latency":0,"distr_latency":[0.001015,0.002151,0.002223,0.002279,0.002295,0.002319,0.002343,0.002399,0.002703,0.007959,0.008783,0.009439,0.009887,0.071743,0.417791,0.417791,0.417791,0.417791]}
+{"name":"test_lwt.200","mean_latency":0,"max_latency":1,"distr_latency":[0.020575,0.036959,0.042207,0.048063,0.051615,0.056543,0.062111,0.068927,0.113215,0.126079,0.137471,0.146815,0.166783,0.210047,0.596479,1.919999,1.919999,1.919999]}
+{"name":"durand-kerner-aberth.","mean_latency":0,"max_latency":0,"distr_latency":[0.001759,0.006319,0.006735,0.008783,0.008879,0.008959,0.009055,0.009223,0.011999,0.013359,0.014831,0.017279,0.020895,0.060383,0.080895,0.676863,0.676863,0.676863]}
+{"name":"quicksort.4000000","mean_latency":1,"max_latency":4,"distr_latency":[0.000311,0.380415,0.380415,0.380415,0.380415,0.380415,4.061183,4.061183,4.061183,4.061183,4.061183,4.061183,4.061183,4.061183,4.061183,4.061183,4.061183,4.061183]}