Automated commit (Turing)

pausetimes_seq/turing/20250107_030903/aaf378e9119b3d603e4613c3e13aba6a2f19e34f/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.000951,0.002735,0.002991,0.003215,0.003343,0.003463,0.003567,0.003663,0.003807,0.003879,0.004175,0.004703,0.008919,0.032111,0.063647,0.972799,0.972799,0.972799]}
+{"name":"alt-ergo.fill.why","mean_latency":0,"max_latency":2,"distr_latency":[0.071295,0.292351,0.492543,0.537087,0.545791,0.553471,0.570367,0.624127,0.767999,0.929279,1.352703,1.455103,1.889279,2.947071,2.947071,2.947071,2.947071,2.947071]}
+{"name":"nqueens.14","mean_latency":0,"max_latency":0,"distr_latency":[0.001199,0.002863,0.002967,0.003039,0.003095,0.003151,0.003255,0.008151,0.010439,0.010615,0.010743,0.011695,0.017439,0.076671,0.253951,0.253951,0.253951,0.253951]}
+{"name":"game_of_life.256","mean_latency":0,"max_latency":0,"distr_latency":[0.010567,0.025263,0.109311,0.162431,0.211199,0.216703,0.219391,0.226303,0.231551,0.233727,0.233727,0.238463,0.238463,0.672255,0.672255,0.672255,0.672255,0.672255]}
+{"name":"revcomp2.","mean_latency":1,"max_latency":4,"distr_latency":[0.527359,0.890879,0.944127,0.970751,1.600511,1.992703,2.008063,2.028543,2.038783,2.044927,2.055167,2.107391,2.181119,2.805759,4.636671,4.636671,4.636671,4.636671]}
+{"name":"menhir.sql-parser","mean_latency":0,"max_latency":8,"distr_latency":[0.000951,0.002735,0.002887,0.010471,0.030703,0.077119,0.187391,0.347903,0.710655,0.878079,1.341439,1.542143,1.894399,3.837951,7.462911,8.224767,8.224767,8.224767]}
+{"name":"menhir.sysver","mean_latency":0,"max_latency":38,"distr_latency":[0.000959,0.002623,0.002695,0.002799,0.002831,0.002895,0.030191,0.272639,0.840703,0.962047,1.278975,1.445887,1.719295,3.880959,6.115327,20.103167,38.633471,38.633471]}
+{"name":"thread_ring_lwt_mvar.20_000","mean_latency":0,"max_latency":0,"distr_latency":[0.122559,0.197375,0.199423,0.203519,0.205055,0.207487,0.279551,0.393471,0.399615,0.400383,0.401407,0.402687,0.405503,0.534015,0.865279,0.911359,0.911359,0.911359]}
+{"name":"alt-ergo.yyll.why","mean_latency":0,"max_latency":6,"distr_latency":[0.006503,0.014231,0.026655,0.050495,0.072383,0.101311,0.143231,0.206847,0.385535,0.458495,0.547839,0.680959,0.977919,2.201599,5.996543,6.451199,6.451199,6.451199]}
+{"name":"fft.","mean_latency":0,"max_latency":4,"distr_latency":[0.368383,0.729087,0.744447,0.754175,0.758783,0.761855,0.770559,1.335295,1.357823,1.363967,1.371135,1.386495,1.499135,2.652159,4.628479,4.628479,4.628479,4.628479]}
+{"name":"cubicle.szymanski_at.cub","mean_latency":0,"max_latency":4,"distr_latency":[0.023855,0.065503,0.088895,0.124671,0.150015,0.180095,0.211583,0.261887,0.486911,0.545279,0.650751,0.906751,1.010687,2.322431,2.459647,2.701311,3.645439,4.972543]}
+{"name":"kb_no_exc.","mean_latency":0,"max_latency":1,"distr_latency":[0.122431,0.334591,0.353535,0.369663,0.384255,0.403711,0.443903,0.554495,0.771583,0.837631,0.888831,0.958463,1.021439,1.295359,1.977343,1.977343,1.977343,1.977343]}
+{"name":"evolutionary_algorithm.10000_10000","mean_latency":0,"max_latency":2,"distr_latency":[0.003679,0.004303,0.005407,0.005983,0.006431,0.082751,0.124351,0.241407,0.250495,0.252287,0.254079,0.256511,0.262143,0.274175,0.293375,2.226175,2.226175,2.226175]}
+{"name":"soli.2000","mean_latency":0,"max_latency":0,"distr_latency":[0.021519,0.021519,0.021519,0.021519,0.254207,0.254207,0.254207,0.254207,0.254207,0.254207,0.254207,0.254207,0.254207,0.254207,0.254207,0.254207,0.254207,0.254207]}
+{"name":"lexifi-g2pp.","mean_latency":0,"max_latency":0,"distr_latency":[0.001023,0.002735,0.002895,0.002975,0.003015,0.003055,0.003111,0.003175,0.003295,0.003343,0.003431,0.003599,0.009023,0.036895,0.791551,0.893439,0.893439,0.893439]}
+{"name":"spectralnorm2.5_500","mean_latency":0,"max_latency":0,"distr_latency":[0.000975,0.002063,0.002143,0.002183,0.002199,0.002223,0.002255,0.002303,0.002383,0.002407,0.002431,0.002519,0.007959,0.010359,0.059103,0.758783,0.758783,0.758783]}
+{"name":"sequence_cps.10000","mean_latency":0,"max_latency":0,"distr_latency":[0.000935,0.002375,0.002471,0.002655,0.002687,0.002719,0.002743,0.002791,0.002975,0.003039,0.003143,0.003751,0.007871,0.029279,0.058591,0.506111,0.506111,0.506111]}
+{"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":270,"distr_latency":[0.003775,0.087487,0.184191,0.302591,0.408575,0.538623,0.710655,0.961535,1.339391,1.400831,1.451007,1.514495,1.640447,34.570239,174.456831,270.008319,270.008319,270.008319]}
+{"name":"test_decompress.64_524_288","mean_latency":0,"max_latency":1,"distr_latency":[0.003607,0.011975,0.020399,0.025615,0.028239,0.031951,0.035807,0.039871,0.043263,0.044799,0.047743,0.054431,0.089215,0.135167,1.116159,1.116159,1.116159,1.116159]}
+{"name":"zarith_pi.10_000","mean_latency":0,"max_latency":73,"distr_latency":[0.000135,0.012831,0.013679,0.022815,0.023679,0.024431,0.025263,0.027967,0.036031,0.037023,0.038463,0.041791,0.047295,0.063935,70.582271,73.334783,73.334783,73.334783]}
+{"name":"floyd_warshall.512","mean_latency":0,"max_latency":1,"distr_latency":[0.008111,0.023711,0.043807,0.076287,0.189311,0.701439,0.781823,0.870911,1.133567,1.178623,1.222655,1.306623,1.557503,1.727487,1.757183,1.757183,1.757183,1.757183]}
+{"name":"regexredux2.","mean_latency":1,"max_latency":60,"distr_latency":[0.068223,1.725439,1.818623,2.254847,2.299903,2.654207,2.856959,2.893823,3.835903,3.846143,3.856383,3.864575,3.897343,18.841599,60.194815,60.194815,60.194815,60.194815]}
+{"name":"hamming.1_000_000","mean_latency":0,"max_latency":3,"distr_latency":[0.188415,0.816127,0.907775,0.934399,0.944127,0.949247,0.956927,0.967167,1.427455,1.671167,2.018303,2.085887,2.220031,2.496511,3.416063,3.416063,3.416063,3.416063]}
+{"name":"markbench.20","mean_latency":34,"max_latency":1404,"distr_latency":[0.815615,3.258367,3.264511,3.284991,3.301375,3.581951,3.807231,3.854335,4.016127,4.040703,4.095999,1394.606079,1396.703231,1402.994687,1404.043263,1404.043263,1404.043263,1404.043263]}
+{"name":"binarytrees5.21","mean_latency":0,"max_latency":7,"distr_latency":[0.005071,0.047679,0.169983,0.640511,0.942591,1.227775,1.996799,2.557951,2.992127,4.055039,4.132863,4.147199,4.192255,4.722687,5.791743,7.585791,7.585791,7.585791]}
+{"name":"mergesort.67108864","mean_latency":1,"max_latency":134,"distr_latency":[0.001559,0.005703,0.006143,0.006383,0.006551,0.006719,0.007071,0.019391,0.024479,0.025055,0.025439,0.027007,0.380927,134.873087,134.873087,134.873087,134.873087,134.873087]}
+{"name":"LU_decomposition.1024","mean_latency":0,"max_latency":0,"distr_latency":[0.000935,0.002183,0.002271,0.002303,0.002319,0.002335,0.002359,0.002399,0.002591,0.002615,0.002647,0.002687,0.003215,0.023519,0.082495,0.742399,0.742399,0.742399]}
+{"name":"graph500_seq_kernel1.edges_data","mean_latency":2,"max_latency":705,"distr_latency":[0.445695,3.567615,3.588095,3.606527,3.614719,3.624959,3.639295,3.672063,3.758079,4.171775,4.665343,4.882431,5.197823,19.562495,702.021631,705.691647,705.691647,705.691647]}
+{"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.000943,0.005911,0.007359,0.011767,0.016463,0.022671,0.027823,0.049823,0.087039,0.096319,0.113727,0.128255,0.145791,0.338431,0.784895,0.784895,0.784895,0.784895]}
+{"name":"zdd.words_txt","mean_latency":1,"max_latency":16,"distr_latency":[0.622591,0.822783,1.036287,1.150975,1.208319,1.271807,1.323007,1.612799,3.110911,3.430399,3.893247,4.126719,5.758975,12.214271,16.015359,16.015359,16.015359,16.015359]}
+{"name":"yojson_ydump.sample.json","mean_latency":0,"max_latency":1,"distr_latency":[0.000175,0.127615,0.205695,0.362239,0.436223,0.456191,0.485375,0.530431,0.537087,0.541183,0.542207,0.542719,0.672767,1.371135,1.371135,1.371135,1.371135,1.371135]}
+{"name":"thread_ring_lwt_stream.20_000","mean_latency":0,"max_latency":2,"distr_latency":[0.336383,0.474879,0.479487,0.488703,0.763391,0.823807,0.841215,0.852991,0.864255,0.867327,0.871423,0.876031,0.882175,0.902655,2.028543,2.643967,2.643967,2.643967]}
+{"name":"kb.","mean_latency":0,"max_latency":1,"distr_latency":[0.051263,0.138111,0.152959,0.174079,0.184831,0.198655,0.215935,0.272639,0.336383,0.365567,0.382975,0.402687,0.446975,0.545279,1.265663,1.265663,1.265663,1.265663]}
+{"name":"fasta6.25_000_000","mean_latency":0,"max_latency":0,"distr_latency":[0.000135,0.030607,0.055839,0.055839,0.079231,0.079231,0.079231,0.079231,0.377599,0.377599,0.377599,0.377599,0.377599,0.377599,0.377599,0.377599,0.377599,0.377599]}
+{"name":"qr-decomposition.","mean_latency":0,"max_latency":1,"distr_latency":[0.001127,0.002935,0.003055,0.003119,0.003151,0.003191,0.003239,0.003319,0.003591,0.005079,0.006727,0.008255,0.013735,0.078655,0.304639,1.456127,1.456127,1.456127]}
+{"name":"knucleotide.","mean_latency":0,"max_latency":8,"distr_latency":[0.001119,0.002287,0.002463,0.002623,0.002695,0.002807,0.008407,0.010167,0.068671,0.279295,0.320511,0.969727,3.913727,4.300799,8.200191,8.200191,8.200191,8.200191]}
+{"name":"pidigits5.10_000","mean_latency":0,"max_latency":69,"distr_latency":[0.000127,0.017247,0.018127,0.018703,0.019071,0.020463,0.029215,0.032431,0.036991,0.039519,0.043007,0.046047,0.052863,0.070783,65.765375,69.402623,69.402623,69.402623]}
+{"name":"levinson-durbin.","mean_latency":0,"max_latency":0,"distr_latency":[0.002767,0.010487,0.013671,0.019871,0.020223,0.021375,0.022159,0.022687,0.028959,0.032575,0.037279,0.043327,0.050495,0.071359,0.122111,0.356095,0.356095,0.356095]}
+{"name":"knucleotide3.","mean_latency":0,"max_latency":4,"distr_latency":[0.000991,0.002199,0.002383,0.002623,0.002671,0.002775,0.002959,0.009263,0.011023,0.012271,0.034847,0.065023,3.651583,3.823615,4.102143,4.102143,4.102143,4.102143]}
+{"name":"minilight.roomfront","mean_latency":0,"max_latency":0,"distr_latency":[0.001159,0.005247,0.005567,0.005871,0.006039,0.006231,0.006463,0.006775,0.007359,0.007607,0.007959,0.008575,0.010687,0.054175,0.111679,0.261375,0.751103,0.751103]}
+{"name":"cubicle.german_pfs.cub","mean_latency":0,"max_latency":6,"distr_latency":[0.013687,0.039615,0.060735,0.097279,0.123583,0.148223,0.167551,0.188287,0.273919,0.392703,0.957951,1.156095,1.216511,1.607679,1.866751,4.870143,6.467583,6.467583]}
+{"name":"bdd.26","mean_latency":0,"max_latency":3,"distr_latency":[0.001119,0.002879,0.003015,0.003127,0.003191,0.003271,0.003367,0.003503,0.003911,0.006359,0.010231,0.019407,0.081535,1.508351,3.155967,3.258367,3.258367,3.258367]}
+{"name":"owl_gc.","mean_latency":0,"max_latency":12,"distr_latency":[0.005719,0.012895,0.016399,0.029839,0.051455,0.143231,0.168191,0.169215,0.170495,0.170879,0.171135,0.171647,0.172799,0.182911,12.156927,12.345343,12.345343,12.345343]}
+{"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.010087,0.027535,0.124607,0.215167,0.226303,0.229119,0.234623,0.238591,0.249215,0.249855,0.250495,0.250495,0.253311,0.649215,0.649215,0.649215,0.649215,0.649215]}
+{"name":"crout-decomposition.","mean_latency":0,"max_latency":2,"distr_latency":[0.000967,0.002495,0.002607,0.002679,0.002719,0.002767,0.002823,0.002927,0.006223,0.008103,0.009735,0.012807,0.032799,0.138879,2.365439,2.365439,2.365439,2.365439]}
+{"name":"chameneos_redux_lwt.600000","mean_latency":0,"max_latency":0,"distr_latency":[0.000959,0.022031,0.022223,0.022415,0.023215,0.024047,0.024655,0.025007,0.025663,0.027503,0.029583,0.030575,0.041119,0.079359,0.979455,0.979455,0.979455,0.979455]}
+{"name":"fasta3.25_000_000","mean_latency":0,"max_latency":0,"distr_latency":[0.000999,0.002151,0.002215,0.002255,0.002271,0.002303,0.002335,0.002391,0.002759,0.007863,0.008543,0.009255,0.009607,0.068991,0.415999,0.415999,0.415999,0.415999]}
+{"name":"test_lwt.200","mean_latency":0,"max_latency":1,"distr_latency":[0.020127,0.037215,0.042335,0.048159,0.051839,0.057183,0.062367,0.070079,0.111615,0.121791,0.136063,0.149119,0.170367,0.207359,0.606207,1.423359,1.423359,1.423359]}
+{"name":"durand-kerner-aberth.","mean_latency":0,"max_latency":0,"distr_latency":[0.001775,0.006367,0.006775,0.008823,0.008911,0.008991,0.009079,0.009239,0.011879,0.013103,0.014023,0.016783,0.020799,0.057439,0.097599,0.727039,0.727039,0.727039]}
+{"name":"quicksort.4000000","mean_latency":1,"max_latency":4,"distr_latency":[0.000151,0.406783,0.406783,0.406783,0.406783,0.406783,4.210687,4.210687,4.210687,4.210687,4.210687,4.210687,4.210687,4.210687,4.210687,4.210687,4.210687,4.210687]}