Automated commit (Turing)

pausetimes_seq/turing/20240918_031314/550f3710c2f90b112f78cc8f4dbc7de4a47d1ec6/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.002831,0.003151,0.003439,0.003583,0.003719,0.003871,0.004079,0.005159,0.005487,0.005879,0.007455,0.010175,0.040735,0.076095,0.936959,0.936959,0.936959]}
+{"name":"alt-ergo.fill.why","mean_latency":0,"max_latency":2,"distr_latency":[0.072831,0.291071,0.496639,0.532991,0.549887,0.563199,0.580607,0.634367,0.765439,0.888831,1.489919,1.900543,2.034687,2.656255,2.656255,2.656255,2.656255,2.656255]}
+{"name":"nqueens.14","mean_latency":0,"max_latency":0,"distr_latency":[0.001935,0.004239,0.004383,0.004487,0.004543,0.004599,0.004663,0.013767,0.016767,0.016895,0.017503,0.017983,0.021919,0.082815,0.225535,0.225535,0.225535,0.225535]}
+{"name":"game_of_life.256","mean_latency":0,"max_latency":0,"distr_latency":[0.011271,0.027631,0.115455,0.166527,0.197119,0.221055,0.230399,0.236159,0.241663,0.243455,0.243455,0.246271,0.246271,0.694783,0.694783,0.694783,0.694783,0.694783]}
+{"name":"revcomp2.","mean_latency":1,"max_latency":4,"distr_latency":[0.541183,0.868351,0.945151,0.976383,1.610751,1.965055,1.988607,2.015231,2.053119,2.077695,2.121727,2.158591,2.199551,2.455551,4.382719,4.382719,4.382719,4.382719]}
+{"name":"menhir.sql-parser","mean_latency":0,"max_latency":8,"distr_latency":[0.001087,0.002647,0.003023,0.011231,0.031903,0.078015,0.188415,0.354047,0.729599,0.911871,1.386495,1.528831,1.870847,4.243455,8.040447,8.945663,8.945663,8.945663]}
+{"name":"menhir.sysver","mean_latency":0,"max_latency":38,"distr_latency":[0.001047,0.002535,0.002687,0.002879,0.003095,0.004527,0.032799,0.278015,0.870399,1.033215,1.342463,1.513471,1.887231,3.964927,6.393855,20.119551,38.993919,38.993919]}
+{"name":"thread_ring_lwt_mvar.20_000","mean_latency":0,"max_latency":1,"distr_latency":[0.124991,0.207103,0.211455,0.215551,0.217983,0.222463,0.297215,0.400639,0.429567,0.430591,0.432127,0.434687,0.442367,0.551935,0.910847,1.035263,1.035263,1.035263]}
+{"name":"alt-ergo.yyll.why","mean_latency":0,"max_latency":7,"distr_latency":[0.007335,0.016103,0.028319,0.052671,0.075007,0.104767,0.144767,0.215295,0.395775,0.466943,0.555519,0.688127,1.006591,2.359295,5.988351,7.856127,7.856127,7.856127]}
+{"name":"fft.","mean_latency":0,"max_latency":5,"distr_latency":[0.377087,0.731647,0.744447,0.753151,0.757247,0.763903,0.822783,1.341439,1.369087,1.382399,1.410047,1.460223,1.558527,2.746367,5.423103,5.423103,5.423103,5.423103]}
+{"name":"cubicle.szymanski_at.cub","mean_latency":0,"max_latency":4,"distr_latency":[0.025183,0.068543,0.093183,0.129855,0.156159,0.187263,0.219647,0.280319,0.522751,0.582655,0.684031,0.920063,1.021439,2.433023,2.852863,3.252223,3.461119,4.972543]}
+{"name":"kb_no_exc.","mean_latency":0,"max_latency":2,"distr_latency":[0.123647,0.363263,0.397055,0.428287,0.447231,0.470527,0.525823,0.663551,0.910335,0.939007,0.995839,1.065983,1.145855,1.449983,2.287615,2.287615,2.287615,2.287615]}
+{"name":"evolutionary_algorithm.10000_10000","mean_latency":0,"max_latency":12,"distr_latency":[0.003695,0.005159,0.005631,0.006295,0.007047,0.084799,0.125119,0.242431,0.248959,0.251391,0.254079,0.257919,0.264703,0.322559,0.389887,12.550143,12.550143,12.550143]}
+{"name":"soli.2000","mean_latency":0,"max_latency":0,"distr_latency":[0.023023,0.023023,0.023023,0.023023,0.239999,0.239999,0.239999,0.239999,0.239999,0.239999,0.239999,0.239999,0.239999,0.239999,0.239999,0.239999,0.239999,0.239999]}
+{"name":"lexifi-g2pp.","mean_latency":0,"max_latency":0,"distr_latency":[0.001175,0.002871,0.003111,0.003239,0.003319,0.003399,0.003551,0.004711,0.005047,0.005167,0.005431,0.009591,0.014687,0.051487,0.604671,0.712191,0.712191,0.712191]}
+{"name":"spectralnorm2.5_500","mean_latency":0,"max_latency":0,"distr_latency":[0.001063,0.001983,0.002071,0.002127,0.002151,0.002183,0.002255,0.002351,0.003599,0.003727,0.003839,0.003919,0.004055,0.029855,0.066495,0.776191,0.776191,0.776191]}
+{"name":"sequence_cps.10000","mean_latency":0,"max_latency":0,"distr_latency":[0.001063,0.002247,0.002399,0.002527,0.002583,0.002631,0.002703,0.002855,0.004175,0.004399,0.004759,0.007495,0.009111,0.039711,0.122687,0.467967,0.467967,0.467967]}
+{"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.005295,0.096127,0.199167,0.333567,0.428287,0.564735,0.768511,1.000959,1.361919,1.428479,1.476607,1.545215,1.683455,38.174719,180.486143,278.921215,278.921215,278.921215]}
+{"name":"test_decompress.64_524_288","mean_latency":0,"max_latency":1,"distr_latency":[0.003743,0.012871,0.020927,0.026495,0.028351,0.031967,0.039263,0.043807,0.048415,0.050047,0.052543,0.062911,0.087871,0.135551,1.101823,1.101823,1.101823,1.101823]}
+{"name":"zarith_pi.10_000","mean_latency":0,"max_latency":75,"distr_latency":[0.000127,0.012863,0.014871,0.023199,0.023839,0.024495,0.025599,0.030223,0.036607,0.037503,0.039231,0.043775,0.050879,0.088511,73.465855,75.366399,75.366399,75.366399]}
+{"name":"floyd_warshall.512","mean_latency":0,"max_latency":1,"distr_latency":[0.008599,0.024271,0.044479,0.076735,0.185471,0.716287,0.801279,0.880127,1.186815,1.197055,1.232895,1.335295,1.608703,1.732607,1.741823,1.741823,1.741823,1.741823]}
+{"name":"regexredux2.","mean_latency":1,"max_latency":60,"distr_latency":[0.071231,1.720319,1.758207,2.177023,2.281471,2.635775,2.813951,2.859007,3.770367,3.780607,3.792895,3.833855,3.979263,19.136511,60.719103,60.719103,60.719103,60.719103]}
+{"name":"hamming.1_000_000","mean_latency":0,"max_latency":4,"distr_latency":[0.187775,0.841727,0.912383,0.941567,0.950783,0.956927,0.969215,1.008639,1.445887,1.496063,1.995775,2.050047,2.140159,2.760703,4.095999,4.095999,4.095999,4.095999]}
+{"name":"markbench.20","mean_latency":36,"max_latency":1473,"distr_latency":[0.837631,3.319807,3.338239,3.399679,3.506175,3.622911,3.815423,3.934207,4.460543,4.653055,4.780031,1462.763519,1465.909247,1473.249279,1473.249279,1473.249279,1473.249279,1473.249279]}
+{"name":"binarytrees5.21","mean_latency":0,"max_latency":7,"distr_latency":[0.005031,0.051455,0.177535,0.655359,0.949759,1.272831,2.011135,2.654207,2.906111,4.075519,4.141055,4.184063,4.255743,5.079039,5.963775,7.790591,7.790591,7.790591]}
+{"name":"mergesort.67108864","mean_latency":1,"max_latency":132,"distr_latency":[0.002839,0.006551,0.007455,0.007711,0.007863,0.008007,0.008287,0.009111,0.033343,0.033823,0.034175,0.039039,0.384767,132.775935,132.775935,132.775935,132.775935,132.775935]}
+{"name":"LU_decomposition.1024","mean_latency":0,"max_latency":0,"distr_latency":[0.001047,0.001935,0.001999,0.002047,0.002071,0.002119,0.002199,0.002311,0.003719,0.003871,0.004015,0.004503,0.007655,0.037407,0.079167,0.766975,0.766975,0.766975]}
+{"name":"graph500_seq_kernel1.edges_data","mean_latency":2,"max_latency":714,"distr_latency":[0.507391,3.579903,3.606527,3.631103,3.647487,3.674111,3.721215,3.813375,3.946495,4.280319,4.800511,5.005311,5.320703,17.776639,700.448767,714.080255,714.080255,714.080255]}
+{"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.000927,0.006671,0.008231,0.012127,0.016367,0.023119,0.027903,0.048703,0.088255,0.102015,0.115583,0.129791,0.151807,0.343295,0.768511,0.768511,0.768511,0.768511]}
+{"name":"zdd.words_txt","mean_latency":1,"max_latency":16,"distr_latency":[0.638975,0.863231,1.061887,1.171455,1.234943,1.296383,1.353727,1.636351,3.160063,3.479551,3.946495,4.300799,5.902335,12.713983,16.506879,16.506879,16.506879,16.506879]}
+{"name":"yojson_ydump.sample.json","mean_latency":0,"max_latency":1,"distr_latency":[0.000191,0.137343,0.216831,0.365311,0.434175,0.460287,0.489727,0.535551,0.551423,0.559103,0.560639,0.570367,0.663551,1.479679,1.479679,1.479679,1.479679,1.479679]}
+{"name":"thread_ring_lwt_stream.20_000","mean_latency":0,"max_latency":2,"distr_latency":[0.349695,0.571903,0.600063,0.626687,0.795135,0.856063,0.970239,1.064959,1.085439,1.089535,1.094655,1.103871,1.154047,1.278975,1.941503,2.053119,2.053119,2.053119]}
+{"name":"kb.","mean_latency":0,"max_latency":1,"distr_latency":[0.051871,0.150527,0.167423,0.194047,0.206335,0.221183,0.245631,0.298751,0.391679,0.417023,0.454655,0.502015,0.554495,0.726015,1.207295,1.207295,1.207295,1.207295]}
+{"name":"fasta6.25_000_000","mean_latency":0,"max_latency":0,"distr_latency":[0.000215,0.031999,0.052543,0.052543,0.077439,0.077439,0.077439,0.077439,0.390655,0.390655,0.390655,0.390655,0.390655,0.390655,0.390655,0.390655,0.390655,0.390655]}
+{"name":"qr-decomposition.","mean_latency":0,"max_latency":1,"distr_latency":[0.001359,0.002895,0.003087,0.003191,0.003247,0.003319,0.003431,0.003679,0.006375,0.006591,0.007007,0.008719,0.014991,0.071167,0.367359,1.321983,1.321983,1.321983]}
+{"name":"knucleotide.","mean_latency":0,"max_latency":6,"distr_latency":[0.001471,0.002343,0.002583,0.003015,0.003935,0.004143,0.004703,0.014591,0.071359,0.291327,0.323583,0.943615,3.960831,4.366335,6.250495,6.250495,6.250495,6.250495]}
+{"name":"pidigits5.10_000","mean_latency":0,"max_latency":66,"distr_latency":[0.000135,0.017119,0.018415,0.019071,0.019439,0.020143,0.025007,0.033087,0.037119,0.039231,0.041855,0.046751,0.055039,0.087999,62.554111,66.945023,66.945023,66.945023]}
+{"name":"levinson-durbin.","mean_latency":0,"max_latency":0,"distr_latency":[0.002703,0.012631,0.014263,0.019839,0.020879,0.021727,0.022831,0.025455,0.035743,0.038143,0.041855,0.046943,0.055391,0.077631,0.105919,0.292863,0.292863,0.292863]}
+{"name":"knucleotide3.","mean_latency":0,"max_latency":4,"distr_latency":[0.001191,0.002143,0.002407,0.002679,0.003863,0.004031,0.004207,0.013791,0.016119,0.021823,0.034783,0.066431,3.598335,3.809279,4.034559,4.034559,4.034559,4.034559]}
+{"name":"minilight.roomfront","mean_latency":0,"max_latency":0,"distr_latency":[0.001847,0.005367,0.005751,0.006135,0.006359,0.006615,0.006959,0.007455,0.008359,0.008671,0.009151,0.010031,0.012431,0.059615,0.110271,0.252671,0.740863,0.740863]}
+{"name":"cubicle.german_pfs.cub","mean_latency":0,"max_latency":6,"distr_latency":[0.013927,0.041023,0.064159,0.104255,0.132095,0.152191,0.171647,0.197631,0.293119,0.425215,1.197055,1.252351,1.382399,1.799167,2.095103,5.152767,6.062079,6.062079]}
+{"name":"bdd.26","mean_latency":0,"max_latency":3,"distr_latency":[0.001135,0.002791,0.002943,0.003039,0.003087,0.003159,0.003279,0.003623,0.004967,0.005287,0.011511,0.024351,0.093951,1.422335,2.965503,3.194879,3.194879,3.194879]}
+{"name":"owl_gc.","mean_latency":0,"max_latency":12,"distr_latency":[0.005711,0.013007,0.016927,0.026079,0.044479,0.143615,0.157951,0.159615,0.164351,0.167807,0.172671,0.175103,0.179199,0.307199,12.705791,12.910591,12.910591,12.910591]}
+{"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.011447,0.035711,0.118527,0.213247,0.231295,0.236031,0.240639,0.247167,0.251263,0.251903,0.257663,0.257663,0.264447,0.663551,0.663551,0.663551,0.663551,0.663551]}
+{"name":"crout-decomposition.","mean_latency":0,"max_latency":2,"distr_latency":[0.001143,0.002359,0.002543,0.002647,0.002703,0.002783,0.002895,0.004159,0.006503,0.008231,0.010103,0.015663,0.035263,0.110719,2.324479,2.324479,2.324479,2.324479]}
+{"name":"chameneos_redux_lwt.600000","mean_latency":0,"max_latency":1,"distr_latency":[0.001239,0.022079,0.022671,0.023743,0.024943,0.025983,0.027663,0.029487,0.033119,0.034079,0.035327,0.036607,0.051999,0.096959,1.020927,1.020927,1.020927,1.020927]}
+{"name":"fasta3.25_000_000","mean_latency":0,"max_latency":0,"distr_latency":[0.001319,0.002311,0.002423,0.002519,0.002607,0.003647,0.003783,0.003895,0.004087,0.013151,0.014303,0.015223,0.016103,0.073151,0.425471,0.425471,0.425471,0.425471]}
+{"name":"test_lwt.200","mean_latency":0,"max_latency":1,"distr_latency":[0.021375,0.039359,0.044799,0.050751,0.054783,0.059935,0.065439,0.074751,0.120127,0.131199,0.144639,0.155903,0.171647,0.225663,1.680383,1.949695,1.949695,1.949695]}
+{"name":"durand-kerner-aberth.","mean_latency":0,"max_latency":0,"distr_latency":[0.002159,0.006439,0.007047,0.008879,0.008975,0.009079,0.009207,0.009535,0.012455,0.013711,0.015631,0.020015,0.025727,0.065791,0.083199,0.680447,0.680447,0.680447]}
+{"name":"quicksort.4000000","mean_latency":1,"max_latency":4,"distr_latency":[0.000159,0.410623,0.410623,0.410623,0.410623,0.410623,4.175871,4.175871,4.175871,4.175871,4.175871,4.175871,4.175871,4.175871,4.175871,4.175871,4.175871,4.175871]}