Automated commit (Turing)

pausetimes_seq/turing/20231112_025811/9b059b1e7a66e9d2f04d892a4de34c418cd96f69/5.2.0+trunk+pausetimes_seq_1.pausetimes.summary.bench

@@ -0,0 +1,53 @@
+{"version":"5.15.0-88-generic","hostname":"turing","kernel":"Linux","arch":"x86_64"}
+{"name":"naive-multilayer.","mean_latency":0,"max_latency":0,"distr_latency":[0.000447,0.002423,0.002775,0.003023,0.003135,0.003247,0.003367,0.003535,0.003807,0.003983,0.004447,0.005559,0.009759,0.034399,0.100415,0.710143,0.710143,0.710143]}
+{"name":"alt-ergo.fill.why","mean_latency":0,"max_latency":2,"distr_latency":[0.043455,0.212863,0.427263,0.502783,0.521983,0.537087,0.549375,0.601087,0.748543,0.851967,1.257471,1.823743,1.916927,2.631679,2.631679,2.631679,2.631679,2.631679]}
+{"name":"nqueens.14","mean_latency":0,"max_latency":0,"distr_latency":[0.000583,0.002431,0.002591,0.002711,0.002831,0.003719,0.003895,0.004063,0.014247,0.014439,0.015519,0.018047,0.037535,0.135039,0.141823,0.141823,0.141823,0.141823]}
+{"name":"game_of_life.256","mean_latency":0,"max_latency":0,"distr_latency":[0.007679,0.026863,0.073535,0.161663,0.173567,0.194943,0.213247,0.216703,0.222847,0.222847,0.224639,0.243455,0.243455,0.356863,0.356863,0.356863,0.356863,0.356863]}
+{"name":"revcomp2.","mean_latency":0,"max_latency":2,"distr_latency":[0.515071,0.810495,0.899583,0.967679,1.479679,1.887231,1.901567,1.915903,1.929215,1.937407,1.944575,1.966079,2.030591,2.117631,2.154495,2.154495,2.154495,2.154495]}
+{"name":"menhir.sql-parser","mean_latency":0,"max_latency":8,"distr_latency":[0.000455,0.002311,0.002479,0.010111,0.031583,0.076735,0.182911,0.343551,0.701951,0.877055,1.321983,1.552383,1.909759,3.897343,7.475199,8.470527,8.470527,8.470527]}
+{"name":"menhir.sysver","mean_latency":0,"max_latency":55,"distr_latency":[0.000423,0.002239,0.002335,0.002415,0.002503,0.003255,0.053695,0.261631,0.821247,0.923647,1.217535,1.423359,1.616895,3.799039,5.951487,13.393919,55.672831,55.672831]}
+{"name":"thread_ring_lwt_mvar.20_000","mean_latency":0,"max_latency":1,"distr_latency":[0.119359,0.188671,0.194431,0.200703,0.204159,0.208511,0.255103,0.379903,0.398847,0.411391,0.414463,0.417279,0.421119,0.498431,0.794623,1.486847,1.486847,1.486847]}
+{"name":"alt-ergo.yyll.why","mean_latency":0,"max_latency":6,"distr_latency":[0.006263,0.014527,0.027423,0.053599,0.076223,0.108543,0.148095,0.207231,0.366591,0.433407,0.523519,0.653311,0.913407,2.627583,5.558271,6.799359,6.799359,6.799359]}
+{"name":"fft.","mean_latency":0,"max_latency":4,"distr_latency":[0.372735,0.688639,0.710655,0.723967,0.727551,0.731647,0.746495,1.316863,1.346559,1.354751,1.364991,1.392639,1.514495,2.709503,4.595711,4.595711,4.595711,4.595711]}
+{"name":"cubicle.szymanski_at.cub","mean_latency":0,"max_latency":6,"distr_latency":[0.023311,0.065183,0.088575,0.123199,0.148095,0.177279,0.207999,0.263167,0.493055,0.551935,0.648703,0.883711,0.979967,2.287615,2.519039,3.604479,6.447103,6.524927]}
+{"name":"kb_no_exc.","mean_latency":0,"max_latency":1,"distr_latency":[0.122047,0.319999,0.340479,0.363775,0.382719,0.406527,0.441343,0.615423,0.818687,0.846335,0.897023,0.971263,1.096703,1.214463,1.216511,1.216511,1.216511,1.216511]}
+{"name":"evolutionary_algorithm.10000_10000","mean_latency":0,"max_latency":7,"distr_latency":[0.003111,0.003695,0.004687,0.005287,0.005671,0.080063,0.122367,0.239999,0.244479,0.245631,0.246911,0.249727,0.257279,0.269823,0.368127,7.385087,7.385087,7.385087]}
+{"name":"soli.2000","mean_latency":0,"max_latency":0,"distr_latency":[0.000295,0.017871,0.021663,0.030351,0.038079,0.038079,0.068095,0.135807,0.135807,0.135807,0.166783,0.166783,0.166783,0.166783,0.166783,0.166783,0.166783,0.166783]}
+{"name":"lexifi-g2pp.","mean_latency":0,"max_latency":0,"distr_latency":[0.000471,0.002351,0.002591,0.002727,0.002783,0.002839,0.002895,0.002983,0.003119,0.003175,0.003319,0.004167,0.009463,0.041215,0.528383,0.861695,0.861695,0.861695]}
+{"name":"spectralnorm2.5_500","mean_latency":0,"max_latency":1,"distr_latency":[0.000495,0.001623,0.001767,0.001815,0.001847,0.001887,0.001943,0.002023,0.002135,0.002175,0.002247,0.002447,0.004543,0.014911,0.199679,1.347583,1.347583,1.347583]}
+{"name":"sequence_cps.10000","mean_latency":0,"max_latency":0,"distr_latency":[0.000455,0.001903,0.002055,0.002175,0.002223,0.002271,0.002327,0.002407,0.002599,0.002711,0.003383,0.005167,0.008287,0.036447,0.209919,0.287999,0.287999,0.287999]}
+{"name":"fannkuchredux.12","mean_latency":0,"max_latency":0,"distr_latency":[0.000247,0.021199,0.023791,0.027599,0.045599,0.045599,0.084095,0.169215,0.169215,0.169215,0.202623,0.202623,0.202623,0.202623,0.202623,0.202623,0.202623,0.202623]}
+{"name":"menhir.ocamly","mean_latency":0,"max_latency":267,"distr_latency":[0.003327,0.088767,0.184063,0.305919,0.406015,0.530943,0.693759,0.932863,1.305599,1.369087,1.420287,1.477631,1.608703,32.210943,205.389823,267.780095,267.780095,267.780095]}
+{"name":"test_decompress.64_524_288","mean_latency":0,"max_latency":0,"distr_latency":[0.002863,0.009119,0.018895,0.023983,0.026639,0.030767,0.033631,0.038079,0.041439,0.043071,0.045055,0.050399,0.088255,0.131327,0.857087,0.857087,0.857087,0.857087]}
+{"name":"zarith_pi.10_000","mean_latency":0,"max_latency":66,"distr_latency":[0.000127,0.011927,0.018847,0.021583,0.022319,0.022847,0.023343,0.023983,0.028623,0.030655,0.035135,0.039103,0.044191,0.061183,56.262655,66.093055,66.093055,66.093055]}
+{"name":"floyd_warshall.512","mean_latency":0,"max_latency":1,"distr_latency":[0.008535,0.022463,0.042271,0.069823,0.146559,0.657407,0.748543,0.823807,1.097727,1.114111,1.166335,1.240063,1.560575,1.747967,1.752063,1.752063,1.752063,1.752063]}
+{"name":"regexredux2.","mean_latency":1,"max_latency":50,"distr_latency":[0.071359,1.625087,1.665023,2.140159,2.256895,2.625535,2.785279,2.820095,3.786751,3.792895,3.801087,3.813375,3.844095,26.230783,50.561023,50.561023,50.561023,50.561023]}
+{"name":"hamming.1_000_000","mean_latency":0,"max_latency":2,"distr_latency":[0.176511,0.813055,0.904191,0.938495,0.946687,0.952831,0.958463,0.968191,1.370111,1.461247,1.973247,2.083839,2.162687,2.285567,2.641919,2.641919,2.641919,2.641919]}
+{"name":"markbench.20","mean_latency":34,"max_latency":1407,"distr_latency":[0.786431,3.252223,3.268607,3.293183,3.330047,3.571711,3.809279,3.868671,4.030463,4.081663,4.169727,1400.897535,1402.994687,1406.140415,1407.188991,1407.188991,1407.188991,1407.188991]}
+{"name":"binarytrees5.21","mean_latency":0,"max_latency":6,"distr_latency":[0.005391,0.052575,0.180607,0.634879,0.954879,1.183743,1.992703,2.449407,2.672639,4.057087,4.120575,4.139007,4.159487,5.042175,5.558271,6.078463,6.078463,6.078463]}
+{"name":"mergesort.67108864","mean_latency":0,"max_latency":128,"distr_latency":[0.001415,0.005439,0.006135,0.006367,0.006535,0.006639,0.006887,0.007271,0.030543,0.031807,0.032511,0.072255,0.239103,128.647167,128.647167,128.647167,128.647167,128.647167]}
+{"name":"LU_decomposition.1024","mean_latency":0,"max_latency":0,"distr_latency":[0.000519,0.001591,0.001719,0.001775,0.001799,0.001831,0.001871,0.001935,0.002047,0.002087,0.002175,0.002839,0.004847,0.023567,0.242815,0.674815,0.674815,0.674815]}
+{"name":"graph500_seq_kernel1.edges_data","mean_latency":2,"max_latency":694,"distr_latency":[0.470271,3.516415,3.532799,3.549183,3.555327,3.565567,3.579903,3.616767,3.729407,4.399103,4.812799,4.952063,5.210111,15.351807,678.952959,694.157311,694.157311,694.157311]}
+{"name":"nbody.50_000_000","mean_latency":0,"max_latency":0,"distr_latency":[0.000255,0.032591,0.033119,0.039071,0.047903,0.047903,0.078975,0.150911,0.150911,0.150911,0.303615,0.303615,0.303615,0.303615,0.303615,0.303615,0.303615,0.303615]}
+{"name":"grammatrix.","mean_latency":0,"max_latency":0,"distr_latency":[0.000327,0.005863,0.007495,0.010375,0.013943,0.019583,0.027327,0.048607,0.083583,0.099967,0.113151,0.125823,0.155647,0.317183,0.485375,0.485375,0.485375,0.485375]}
+{"name":"zdd.words_txt","mean_latency":0,"max_latency":16,"distr_latency":[0.246015,0.689663,0.754687,0.894463,1.015295,1.154047,1.248255,1.318911,2.516991,3.203071,4.018175,4.964351,8.040447,13.213695,16.891903,16.891903,16.891903,16.891903]}
+{"name":"yojson_ydump.sample.json","mean_latency":0,"max_latency":1,"distr_latency":[0.005271,0.114751,0.254975,0.266751,0.288511,0.385023,0.425215,0.468735,0.525311,0.528383,0.539647,0.605183,0.652287,1.034239,1.034239,1.034239,1.034239,1.034239]}
+{"name":"thread_ring_lwt_stream.20_000","mean_latency":0,"max_latency":6,"distr_latency":[0.389887,0.567295,0.579071,0.654335,0.779263,0.818175,0.852479,1.021439,1.045503,1.050623,1.054719,1.060863,1.068031,1.582079,2.371583,6.344703,6.344703,6.344703]}
+{"name":"kb.","mean_latency":0,"max_latency":1,"distr_latency":[0.049759,0.138623,0.155007,0.174335,0.186879,0.200447,0.221055,0.279807,0.370431,0.385023,0.413695,0.472575,0.520703,0.689663,1.507327,1.507327,1.507327,1.507327]}
+{"name":"fasta6.25_000_000","mean_latency":0,"max_latency":0,"distr_latency":[0.000239,0.031983,0.032831,0.048543,0.078463,0.078463,0.090943,0.147455,0.147455,0.147455,0.280575,0.280575,0.280575,0.280575,0.280575,0.280575,0.280575,0.280575]}
+{"name":"qr-decomposition.","mean_latency":0,"max_latency":0,"distr_latency":[0.000695,0.002383,0.002583,0.002703,0.002759,0.002815,0.002887,0.002991,0.003719,0.005407,0.006167,0.007447,0.012367,0.103103,0.420863,0.777727,0.777727,0.777727]}
+{"name":"knucleotide.","mean_latency":0,"max_latency":5,"distr_latency":[0.000567,0.001807,0.002063,0.002151,0.002207,0.002279,0.002783,0.009919,0.070079,0.211071,0.302335,0.655359,3.784703,4.149247,5.136383,5.136383,5.136383,5.136383]}
+{"name":"pidigits5.10_000","mean_latency":0,"max_latency":56,"distr_latency":[0.000127,0.015863,0.016751,0.017343,0.017679,0.018319,0.028911,0.030607,0.034079,0.036767,0.039263,0.043999,0.050687,0.067135,5.529599,56.328191,56.328191,56.328191]}
+{"name":"levinson-durbin.","mean_latency":0,"max_latency":1,"distr_latency":[0.002311,0.012311,0.013471,0.017951,0.018735,0.019391,0.020175,0.023247,0.034623,0.039551,0.044767,0.050047,0.055359,0.071103,0.176511,1.363967,1.363967,1.363967]}
+{"name":"knucleotide3.","mean_latency":0,"max_latency":3,"distr_latency":[0.000543,0.001751,0.001895,0.002087,0.002143,0.002223,0.002343,0.003431,0.016799,0.028959,0.053407,0.087743,3.504127,3.739647,3.747839,3.747839,3.747839,3.747839]}
+{"name":"minilight.roomfront","mean_latency":0,"max_latency":1,"distr_latency":[0.000543,0.004855,0.005183,0.005503,0.005679,0.005871,0.006111,0.006439,0.007095,0.007351,0.007767,0.008511,0.010951,0.057759,0.150527,0.600575,1.354751,1.354751]}
+{"name":"cubicle.german_pfs.cub","mean_latency":0,"max_latency":7,"distr_latency":[0.012639,0.038495,0.059551,0.095807,0.122239,0.146815,0.165247,0.185855,0.271871,0.408319,1.094655,1.171455,1.264639,1.701887,1.796095,5.595135,7.049215,7.049215]}
+{"name":"bdd.26","mean_latency":0,"max_latency":6,"distr_latency":[0.000407,0.002431,0.002559,0.002623,0.002663,0.002711,0.002775,0.002879,0.003247,0.004239,0.009903,0.019807,0.108287,1.410047,4.411391,6.365183,6.365183,6.365183]}
+{"name":"mandelbrot6.16_000","mean_latency":0,"max_latency":0,"distr_latency":[0.000239,0.031615,0.032575,0.034463,0.050367,0.050367,0.089727,0.202111,0.202111,0.202111,0.311551,0.311551,0.311551,0.311551,0.311551,0.311551,0.311551,0.311551]}
+{"name":"matrix_multiplication.1024","mean_latency":0,"max_latency":0,"distr_latency":[0.010335,0.028431,0.078975,0.176383,0.214911,0.220927,0.230527,0.241279,0.249343,0.249855,0.249855,0.252927,0.256511,0.462335,0.462335,0.462335,0.462335,0.462335]}
+{"name":"crout-decomposition.","mean_latency":0,"max_latency":2,"distr_latency":[0.000487,0.002111,0.002239,0.002311,0.002359,0.002407,0.002463,0.002575,0.005103,0.007711,0.009279,0.013471,0.033311,0.182271,2.111487,2.111487,2.111487,2.111487]}
+{"name":"chameneos_redux_lwt.600000","mean_latency":0,"max_latency":0,"distr_latency":[0.000543,0.020799,0.022335,0.023279,0.024095,0.025695,0.027391,0.029967,0.031791,0.032175,0.033055,0.035135,0.047967,0.094015,0.741887,0.741887,0.741887,0.741887]}
+{"name":"fasta3.25_000_000","mean_latency":0,"max_latency":0,"distr_latency":[0.000599,0.001847,0.001935,0.001975,0.002007,0.002039,0.002111,0.002207,0.003207,0.008007,0.009503,0.011783,0.013559,0.079167,0.325631,0.325631,0.325631,0.325631]}
+{"name":"test_lwt.200","mean_latency":0,"max_latency":1,"distr_latency":[0.019599,0.036703,0.041919,0.047327,0.050911,0.055647,0.060479,0.067519,0.113855,0.127487,0.141695,0.154239,0.170239,0.206079,0.544767,1.884159,1.884159,1.884159]}
+{"name":"durand-kerner-aberth.","mean_latency":0,"max_latency":0,"distr_latency":[0.001239,0.005895,0.006439,0.008279,0.008399,0.008519,0.008663,0.008919,0.012751,0.013807,0.015391,0.017055,0.023231,0.060479,0.194943,0.503039,0.503039,0.503039]}
+{"name":"quicksort.4000000","mean_latency":0,"max_latency":4,"distr_latency":[0.000271,0.026879,0.043263,0.076607,0.146815,0.146815,0.234367,0.234367,4.038655,4.038655,4.038655,4.038655,4.038655,4.038655,4.038655,4.038655,4.038655,4.038655]}