Automated commit (Turing)

pausetimes_seq/turing/20231115_030310/fc57b23480248dbf2ad4e56fc9a2b9cb002c51b1/5.2.0+trunk+pausetimes_seq_1.pausetimes.summary.bench

@@ -0,0 +1,53 @@
+{"version":"5.15.0-88-generic","hostname":"turing","kernel":"Linux","arch":"x86_64"}
+{"name":"naive-multilayer.","mean_latency":0,"max_latency":0,"distr_latency":[0.000463,0.002375,0.002679,0.002911,0.003023,0.003143,0.003255,0.003383,0.003583,0.003647,0.003959,0.004591,0.009751,0.033663,0.072447,0.910847,0.910847,0.910847]}
+{"name":"alt-ergo.fill.why","mean_latency":0,"max_latency":3,"distr_latency":[0.058495,0.223615,0.468735,0.523775,0.536575,0.548351,0.565247,0.631295,0.847871,1.229823,1.500159,1.790975,1.915903,3.424255,3.424255,3.424255,3.424255,3.424255]}
+{"name":"nqueens.14","mean_latency":0,"max_latency":0,"distr_latency":[0.000591,0.002423,0.002559,0.002663,0.002735,0.002887,0.003887,0.004071,0.013919,0.014375,0.014959,0.015359,0.017247,0.109439,0.217599,0.217599,0.217599,0.217599]}
+{"name":"game_of_life.256","mean_latency":0,"max_latency":0,"distr_latency":[0.009015,0.021775,0.041663,0.157183,0.207231,0.216319,0.217471,0.220031,0.233727,0.237823,0.237823,0.296959,0.296959,0.566783,0.566783,0.566783,0.566783,0.566783]}
+{"name":"revcomp2.","mean_latency":1,"max_latency":4,"distr_latency":[0.536063,0.814079,0.949759,1.016831,1.888255,1.912831,1.928191,1.938431,1.958911,1.964031,1.982463,2.034687,2.096127,3.307519,4.472831,4.472831,4.472831,4.472831]}
+{"name":"menhir.sql-parser","mean_latency":0,"max_latency":12,"distr_latency":[0.000447,0.002319,0.002463,0.010295,0.029903,0.075839,0.189567,0.352511,0.703999,0.853503,1.262591,1.498111,1.854463,3.874815,7.716863,12.664831,12.664831,12.664831]}
+{"name":"menhir.sysver","mean_latency":0,"max_latency":55,"distr_latency":[0.000567,0.002215,0.002303,0.002383,0.002463,0.003871,0.055487,0.258687,0.813567,0.979455,1.254399,1.423359,1.696767,3.371007,6.098943,7.311359,55.345151,55.345151]}
+{"name":"thread_ring_lwt_mvar.20_000","mean_latency":0,"max_latency":1,"distr_latency":[0.120255,0.192511,0.198143,0.203647,0.206463,0.210943,0.252927,0.385023,0.404479,0.418047,0.421119,0.423935,0.427519,0.604159,0.881151,1.735679,1.735679,1.735679]}
+{"name":"alt-ergo.yyll.why","mean_latency":0,"max_latency":6,"distr_latency":[0.006399,0.017071,0.030463,0.052671,0.067711,0.093567,0.137727,0.204415,0.357375,0.425983,0.511231,0.615935,0.922623,2.582527,6.221823,6.610943,6.610943,6.610943]}
+{"name":"fft.","mean_latency":0,"max_latency":4,"distr_latency":[0.373503,0.689151,0.712191,0.720895,0.724479,0.728575,0.743935,1.300479,1.338367,1.347583,1.361919,1.377279,1.590271,2.611199,4.538367,4.538367,4.538367,4.538367]}
+{"name":"cubicle.szymanski_at.cub","mean_latency":0,"max_latency":7,"distr_latency":[0.023023,0.064703,0.087807,0.122239,0.146815,0.175999,0.206847,0.264959,0.499455,0.556543,0.652287,0.880127,0.973823,2.338815,2.566143,3.688447,6.463487,7.823359]}
+{"name":"kb_no_exc.","mean_latency":0,"max_latency":1,"distr_latency":[0.119295,0.320767,0.342527,0.366847,0.384255,0.411135,0.449791,0.615935,0.817663,0.850943,0.904703,0.946175,1.089535,1.708031,1.799167,1.799167,1.799167,1.799167]}
+{"name":"evolutionary_algorithm.10000_10000","mean_latency":0,"max_latency":1,"distr_latency":[0.003167,0.003767,0.004679,0.005295,0.005751,0.081855,0.122879,0.240639,0.245247,0.246527,0.248063,0.252799,0.258559,0.271871,0.292351,1.468415,1.468415,1.468415]}
+{"name":"soli.2000","mean_latency":0,"max_latency":0,"distr_latency":[0.000159,0.029471,0.029471,0.036543,0.036543,0.036543,0.036543,0.237055,0.237055,0.237055,0.237055,0.237055,0.237055,0.237055,0.237055,0.237055,0.237055,0.237055]}
+{"name":"lexifi-g2pp.","mean_latency":0,"max_latency":0,"distr_latency":[0.000487,0.002343,0.002591,0.002743,0.002799,0.002863,0.002927,0.003031,0.003207,0.003303,0.003503,0.004359,0.009591,0.039199,0.745983,0.832511,0.832511,0.832511]}
+{"name":"spectralnorm2.5_500","mean_latency":0,"max_latency":0,"distr_latency":[0.000503,0.001639,0.001783,0.001839,0.001871,0.001903,0.001943,0.001999,0.002103,0.002143,0.002215,0.002391,0.004143,0.013135,0.058623,0.693759,0.693759,0.693759]}
+{"name":"sequence_cps.10000","mean_latency":0,"max_latency":0,"distr_latency":[0.000479,0.001887,0.002031,0.002175,0.002215,0.002255,0.002311,0.002383,0.002551,0.002663,0.003519,0.004871,0.008623,0.030719,0.074303,0.461567,0.461567,0.461567]}
+{"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":207,"distr_latency":[0.005367,0.105279,0.209023,0.337151,0.433919,0.538111,0.700415,0.909823,1.319935,1.373183,1.427455,1.491967,1.670143,31.948799,138.674175,207.618047,207.618047,207.618047]}
+{"name":"test_decompress.64_524_288","mean_latency":0,"max_latency":1,"distr_latency":[0.003063,0.011279,0.018575,0.024335,0.026879,0.029119,0.032959,0.037695,0.041279,0.043167,0.044959,0.052991,0.086591,0.144895,1.098751,1.098751,1.098751,1.098751]}
+{"name":"zarith_pi.10_000","mean_latency":0,"max_latency":69,"distr_latency":[0.000127,0.011799,0.018927,0.021199,0.021887,0.022415,0.022895,0.023519,0.028127,0.030559,0.034751,0.039007,0.043615,0.056927,59.768831,69.861375,69.861375,69.861375]}
+{"name":"floyd_warshall.512","mean_latency":0,"max_latency":1,"distr_latency":[0.007631,0.023359,0.040959,0.071679,0.138879,0.643583,0.737279,0.846335,1.077247,1.112063,1.191935,1.314815,1.510399,1.686527,1.735679,1.735679,1.735679,1.735679]}
+{"name":"regexredux2.","mean_latency":1,"max_latency":60,"distr_latency":[0.037599,1.543167,1.660927,2.034687,2.117631,2.527231,2.795519,2.832383,3.690495,3.696639,3.704831,3.723263,3.766271,18.710527,60.588031,60.588031,60.588031,60.588031]}
+{"name":"hamming.1_000_000","mean_latency":0,"max_latency":4,"distr_latency":[0.175359,0.788991,0.895487,0.922623,0.930303,0.936447,0.943103,0.957439,1.427455,1.581055,1.950719,2.004991,2.074623,2.914303,4.009983,4.009983,4.009983,4.009983]}
+{"name":"markbench.20","mean_latency":34,"max_latency":1411,"distr_latency":[0.827903,3.205119,3.215359,3.237887,3.264511,3.635199,3.809279,3.868671,4.057087,4.151295,4.227071,1404.043263,1405.091839,1411.383295,1411.383295,1411.383295,1411.383295,1411.383295]}
+{"name":"binarytrees5.21","mean_latency":0,"max_latency":8,"distr_latency":[0.003487,0.055615,0.194559,0.652287,0.962047,1.181695,2.004991,2.455551,2.594815,3.778559,4.124671,4.145151,4.202495,5.324799,7.921663,8.302591,8.302591,8.302591]}
+{"name":"mergesort.67108864","mean_latency":0,"max_latency":129,"distr_latency":[0.001503,0.005503,0.005959,0.006311,0.006479,0.006623,0.006807,0.007167,0.029615,0.030783,0.031759,0.033023,0.314623,129.302527,129.302527,129.302527,129.302527,129.302527]}
+{"name":"LU_decomposition.1024","mean_latency":0,"max_latency":0,"distr_latency":[0.000479,0.001615,0.001719,0.001751,0.001767,0.001783,0.001799,0.001823,0.001903,0.001927,0.001951,0.002015,0.002975,0.017071,0.082367,0.775679,0.775679,0.775679]}
+{"name":"graph500_seq_kernel1.edges_data","mean_latency":2,"max_latency":711,"distr_latency":[0.469247,3.526655,3.545087,3.559423,3.567615,3.575807,3.588095,3.622911,3.758079,4.313087,4.771839,4.919295,5.230591,14.893055,694.157311,711.983103,711.983103,711.983103]}
+{"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.000327,0.005823,0.006911,0.009999,0.014959,0.020623,0.029039,0.053407,0.094975,0.109247,0.120767,0.131327,0.161791,0.287743,0.738303,0.738303,0.738303,0.738303]}
+{"name":"zdd.words_txt","mean_latency":0,"max_latency":45,"distr_latency":[0.163071,0.454655,0.992255,1.161215,1.211391,1.243135,1.295359,1.786879,3.112959,3.221503,3.960831,6.275071,8.212479,12.337151,45.219839,45.219839,45.219839,45.219839]}
+{"name":"yojson_ydump.sample.json","mean_latency":0,"max_latency":1,"distr_latency":[0.000183,0.159487,0.230783,0.370431,0.419071,0.448767,0.461823,0.522239,0.535039,0.540159,0.541183,0.548863,0.674815,1.375231,1.375231,1.375231,1.375231,1.375231]}
+{"name":"thread_ring_lwt_stream.20_000","mean_latency":0,"max_latency":6,"distr_latency":[0.416511,0.566271,0.574463,0.652287,0.763391,0.813055,0.965119,1.016831,1.034239,1.038335,1.042431,1.047551,1.056767,1.350655,5.758975,6.279167,6.279167,6.279167]}
+{"name":"kb.","mean_latency":0,"max_latency":1,"distr_latency":[0.049247,0.136831,0.154239,0.172927,0.185599,0.200191,0.221183,0.270335,0.363519,0.383231,0.402431,0.443135,0.520447,0.672255,1.116159,1.116159,1.116159,1.116159]}
+{"name":"fasta6.25_000_000","mean_latency":0,"max_latency":0,"distr_latency":[0.000271,0.027407,0.035903,0.035903,0.090495,0.090495,0.090495,0.090495,0.349695,0.349695,0.349695,0.349695,0.349695,0.349695,0.349695,0.349695,0.349695,0.349695]}
+{"name":"qr-decomposition.","mean_latency":0,"max_latency":1,"distr_latency":[0.000687,0.002471,0.002671,0.002807,0.002863,0.002927,0.002999,0.003135,0.005263,0.006119,0.006503,0.008303,0.014231,0.074623,0.306175,1.332223,1.332223,1.332223]}
+{"name":"knucleotide.","mean_latency":0,"max_latency":5,"distr_latency":[0.000575,0.001855,0.002031,0.002135,0.002183,0.002263,0.002591,0.010727,0.042367,0.223999,0.312831,0.868351,3.805183,4.167679,5.365759,5.365759,5.365759,5.365759]}
+{"name":"pidigits5.10_000","mean_latency":0,"max_latency":54,"distr_latency":[0.000127,0.015871,0.016479,0.017007,0.017503,0.022031,0.029087,0.030911,0.036735,0.038047,0.039903,0.045023,0.051775,0.068031,50.003967,54.460415,54.460415,54.460415]}
+{"name":"levinson-durbin.","mean_latency":0,"max_latency":0,"distr_latency":[0.002335,0.012167,0.013207,0.017807,0.018591,0.019231,0.019695,0.020607,0.032959,0.037599,0.042783,0.048191,0.054239,0.071871,0.099007,0.218623,0.218623,0.218623]}
+{"name":"knucleotide3.","mean_latency":0,"max_latency":3,"distr_latency":[0.000551,0.001695,0.001831,0.002063,0.002127,0.002223,0.002407,0.003343,0.014783,0.021023,0.036671,0.063455,3.483647,3.680255,3.684351,3.684351,3.684351,3.684351]}
+{"name":"minilight.roomfront","mean_latency":0,"max_latency":0,"distr_latency":[0.000551,0.004639,0.004967,0.005263,0.005431,0.005631,0.005871,0.006207,0.006903,0.007199,0.007631,0.008359,0.010895,0.055231,0.130367,0.387071,0.762879,0.762879]}
+{"name":"cubicle.german_pfs.cub","mean_latency":0,"max_latency":7,"distr_latency":[0.012775,0.039039,0.060063,0.097023,0.123647,0.147839,0.166271,0.187775,0.276479,0.420607,1.168383,1.241087,1.347583,1.735679,2.588671,5.591039,7.012351,7.012351]}
+{"name":"bdd.26","mean_latency":0,"max_latency":3,"distr_latency":[0.000479,0.002439,0.002591,0.002687,0.002743,0.002799,0.002879,0.003023,0.003543,0.004823,0.010151,0.022495,0.093311,1.485823,3.022847,3.049471,3.049471,3.049471]}
+{"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.009775,0.021183,0.077631,0.196479,0.213759,0.224639,0.229247,0.242815,0.251263,0.253183,0.253823,0.253823,0.274175,0.694783,0.694783,0.694783,0.694783,0.694783]}
+{"name":"crout-decomposition.","mean_latency":0,"max_latency":2,"distr_latency":[0.000511,0.002095,0.002231,0.002311,0.002343,0.002383,0.002447,0.002543,0.005375,0.007527,0.009407,0.011879,0.032991,0.120127,2.213887,2.213887,2.213887,2.213887]}
+{"name":"chameneos_redux_lwt.600000","mean_latency":0,"max_latency":0,"distr_latency":[0.000503,0.020367,0.021279,0.022079,0.023535,0.025183,0.026671,0.029759,0.032079,0.032559,0.033343,0.035103,0.043679,0.087231,0.952319,0.952319,0.952319,0.952319]}
+{"name":"fasta3.25_000_000","mean_latency":0,"max_latency":0,"distr_latency":[0.000527,0.001751,0.001831,0.001903,0.001943,0.001983,0.002039,0.002151,0.003159,0.007327,0.009103,0.011383,0.013295,0.072895,0.403455,0.403455,0.403455,0.403455]}
+{"name":"test_lwt.200","mean_latency":0,"max_latency":1,"distr_latency":[0.019967,0.036543,0.041727,0.047199,0.051039,0.055775,0.060671,0.068159,0.110463,0.124799,0.138751,0.152191,0.172159,0.224255,0.534015,1.539071,1.539071,1.539071]}
+{"name":"durand-kerner-aberth.","mean_latency":0,"max_latency":0,"distr_latency":[0.001215,0.005807,0.006255,0.008159,0.008271,0.008367,0.008471,0.008639,0.012175,0.013487,0.015287,0.017023,0.022671,0.070335,0.092159,0.659967,0.659967,0.659967]}
+{"name":"quicksort.4000000","mean_latency":1,"max_latency":4,"distr_latency":[0.000159,0.315903,0.315903,0.315903,0.315903,0.315903,4.098047,4.098047,4.098047,4.098047,4.098047,4.098047,4.098047,4.098047,4.098047,4.098047,4.098047,4.098047]}