Automated commit (Turing)

pausetimes_seq/turing/20250110_031414/b204bc49ea54cf6ef6bcec0ffaa511b06021f665/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.002823,0.003087,0.003335,0.003471,0.003599,0.003727,0.003863,0.004111,0.004303,0.004815,0.007127,0.009023,0.033375,0.068799,0.975871,0.975871,0.975871]}
+{"name":"alt-ergo.fill.why","mean_latency":0,"max_latency":2,"distr_latency":[0.071423,0.291839,0.488703,0.534015,0.542719,0.550911,0.572927,0.629247,0.808959,0.891903,1.300479,1.460223,1.824767,2.842623,2.842623,2.842623,2.842623,2.842623]}
+{"name":"nqueens.14","mean_latency":0,"max_latency":0,"distr_latency":[0.001175,0.002823,0.002919,0.002999,0.003039,0.003095,0.003191,0.008151,0.010103,0.010231,0.010519,0.010695,0.019071,0.078847,0.240767,0.240767,0.240767,0.240767]}
+{"name":"game_of_life.256","mean_latency":0,"max_latency":0,"distr_latency":[0.008951,0.022479,0.096895,0.161023,0.200831,0.217983,0.218495,0.221823,0.224767,0.229119,0.229119,0.234239,0.234239,0.674815,0.674815,0.674815,0.674815,0.674815]}
+{"name":"revcomp2.","mean_latency":1,"max_latency":3,"distr_latency":[0.530943,0.877567,0.946687,0.969727,1.619967,1.971199,1.984511,2.004991,2.016255,2.018303,2.029567,2.074623,2.177023,2.586623,3.809279,3.809279,3.809279,3.809279]}
+{"name":"menhir.sql-parser","mean_latency":0,"max_latency":8,"distr_latency":[0.001055,0.002823,0.003015,0.010399,0.030559,0.077311,0.188031,0.350719,0.726015,0.888831,1.378303,1.531903,1.891327,3.856383,7.577599,8.495103,8.495103,8.495103]}
+{"name":"menhir.sysver","mean_latency":0,"max_latency":38,"distr_latency":[0.000983,0.002735,0.002839,0.002927,0.002983,0.003159,0.030399,0.273407,0.833023,0.965631,1.278975,1.438719,1.739775,3.819519,6.111231,19.890175,38.600703,38.600703]}
+{"name":"thread_ring_lwt_mvar.20_000","mean_latency":0,"max_latency":0,"distr_latency":[0.121855,0.196863,0.198911,0.202751,0.204159,0.206975,0.279039,0.390911,0.396799,0.397823,0.398847,0.400639,0.403967,0.469247,0.905215,0.906239,0.906239,0.906239]}
+{"name":"alt-ergo.yyll.why","mean_latency":0,"max_latency":6,"distr_latency":[0.006695,0.014311,0.026799,0.050399,0.071295,0.100863,0.142079,0.206847,0.382463,0.451839,0.542719,0.671743,0.967679,2.172927,6.033407,6.373375,6.373375,6.373375]}
+{"name":"fft.","mean_latency":0,"max_latency":5,"distr_latency":[0.374527,0.722943,0.739839,0.747007,0.750591,0.756223,0.765951,1.326079,1.347583,1.351679,1.362943,1.388543,1.484799,2.664447,5.210111,5.210111,5.210111,5.210111]}
+{"name":"cubicle.szymanski_at.cub","mean_latency":0,"max_latency":4,"distr_latency":[0.023903,0.065791,0.089343,0.125375,0.150783,0.181247,0.213119,0.261631,0.481535,0.542207,0.652799,0.911871,1.021439,2.269183,2.412543,2.885631,3.438591,4.063231]}
+{"name":"kb_no_exc.","mean_latency":0,"max_latency":1,"distr_latency":[0.122239,0.333055,0.351743,0.369663,0.383999,0.401919,0.444159,0.558079,0.776703,0.846847,0.893951,0.968191,1.022975,1.311743,1.813503,1.813503,1.813503,1.813503]}
+{"name":"evolutionary_algorithm.10000_10000","mean_latency":0,"max_latency":8,"distr_latency":[0.003783,0.004367,0.005215,0.005799,0.006167,0.082367,0.123711,0.241279,0.249599,0.251647,0.253567,0.255743,0.260991,0.272895,0.299263,8.298495,8.298495,8.298495]}
+{"name":"soli.2000","mean_latency":0,"max_latency":0,"distr_latency":[0.021647,0.021647,0.021647,0.021647,0.262911,0.262911,0.262911,0.262911,0.262911,0.262911,0.262911,0.262911,0.262911,0.262911,0.262911,0.262911,0.262911,0.262911]}
+{"name":"lexifi-g2pp.","mean_latency":0,"max_latency":0,"distr_latency":[0.001023,0.002807,0.002959,0.003055,0.003103,0.003151,0.003223,0.003319,0.003511,0.003607,0.003863,0.008287,0.010223,0.036415,0.781311,0.894463,0.894463,0.894463]}
+{"name":"spectralnorm2.5_500","mean_latency":0,"max_latency":0,"distr_latency":[0.000935,0.002095,0.002191,0.002223,0.002239,0.002263,0.002287,0.002319,0.002375,0.002399,0.002431,0.002479,0.002735,0.011903,0.060031,0.782847,0.782847,0.782847]}
+{"name":"sequence_cps.10000","mean_latency":0,"max_latency":0,"distr_latency":[0.000967,0.002439,0.002575,0.002703,0.002743,0.002783,0.002823,0.002911,0.003215,0.003727,0.005015,0.007631,0.008807,0.029327,0.091391,0.511743,0.511743,0.511743]}
+{"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.004359,0.088639,0.185983,0.304639,0.410111,0.542207,0.714239,0.967167,1.344511,1.406975,1.458175,1.516543,1.651711,35.749887,178.126847,272.891903,272.891903,272.891903]}
+{"name":"test_decompress.64_524_288","mean_latency":0,"max_latency":1,"distr_latency":[0.003671,0.012015,0.020655,0.025439,0.028239,0.031839,0.035743,0.039839,0.043199,0.044863,0.047487,0.053183,0.089215,0.137599,1.090559,1.090559,1.090559,1.090559]}
+{"name":"zarith_pi.10_000","mean_latency":0,"max_latency":75,"distr_latency":[0.000127,0.012871,0.013607,0.023199,0.024159,0.024815,0.025471,0.027791,0.035679,0.036511,0.037823,0.041215,0.046303,0.065023,72.876031,75.104255,75.104255,75.104255]}
+{"name":"floyd_warshall.512","mean_latency":0,"max_latency":1,"distr_latency":[0.007055,0.022031,0.041119,0.066111,0.169727,0.697343,0.783359,0.867839,1.125375,1.160191,1.206271,1.303551,1.515519,1.685503,1.733631,1.733631,1.733631,1.733631]}
+{"name":"regexredux2.","mean_latency":1,"max_latency":60,"distr_latency":[0.070847,1.729535,1.760255,2.199551,2.230271,2.588671,2.809855,2.848767,3.776511,3.780607,3.784703,3.788799,3.809279,18.792447,60.293119,60.293119,60.293119,60.293119]}
+{"name":"hamming.1_000_000","mean_latency":0,"max_latency":4,"distr_latency":[0.192767,0.813567,0.907775,0.935935,0.942079,0.951295,0.956415,0.967679,1.426431,1.563647,2.035711,2.117631,2.230271,2.443263,4.292607,4.292607,4.292607,4.292607]}
+{"name":"markbench.20","mean_latency":34,"max_latency":1400,"distr_latency":[0.824831,3.254271,3.260415,3.280895,3.301375,3.627007,3.809279,3.868671,4.093951,4.126719,4.194303,1387.266047,1393.557503,1395.654655,1400.897535,1400.897535,1400.897535,1400.897535]}
+{"name":"binarytrees5.21","mean_latency":0,"max_latency":8,"distr_latency":[0.005039,0.048287,0.171775,0.640511,0.941055,1.241087,1.992703,2.590719,2.967551,4.048895,4.120575,4.134911,4.179967,4.739071,5.619711,8.278015,8.278015,8.278015]}
+{"name":"mergesort.67108864","mean_latency":1,"max_latency":133,"distr_latency":[0.002183,0.006767,0.007135,0.007455,0.007639,0.007903,0.008199,0.019487,0.024399,0.026287,0.026719,0.027967,0.387327,133.824511,133.824511,133.824511,133.824511,133.824511]}
+{"name":"LU_decomposition.1024","mean_latency":0,"max_latency":0,"distr_latency":[0.000967,0.002231,0.002319,0.002359,0.002383,0.002407,0.002439,0.002519,0.002655,0.002687,0.002743,0.002863,0.006975,0.021471,0.080959,0.724991,0.724991,0.724991]}
+{"name":"graph500_seq_kernel1.edges_data","mean_latency":2,"max_latency":687,"distr_latency":[0.445439,3.590143,3.610623,3.627007,3.637247,3.647487,3.663871,3.696639,3.792895,4.202495,4.669439,4.894719,5.197823,20.414463,668.991487,687.341567,687.341567,687.341567]}
+{"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.005783,0.007791,0.011063,0.015679,0.021215,0.027151,0.049471,0.085567,0.096191,0.114239,0.127551,0.148607,0.333567,0.802303,0.802303,0.802303,0.802303]}
+{"name":"zdd.words_txt","mean_latency":1,"max_latency":16,"distr_latency":[0.631807,0.837631,1.051647,1.155071,1.203199,1.267711,1.316863,1.598463,3.129343,3.440639,3.903487,4.055039,5.861375,12.451839,16.334847,16.334847,16.334847,16.334847]}
+{"name":"yojson_ydump.sample.json","mean_latency":0,"max_latency":1,"distr_latency":[0.000159,0.130879,0.204415,0.359935,0.434687,0.460031,0.494079,0.532991,0.542207,0.546303,0.546815,0.548351,0.695807,1.292287,1.292287,1.292287,1.292287,1.292287]}
+{"name":"thread_ring_lwt_stream.20_000","mean_latency":0,"max_latency":2,"distr_latency":[0.335359,0.472575,0.477183,0.487167,0.761343,0.819711,0.837119,0.848895,0.860671,0.863231,0.867327,0.871935,0.878079,0.898047,2.056191,2.684927,2.684927,2.684927]}
+{"name":"kb.","mean_latency":0,"max_latency":1,"distr_latency":[0.050943,0.142975,0.158975,0.180607,0.191615,0.205823,0.224895,0.274687,0.342015,0.371967,0.390143,0.409599,0.453631,0.546303,1.278975,1.278975,1.278975,1.278975]}
+{"name":"fasta6.25_000_000","mean_latency":0,"max_latency":0,"distr_latency":[0.000199,0.031103,0.048511,0.048511,0.076031,0.076031,0.076031,0.076031,0.376575,0.376575,0.376575,0.376575,0.376575,0.376575,0.376575,0.376575,0.376575,0.376575]}
+{"name":"qr-decomposition.","mean_latency":0,"max_latency":1,"distr_latency":[0.001215,0.002951,0.003055,0.003143,0.003183,0.003231,0.003303,0.003455,0.006647,0.007143,0.007751,0.008871,0.014775,0.084351,0.365311,1.380351,1.380351,1.380351]}
+{"name":"knucleotide.","mean_latency":0,"max_latency":5,"distr_latency":[0.001127,0.002391,0.002535,0.002631,0.002695,0.002791,0.006231,0.010255,0.068927,0.273407,0.328959,0.924159,3.913727,4.333567,5.746687,5.746687,5.746687,5.746687]}
+{"name":"pidigits5.10_000","mean_latency":0,"max_latency":67,"distr_latency":[0.000127,0.017135,0.018447,0.019055,0.019375,0.020479,0.030287,0.032559,0.036799,0.039487,0.043199,0.046239,0.052607,0.071999,64.716799,67.960831,67.960831,67.960831]}
+{"name":"levinson-durbin.","mean_latency":0,"max_latency":0,"distr_latency":[0.002775,0.010807,0.013727,0.019855,0.020303,0.021727,0.022335,0.022991,0.031583,0.033919,0.037343,0.043423,0.050655,0.070271,0.101055,0.314879,0.314879,0.314879]}
+{"name":"knucleotide3.","mean_latency":0,"max_latency":4,"distr_latency":[0.001015,0.002247,0.002439,0.002663,0.002735,0.002791,0.003023,0.009679,0.011631,0.012231,0.032927,0.063775,3.674111,3.868671,4.130815,4.130815,4.130815,4.130815]}
+{"name":"minilight.roomfront","mean_latency":0,"max_latency":0,"distr_latency":[0.001367,0.005255,0.005591,0.005911,0.006087,0.006287,0.006543,0.006903,0.007647,0.007967,0.008439,0.009295,0.011015,0.054591,0.112127,0.251775,0.769535,0.769535]}
+{"name":"cubicle.german_pfs.cub","mean_latency":0,"max_latency":6,"distr_latency":[0.013415,0.039359,0.060479,0.097279,0.123775,0.148223,0.167423,0.188031,0.272383,0.388095,0.921087,1.128447,1.187839,1.584127,1.830911,5.652479,6.483967,6.483967]}
+{"name":"bdd.26","mean_latency":0,"max_latency":3,"distr_latency":[0.001119,0.002975,0.003119,0.003239,0.003311,0.003391,0.003487,0.003631,0.004023,0.006447,0.010431,0.019807,0.082623,1.469439,3.160063,3.301375,3.301375,3.301375]}
+{"name":"owl_gc.","mean_latency":0,"max_latency":14,"distr_latency":[0.005871,0.012839,0.016071,0.029215,0.050943,0.134015,0.159103,0.160127,0.161535,0.161791,0.162175,0.162559,0.165247,0.175487,14.499839,14.671871,14.671871,14.671871]}
+{"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.010495,0.028831,0.115647,0.211327,0.216831,0.227199,0.229119,0.238591,0.249215,0.250111,0.251903,0.251903,0.252031,0.675839,0.675839,0.675839,0.675839,0.675839]}
+{"name":"crout-decomposition.","mean_latency":0,"max_latency":2,"distr_latency":[0.000991,0.002487,0.002623,0.002719,0.002767,0.002823,0.002895,0.003007,0.006879,0.008039,0.009823,0.013487,0.033055,0.099327,2.338815,2.338815,2.338815,2.338815]}
+{"name":"chameneos_redux_lwt.600000","mean_latency":0,"max_latency":0,"distr_latency":[0.000999,0.020831,0.021039,0.021279,0.022255,0.023151,0.023583,0.023967,0.025135,0.027327,0.028431,0.029695,0.041503,0.078783,0.903679,0.903679,0.903679,0.903679]}
+{"name":"fasta3.25_000_000","mean_latency":0,"max_latency":0,"distr_latency":[0.001055,0.002231,0.002295,0.002319,0.002335,0.002351,0.002383,0.002447,0.002847,0.007959,0.008919,0.009543,0.010079,0.071231,0.430335,0.430335,0.430335,0.430335]}
+{"name":"test_lwt.200","mean_latency":0,"max_latency":1,"distr_latency":[0.020175,0.038079,0.043231,0.048927,0.052287,0.057503,0.062559,0.070143,0.111551,0.121343,0.135167,0.148223,0.168063,0.204671,0.596479,1.948671,1.948671,1.948671]}
+{"name":"durand-kerner-aberth.","mean_latency":0,"max_latency":0,"distr_latency":[0.001919,0.006471,0.007119,0.009135,0.009263,0.009383,0.009503,0.009743,0.012647,0.013767,0.014615,0.017087,0.021663,0.064223,0.091071,0.728063,0.728063,0.728063]}
+{"name":"quicksort.4000000","mean_latency":1,"max_latency":4,"distr_latency":[0.000175,0.396799,0.396799,0.396799,0.396799,0.396799,4.165631,4.165631,4.165631,4.165631,4.165631,4.165631,4.165631,4.165631,4.165631,4.165631,4.165631,4.165631]}