Automated commit (Turing)

pausetimes_seq/turing/20241231_030803/f28bfbcb232b017460cb0ba7f9ec8cf1cf773811/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.001039,0.002783,0.003007,0.003255,0.003391,0.003511,0.003631,0.003743,0.003887,0.003951,0.004167,0.004711,0.009015,0.033535,0.067071,0.979455,0.979455,0.979455]}
+{"name":"alt-ergo.fill.why","mean_latency":0,"max_latency":2,"distr_latency":[0.069631,0.287743,0.491519,0.531967,0.541183,0.549375,0.571903,0.617983,0.765951,0.889855,1.307647,1.451007,1.876991,2.883583,2.883583,2.883583,2.883583,2.883583]}
+{"name":"nqueens.14","mean_latency":0,"max_latency":0,"distr_latency":[0.001151,0.002711,0.002807,0.002871,0.002919,0.002967,0.003103,0.008119,0.010247,0.010351,0.010631,0.011247,0.017807,0.076991,0.208255,0.208255,0.208255,0.208255]}
+{"name":"game_of_life.256","mean_latency":0,"max_latency":0,"distr_latency":[0.009575,0.024191,0.109055,0.161279,0.203263,0.218751,0.222591,0.227327,0.233727,0.237823,0.237823,0.240127,0.240127,0.677375,0.677375,0.677375,0.677375,0.677375]}
+{"name":"revcomp2.","mean_latency":1,"max_latency":4,"distr_latency":[0.521983,0.880639,0.947711,0.969727,1.570815,1.952767,1.974271,1.991679,2.015231,2.023423,2.035711,2.058239,2.123775,2.228223,4.911103,4.911103,4.911103,4.911103]}
+{"name":"menhir.sql-parser","mean_latency":0,"max_latency":8,"distr_latency":[0.000983,0.002663,0.002847,0.010535,0.030399,0.076351,0.184959,0.347135,0.702975,0.869375,1.336319,1.530879,1.881087,4.024319,7.475199,8.187903,8.187903,8.187903]}
+{"name":"menhir.sysver","mean_latency":0,"max_latency":41,"distr_latency":[0.000951,0.002575,0.002711,0.002807,0.002863,0.003031,0.030367,0.273407,0.843775,0.960511,1.279999,1.444863,1.720319,3.829759,6.025215,18.366463,41.844735,41.844735]}
+{"name":"thread_ring_lwt_mvar.20_000","mean_latency":0,"max_latency":0,"distr_latency":[0.121279,0.195583,0.197631,0.201471,0.203263,0.206079,0.280063,0.393471,0.399871,0.400895,0.401919,0.403711,0.406783,0.476415,0.848895,0.907263,0.907263,0.907263]}
+{"name":"alt-ergo.yyll.why","mean_latency":0,"max_latency":6,"distr_latency":[0.006799,0.014359,0.026975,0.050559,0.072447,0.101887,0.142719,0.207743,0.385791,0.456447,0.548351,0.676863,0.977919,2.174975,6.025215,6.426623,6.426623,6.426623]}
+{"name":"fft.","mean_latency":0,"max_latency":4,"distr_latency":[0.368639,0.720895,0.739327,0.745983,0.748543,0.754687,0.770047,1.325055,1.345535,1.353727,1.362943,1.383423,1.502207,2.652159,4.964351,4.964351,4.964351,4.964351]}
+{"name":"cubicle.szymanski_at.cub","mean_latency":0,"max_latency":4,"distr_latency":[0.024479,0.067199,0.091711,0.129151,0.156287,0.188287,0.221567,0.270591,0.491775,0.551423,0.678399,0.952831,1.069055,2.320383,2.459647,2.658303,3.422207,4.624383]}
+{"name":"kb_no_exc.","mean_latency":0,"max_latency":1,"distr_latency":[0.121279,0.335615,0.355839,0.372223,0.385279,0.407039,0.450047,0.600575,0.789503,0.838143,0.884735,0.920575,0.999935,1.223679,1.924095,1.924095,1.924095,1.924095]}
+{"name":"evolutionary_algorithm.10000_10000","mean_latency":0,"max_latency":1,"distr_latency":[0.003743,0.004351,0.005263,0.005839,0.006351,0.083903,0.123903,0.242047,0.247423,0.248831,0.251519,0.254975,0.259839,0.269311,0.284927,1.078271,1.078271,1.078271]}
+{"name":"soli.2000","mean_latency":0,"max_latency":0,"distr_latency":[0.020399,0.020399,0.020399,0.020399,0.234239,0.234239,0.234239,0.234239,0.234239,0.234239,0.234239,0.234239,0.234239,0.234239,0.234239,0.234239,0.234239,0.234239]}
+{"name":"lexifi-g2pp.","mean_latency":0,"max_latency":0,"distr_latency":[0.000999,0.002703,0.002887,0.002991,0.003047,0.003087,0.003143,0.003207,0.003335,0.003383,0.003455,0.003687,0.008823,0.036703,0.787967,0.919551,0.919551,0.919551]}
+{"name":"spectralnorm2.5_500","mean_latency":0,"max_latency":0,"distr_latency":[0.000967,0.002031,0.002095,0.002135,0.002159,0.002183,0.002231,0.002367,0.002479,0.002519,0.002599,0.006863,0.008359,0.012247,0.076223,0.752127,0.752127,0.752127]}
+{"name":"sequence_cps.10000","mean_latency":0,"max_latency":0,"distr_latency":[0.000991,0.002351,0.002447,0.002583,0.002615,0.002647,0.002679,0.002719,0.002911,0.002967,0.003103,0.003743,0.007775,0.030495,0.060031,0.471807,0.471807,0.471807]}
+{"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":266,"distr_latency":[0.003463,0.088447,0.184447,0.304127,0.407551,0.542719,0.716287,0.966143,1.345535,1.406975,1.461247,1.523711,1.657855,34.078719,173.015039,266.993663,266.993663,266.993663]}
+{"name":"test_decompress.64_524_288","mean_latency":0,"max_latency":1,"distr_latency":[0.003559,0.012263,0.020175,0.025183,0.027759,0.031103,0.035295,0.039327,0.042303,0.044063,0.046463,0.051839,0.078783,0.126335,1.068031,1.068031,1.068031,1.068031]}
+{"name":"zarith_pi.10_000","mean_latency":0,"max_latency":76,"distr_latency":[0.000135,0.012559,0.013815,0.022063,0.022751,0.023519,0.024319,0.029007,0.034783,0.035743,0.037343,0.041183,0.045791,0.062239,74.842111,76.742655,76.742655,76.742655]}
+{"name":"floyd_warshall.512","mean_latency":0,"max_latency":1,"distr_latency":[0.007471,0.023663,0.043487,0.072447,0.186751,0.729087,0.811519,0.891391,1.157119,1.208319,1.240063,1.313791,1.543167,1.725439,1.745919,1.745919,1.745919,1.745919]}
+{"name":"regexredux2.","mean_latency":1,"max_latency":60,"distr_latency":[0.068415,1.701887,1.737727,2.170879,2.203647,2.555903,2.783231,2.820095,3.751935,3.756031,3.762175,3.774463,3.790847,18.792447,60.227583,60.227583,60.227583,60.227583]}
+{"name":"hamming.1_000_000","mean_latency":0,"max_latency":4,"distr_latency":[0.181631,0.819199,0.908799,0.936959,0.943615,0.951295,0.956927,0.969215,1.433599,1.617919,2.010111,2.117631,2.269183,2.430975,4.243455,4.243455,4.243455,4.243455]}
+{"name":"markbench.20","mean_latency":34,"max_latency":1401,"distr_latency":[0.816127,3.252223,3.258367,3.276799,3.289087,3.581951,3.794943,3.852287,4.032511,4.069375,4.167679,1392.508927,1394.606079,1400.897535,1401.946111,1401.946111,1401.946111,1401.946111]}
+{"name":"binarytrees5.21","mean_latency":0,"max_latency":8,"distr_latency":[0.004743,0.049535,0.173311,0.637951,0.943103,1.229823,1.998847,2.566143,2.826239,4.067327,4.130815,4.145151,4.179967,5.025791,5.931007,8.437759,8.437759,8.437759]}
+{"name":"mergesort.67108864","mean_latency":1,"max_latency":129,"distr_latency":[0.001711,0.005807,0.006343,0.006591,0.006727,0.006959,0.007375,0.018735,0.024143,0.024687,0.025839,0.029791,0.388607,129.564671,129.564671,129.564671,129.564671,129.564671]}
+{"name":"LU_decomposition.1024","mean_latency":0,"max_latency":0,"distr_latency":[0.000935,0.002223,0.002295,0.002335,0.002351,0.002375,0.002399,0.002463,0.002639,0.002671,0.002719,0.002831,0.007487,0.021759,0.081471,0.701439,0.701439,0.701439]}
+{"name":"graph500_seq_kernel1.edges_data","mean_latency":2,"max_latency":709,"distr_latency":[0.445951,3.594239,3.610623,3.627007,3.635199,3.643391,3.655679,3.686399,3.792895,4.210687,4.739071,4.943871,5.210111,16.621567,693.633023,709.885951,709.885951,709.885951]}
+{"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.000991,0.006191,0.007751,0.010815,0.015215,0.020879,0.026287,0.050175,0.088575,0.097983,0.114879,0.128511,0.148351,0.335359,0.770559,0.770559,0.770559,0.770559]}
+{"name":"zdd.words_txt","mean_latency":1,"max_latency":16,"distr_latency":[0.628735,0.822783,1.033215,1.159167,1.211391,1.270783,1.318911,1.598463,3.115007,3.432447,3.915775,4.063231,5.808127,12.230655,16.162815,16.162815,16.162815,16.162815]}
+{"name":"yojson_ydump.sample.json","mean_latency":0,"max_latency":1,"distr_latency":[0.000167,0.132095,0.207871,0.361727,0.426495,0.457471,0.482815,0.526847,0.536063,0.537087,0.540159,0.544255,0.704511,1.395711,1.395711,1.395711,1.395711,1.395711]}
+{"name":"thread_ring_lwt_stream.20_000","mean_latency":0,"max_latency":2,"distr_latency":[0.336895,0.489215,0.494079,0.504575,0.779263,0.837631,0.855039,0.866303,0.878591,0.881151,0.885759,0.889855,0.897023,0.919039,2.095103,2.717695,2.717695,2.717695]}
+{"name":"kb.","mean_latency":0,"max_latency":1,"distr_latency":[0.050879,0.139775,0.154751,0.175871,0.186751,0.200063,0.218367,0.267519,0.344831,0.368639,0.391679,0.417023,0.459007,0.641023,1.083391,1.083391,1.083391,1.083391]}
+{"name":"fasta6.25_000_000","mean_latency":0,"max_latency":0,"distr_latency":[0.000215,0.028879,0.047647,0.047647,0.076095,0.076095,0.076095,0.076095,0.370943,0.370943,0.370943,0.370943,0.370943,0.370943,0.370943,0.370943,0.370943,0.370943]}
+{"name":"qr-decomposition.","mean_latency":0,"max_latency":1,"distr_latency":[0.001199,0.002927,0.003047,0.003119,0.003159,0.003215,0.003279,0.003407,0.006471,0.006679,0.007103,0.008159,0.013143,0.074431,0.289535,1.360895,1.360895,1.360895]}
+{"name":"knucleotide.","mean_latency":0,"max_latency":5,"distr_latency":[0.001127,0.002255,0.002455,0.002615,0.002671,0.002775,0.007895,0.010191,0.067135,0.274175,0.314879,0.954367,3.864575,4.272127,5.607423,5.607423,5.607423,5.607423]}
+{"name":"pidigits5.10_000","mean_latency":0,"max_latency":70,"distr_latency":[0.000127,0.016943,0.018159,0.018799,0.019183,0.020479,0.030831,0.032831,0.036959,0.039519,0.043839,0.047455,0.052319,0.070975,65.208319,70.254591,70.254591,70.254591]}
+{"name":"levinson-durbin.","mean_latency":0,"max_latency":0,"distr_latency":[0.002775,0.012367,0.013583,0.019567,0.020255,0.021023,0.021551,0.022671,0.033215,0.034911,0.038591,0.043679,0.051711,0.069055,0.082495,0.271103,0.271103,0.271103]}
+{"name":"knucleotide3.","mean_latency":0,"max_latency":4,"distr_latency":[0.001095,0.002215,0.002335,0.002439,0.002495,0.002543,0.002719,0.009423,0.010807,0.018799,0.032319,0.062463,3.665919,3.825663,4.095999,4.095999,4.095999,4.095999]}
+{"name":"minilight.roomfront","mean_latency":0,"max_latency":0,"distr_latency":[0.001143,0.005199,0.005535,0.005839,0.005999,0.006183,0.006407,0.006711,0.007287,0.007503,0.007847,0.008431,0.010511,0.054367,0.102975,0.222847,0.755711,0.755711]}
+{"name":"cubicle.german_pfs.cub","mean_latency":0,"max_latency":5,"distr_latency":[0.013487,0.039551,0.060831,0.097791,0.123967,0.147967,0.166399,0.187135,0.274431,0.399615,0.948223,1.155071,1.212415,1.608703,1.852415,5.451775,5.742591,5.742591]}
+{"name":"bdd.26","mean_latency":0,"max_latency":3,"distr_latency":[0.001087,0.002903,0.003047,0.003159,0.003231,0.003311,0.003399,0.003543,0.003951,0.006079,0.010039,0.021775,0.084991,1.604607,2.971647,3.172351,3.172351,3.172351]}
+{"name":"owl_gc.","mean_latency":0,"max_latency":14,"distr_latency":[0.006023,0.012935,0.016543,0.022447,0.041631,0.139647,0.158591,0.159615,0.161023,0.161407,0.161663,0.162175,0.163583,0.173439,14.532607,14.843903,14.843903,14.843903]}
+{"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.010903,0.030063,0.108031,0.212607,0.226943,0.228095,0.230271,0.238847,0.247551,0.248575,0.248831,0.248831,0.254591,0.655871,0.655871,0.655871,0.655871,0.655871]}
+{"name":"crout-decomposition.","mean_latency":0,"max_latency":2,"distr_latency":[0.000999,0.002495,0.002631,0.002727,0.002783,0.002847,0.002927,0.003071,0.006383,0.007911,0.009567,0.010679,0.031887,0.127359,2.066431,2.066431,2.066431,2.066431]}
+{"name":"chameneos_redux_lwt.600000","mean_latency":0,"max_latency":1,"distr_latency":[0.001055,0.022111,0.022335,0.022575,0.023279,0.024191,0.024703,0.025039,0.026303,0.027951,0.029967,0.031023,0.042399,0.094399,1.023487,1.023487,1.023487,1.023487]}
+{"name":"fasta3.25_000_000","mean_latency":0,"max_latency":0,"distr_latency":[0.001039,0.002207,0.002287,0.002335,0.002359,0.002383,0.002415,0.002463,0.002799,0.007807,0.008439,0.009191,0.009527,0.067903,0.412671,0.412671,0.412671,0.412671]}
+{"name":"test_lwt.200","mean_latency":0,"max_latency":1,"distr_latency":[0.020527,0.037119,0.042399,0.048223,0.052095,0.057119,0.062719,0.069759,0.113983,0.126143,0.138239,0.148095,0.165887,0.210047,0.664575,1.417215,1.417215,1.417215]}
+{"name":"durand-kerner-aberth.","mean_latency":0,"max_latency":0,"distr_latency":[0.001895,0.006399,0.006879,0.008927,0.009031,0.009127,0.009239,0.009527,0.012767,0.013799,0.015063,0.017311,0.021439,0.048127,0.073727,0.662527,0.662527,0.662527]}
+{"name":"quicksort.4000000","mean_latency":1,"max_latency":4,"distr_latency":[0.000151,0.396031,0.396031,0.396031,0.396031,0.396031,4.147199,4.147199,4.147199,4.147199,4.147199,4.147199,4.147199,4.147199,4.147199,4.147199,4.147199,4.147199]}