Automated commit (Turing)

pausetimes_seq/turing/20240929_031353/5eb7d3d43fa7c7a4362fff396c688eafd67251bf/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.002855,0.003175,0.003463,0.003607,0.003735,0.003863,0.004087,0.005231,0.005551,0.005927,0.007511,0.010319,0.043231,0.077567,0.954879,0.954879,0.954879]}
+{"name":"alt-ergo.fill.why","mean_latency":0,"max_latency":3,"distr_latency":[0.067519,0.298495,0.502783,0.544767,0.557055,0.570367,0.588799,0.648191,0.726527,0.936447,1.410047,1.803263,1.884159,3.237887,3.237887,3.237887,3.237887,3.237887]}
+{"name":"nqueens.14","mean_latency":0,"max_latency":0,"distr_latency":[0.001943,0.004359,0.004503,0.004591,0.004631,0.004679,0.004735,0.009055,0.016831,0.016911,0.017199,0.017999,0.021567,0.082111,0.225919,0.225919,0.225919,0.225919]}
+{"name":"game_of_life.256","mean_latency":0,"max_latency":0,"distr_latency":[0.009327,0.022223,0.108351,0.161535,0.187007,0.215039,0.218623,0.224127,0.228863,0.232831,0.232831,0.232959,0.232959,0.707583,0.707583,0.707583,0.707583,0.707583]}
+{"name":"revcomp2.","mean_latency":1,"max_latency":3,"distr_latency":[0.543743,0.884735,0.945663,1.007103,1.627135,1.992703,2.013183,2.030591,2.070527,2.088959,2.138111,2.215935,2.252799,2.791423,3.602431,3.602431,3.602431,3.602431]}
+{"name":"menhir.sql-parser","mean_latency":0,"max_latency":8,"distr_latency":[0.001047,0.002615,0.002911,0.011503,0.031471,0.080127,0.189183,0.359679,0.741375,0.892415,1.418239,1.570815,1.936383,4.083711,7.614463,8.888319,8.888319,8.888319]}
+{"name":"menhir.sysver","mean_latency":0,"max_latency":39,"distr_latency":[0.001079,0.002559,0.002727,0.002951,0.003375,0.004615,0.032447,0.278015,0.855039,1.018367,1.317887,1.490943,1.866751,3.923967,6.254591,20.168703,39.124991,39.124991]}
+{"name":"thread_ring_lwt_mvar.20_000","mean_latency":0,"max_latency":0,"distr_latency":[0.125567,0.209023,0.212351,0.216319,0.218751,0.223231,0.297471,0.406527,0.428543,0.429823,0.431359,0.433407,0.438015,0.588287,0.919039,0.951807,0.951807,0.951807]}
+{"name":"alt-ergo.yyll.why","mean_latency":0,"max_latency":7,"distr_latency":[0.007039,0.014783,0.027951,0.052319,0.074687,0.105279,0.146687,0.215935,0.395519,0.466687,0.561663,0.696831,1.009151,2.271231,6.582271,7.127039,7.127039,7.127039]}
+{"name":"fft.","mean_latency":0,"max_latency":4,"distr_latency":[0.379391,0.732159,0.748031,0.754687,0.757759,0.765951,0.821759,1.343487,1.373183,1.386495,1.407999,1.438719,1.558527,2.664447,4.825087,4.825087,4.825087,4.825087]}
+{"name":"cubicle.szymanski_at.cub","mean_latency":0,"max_latency":5,"distr_latency":[0.024943,0.068095,0.092735,0.129151,0.155903,0.186623,0.218879,0.279295,0.518655,0.578047,0.680447,0.918527,1.019391,2.416639,2.854911,3.332095,3.829759,5.095423]}
+{"name":"kb_no_exc.","mean_latency":0,"max_latency":1,"distr_latency":[0.122815,0.351231,0.386815,0.416255,0.433407,0.454399,0.519423,0.658943,0.901119,0.937471,1.016319,1.076223,1.208319,1.479679,1.762303,1.762303,1.762303,1.762303]}
+{"name":"evolutionary_algorithm.10000_10000","mean_latency":0,"max_latency":12,"distr_latency":[0.003663,0.005111,0.005591,0.006239,0.006911,0.085247,0.126079,0.242943,0.251775,0.253439,0.255231,0.258815,0.266495,0.330495,0.391935,12.328959,12.328959,12.328959]}
+{"name":"soli.2000","mean_latency":0,"max_latency":0,"distr_latency":[0.022591,0.022591,0.022591,0.022591,0.241279,0.241279,0.241279,0.241279,0.241279,0.241279,0.241279,0.241279,0.241279,0.241279,0.241279,0.241279,0.241279,0.241279]}
+{"name":"lexifi-g2pp.","mean_latency":0,"max_latency":0,"distr_latency":[0.001135,0.002879,0.003175,0.003303,0.003367,0.003439,0.003551,0.003855,0.005031,0.005087,0.005175,0.005359,0.010967,0.041407,0.699903,0.889855,0.889855,0.889855]}
+{"name":"spectralnorm2.5_500","mean_latency":0,"max_latency":0,"distr_latency":[0.001063,0.001959,0.002039,0.002087,0.002119,0.002151,0.002199,0.002287,0.003527,0.003671,0.003783,0.003871,0.004039,0.027183,0.063007,0.755199,0.755199,0.755199]}
+{"name":"sequence_cps.10000","mean_latency":0,"max_latency":0,"distr_latency":[0.001055,0.002207,0.002359,0.002503,0.002559,0.002599,0.002639,0.002719,0.003239,0.004039,0.004247,0.004551,0.007903,0.035615,0.065407,0.471039,0.471039,0.471039]}
+{"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":281,"distr_latency":[0.005119,0.096767,0.202623,0.334847,0.431103,0.572415,0.785407,1.021951,1.379327,1.438719,1.488895,1.559551,1.711103,36.798463,185.860095,281.280511,281.280511,281.280511]}
+{"name":"test_decompress.64_524_288","mean_latency":0,"max_latency":1,"distr_latency":[0.003671,0.012703,0.020911,0.026367,0.028111,0.031759,0.039519,0.044063,0.048671,0.050303,0.052543,0.062431,0.087103,0.134911,1.127423,1.127423,1.127423,1.127423]}
+{"name":"zarith_pi.10_000","mean_latency":0,"max_latency":74,"distr_latency":[0.000135,0.012759,0.014927,0.023199,0.023855,0.024543,0.026607,0.031087,0.038655,0.039647,0.041087,0.044415,0.050655,0.087871,70.516735,74.579967,74.579967,74.579967]}
+{"name":"floyd_warshall.512","mean_latency":0,"max_latency":1,"distr_latency":[0.009119,0.024575,0.044415,0.076863,0.186239,0.697343,0.784895,0.876543,1.165311,1.206271,1.277951,1.327103,1.606655,1.752063,1.754111,1.754111,1.754111,1.754111]}
+{"name":"regexredux2.","mean_latency":1,"max_latency":60,"distr_latency":[0.071871,1.735679,1.833983,2.215935,2.332671,2.699263,2.848767,2.912255,3.815423,3.823615,3.837951,3.887103,4.061183,18.825215,60.784639,60.784639,60.784639,60.784639]}
+{"name":"hamming.1_000_000","mean_latency":0,"max_latency":4,"distr_latency":[0.207871,0.834559,0.915455,0.945663,0.954879,0.961535,0.970751,1.004543,1.449983,1.656831,2.018303,2.070527,2.185215,2.365439,4.677631,4.677631,4.677631,4.677631]}
+{"name":"markbench.20","mean_latency":36,"max_latency":1472,"distr_latency":[0.844287,3.272703,3.297279,3.354623,3.457023,3.637247,3.815423,3.903487,4.415487,4.575231,4.812799,1457.520639,1460.666367,1470.103551,1472.200703,1472.200703,1472.200703,1472.200703]}
+{"name":"binarytrees5.21","mean_latency":0,"max_latency":9,"distr_latency":[0.005015,0.050751,0.189695,0.651263,0.950783,1.271807,2.016255,2.648063,2.955263,4.073471,4.141055,4.194303,4.296703,5.189631,6.078463,9.117695,9.117695,9.117695]}
+{"name":"mergesort.67108864","mean_latency":1,"max_latency":136,"distr_latency":[0.003311,0.007127,0.008399,0.008735,0.008951,0.009223,0.009695,0.010295,0.035071,0.035391,0.036095,0.039295,0.386303,136.708095,136.708095,136.708095,136.708095,136.708095]}
+{"name":"LU_decomposition.1024","mean_latency":0,"max_latency":0,"distr_latency":[0.001055,0.001951,0.002047,0.002087,0.002103,0.002127,0.002151,0.002215,0.002415,0.003607,0.003815,0.003951,0.004183,0.037759,0.080703,0.729599,0.729599,0.729599]}
+{"name":"graph500_seq_kernel1.edges_data","mean_latency":2,"max_latency":716,"distr_latency":[0.505855,3.583999,3.608575,3.635199,3.651583,3.680255,3.733503,3.817471,3.954687,4.304895,4.784127,5.009407,5.283839,16.637951,698.351615,716.701695,716.701695,716.701695]}
+{"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.000887,0.006927,0.009431,0.012735,0.016863,0.023375,0.029935,0.051487,0.090751,0.103295,0.117951,0.131327,0.154879,0.337151,0.796159,0.796159,0.796159,0.796159]}
+{"name":"zdd.words_txt","mean_latency":1,"max_latency":16,"distr_latency":[0.633343,0.871935,1.053695,1.167359,1.227775,1.283071,1.340415,1.647615,3.135487,3.493887,3.944447,4.186111,5.955583,12.763135,16.990207,16.990207,16.990207,16.990207]}
+{"name":"yojson_ydump.sample.json","mean_latency":0,"max_latency":1,"distr_latency":[0.000199,0.132991,0.217599,0.370431,0.440831,0.460799,0.493823,0.538623,0.562687,0.568319,0.583167,0.604671,0.656383,1.384447,1.384447,1.384447,1.384447,1.384447]}
+{"name":"thread_ring_lwt_stream.20_000","mean_latency":0,"max_latency":2,"distr_latency":[0.358399,0.589823,0.596991,0.646143,0.850943,1.035775,1.064959,1.077247,1.089535,1.092607,1.097727,1.110015,1.153023,1.279999,2.641919,2.713599,2.713599,2.713599]}
+{"name":"kb.","mean_latency":0,"max_latency":1,"distr_latency":[0.051903,0.151935,0.169343,0.193791,0.206335,0.222975,0.248831,0.300287,0.389119,0.416511,0.446463,0.484351,0.545279,0.736767,1.096703,1.096703,1.096703,1.096703]}
+{"name":"fasta6.25_000_000","mean_latency":0,"max_latency":0,"distr_latency":[0.000287,0.030911,0.052671,0.052671,0.081855,0.081855,0.081855,0.081855,0.393727,0.393727,0.393727,0.393727,0.393727,0.393727,0.393727,0.393727,0.393727,0.393727]}
+{"name":"qr-decomposition.","mean_latency":0,"max_latency":1,"distr_latency":[0.001319,0.003055,0.003255,0.003375,0.003439,0.003527,0.003655,0.003943,0.006695,0.007023,0.008447,0.009631,0.014911,0.076159,0.289535,1.350655,1.350655,1.350655]}
+{"name":"knucleotide.","mean_latency":0,"max_latency":6,"distr_latency":[0.001351,0.002279,0.002559,0.002863,0.003783,0.003999,0.004647,0.014551,0.073343,0.278783,0.328703,0.964095,3.909631,4.272127,6.017023,6.017023,6.017023,6.017023]}
+{"name":"pidigits5.10_000","mean_latency":0,"max_latency":67,"distr_latency":[0.000135,0.017215,0.018527,0.019183,0.019647,0.022495,0.031311,0.033151,0.039167,0.042239,0.045823,0.049439,0.056767,0.099711,63.275007,67.633151,67.633151,67.633151]}
+{"name":"levinson-durbin.","mean_latency":0,"max_latency":0,"distr_latency":[0.002535,0.012647,0.013815,0.019327,0.020463,0.021247,0.021951,0.023551,0.033247,0.036671,0.041055,0.046751,0.054847,0.076799,0.100543,0.226559,0.226559,0.226559]}
+{"name":"knucleotide3.","mean_latency":0,"max_latency":3,"distr_latency":[0.001207,0.002199,0.002455,0.002655,0.003751,0.003911,0.004159,0.013047,0.015703,0.017935,0.034079,0.065183,3.653631,3.868671,3.883007,3.883007,3.883007,3.883007]}
+{"name":"minilight.roomfront","mean_latency":0,"max_latency":0,"distr_latency":[0.001239,0.005167,0.005519,0.005871,0.006071,0.006303,0.006607,0.007063,0.007887,0.008135,0.008503,0.009119,0.011559,0.059455,0.113023,0.248319,0.751103,0.751103]}
+{"name":"cubicle.german_pfs.cub","mean_latency":0,"max_latency":6,"distr_latency":[0.013823,0.040927,0.064063,0.103871,0.131967,0.152447,0.171775,0.196863,0.292607,0.425215,1.196031,1.247231,1.374207,1.777663,2.001919,5.046271,6.426623,6.426623]}
+{"name":"bdd.26","mean_latency":0,"max_latency":3,"distr_latency":[0.001167,0.002791,0.002959,0.003095,0.003175,0.003271,0.003415,0.004103,0.005079,0.006335,0.010895,0.023359,0.096767,1.440767,2.990079,3.121151,3.121151,3.121151]}
+{"name":"owl_gc.","mean_latency":0,"max_latency":12,"distr_latency":[0.005647,0.012839,0.016575,0.024207,0.043647,0.142079,0.158207,0.159871,0.162815,0.166399,0.170239,0.173951,0.177791,0.314879,12.541951,12.845055,12.845055,12.845055]}
+{"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.011159,0.033951,0.131711,0.218239,0.226943,0.231935,0.238591,0.243711,0.252415,0.255487,0.255487,0.255487,0.280063,0.669695,0.669695,0.669695,0.669695,0.669695]}
+{"name":"crout-decomposition.","mean_latency":0,"max_latency":2,"distr_latency":[0.001135,0.002383,0.002535,0.002639,0.002703,0.002767,0.002903,0.004247,0.006799,0.008287,0.010239,0.015263,0.035711,0.110847,2.377727,2.377727,2.377727,2.377727]}
+{"name":"chameneos_redux_lwt.600000","mean_latency":0,"max_latency":0,"distr_latency":[0.001207,0.022255,0.022767,0.023711,0.024959,0.026095,0.027759,0.029439,0.032959,0.033727,0.034367,0.036415,0.050079,0.096319,0.941567,0.941567,0.941567,0.941567]}
+{"name":"fasta3.25_000_000","mean_latency":0,"max_latency":0,"distr_latency":[0.001287,0.002207,0.002327,0.002423,0.002511,0.003551,0.003727,0.003799,0.004007,0.013535,0.014087,0.014935,0.015911,0.073215,0.424447,0.424447,0.424447,0.424447]}
+{"name":"test_lwt.200","mean_latency":0,"max_latency":1,"distr_latency":[0.021055,0.038943,0.044319,0.050303,0.054079,0.059263,0.064735,0.073535,0.119871,0.132223,0.144127,0.155135,0.174975,0.220799,0.609279,1.342463,1.342463,1.342463]}
+{"name":"durand-kerner-aberth.","mean_latency":0,"max_latency":0,"distr_latency":[0.002279,0.006431,0.007119,0.008839,0.008967,0.009087,0.009255,0.009847,0.013375,0.014287,0.016143,0.020527,0.026575,0.073663,0.110655,0.671231,0.671231,0.671231]}
+{"name":"quicksort.4000000","mean_latency":1,"max_latency":4,"distr_latency":[0.000119,0.412927,0.412927,0.412927,0.412927,0.412927,4.329471,4.329471,4.329471,4.329471,4.329471,4.329471,4.329471,4.329471,4.329471,4.329471,4.329471,4.329471]}