Automated commit (Turing)

pausetimes_seq/turing/20250115_030946/49baed77c5e7f1f83f39220d5a0c2bc89ffc446f/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.000999,0.002823,0.003079,0.003327,0.003455,0.003559,0.003671,0.003799,0.004247,0.004703,0.006447,0.008663,0.009919,0.032031,0.066815,0.973823,0.973823,0.973823]}
+{"name":"alt-ergo.fill.why","mean_latency":0,"max_latency":2,"distr_latency":[0.068927,0.281855,0.489471,0.529919,0.539135,0.548351,0.571391,0.632831,0.816127,0.890879,1.323007,1.456127,1.870847,2.914303,2.914303,2.914303,2.914303,2.914303]}
+{"name":"nqueens.14","mean_latency":0,"max_latency":0,"distr_latency":[0.001127,0.002791,0.002895,0.002967,0.003015,0.003063,0.003135,0.007911,0.010119,0.010447,0.010647,0.011287,0.019823,0.075711,0.254719,0.254719,0.254719,0.254719]}
+{"name":"game_of_life.256","mean_latency":0,"max_latency":0,"distr_latency":[0.008847,0.025599,0.111615,0.183679,0.189951,0.214783,0.218239,0.220415,0.226431,0.236927,0.236927,0.236927,0.236927,0.673791,0.673791,0.673791,0.673791,0.673791]}
+{"name":"revcomp2.","mean_latency":1,"max_latency":3,"distr_latency":[0.523007,0.848383,0.946687,0.972799,1.597439,1.940479,1.957887,1.973247,1.987583,1.991679,1.996799,2.039807,2.109439,2.641919,3.684351,3.684351,3.684351,3.684351]}
+{"name":"menhir.sql-parser","mean_latency":0,"max_latency":8,"distr_latency":[0.000903,0.002663,0.002879,0.010223,0.030863,0.077055,0.185983,0.347647,0.707583,0.877567,1.344511,1.535999,1.895423,3.868671,7.483391,8.183807,8.183807,8.183807]}
+{"name":"menhir.sysver","mean_latency":0,"max_latency":38,"distr_latency":[0.000911,0.002623,0.002719,0.002959,0.002999,0.003063,0.030415,0.272895,0.838143,0.963071,1.281023,1.443839,1.721343,3.868671,6.414335,19.873791,38.600703,38.600703]}
+{"name":"thread_ring_lwt_mvar.20_000","mean_latency":0,"max_latency":0,"distr_latency":[0.122111,0.196863,0.199039,0.202751,0.204287,0.206719,0.278271,0.393471,0.399359,0.400127,0.401663,0.402943,0.405247,0.582143,0.826879,0.915967,0.915967,0.915967]}
+{"name":"alt-ergo.yyll.why","mean_latency":0,"max_latency":6,"distr_latency":[0.006463,0.014279,0.026751,0.050335,0.071487,0.100991,0.142079,0.207359,0.386559,0.456959,0.541695,0.672255,0.976383,2.168831,6.057983,6.430719,6.430719,6.430719]}
+{"name":"fft.","mean_latency":0,"max_latency":5,"distr_latency":[0.371967,0.724991,0.741375,0.749055,0.752639,0.756223,0.764927,1.327103,1.350655,1.355775,1.363967,1.402879,1.509375,2.850815,5.111807,5.111807,5.111807,5.111807]}
+{"name":"cubicle.szymanski_at.cub","mean_latency":0,"max_latency":2,"distr_latency":[0.023679,0.065343,0.088767,0.124543,0.149887,0.179839,0.211455,0.261247,0.486911,0.545279,0.650751,0.906239,1.010687,2.320383,2.457599,2.697215,2.988031,2.996223]}
+{"name":"kb_no_exc.","mean_latency":0,"max_latency":1,"distr_latency":[0.123455,0.332031,0.351231,0.367103,0.382463,0.401151,0.444415,0.556543,0.773119,0.843775,0.898559,0.962047,1.027583,1.306623,1.964031,1.964031,1.964031,1.964031]}
+{"name":"evolutionary_algorithm.10000_10000","mean_latency":0,"max_latency":15,"distr_latency":[0.003631,0.004215,0.005239,0.005823,0.006207,0.082175,0.123583,0.241407,0.249855,0.252159,0.253823,0.255871,0.261503,0.273407,0.399871,15.376383,15.376383,15.376383]}
+{"name":"soli.2000","mean_latency":0,"max_latency":0,"distr_latency":[0.036959,0.036959,0.036959,0.036959,0.260351,0.260351,0.260351,0.260351,0.260351,0.260351,0.260351,0.260351,0.260351,0.260351,0.260351,0.260351,0.260351,0.260351]}
+{"name":"lexifi-g2pp.","mean_latency":0,"max_latency":0,"distr_latency":[0.000983,0.002767,0.002943,0.003031,0.003071,0.003111,0.003175,0.003247,0.003415,0.003479,0.003583,0.003935,0.008831,0.036127,0.792575,0.926207,0.926207,0.926207]}
+{"name":"spectralnorm2.5_500","mean_latency":0,"max_latency":0,"distr_latency":[0.000959,0.002071,0.002167,0.002223,0.002255,0.002303,0.002367,0.002455,0.002559,0.002599,0.002663,0.002863,0.006839,0.011615,0.054719,0.754687,0.754687,0.754687]}
+{"name":"sequence_cps.10000","mean_latency":0,"max_latency":0,"distr_latency":[0.000967,0.002351,0.002447,0.002607,0.002639,0.002663,0.002695,0.002743,0.002927,0.002983,0.003087,0.003711,0.007903,0.029663,0.086399,0.524799,0.524799,0.524799]}
+{"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":267,"distr_latency":[0.003647,0.087871,0.183935,0.302591,0.408063,0.540159,0.712191,0.964095,1.341439,1.404927,1.457151,1.514495,1.643519,35.749887,174.456831,267.911167,267.911167,267.911167]}
+{"name":"test_decompress.64_524_288","mean_latency":0,"max_latency":1,"distr_latency":[0.003591,0.012023,0.020575,0.025535,0.028079,0.031599,0.035935,0.040095,0.043199,0.044927,0.047583,0.053087,0.090623,0.136191,1.073151,1.073151,1.073151,1.073151]}
+{"name":"zarith_pi.10_000","mean_latency":0,"max_latency":71,"distr_latency":[0.000127,0.012719,0.013511,0.020479,0.023967,0.024671,0.025295,0.025999,0.029711,0.031519,0.034623,0.039167,0.045087,0.059199,48.201727,71.630847,71.630847,71.630847]}
+{"name":"floyd_warshall.512","mean_latency":0,"max_latency":1,"distr_latency":[0.007167,0.023535,0.042879,0.066815,0.178559,0.701951,0.787455,0.863743,1.107967,1.153023,1.211391,1.309695,1.537023,1.700863,1.741823,1.741823,1.741823,1.741823]}
+{"name":"regexredux2.","mean_latency":1,"max_latency":60,"distr_latency":[0.066239,1.714175,1.752063,2.203647,2.230271,2.578431,2.799615,2.834431,3.782655,3.784703,3.788799,3.794943,3.821567,18.808831,60.358655,60.358655,60.358655,60.358655]}
+{"name":"hamming.1_000_000","mean_latency":0,"max_latency":3,"distr_latency":[0.195199,0.814591,0.904703,0.932863,0.940031,0.947199,0.952831,0.963071,1.415167,1.597439,2.027519,2.115583,2.234367,2.404351,3.923967,3.923967,3.923967,3.923967]}
+{"name":"markbench.20","mean_latency":34,"max_latency":1406,"distr_latency":[0.825855,3.264511,3.270655,3.291135,3.309567,3.581951,3.809279,3.858431,4.014079,4.052991,4.089855,1396.703231,1398.800383,1406.140415,1406.140415,1406.140415,1406.140415,1406.140415]}
+{"name":"binarytrees5.21","mean_latency":0,"max_latency":7,"distr_latency":[0.004911,0.047839,0.172031,0.637951,0.941055,1.222655,1.994751,2.557951,2.990079,4.050943,4.128767,4.143103,4.157439,4.739071,5.627903,7.647231,7.647231,7.647231]}
+{"name":"mergesort.67108864","mean_latency":1,"max_latency":133,"distr_latency":[0.001927,0.006399,0.007007,0.007487,0.007607,0.007935,0.008719,0.018751,0.026255,0.027279,0.028479,0.029007,0.381439,133.627903,133.627903,133.627903,133.627903,133.627903]}
+{"name":"LU_decomposition.1024","mean_latency":0,"max_latency":0,"distr_latency":[0.000943,0.002167,0.002255,0.002303,0.002327,0.002367,0.002431,0.002543,0.002703,0.002759,0.002927,0.004623,0.007959,0.020351,0.597503,0.775167,0.775167,0.775167]}
+{"name":"graph500_seq_kernel1.edges_data","mean_latency":2,"max_latency":707,"distr_latency":[0.442879,3.594239,3.614719,3.631103,3.641343,3.651583,3.663871,3.694591,3.809279,4.296703,4.755455,4.976639,5.312511,19.808255,687.341567,707.788799,707.788799,707.788799]}
+{"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.000887,0.005599,0.006799,0.010863,0.015383,0.020751,0.026463,0.049951,0.086271,0.096255,0.113599,0.127039,0.144383,0.330495,0.766975,0.766975,0.766975,0.766975]}
+{"name":"zdd.words_txt","mean_latency":1,"max_latency":16,"distr_latency":[0.623615,0.835071,1.030655,1.141759,1.205247,1.267711,1.321983,1.614847,3.102719,3.487743,3.885055,4.147199,5.726207,12.345343,16.302079,16.302079,16.302079,16.302079]}
+{"name":"yojson_ydump.sample.json","mean_latency":0,"max_latency":1,"distr_latency":[0.000159,0.130623,0.209279,0.364287,0.433663,0.460287,0.488703,0.531967,0.540671,0.543231,0.545279,0.548351,0.680447,1.303551,1.303551,1.303551,1.303551,1.303551]}
+{"name":"thread_ring_lwt_stream.20_000","mean_latency":0,"max_latency":2,"distr_latency":[0.336639,0.470527,0.475391,0.493311,0.787967,0.846847,0.865279,0.877055,0.890367,0.893439,0.897535,0.902143,0.908799,0.930303,2.056191,2.678783,2.678783,2.678783]}
+{"name":"kb.","mean_latency":0,"max_latency":1,"distr_latency":[0.050847,0.136191,0.150527,0.171903,0.182655,0.196607,0.214015,0.274687,0.339711,0.368127,0.387327,0.409855,0.454143,0.553471,1.043455,1.043455,1.043455,1.043455]}
+{"name":"fasta6.25_000_000","mean_latency":0,"max_latency":0,"distr_latency":[0.000255,0.030927,0.048575,0.048575,0.082239,0.082239,0.082239,0.082239,0.377343,0.377343,0.377343,0.377343,0.377343,0.377343,0.377343,0.377343,0.377343,0.377343]}
+{"name":"qr-decomposition.","mean_latency":0,"max_latency":1,"distr_latency":[0.001207,0.002991,0.003111,0.003191,0.003231,0.003279,0.003343,0.003471,0.006455,0.006903,0.007647,0.008551,0.013983,0.077567,0.301823,1.420287,1.420287,1.420287]}
+{"name":"knucleotide.","mean_latency":0,"max_latency":5,"distr_latency":[0.001087,0.002287,0.002455,0.002575,0.002655,0.002783,0.008375,0.010159,0.070015,0.277759,0.327935,0.956415,3.942399,4.358143,5.689343,5.689343,5.689343,5.689343]}
+{"name":"pidigits5.10_000","mean_latency":0,"max_latency":69,"distr_latency":[0.000127,0.016751,0.018319,0.019023,0.019391,0.020111,0.029391,0.032719,0.036447,0.039135,0.043199,0.046847,0.052703,0.070975,66.355199,69.599231,69.599231,69.599231]}
+{"name":"levinson-durbin.","mean_latency":0,"max_latency":0,"distr_latency":[0.002799,0.010431,0.013735,0.019711,0.020047,0.021231,0.022207,0.022719,0.027967,0.031887,0.036479,0.042815,0.049887,0.069311,0.097983,0.248831,0.248831,0.248831]}
+{"name":"knucleotide3.","mean_latency":0,"max_latency":4,"distr_latency":[0.001023,0.002199,0.002351,0.002487,0.002551,0.002623,0.002839,0.009727,0.011327,0.019583,0.032959,0.064735,3.651583,3.831807,4.106239,4.106239,4.106239,4.106239]}
+{"name":"minilight.roomfront","mean_latency":0,"max_latency":0,"distr_latency":[0.001343,0.005199,0.005543,0.005863,0.006039,0.006231,0.006479,0.006831,0.007551,0.007863,0.008407,0.009527,0.011751,0.053535,0.098943,0.257663,0.733695,0.733695]}
+{"name":"cubicle.german_pfs.cub","mean_latency":0,"max_latency":6,"distr_latency":[0.013311,0.039135,0.060287,0.097343,0.123839,0.147967,0.166527,0.187135,0.272895,0.394239,0.955903,1.157119,1.217535,1.604607,1.868799,5.529599,6.422527,6.422527]}
+{"name":"bdd.26","mean_latency":0,"max_latency":3,"distr_latency":[0.001055,0.002991,0.003127,0.003199,0.003247,0.003295,0.003367,0.003455,0.003679,0.003903,0.010271,0.019807,0.087551,1.498111,3.149823,3.282943,3.282943,3.282943]}
+{"name":"owl_gc.","mean_latency":0,"max_latency":14,"distr_latency":[0.006087,0.013215,0.016479,0.030111,0.051135,0.134527,0.159487,0.160639,0.162175,0.162559,0.162943,0.164095,0.171391,0.180991,14.221311,14.393343,14.393343,14.393343]}
+{"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.009943,0.029743,0.113983,0.213631,0.223487,0.228095,0.236671,0.241023,0.248959,0.249087,0.250239,0.250239,0.251135,0.624127,0.624127,0.624127,0.624127,0.624127]}
+{"name":"crout-decomposition.","mean_latency":0,"max_latency":2,"distr_latency":[0.000999,0.002535,0.002647,0.002719,0.002759,0.002799,0.002855,0.002959,0.006567,0.008207,0.009943,0.011327,0.033183,0.139263,2.387967,2.387967,2.387967,2.387967]}
+{"name":"chameneos_redux_lwt.600000","mean_latency":0,"max_latency":0,"distr_latency":[0.000975,0.022095,0.022287,0.022511,0.023247,0.024127,0.024719,0.025039,0.025791,0.027439,0.029967,0.031247,0.041855,0.088575,0.897535,0.897535,0.897535,0.897535]}
+{"name":"fasta3.25_000_000","mean_latency":0,"max_latency":0,"distr_latency":[0.000991,0.002159,0.002231,0.002271,0.002295,0.002319,0.002359,0.002431,0.002703,0.008199,0.008887,0.009639,0.010095,0.069631,0.430079,0.430079,0.430079,0.430079]}
+{"name":"test_lwt.200","mean_latency":0,"max_latency":1,"distr_latency":[0.019951,0.037311,0.042527,0.048447,0.051903,0.057151,0.062591,0.069631,0.111423,0.121855,0.136063,0.149119,0.169855,0.208895,0.586239,1.375231,1.375231,1.375231]}
+{"name":"durand-kerner-aberth.","mean_latency":0,"max_latency":0,"distr_latency":[0.002007,0.006447,0.007039,0.008871,0.008975,0.009071,0.009215,0.009575,0.013279,0.013935,0.014999,0.017039,0.021295,0.067711,0.118591,0.717311,0.717311,0.717311]}
+{"name":"quicksort.4000000","mean_latency":1,"max_latency":4,"distr_latency":[0.000231,0.385535,0.385535,0.385535,0.385535,0.385535,4.120575,4.120575,4.120575,4.120575,4.120575,4.120575,4.120575,4.120575,4.120575,4.120575,4.120575,4.120575]}