Automated commit (Turing)

pausetimes_seq/turing/20241125_030947/c484c6932fa2eae03ba0f5a7dbdb26e3eee65eb0/5.4.0+trunk+pausetimes_seq_1.pausetimes.summary.bench

@@ -0,0 +1,54 @@
+{"version":"5.15.0-122-generic","hostname":"turing","kernel":"Linux","arch":"x86_64"}
+{"name":"naive-multilayer.","mean_latency":0,"max_latency":0,"distr_latency":[0.001015,0.002919,0.003191,0.003423,0.003535,0.003655,0.003751,0.003871,0.004087,0.004271,0.004727,0.007639,0.009319,0.031599,0.064095,0.985599,0.985599,0.985599]}
+{"name":"alt-ergo.fill.why","mean_latency":0,"max_latency":2,"distr_latency":[0.070783,0.290559,0.496127,0.537087,0.548863,0.557055,0.576511,0.627711,0.773631,0.906239,1.343487,1.453055,1.911807,2.924543,2.924543,2.924543,2.924543,2.924543]}
+{"name":"nqueens.14","mean_latency":0,"max_latency":0,"distr_latency":[0.001183,0.002911,0.002991,0.003055,0.003087,0.003127,0.003191,0.007887,0.010199,0.010407,0.010583,0.011007,0.015751,0.080575,0.217471,0.217471,0.217471,0.217471]}
+{"name":"game_of_life.256","mean_latency":0,"max_latency":0,"distr_latency":[0.009503,0.026863,0.100735,0.178687,0.184959,0.214655,0.216959,0.219519,0.228991,0.229887,0.229887,0.238207,0.238207,0.688127,0.688127,0.688127,0.688127,0.688127]}
+{"name":"revcomp2.","mean_latency":1,"max_latency":4,"distr_latency":[0.525823,0.855039,0.943103,0.966655,1.572863,1.965055,1.983487,1.998847,2.014207,2.019327,2.031615,2.041855,2.047999,2.183167,4.308991,4.308991,4.308991,4.308991]}
+{"name":"menhir.sql-parser","mean_latency":0,"max_latency":8,"distr_latency":[0.000903,0.002631,0.002799,0.010415,0.030479,0.077759,0.187263,0.352767,0.710143,0.873983,1.353727,1.545215,1.903615,3.936255,7.553023,8.257535,8.257535,8.257535]}
+{"name":"menhir.sysver","mean_latency":0,"max_latency":41,"distr_latency":[0.000951,0.002575,0.002695,0.002815,0.002871,0.002975,0.030911,0.273151,0.839167,0.953343,1.275903,1.436671,1.719295,3.862527,6.037503,18.350079,41.877503,41.877503]}
+{"name":"thread_ring_lwt_mvar.20_000","mean_latency":0,"max_latency":0,"distr_latency":[0.121151,0.195839,0.198015,0.201727,0.203519,0.206335,0.280319,0.392959,0.399615,0.400639,0.401919,0.403455,0.407039,0.517119,0.827903,0.901119,0.901119,0.901119]}
+{"name":"alt-ergo.yyll.why","mean_latency":0,"max_latency":6,"distr_latency":[0.006375,0.013999,0.026751,0.050559,0.071807,0.101759,0.142847,0.207231,0.387583,0.457727,0.549375,0.678911,0.977919,2.349055,6.139903,6.434815,6.434815,6.434815]}
+{"name":"fft.","mean_latency":0,"max_latency":4,"distr_latency":[0.369151,0.741375,0.761855,0.799743,0.813055,0.827903,0.846847,1.348607,1.412095,1.420287,1.429503,1.453055,1.508351,2.674687,4.935679,4.935679,4.935679,4.935679]}
+{"name":"cubicle.szymanski_at.cub","mean_latency":0,"max_latency":4,"distr_latency":[0.023823,0.065727,0.089151,0.124863,0.150015,0.179839,0.211583,0.261119,0.485631,0.543743,0.649727,0.905215,1.009663,2.324479,2.467839,2.701311,3.483647,4.915199]}
+{"name":"kb_no_exc.","mean_latency":0,"max_latency":1,"distr_latency":[0.120511,0.335871,0.354559,0.372991,0.385279,0.406783,0.448511,0.600575,0.784895,0.835071,0.876543,0.914431,0.997375,1.204223,1.922047,1.922047,1.922047,1.922047]}
+{"name":"evolutionary_algorithm.10000_10000","mean_latency":0,"max_latency":1,"distr_latency":[0.003783,0.004447,0.005383,0.005999,0.006567,0.084223,0.124415,0.242175,0.248447,0.250623,0.253183,0.255743,0.260223,0.271103,0.293119,1.049599,1.049599,1.049599]}
+{"name":"soli.2000","mean_latency":0,"max_latency":0,"distr_latency":[0.020031,0.020031,0.020031,0.020031,0.241919,0.241919,0.241919,0.241919,0.241919,0.241919,0.241919,0.241919,0.241919,0.241919,0.241919,0.241919,0.241919,0.241919]}
+{"name":"lexifi-g2pp.","mean_latency":0,"max_latency":0,"distr_latency":[0.001103,0.002855,0.003015,0.003103,0.003135,0.003183,0.003239,0.003319,0.003479,0.003543,0.003647,0.003927,0.008815,0.036991,0.581119,0.879615,0.879615,0.879615]}
+{"name":"spectralnorm2.5_500","mean_latency":0,"max_latency":0,"distr_latency":[0.001047,0.002095,0.002183,0.002239,0.002279,0.002327,0.002399,0.002463,0.002583,0.002639,0.002727,0.003079,0.007439,0.010943,0.060479,0.745471,0.745471,0.745471]}
+{"name":"sequence_cps.10000","mean_latency":0,"max_latency":0,"distr_latency":[0.001015,0.002391,0.002511,0.002655,0.002687,0.002727,0.002783,0.002879,0.003143,0.003423,0.005047,0.006591,0.008263,0.030543,0.058239,0.461823,0.461823,0.461823]}
+{"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":268,"distr_latency":[0.003487,0.087999,0.182911,0.301567,0.404991,0.540159,0.713727,0.966143,1.347583,1.412095,1.463295,1.522687,1.650687,34.701311,173.539327,268.304383,268.304383,268.304383]}
+{"name":"test_decompress.64_524_288","mean_latency":0,"max_latency":1,"distr_latency":[0.003567,0.012159,0.020143,0.025103,0.027695,0.030767,0.034783,0.038623,0.041439,0.043071,0.045983,0.051071,0.080319,0.128383,1.062911,1.062911,1.062911,1.062911]}
+{"name":"zarith_pi.10_000","mean_latency":0,"max_latency":76,"distr_latency":[0.000119,0.012631,0.013575,0.020543,0.022655,0.023359,0.023967,0.024671,0.028303,0.030351,0.034047,0.038367,0.044607,0.060319,73.531391,76.677119,76.677119,76.677119]}
+{"name":"floyd_warshall.512","mean_latency":0,"max_latency":1,"distr_latency":[0.007159,0.023311,0.043071,0.068095,0.185727,0.699391,0.782847,0.876543,1.132543,1.188863,1.224703,1.334271,1.569791,1.729535,1.738751,1.738751,1.738751,1.738751]}
+{"name":"regexredux2.","mean_latency":1,"max_latency":60,"distr_latency":[0.067455,1.717247,1.746943,2.183167,2.213887,2.588671,2.801663,2.834431,3.766271,3.770367,3.774463,3.784703,3.803135,19.005439,60.162047,60.162047,60.162047,60.162047]}
+{"name":"hamming.1_000_000","mean_latency":0,"max_latency":3,"distr_latency":[0.181887,0.817663,0.907775,0.935423,0.945151,0.952319,0.958975,0.968703,1.452031,1.641471,2.036735,2.138111,2.242559,2.703359,3.667967,3.667967,3.667967,3.667967]}
+{"name":"markbench.20","mean_latency":34,"max_latency":1400,"distr_latency":[0.814591,3.270655,3.278847,3.297279,3.317759,3.579903,3.796991,3.852287,4.030463,4.069375,4.118527,1386.217471,1392.508927,1395.654655,1400.897535,1400.897535,1400.897535,1400.897535]}
+{"name":"binarytrees5.21","mean_latency":0,"max_latency":8,"distr_latency":[0.004783,0.050271,0.175615,0.637951,0.949759,1.232895,1.997823,2.580479,2.818047,4.067327,4.132863,4.147199,4.190207,5.292031,5.939199,8.675327,8.675327,8.675327]}
+{"name":"mergesort.67108864","mean_latency":1,"max_latency":131,"distr_latency":[0.002327,0.006983,0.007511,0.007807,0.007991,0.008215,0.008599,0.018575,0.024415,0.025615,0.025887,0.028527,0.379135,131.465215,131.465215,131.465215,131.465215,131.465215]}
+{"name":"LU_decomposition.1024","mean_latency":0,"max_latency":0,"distr_latency":[0.000951,0.002143,0.002223,0.002271,0.002295,0.002327,0.002383,0.002463,0.002615,0.002695,0.002903,0.004719,0.008039,0.020367,0.080127,0.693759,0.693759,0.693759]}
+{"name":"graph500_seq_kernel1.edges_data","mean_latency":2,"max_latency":708,"distr_latency":[0.445439,3.577855,3.596287,3.612671,3.620863,3.631103,3.643391,3.676159,3.778559,4.214783,4.702207,4.911103,5.197823,19.349503,687.865855,708.313087,708.313087,708.313087]}
+{"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.000863,0.005927,0.007831,0.011151,0.015815,0.021583,0.027167,0.050623,0.086463,0.096383,0.114367,0.127295,0.146559,0.335871,0.810495,0.810495,0.810495,0.810495]}
+{"name":"zdd.words_txt","mean_latency":1,"max_latency":15,"distr_latency":[0.618495,0.820735,1.022463,1.135615,1.206271,1.267711,1.317887,1.585151,3.125247,3.438591,3.909631,4.032511,5.738495,12.173311,15.949823,15.949823,15.949823,15.949823]}
+{"name":"yojson_ydump.sample.json","mean_latency":0,"max_latency":1,"distr_latency":[0.000167,0.132479,0.209151,0.363007,0.434431,0.461823,0.485119,0.531967,0.543743,0.544255,0.545791,0.551423,0.697343,1.380351,1.380351,1.380351,1.380351,1.380351]}
+{"name":"thread_ring_lwt_stream.20_000","mean_latency":0,"max_latency":2,"distr_latency":[0.337151,0.472063,0.476671,0.486655,0.763903,0.822783,0.840191,0.851967,0.863743,0.866815,0.870911,0.875519,0.882175,0.902655,2.046975,2.650111,2.650111,2.650111]}
+{"name":"kb.","mean_latency":0,"max_latency":1,"distr_latency":[0.050847,0.139647,0.154879,0.176383,0.186879,0.200191,0.217727,0.268799,0.347391,0.369151,0.390399,0.418815,0.460031,0.641023,1.103871,1.103871,1.103871,1.103871]}
+{"name":"fasta6.25_000_000","mean_latency":0,"max_latency":0,"distr_latency":[0.000151,0.031951,0.047487,0.047487,0.077311,0.077311,0.077311,0.077311,0.372991,0.372991,0.372991,0.372991,0.372991,0.372991,0.372991,0.372991,0.372991,0.372991]}
+{"name":"qr-decomposition.","mean_latency":0,"max_latency":1,"distr_latency":[0.001143,0.002911,0.003047,0.003111,0.003151,0.003191,0.003239,0.003319,0.003679,0.006463,0.006839,0.007911,0.013023,0.081471,0.292095,1.386495,1.386495,1.386495]}
+{"name":"knucleotide.","mean_latency":0,"max_latency":5,"distr_latency":[0.001199,0.002503,0.002591,0.002687,0.002783,0.002943,0.008375,0.010159,0.066047,0.273919,0.329727,0.958463,3.919871,4.321279,5.935103,5.935103,5.935103,5.935103]}
+{"name":"pidigits5.10_000","mean_latency":0,"max_latency":69,"distr_latency":[0.000127,0.017103,0.017903,0.018495,0.018895,0.020367,0.031295,0.032863,0.036863,0.039167,0.043423,0.047551,0.052511,0.070975,67.960831,69.795839,69.795839,69.795839]}
+{"name":"levinson-durbin.","mean_latency":0,"max_latency":0,"distr_latency":[0.002767,0.012463,0.013447,0.019039,0.019775,0.020975,0.021423,0.022095,0.031759,0.034303,0.038303,0.043615,0.051839,0.068671,0.086143,0.225919,0.225919,0.225919]}
+{"name":"knucleotide3.","mean_latency":0,"max_latency":3,"distr_latency":[0.001047,0.002183,0.002351,0.002599,0.002647,0.002775,0.002951,0.009615,0.011335,0.014479,0.035327,0.063455,3.592191,3.768319,3.827711,3.827711,3.827711,3.827711]}
+{"name":"minilight.roomfront","mean_latency":0,"max_latency":0,"distr_latency":[0.001319,0.005175,0.005503,0.005815,0.005983,0.006167,0.006391,0.006711,0.007319,0.007551,0.007919,0.008543,0.010487,0.056383,0.108607,0.234751,0.763391,0.763391]}
+{"name":"cubicle.german_pfs.cub","mean_latency":0,"max_latency":11,"distr_latency":[0.013303,0.039487,0.060639,0.097471,0.123647,0.147967,0.166527,0.187135,0.273919,0.400895,0.951295,1.158143,1.218559,1.614847,1.860607,5.709823,11.509759,11.509759]}
+{"name":"bdd.26","mean_latency":0,"max_latency":3,"distr_latency":[0.001103,0.003079,0.003247,0.003343,0.003399,0.003463,0.003551,0.003687,0.004095,0.006751,0.010175,0.022719,0.092223,1.416191,2.967551,3.094527,3.094527,3.094527]}
+{"name":"owl_gc.","mean_latency":0,"max_latency":14,"distr_latency":[0.006007,0.013151,0.016767,0.022735,0.041727,0.140543,0.159103,0.160127,0.161535,0.161919,0.162303,0.162815,0.166015,0.177151,14.401535,14.532607,14.532607,14.532607]}
+{"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.010687,0.027919,0.129663,0.211199,0.224895,0.232703,0.235391,0.239615,0.250495,0.253567,0.254079,0.254079,0.254463,0.652799,0.652799,0.652799,0.652799,0.652799]}
+{"name":"crout-decomposition.","mean_latency":0,"max_latency":2,"distr_latency":[0.000983,0.002519,0.002647,0.002735,0.002791,0.002847,0.002911,0.003031,0.006231,0.007791,0.009231,0.010079,0.032623,0.128575,2.250751,2.250751,2.250751,2.250751]}
+{"name":"chameneos_redux_lwt.600000","mean_latency":0,"max_latency":0,"distr_latency":[0.001007,0.022319,0.022543,0.022815,0.023455,0.024431,0.024863,0.025215,0.026127,0.028559,0.029871,0.031023,0.041951,0.089471,0.948735,0.948735,0.948735,0.948735]}
+{"name":"fasta3.25_000_000","mean_latency":0,"max_latency":0,"distr_latency":[0.001063,0.002167,0.002247,0.002295,0.002319,0.002351,0.002399,0.002535,0.008735,0.009103,0.009327,0.009927,0.010303,0.068031,0.420863,0.420863,0.420863,0.420863]}
+{"name":"test_lwt.200","mean_latency":0,"max_latency":1,"distr_latency":[0.020655,0.038143,0.043263,0.048927,0.052607,0.057535,0.062783,0.069567,0.113727,0.125503,0.137343,0.146047,0.163583,0.207231,0.657919,1.460223,1.460223,1.460223]}
+{"name":"durand-kerner-aberth.","mean_latency":0,"max_latency":0,"distr_latency":[0.001751,0.006471,0.006887,0.009031,0.009119,0.009199,0.009287,0.009463,0.012231,0.013719,0.015007,0.017007,0.021023,0.055647,0.098239,0.675839,0.675839,0.675839]}
+{"name":"quicksort.4000000","mean_latency":1,"max_latency":4,"distr_latency":[0.000311,0.423167,0.423167,0.423167,0.423167,0.423167,4.296703,4.296703,4.296703,4.296703,4.296703,4.296703,4.296703,4.296703,4.296703,4.296703,4.296703,4.296703]}