Automated commit (Turing)

pausetimes_seq/turing/20240930_031546/d540076b95b99d1bd1d04850ff3b76cf251864f3/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.001135,0.002855,0.003159,0.003455,0.003599,0.003735,0.003879,0.004095,0.005255,0.005551,0.005975,0.007919,0.010247,0.044063,0.071295,0.973823,0.973823,0.973823]}
+{"name":"alt-ergo.fill.why","mean_latency":0,"max_latency":2,"distr_latency":[0.067135,0.282623,0.495103,0.532991,0.546303,0.562175,0.576511,0.639487,0.787967,0.875519,1.451007,1.869823,2.032639,2.639871,2.639871,2.639871,2.639871,2.639871]}
+{"name":"nqueens.14","mean_latency":0,"max_latency":0,"distr_latency":[0.001943,0.004319,0.004463,0.004567,0.004623,0.004671,0.004735,0.005399,0.016991,0.017151,0.017535,0.017855,0.021087,0.119167,0.228607,0.228607,0.228607,0.228607]}
+{"name":"game_of_life.256","mean_latency":0,"max_latency":0,"distr_latency":[0.011359,0.029055,0.110591,0.197119,0.221439,0.222719,0.230783,0.232575,0.246655,0.253311,0.253311,0.255231,0.255231,0.785919,0.785919,0.785919,0.785919,0.785919]}
+{"name":"revcomp2.","mean_latency":1,"max_latency":3,"distr_latency":[0.528383,0.851455,0.947199,0.990207,1.592319,1.956863,1.973247,1.996799,2.018303,2.027519,2.053119,2.111487,2.181119,2.838527,3.510271,3.510271,3.510271,3.510271]}
+{"name":"menhir.sql-parser","mean_latency":0,"max_latency":8,"distr_latency":[0.001103,0.002671,0.003087,0.011319,0.031935,0.080127,0.189439,0.353279,0.745471,0.903679,1.407999,1.548287,1.901567,4.147199,8.069119,8.642559,8.642559,8.642559]}
+{"name":"menhir.sysver","mean_latency":0,"max_latency":39,"distr_latency":[0.001079,0.002527,0.002679,0.002919,0.003391,0.004567,0.032671,0.278015,0.855551,1.018367,1.327103,1.498111,1.875967,3.962879,6.467583,20.250623,39.157759,39.157759]}
+{"name":"thread_ring_lwt_mvar.20_000","mean_latency":0,"max_latency":0,"distr_latency":[0.125247,0.209663,0.213119,0.217471,0.219903,0.224255,0.301311,0.405247,0.429823,0.431103,0.432895,0.435199,0.440575,0.588799,0.814079,0.909823,0.909823,0.909823]}
+{"name":"alt-ergo.yyll.why","mean_latency":0,"max_latency":7,"distr_latency":[0.007247,0.015791,0.028463,0.052959,0.075711,0.105919,0.146943,0.218751,0.399359,0.473343,0.560639,0.697343,1.012223,2.412543,6.189055,7.127039,7.127039,7.127039]}
+{"name":"fft.","mean_latency":0,"max_latency":4,"distr_latency":[0.379135,0.728575,0.743935,0.750079,0.753663,0.761855,0.821247,1.339391,1.371135,1.392639,1.419263,1.459199,1.586175,2.670591,4.554751,4.554751,4.554751,4.554751]}
+{"name":"cubicle.szymanski_at.cub","mean_latency":0,"max_latency":5,"distr_latency":[0.024911,0.068159,0.092735,0.129279,0.156671,0.187903,0.220799,0.280063,0.520191,0.579583,0.681983,0.919039,1.019391,2.420735,2.838527,3.284991,4.472831,5.259263]}
+{"name":"kb_no_exc.","mean_latency":0,"max_latency":1,"distr_latency":[0.123135,0.353791,0.386815,0.419327,0.435711,0.457983,0.515327,0.652287,0.907263,0.976383,1.037823,1.101823,1.176575,1.626111,1.918975,1.918975,1.918975,1.918975]}
+{"name":"evolutionary_algorithm.10000_10000","mean_latency":0,"max_latency":1,"distr_latency":[0.003647,0.005087,0.005599,0.006191,0.006687,0.082431,0.124351,0.241535,0.250239,0.252543,0.254463,0.257535,0.265215,0.325119,0.385023,1.368063,1.368063,1.368063]}
+{"name":"soli.2000","mean_latency":0,"max_latency":0,"distr_latency":[0.022399,0.022399,0.022399,0.022399,0.237951,0.237951,0.237951,0.237951,0.237951,0.237951,0.237951,0.237951,0.237951,0.237951,0.237951,0.237951,0.237951,0.237951]}
+{"name":"lexifi-g2pp.","mean_latency":0,"max_latency":0,"distr_latency":[0.001175,0.002919,0.003143,0.003287,0.003367,0.003463,0.003631,0.004775,0.005111,0.005287,0.008527,0.011023,0.014455,0.046367,0.780799,0.918015,0.918015,0.918015]}
+{"name":"spectralnorm2.5_500","mean_latency":0,"max_latency":0,"distr_latency":[0.001111,0.001991,0.002079,0.002135,0.002175,0.002231,0.002303,0.002431,0.003639,0.003743,0.003831,0.003935,0.006687,0.040479,0.059615,0.728575,0.728575,0.728575]}
+{"name":"sequence_cps.10000","mean_latency":0,"max_latency":0,"distr_latency":[0.001063,0.002255,0.002399,0.002543,0.002591,0.002639,0.002703,0.002831,0.004023,0.004263,0.004607,0.006615,0.008863,0.050879,0.174335,0.464127,0.464127,0.464127]}
+{"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.005271,0.096639,0.201983,0.335615,0.431359,0.578047,0.782335,1.019391,1.382399,1.452031,1.494015,1.556479,1.703935,36.831231,184.549375,279.445503,279.445503,279.445503]}
+{"name":"test_decompress.64_524_288","mean_latency":0,"max_latency":1,"distr_latency":[0.003767,0.012887,0.020863,0.026447,0.028287,0.032047,0.039807,0.044063,0.048767,0.050751,0.052959,0.068031,0.089407,0.135167,1.106943,1.106943,1.106943,1.106943]}
+{"name":"zarith_pi.10_000","mean_latency":0,"max_latency":73,"distr_latency":[0.000127,0.012831,0.014839,0.023055,0.023631,0.024351,0.026191,0.030735,0.037311,0.038207,0.040383,0.044575,0.051263,0.086847,70.516735,73.531391,73.531391,73.531391]}
+{"name":"floyd_warshall.512","mean_latency":0,"max_latency":1,"distr_latency":[0.007311,0.023727,0.044287,0.072319,0.185215,0.698879,0.785919,0.896511,1.165311,1.205247,1.242111,1.324031,1.563647,1.736703,1.913855,1.913855,1.913855,1.913855]}
+{"name":"regexredux2.","mean_latency":1,"max_latency":61,"distr_latency":[0.070143,1.721343,1.761279,2.179071,2.289663,2.664447,2.822143,2.875391,3.792895,3.803135,3.827711,3.887103,4.046847,18.874367,61.046783,61.046783,61.046783,61.046783]}
+{"name":"hamming.1_000_000","mean_latency":0,"max_latency":4,"distr_latency":[0.187519,0.848383,0.911359,0.941055,0.949247,0.957439,0.968191,1.007103,1.453055,1.650687,2.008063,2.040831,2.129919,2.781183,4.071423,4.071423,4.071423,4.071423]}
+{"name":"markbench.20","mean_latency":36,"max_latency":1464,"distr_latency":[0.826879,3.262463,3.282943,3.346431,3.450879,3.618815,3.819519,3.946495,4.317183,4.575231,4.788223,1451.229183,1460.666367,1464.860671,1464.860671,1464.860671,1464.860671,1464.860671]}
+{"name":"binarytrees5.21","mean_latency":0,"max_latency":8,"distr_latency":[0.005471,0.051103,0.178175,0.648191,0.950271,1.269759,2.015231,2.643967,2.924543,4.073471,4.139007,4.192255,4.308991,5.083135,6.184959,8.888319,8.888319,8.888319]}
+{"name":"mergesort.67108864","mean_latency":1,"max_latency":134,"distr_latency":[0.002807,0.006791,0.007223,0.007631,0.007807,0.008095,0.008351,0.013639,0.034527,0.034943,0.035103,0.036607,0.382719,134.086655,134.086655,134.086655,134.086655,134.086655]}
+{"name":"LU_decomposition.1024","mean_latency":0,"max_latency":0,"distr_latency":[0.001055,0.001999,0.002087,0.002143,0.002167,0.002199,0.002255,0.002367,0.003711,0.003839,0.003967,0.004399,0.007775,0.038335,0.081535,0.714239,0.714239,0.714239]}
+{"name":"graph500_seq_kernel1.edges_data","mean_latency":2,"max_latency":716,"distr_latency":[0.506879,3.579903,3.606527,3.633151,3.649535,3.680255,3.735551,3.821567,3.940351,4.337663,4.816895,5.021695,5.287935,16.113663,697.303039,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.000935,0.006743,0.009335,0.012615,0.016863,0.023535,0.029679,0.050495,0.088959,0.101567,0.117951,0.129599,0.156159,0.334079,0.824831,0.824831,0.824831,0.824831]}
+{"name":"zdd.words_txt","mean_latency":1,"max_latency":16,"distr_latency":[0.642559,0.873983,1.063935,1.177599,1.236991,1.288191,1.348607,1.631231,3.166207,3.557375,3.962879,4.188159,5.918719,12.451839,16.793599,16.793599,16.793599,16.793599]}
+{"name":"yojson_ydump.sample.json","mean_latency":0,"max_latency":1,"distr_latency":[0.000191,0.133375,0.214527,0.349951,0.441087,0.463103,0.497407,0.538111,0.561663,0.569343,0.583167,0.628223,0.693759,1.159167,1.159167,1.159167,1.159167,1.159167]}
+{"name":"thread_ring_lwt_stream.20_000","mean_latency":0,"max_latency":2,"distr_latency":[0.357631,0.589823,0.597503,0.645631,0.849407,1.020927,1.063935,1.078271,1.091583,1.095679,1.100799,1.128447,1.164287,1.272831,2.083839,2.703359,2.703359,2.703359]}
+{"name":"kb.","mean_latency":0,"max_latency":1,"distr_latency":[0.052383,0.150271,0.167423,0.193919,0.205951,0.220415,0.244607,0.297471,0.396287,0.419839,0.459519,0.498175,0.557055,0.722943,1.205247,1.205247,1.205247,1.205247]}
+{"name":"fasta6.25_000_000","mean_latency":0,"max_latency":0,"distr_latency":[0.000295,0.031743,0.052447,0.052447,0.083839,0.083839,0.083839,0.083839,0.389887,0.389887,0.389887,0.389887,0.389887,0.389887,0.389887,0.389887,0.389887,0.389887]}
+{"name":"qr-decomposition.","mean_latency":0,"max_latency":1,"distr_latency":[0.001335,0.002895,0.003103,0.003207,0.003263,0.003343,0.003471,0.003783,0.006599,0.006879,0.008311,0.009471,0.014871,0.079295,0.285439,1.343487,1.343487,1.343487]}
+{"name":"knucleotide.","mean_latency":0,"max_latency":5,"distr_latency":[0.001343,0.002295,0.002623,0.002871,0.003855,0.004111,0.004511,0.014519,0.070655,0.279551,0.327679,0.928767,3.897343,4.276223,5.980159,5.980159,5.980159,5.980159]}
+{"name":"pidigits5.10_000","mean_latency":0,"max_latency":68,"distr_latency":[0.000135,0.017487,0.018527,0.019183,0.019647,0.022655,0.029935,0.032831,0.039263,0.041919,0.044863,0.048735,0.056639,0.091391,62.914559,68.550655,68.550655,68.550655]}
+{"name":"levinson-durbin.","mean_latency":0,"max_latency":0,"distr_latency":[0.002599,0.012743,0.014343,0.019855,0.021007,0.021903,0.023039,0.025631,0.035103,0.037983,0.042271,0.047743,0.056703,0.081151,0.118399,0.265983,0.265983,0.265983]}
+{"name":"knucleotide3.","mean_latency":0,"max_latency":3,"distr_latency":[0.001199,0.002207,0.002471,0.002671,0.003703,0.003959,0.004159,0.013919,0.016087,0.022703,0.038367,0.070975,3.627007,3.839999,3.842047,3.842047,3.842047,3.842047]}
+{"name":"minilight.roomfront","mean_latency":0,"max_latency":0,"distr_latency":[0.001855,0.005367,0.005759,0.006143,0.006375,0.006647,0.006991,0.007487,0.008423,0.008759,0.009271,0.010215,0.013079,0.059135,0.108287,0.198399,0.728063,0.728063]}
+{"name":"cubicle.german_pfs.cub","mean_latency":0,"max_latency":6,"distr_latency":[0.013855,0.040991,0.064063,0.103935,0.131839,0.152319,0.171903,0.196479,0.293887,0.424959,1.196031,1.249279,1.375231,1.779711,2.024447,5.828607,6.270975,6.270975]}
+{"name":"bdd.26","mean_latency":0,"max_latency":3,"distr_latency":[0.001199,0.002815,0.002983,0.003127,0.003207,0.003311,0.003479,0.004615,0.008039,0.010519,0.013447,0.024431,0.093951,1.440767,2.965503,3.119103,3.119103,3.119103]}
+{"name":"owl_gc.","mean_latency":0,"max_latency":12,"distr_latency":[0.005695,0.013095,0.016911,0.024559,0.043839,0.142719,0.158079,0.159871,0.164735,0.168063,0.172031,0.174335,0.178431,0.316159,12.812287,12.976127,12.976127,12.976127]}
+{"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.011463,0.036575,0.116095,0.217215,0.231807,0.237311,0.239231,0.244735,0.253695,0.257407,0.293631,0.293631,0.302079,0.651775,0.651775,0.651775,0.651775,0.651775]}
+{"name":"crout-decomposition.","mean_latency":0,"max_latency":2,"distr_latency":[0.001135,0.002327,0.002503,0.002591,0.002639,0.002703,0.002799,0.004023,0.006263,0.008063,0.009679,0.015327,0.035103,0.133503,2.131967,2.131967,2.131967,2.131967]}
+{"name":"chameneos_redux_lwt.600000","mean_latency":0,"max_latency":0,"distr_latency":[0.001239,0.022127,0.022639,0.023919,0.025087,0.026303,0.027855,0.029423,0.033151,0.033887,0.035167,0.036991,0.050879,0.102719,0.981503,0.981503,0.981503,0.981503]}
+{"name":"fasta3.25_000_000","mean_latency":0,"max_latency":0,"distr_latency":[0.001343,0.002295,0.002439,0.002559,0.002655,0.003591,0.003735,0.003839,0.004039,0.013383,0.014151,0.014863,0.015711,0.073791,0.465151,0.465151,0.465151,0.465151]}
+{"name":"test_lwt.200","mean_latency":0,"max_latency":1,"distr_latency":[0.021103,0.039103,0.044703,0.050719,0.054815,0.060095,0.065055,0.075263,0.120383,0.131839,0.143743,0.155391,0.173951,0.222847,1.342463,1.909759,1.909759,1.909759]}
+{"name":"durand-kerner-aberth.","mean_latency":0,"max_latency":0,"distr_latency":[0.002255,0.006471,0.007199,0.008879,0.009007,0.009135,0.009303,0.009895,0.012919,0.014063,0.015943,0.020575,0.026383,0.071039,0.100991,0.667647,0.667647,0.667647]}
+{"name":"quicksort.4000000","mean_latency":1,"max_latency":4,"distr_latency":[0.000127,0.407295,0.407295,0.407295,0.407295,0.407295,4.136959,4.136959,4.136959,4.136959,4.136959,4.136959,4.136959,4.136959,4.136959,4.136959,4.136959,4.136959]}