Automated commit (Turing)

pausetimes_seq/turing/20250109_031456/041e464e138c9d569c3e562131bdd675e8341aed/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.000887,0.002751,0.003007,0.003255,0.003391,0.003511,0.003623,0.003727,0.003887,0.003951,0.004199,0.004759,0.008943,0.031967,0.069567,0.952319,0.952319,0.952319]}
+{"name":"alt-ergo.fill.why","mean_latency":0,"max_latency":2,"distr_latency":[0.068607,0.299007,0.482815,0.535551,0.547327,0.555519,0.573439,0.637951,0.812543,0.911871,1.332223,1.458175,1.860607,2.809855,2.809855,2.809855,2.809855,2.809855]}
+{"name":"nqueens.14","mean_latency":0,"max_latency":0,"distr_latency":[0.001111,0.002895,0.002991,0.003063,0.003111,0.003183,0.003295,0.008039,0.010287,0.010487,0.010927,0.012815,0.017583,0.082815,0.261631,0.261631,0.261631,0.261631]}
+{"name":"game_of_life.256","mean_latency":0,"max_latency":0,"distr_latency":[0.008727,0.022239,0.101183,0.167167,0.187007,0.213631,0.218623,0.222079,0.229887,0.231935,0.231935,0.236031,0.236031,0.667135,0.667135,0.667135,0.667135,0.667135]}
+{"name":"revcomp2.","mean_latency":1,"max_latency":3,"distr_latency":[0.528383,0.850943,0.943615,0.967679,1.592319,1.935359,1.956863,1.969151,1.983487,1.988607,1.993727,2.002943,2.025471,2.123775,3.581951,3.581951,3.581951,3.581951]}
+{"name":"menhir.sql-parser","mean_latency":0,"max_latency":8,"distr_latency":[0.000927,0.002759,0.002919,0.010199,0.030559,0.076287,0.187391,0.348159,0.719359,0.869375,1.336319,1.520639,1.871871,3.829759,7.565311,8.495103,8.495103,8.495103]}
+{"name":"menhir.sysver","mean_latency":0,"max_latency":38,"distr_latency":[0.000951,0.002631,0.002727,0.002823,0.002871,0.002951,0.030271,0.272383,0.832511,0.962559,1.277951,1.436671,1.745919,3.821567,6.139903,19.906559,38.600703,38.600703]}
+{"name":"thread_ring_lwt_mvar.20_000","mean_latency":0,"max_latency":0,"distr_latency":[0.121727,0.196735,0.198783,0.202751,0.204159,0.206591,0.278271,0.390143,0.396543,0.397567,0.398335,0.399871,0.403711,0.567807,0.842751,0.912383,0.912383,0.912383]}
+{"name":"alt-ergo.yyll.why","mean_latency":0,"max_latency":6,"distr_latency":[0.006551,0.014191,0.026623,0.050591,0.071743,0.101055,0.142335,0.207487,0.381695,0.453631,0.546303,0.670719,0.971263,2.158591,6.029311,6.438911,6.438911,6.438911]}
+{"name":"fft.","mean_latency":0,"max_latency":4,"distr_latency":[0.367615,0.723455,0.739327,0.745983,0.748543,0.752639,0.760319,1.325055,1.346559,1.350655,1.359871,1.391615,1.495039,2.674687,4.943871,4.943871,4.943871,4.943871]}
+{"name":"cubicle.szymanski_at.cub","mean_latency":0,"max_latency":4,"distr_latency":[0.024159,0.066687,0.091071,0.128191,0.155135,0.187007,0.220287,0.269055,0.485119,0.547839,0.675839,0.947199,1.061887,2.269183,2.418687,2.879487,3.880959,4.329471]}
+{"name":"kb_no_exc.","mean_latency":0,"max_latency":1,"distr_latency":[0.123327,0.330239,0.350463,0.366591,0.382463,0.400383,0.441855,0.551935,0.774655,0.843775,0.897535,0.964095,1.022975,1.310719,1.874943,1.874943,1.874943,1.874943]}
+{"name":"evolutionary_algorithm.10000_10000","mean_latency":0,"max_latency":1,"distr_latency":[0.003791,0.004383,0.005343,0.005927,0.006415,0.082239,0.123455,0.241279,0.247807,0.249983,0.252671,0.255103,0.259967,0.272383,0.351999,1.211391,1.211391,1.211391]}
+{"name":"soli.2000","mean_latency":0,"max_latency":0,"distr_latency":[0.020543,0.020543,0.020543,0.020543,0.252671,0.252671,0.252671,0.252671,0.252671,0.252671,0.252671,0.252671,0.252671,0.252671,0.252671,0.252671,0.252671,0.252671]}
+{"name":"lexifi-g2pp.","mean_latency":0,"max_latency":0,"distr_latency":[0.001039,0.002791,0.002967,0.003063,0.003111,0.003167,0.003231,0.003319,0.003503,0.003567,0.003679,0.004095,0.009047,0.036927,0.638463,0.934911,0.934911,0.934911]}
+{"name":"spectralnorm2.5_500","mean_latency":0,"max_latency":0,"distr_latency":[0.000975,0.002103,0.002175,0.002223,0.002255,0.002295,0.002335,0.002399,0.002543,0.002607,0.002727,0.005279,0.008983,0.011863,0.060255,0.751103,0.751103,0.751103]}
+{"name":"sequence_cps.10000","mean_latency":0,"max_latency":0,"distr_latency":[0.000943,0.002447,0.002559,0.002735,0.002775,0.002807,0.002831,0.002871,0.003015,0.003071,0.003239,0.003759,0.008031,0.029711,0.094143,0.519167,0.519167,0.519167]}
+{"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":272,"distr_latency":[0.004367,0.089087,0.184959,0.303359,0.408831,0.541183,0.712191,0.963583,1.341439,1.402879,1.454079,1.509375,1.647615,35.487743,178.257919,272.367615,272.367615,272.367615]}
+{"name":"test_decompress.64_524_288","mean_latency":0,"max_latency":1,"distr_latency":[0.003615,0.011871,0.020671,0.025583,0.028207,0.031855,0.035455,0.039743,0.042719,0.044479,0.047167,0.053663,0.089727,0.134399,1.088511,1.088511,1.088511,1.088511]}
+{"name":"zarith_pi.10_000","mean_latency":0,"max_latency":73,"distr_latency":[0.000119,0.012831,0.013567,0.020207,0.023631,0.024335,0.024943,0.025631,0.029439,0.031343,0.034559,0.039007,0.045055,0.058623,35.782655,73.400319,73.400319,73.400319]}
+{"name":"floyd_warshall.512","mean_latency":0,"max_latency":1,"distr_latency":[0.008367,0.023967,0.043295,0.075391,0.178303,0.699903,0.781311,0.862207,1.116159,1.173503,1.207295,1.299455,1.528831,1.699839,1.738751,1.738751,1.738751,1.738751]}
+{"name":"regexredux2.","mean_latency":1,"max_latency":67,"distr_latency":[0.068415,1.729535,1.776639,2.234367,2.254847,2.590719,2.826239,2.863103,3.819519,3.827711,3.844095,3.850239,3.876863,18.743295,67.436543,67.436543,67.436543,67.436543]}
+{"name":"hamming.1_000_000","mean_latency":0,"max_latency":4,"distr_latency":[0.189055,0.815615,0.904703,0.932351,0.944639,0.949759,0.954367,0.963583,1.414143,1.640447,2.009087,2.094079,2.183167,2.420735,4.243455,4.243455,4.243455,4.243455]}
+{"name":"markbench.20","mean_latency":34,"max_latency":1401,"distr_latency":[0.824831,3.252223,3.260415,3.278847,3.297279,3.604479,3.811327,3.864575,4.110335,4.136959,4.206591,1388.314623,1395.654655,1396.703231,1401.946111,1401.946111,1401.946111,1401.946111]}
+{"name":"binarytrees5.21","mean_latency":0,"max_latency":9,"distr_latency":[0.004975,0.048543,0.172287,0.636927,0.944639,1.255423,1.992703,2.623487,2.985983,4.052991,4.128767,4.143103,4.214783,4.714495,6.000639,9.568255,9.568255,9.568255]}
+{"name":"mergesort.67108864","mean_latency":1,"max_latency":130,"distr_latency":[0.002703,0.006791,0.007303,0.007663,0.007927,0.008191,0.008775,0.019007,0.025135,0.025727,0.026159,0.028943,0.380159,130.940927,130.940927,130.940927,130.940927,130.940927]}
+{"name":"LU_decomposition.1024","mean_latency":0,"max_latency":0,"distr_latency":[0.000951,0.002271,0.002367,0.002407,0.002423,0.002447,0.002471,0.002519,0.002703,0.002735,0.002767,0.002815,0.003239,0.022575,0.100287,0.707071,0.707071,0.707071]}
+{"name":"graph500_seq_kernel1.edges_data","mean_latency":2,"max_latency":687,"distr_latency":[0.446975,3.586047,3.606527,3.622911,3.631103,3.641343,3.651583,3.690495,3.829759,4.239359,4.792319,4.980735,5.283839,16.777215,671.088639,687.865855,687.865855,687.865855]}
+{"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.000855,0.005703,0.007943,0.011279,0.016095,0.021583,0.026863,0.049727,0.086143,0.097087,0.113919,0.127935,0.145535,0.329727,0.765951,0.765951,0.765951,0.765951]}
+{"name":"zdd.words_txt","mean_latency":1,"max_latency":15,"distr_latency":[0.616959,0.817151,1.023999,1.135615,1.199103,1.257471,1.308671,1.567743,3.094527,3.409919,3.876863,4.022271,5.705727,12.206079,15.917055,15.917055,15.917055,15.917055]}
+{"name":"yojson_ydump.sample.json","mean_latency":0,"max_latency":1,"distr_latency":[0.000167,0.133503,0.209151,0.364543,0.436991,0.462591,0.493823,0.532991,0.543231,0.545791,0.546303,0.548351,0.704511,1.416191,1.416191,1.416191,1.416191,1.416191]}
+{"name":"thread_ring_lwt_stream.20_000","mean_latency":0,"max_latency":2,"distr_latency":[0.335103,0.476159,0.480767,0.490239,0.758271,0.818175,0.835071,0.846335,0.859135,0.861695,0.864767,0.870399,0.877055,0.892415,2.047999,2.297855,2.297855,2.297855]}
+{"name":"kb.","mean_latency":0,"max_latency":0,"distr_latency":[0.050943,0.136447,0.151039,0.172287,0.182783,0.196991,0.214783,0.274943,0.340479,0.370943,0.386559,0.408319,0.454143,0.552959,0.911359,0.911359,0.911359,0.911359]}
+{"name":"fasta6.25_000_000","mean_latency":0,"max_latency":0,"distr_latency":[0.000159,0.029647,0.049471,0.049471,0.081663,0.081663,0.081663,0.081663,0.378111,0.378111,0.378111,0.378111,0.378111,0.378111,0.378111,0.378111,0.378111,0.378111]}
+{"name":"qr-decomposition.","mean_latency":0,"max_latency":1,"distr_latency":[0.001199,0.002919,0.003023,0.003095,0.003127,0.003175,0.003239,0.003351,0.006295,0.006807,0.007255,0.008263,0.013911,0.079551,0.299519,1.406975,1.406975,1.406975]}
+{"name":"knucleotide.","mean_latency":0,"max_latency":5,"distr_latency":[0.001231,0.002407,0.002567,0.002663,0.002719,0.002823,0.005535,0.010159,0.067391,0.278527,0.322559,0.948735,3.921919,4.313087,5.709823,5.709823,5.709823,5.709823]}
+{"name":"pidigits5.10_000","mean_latency":0,"max_latency":69,"distr_latency":[0.000127,0.017119,0.018351,0.019039,0.019375,0.019951,0.021919,0.032799,0.035391,0.037311,0.039743,0.044159,0.051967,0.068991,48.562175,69.599231,69.599231,69.599231]}
+{"name":"levinson-durbin.","mean_latency":0,"max_latency":0,"distr_latency":[0.002703,0.010255,0.013639,0.019535,0.019919,0.021119,0.021983,0.022511,0.028639,0.032591,0.037087,0.043327,0.050751,0.070335,0.213247,0.281087,0.281087,0.281087]}
+{"name":"knucleotide3.","mean_latency":0,"max_latency":4,"distr_latency":[0.001039,0.002207,0.002343,0.002519,0.002575,0.002663,0.002959,0.009367,0.011079,0.017823,0.033631,0.063743,3.667967,3.846143,4.141055,4.141055,4.141055,4.141055]}
+{"name":"minilight.roomfront","mean_latency":0,"max_latency":0,"distr_latency":[0.001263,0.005143,0.005479,0.005791,0.005959,0.006151,0.006399,0.006751,0.007407,0.007671,0.008095,0.008823,0.010807,0.052543,0.099583,0.231807,0.733183,0.733183]}
+{"name":"cubicle.german_pfs.cub","mean_latency":0,"max_latency":6,"distr_latency":[0.013223,0.039103,0.060191,0.096831,0.123391,0.147839,0.167167,0.187903,0.271615,0.385791,0.919551,1.127423,1.183743,1.581055,1.826815,5.558271,6.238207,6.238207]}
+{"name":"bdd.26","mean_latency":0,"max_latency":3,"distr_latency":[0.001159,0.002983,0.003159,0.003271,0.003335,0.003399,0.003495,0.003639,0.004079,0.006391,0.010183,0.019631,0.083135,1.394687,3.125247,3.295231,3.295231,3.295231]}
+{"name":"owl_gc.","mean_latency":0,"max_latency":14,"distr_latency":[0.005847,0.012895,0.016175,0.029455,0.050687,0.134783,0.159743,0.160767,0.162303,0.162559,0.162943,0.163839,0.171775,0.182527,14.237695,14.622719,14.622719,14.622719]}
+{"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.011431,0.029279,0.130815,0.212095,0.227071,0.231679,0.233471,0.242431,0.254719,0.254975,0.256639,0.256639,0.261887,0.660991,0.660991,0.660991,0.660991,0.660991]}
+{"name":"crout-decomposition.","mean_latency":0,"max_latency":2,"distr_latency":[0.000983,0.002559,0.002695,0.002767,0.002807,0.002855,0.002911,0.002999,0.006311,0.008055,0.009687,0.011487,0.032559,0.099711,2.359295,2.359295,2.359295,2.359295]}
+{"name":"chameneos_redux_lwt.600000","mean_latency":0,"max_latency":1,"distr_latency":[0.000991,0.020735,0.020959,0.021151,0.021967,0.022991,0.023487,0.023791,0.024687,0.026463,0.028111,0.029119,0.041343,0.086143,1.011199,1.011199,1.011199,1.011199]}
+{"name":"fasta3.25_000_000","mean_latency":0,"max_latency":0,"distr_latency":[0.001047,0.002231,0.002295,0.002327,0.002343,0.002367,0.002391,0.002455,0.002751,0.007903,0.008503,0.009295,0.009567,0.073663,0.454911,0.454911,0.454911,0.454911]}
+{"name":"test_lwt.200","mean_latency":0,"max_latency":1,"distr_latency":[0.020063,0.038047,0.043167,0.048895,0.052287,0.057535,0.062623,0.070271,0.110847,0.121343,0.134527,0.147967,0.167295,0.204927,0.598527,1.959935,1.959935,1.959935]}
+{"name":"durand-kerner-aberth.","mean_latency":0,"max_latency":0,"distr_latency":[0.001951,0.006479,0.007055,0.009119,0.009239,0.009343,0.009479,0.009711,0.012599,0.013567,0.014439,0.017295,0.021631,0.052095,0.088063,0.722431,0.722431,0.722431]}
+{"name":"quicksort.4000000","mean_latency":1,"max_latency":4,"distr_latency":[0.000127,0.407295,0.407295,0.407295,0.407295,0.407295,4.227071,4.227071,4.227071,4.227071,4.227071,4.227071,4.227071,4.227071,4.227071,4.227071,4.227071,4.227071]}