Automated commit (Turing)

ocaml-bench · Nov 12, 2023 · bbf31b6 · bbf31b6
1 parent 904126e
commit bbf31b6
Show file tree

Hide file tree

Showing 15 changed files with 8,400 additions and 0 deletions.
diff --git a/...cd96f69/5.2.0+trunk+parallel.20231113_005427.9b059b1e7a66e9d2f04d892a4de34c418cd96f69.log b/...cd96f69/5.2.0+trunk+parallel.20231113_005427.9b059b1e7a66e9d2f04d892a4de34c418cd96f69.log
diff --git a/...27/9b059b1e7a66e9d2f04d892a4de34c418cd96f69/5.2.0+trunk+parallel_1.orunchrt.summary.bench b/...27/9b059b1e7a66e9d2f04d892a4de34c418cd96f69/5.2.0+trunk+parallel_1.orunchrt.summary.bench
diff --git a/...5427/9b059b1e7a66e9d2f04d892a4de34c418cd96f69/multicore_parallel_run_config_filtered.json b/...5427/9b059b1e7a66e9d2f04d892a4de34c418cd96f69/multicore_parallel_run_config_filtered.json
diff --git a/...9/5.2.0+trunk+pausetimes_par.20231113_034746.9b059b1e7a66e9d2f04d892a4de34c418cd96f69.log b/...9/5.2.0+trunk+pausetimes_par.20231113_034746.9b059b1e7a66e9d2f04d892a4de34c418cd96f69.log
diff --git a/...b1e7a66e9d2f04d892a4de34c418cd96f69/5.2.0+trunk+pausetimes_par_1.pausetimes.summary.bench b/...b1e7a66e9d2f04d892a4de34c418cd96f69/5.2.0+trunk+pausetimes_par_1.pausetimes.summary.bench
diff --git a/...4746/9b059b1e7a66e9d2f04d892a4de34c418cd96f69/multicore_parallel_run_config_filtered.json b/...4746/9b059b1e7a66e9d2f04d892a4de34c418cd96f69/multicore_parallel_run_config_filtered.json
diff --git a/...9/5.2.0+trunk+pausetimes_seq.20231113_025819.9b059b1e7a66e9d2f04d892a4de34c418cd96f69.log b/...9/5.2.0+trunk+pausetimes_seq.20231113_025819.9b059b1e7a66e9d2f04d892a4de34c418cd96f69.log
diff --git a/...b1e7a66e9d2f04d892a4de34c418cd96f69/5.2.0+trunk+pausetimes_seq_1.pausetimes.summary.bench b/...b1e7a66e9d2f04d892a4de34c418cd96f69/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.000455,0.002359,0.002663,0.002895,0.003007,0.003127,0.003239,0.003359,0.003543,0.003607,0.003911,0.004623,0.009719,0.034655,0.115775,0.763903,0.763903,0.763903]}
+{"name":"alt-ergo.fill.why","mean_latency":0,"max_latency":2,"distr_latency":[0.043679,0.211455,0.434431,0.497407,0.515839,0.524031,0.541695,0.604159,0.757759,0.771071,1.247231,1.777663,1.910783,2.623487,2.623487,2.623487,2.623487,2.623487]}
+{"name":"nqueens.14","mean_latency":0,"max_latency":0,"distr_latency":[0.000647,0.002407,0.002567,0.002735,0.002823,0.003631,0.003847,0.003951,0.014375,0.014759,0.015655,0.018015,0.037183,0.151935,0.170879,0.170879,0.170879,0.170879]}
+{"name":"game_of_life.256","mean_latency":0,"max_latency":0,"distr_latency":[0.007719,0.025551,0.082943,0.131839,0.189695,0.208511,0.212351,0.220031,0.228479,0.228479,0.244095,0.251007,0.251007,0.354815,0.354815,0.354815,0.354815,0.354815]}
+{"name":"revcomp2.","mean_latency":0,"max_latency":3,"distr_latency":[0.512255,0.812031,0.899583,0.966655,1.505279,1.899519,1.913855,1.929215,1.943551,1.945599,1.959935,1.983487,2.017279,2.453503,3.282943,3.282943,3.282943,3.282943]}
+{"name":"menhir.sql-parser","mean_latency":0,"max_latency":8,"distr_latency":[0.000431,0.002311,0.002471,0.009895,0.031711,0.076095,0.183551,0.344575,0.700415,0.870911,1.307647,1.533951,1.885183,3.762175,7.450623,8.765439,8.765439,8.765439]}
+{"name":"menhir.sysver","mean_latency":0,"max_latency":55,"distr_latency":[0.000471,0.002231,0.002327,0.002415,0.002527,0.003303,0.054015,0.263423,0.825343,0.931327,1.224703,1.425407,1.627135,3.764223,5.832703,13.426687,55.672831,55.672831]}
+{"name":"thread_ring_lwt_mvar.20_000","mean_latency":0,"max_latency":1,"distr_latency":[0.119935,0.194303,0.200063,0.205055,0.208255,0.212095,0.257535,0.380927,0.409599,0.412415,0.414463,0.416767,0.420607,0.601599,1.502207,1.543167,1.543167,1.543167]}
+{"name":"alt-ergo.yyll.why","mean_latency":0,"max_latency":6,"distr_latency":[0.006159,0.014583,0.027359,0.053439,0.076031,0.108479,0.148223,0.206335,0.366847,0.434431,0.524287,0.651775,0.900607,2.592767,5.586943,6.758399,6.758399,6.758399]}
+{"name":"fft.","mean_latency":0,"max_latency":4,"distr_latency":[0.374783,0.690175,0.712191,0.724479,0.727551,0.732159,0.750079,1.318911,1.344511,1.352703,1.360895,1.385471,1.562623,2.748415,4.669439,4.669439,4.669439,4.669439]}
+{"name":"cubicle.szymanski_at.cub","mean_latency":0,"max_latency":6,"distr_latency":[0.023487,0.065727,0.089407,0.124607,0.150143,0.180223,0.211583,0.264191,0.493311,0.553471,0.656383,0.897023,0.994303,2.289663,2.553855,5.541887,6.270975,6.475775]}
+{"name":"kb_no_exc.","mean_latency":0,"max_latency":1,"distr_latency":[0.123135,0.324095,0.344575,0.366591,0.382719,0.406271,0.442879,0.621055,0.804863,0.836607,0.874495,0.931839,1.084415,1.416191,1.696767,1.696767,1.696767,1.696767]}
+{"name":"evolutionary_algorithm.10000_10000","mean_latency":0,"max_latency":2,"distr_latency":[0.003103,0.003663,0.004599,0.005223,0.005647,0.079999,0.122367,0.240127,0.243583,0.244479,0.245887,0.249215,0.257151,0.269823,0.366591,2.826239,2.826239,2.826239]}
+{"name":"soli.2000","mean_latency":0,"max_latency":0,"distr_latency":[0.000343,0.018111,0.021919,0.029567,0.037215,0.037215,0.067647,0.135167,0.135167,0.135167,0.172031,0.172031,0.172031,0.172031,0.172031,0.172031,0.172031,0.172031]}
+{"name":"lexifi-g2pp.","mean_latency":0,"max_latency":1,"distr_latency":[0.000503,0.002335,0.002583,0.002727,0.002775,0.002823,0.002887,0.002967,0.003103,0.003167,0.003287,0.004175,0.009583,0.045279,0.774143,1.342463,1.342463,1.342463]}
+{"name":"spectralnorm2.5_500","mean_latency":0,"max_latency":0,"distr_latency":[0.000495,0.001639,0.001791,0.001847,0.001879,0.001911,0.001967,0.002039,0.002159,0.002199,0.002271,0.002495,0.004847,0.013623,0.085631,0.531967,0.531967,0.531967]}
+{"name":"sequence_cps.10000","mean_latency":0,"max_latency":0,"distr_latency":[0.000439,0.001919,0.002023,0.002159,0.002199,0.002239,0.002287,0.002343,0.002455,0.002511,0.002607,0.003359,0.008639,0.036863,0.187263,0.291327,0.291327,0.291327]}
+{"name":"fannkuchredux.12","mean_latency":0,"max_latency":0,"distr_latency":[0.000223,0.021087,0.025359,0.027519,0.044319,0.044319,0.083967,0.173439,0.173439,0.173439,0.199679,0.199679,0.199679,0.199679,0.199679,0.199679,0.199679,0.199679]}
+{"name":"menhir.ocamly","mean_latency":0,"max_latency":268,"distr_latency":[0.003407,0.089087,0.183423,0.305919,0.406527,0.528895,0.698879,0.945663,1.324031,1.383423,1.434623,1.486847,1.614847,32.194559,204.341247,268.697599,268.697599,268.697599]}
+{"name":"test_decompress.64_524_288","mean_latency":0,"max_latency":5,"distr_latency":[0.002935,0.009167,0.018783,0.023935,0.026543,0.030543,0.033407,0.037855,0.041759,0.042975,0.045151,0.051327,0.086911,0.137855,5.492735,5.492735,5.492735,5.492735]}
+{"name":"zarith_pi.10_000","mean_latency":0,"max_latency":65,"distr_latency":[0.000127,0.011727,0.018863,0.021071,0.021711,0.022191,0.022655,0.023311,0.027743,0.029855,0.034015,0.038239,0.043583,0.059039,1.348607,65.765375,65.765375,65.765375]}
+{"name":"floyd_warshall.512","mean_latency":0,"max_latency":1,"distr_latency":[0.008455,0.022415,0.042303,0.069887,0.160383,0.654847,0.743935,0.840703,1.085439,1.107967,1.171455,1.251327,1.557503,1.744895,1.788927,1.788927,1.788927,1.788927]}
+{"name":"regexredux2.","mean_latency":1,"max_latency":50,"distr_latency":[0.070015,1.630207,1.665023,2.142207,2.265087,2.619391,2.748415,2.789375,3.772415,3.782655,3.792895,3.801087,3.833855,26.066943,50.528255,50.528255,50.528255,50.528255]}
+{"name":"hamming.1_000_000","mean_latency":0,"max_latency":2,"distr_latency":[0.176255,0.793599,0.887807,0.917503,0.924671,0.932863,0.939519,0.955903,1.360895,1.416191,1.944575,2.006015,2.085887,2.220031,2.760703,2.760703,2.760703,2.760703]}
+{"name":"markbench.20","mean_latency":34,"max_latency":1414,"distr_latency":[0.798719,3.186687,3.192831,3.213311,3.246079,3.575807,3.803135,3.856383,4.012031,4.071423,4.145151,1401.946111,1406.140415,1413.480447,1414.529023,1414.529023,1414.529023,1414.529023]}
+{"name":"binarytrees5.21","mean_latency":0,"max_latency":6,"distr_latency":[0.005503,0.053407,0.182783,0.634879,0.953343,1.188863,1.993727,2.451455,2.754559,4.046847,4.110335,4.132863,4.155391,4.759551,5.451775,6.041599,6.041599,6.041599]}
+{"name":"mergesort.67108864","mean_latency":0,"max_latency":128,"distr_latency":[0.001463,0.005263,0.006111,0.006359,0.006479,0.006647,0.006975,0.007423,0.029983,0.030559,0.032511,0.072639,0.236543,128.647167,128.647167,128.647167,128.647167,128.647167]}
+{"name":"LU_decomposition.1024","mean_latency":0,"max_latency":0,"distr_latency":[0.000511,0.001623,0.001735,0.001775,0.001791,0.001807,0.001823,0.001855,0.001943,0.001967,0.002007,0.002159,0.008055,0.024175,0.189311,0.673791,0.673791,0.673791]}
+{"name":"graph500_seq_kernel1.edges_data","mean_latency":2,"max_latency":695,"distr_latency":[0.471039,3.522559,3.543039,3.557375,3.565567,3.573759,3.586047,3.622911,3.743743,4.411391,4.829183,4.960255,5.324799,16.424959,675.807231,695.205887,695.205887,695.205887]}
+{"name":"nbody.50_000_000","mean_latency":0,"max_latency":0,"distr_latency":[0.000215,0.031791,0.033439,0.037695,0.050207,0.050207,0.078143,0.146303,0.146303,0.146303,0.314879,0.314879,0.314879,0.314879,0.314879,0.314879,0.314879,0.314879]}
+{"name":"grammatrix.","mean_latency":0,"max_latency":0,"distr_latency":[0.000335,0.005871,0.007639,0.010727,0.014199,0.019887,0.027695,0.048639,0.083839,0.101759,0.116031,0.127487,0.155519,0.315647,0.487167,0.487167,0.487167,0.487167]}
+{"name":"zdd.words_txt","mean_latency":0,"max_latency":17,"distr_latency":[0.244735,0.683007,0.748543,0.889343,1.008127,1.144831,1.243135,1.313791,2.447359,3.092479,3.885055,4.919295,7.278591,13.361151,17.072127,17.072127,17.072127,17.072127]}
+{"name":"yojson_ydump.sample.json","mean_latency":0,"max_latency":1,"distr_latency":[0.005287,0.113151,0.248703,0.262399,0.288511,0.389631,0.429567,0.470783,0.531967,0.535039,0.539647,0.602623,0.659455,1.042431,1.042431,1.042431,1.042431,1.042431]}
+{"name":"thread_ring_lwt_stream.20_000","mean_latency":0,"max_latency":6,"distr_latency":[0.391679,0.573439,0.583679,0.668671,0.798207,0.836095,0.950783,1.037311,1.058815,1.062911,1.067007,1.072127,1.079295,1.787903,2.197503,6.205439,6.205439,6.205439]}
+{"name":"kb.","mean_latency":0,"max_latency":0,"distr_latency":[0.050015,0.138239,0.154495,0.175103,0.188031,0.201087,0.221311,0.279551,0.373503,0.393471,0.418047,0.471551,0.520191,0.662015,0.718847,0.718847,0.718847,0.718847]}
+{"name":"fasta6.25_000_000","mean_latency":0,"max_latency":0,"distr_latency":[0.000223,0.032319,0.032415,0.047615,0.077503,0.077503,0.094271,0.142719,0.142719,0.142719,0.280319,0.280319,0.280319,0.280319,0.280319,0.280319,0.280319,0.280319]}
+{"name":"qr-decomposition.","mean_latency":0,"max_latency":0,"distr_latency":[0.000687,0.002391,0.002567,0.002679,0.002727,0.002775,0.002839,0.002927,0.003151,0.003527,0.006215,0.007503,0.012431,0.106175,0.436735,0.791551,0.791551,0.791551]}
+{"name":"knucleotide.","mean_latency":0,"max_latency":5,"distr_latency":[0.000615,0.001791,0.002023,0.002175,0.002223,0.002303,0.002647,0.010247,0.089471,0.207231,0.303103,0.646143,3.764223,4.136959,5.267455,5.267455,5.267455,5.267455]}
+{"name":"pidigits5.10_000","mean_latency":0,"max_latency":57,"distr_latency":[0.000127,0.015551,0.016311,0.016895,0.017343,0.022463,0.028303,0.030223,0.036351,0.037887,0.039615,0.043967,0.050815,0.066943,47.185919,57.704447,57.704447,57.704447]}
+{"name":"levinson-durbin.","mean_latency":0,"max_latency":0,"distr_latency":[0.002287,0.011815,0.013015,0.017743,0.018303,0.018751,0.019391,0.022687,0.033983,0.038911,0.043775,0.049119,0.054751,0.068927,0.137087,0.180863,0.180863,0.180863]}
+{"name":"knucleotide3.","mean_latency":0,"max_latency":3,"distr_latency":[0.000567,0.001687,0.001831,0.001999,0.002063,0.002127,0.002295,0.003423,0.017055,0.031695,0.050719,0.088255,3.522559,3.706879,3.747839,3.747839,3.747839,3.747839]}
+{"name":"minilight.roomfront","mean_latency":0,"max_latency":1,"distr_latency":[0.000487,0.004831,0.005159,0.005463,0.005623,0.005807,0.006031,0.006335,0.006895,0.007103,0.007415,0.008047,0.010119,0.056735,0.131583,0.608767,1.348607,1.348607]}
+{"name":"cubicle.german_pfs.cub","mean_latency":0,"max_latency":6,"distr_latency":[0.012567,0.038303,0.059199,0.095423,0.121855,0.145919,0.163967,0.184959,0.271615,0.410111,1.082367,1.165311,1.258495,1.702911,2.383871,4.612095,6.991871,6.991871]}
+{"name":"bdd.26","mean_latency":0,"max_latency":6,"distr_latency":[0.000399,0.002447,0.002575,0.002655,0.002695,0.002743,0.002799,0.002887,0.003199,0.004247,0.010143,0.019199,0.107391,1.413119,4.468735,6.397951,6.397951,6.397951]}
+{"name":"mandelbrot6.16_000","mean_latency":0,"max_latency":0,"distr_latency":[0.000247,0.031807,0.033215,0.034367,0.050751,0.050751,0.088575,0.205055,0.205055,0.205055,0.322559,0.322559,0.322559,0.322559,0.322559,0.322559,0.322559,0.322559]}
+{"name":"matrix_multiplication.1024","mean_latency":0,"max_latency":0,"distr_latency":[0.010375,0.030047,0.078271,0.189311,0.213759,0.221567,0.228095,0.244991,0.250495,0.251135,0.251135,0.252799,0.274687,0.483071,0.483071,0.483071,0.483071,0.483071]}
+{"name":"crout-decomposition.","mean_latency":0,"max_latency":2,"distr_latency":[0.000487,0.002079,0.002191,0.002263,0.002303,0.002351,0.002415,0.002527,0.005223,0.007975,0.009343,0.013823,0.032543,0.182143,2.040831,2.040831,2.040831,2.040831]}
+{"name":"chameneos_redux_lwt.600000","mean_latency":0,"max_latency":0,"distr_latency":[0.000551,0.020751,0.022255,0.023119,0.023967,0.025615,0.027375,0.029951,0.031839,0.032287,0.033151,0.035199,0.047679,0.090623,0.785919,0.785919,0.785919,0.785919]}
+{"name":"fasta3.25_000_000","mean_latency":0,"max_latency":0,"distr_latency":[0.000527,0.001815,0.001887,0.001927,0.001951,0.001975,0.002007,0.002063,0.003167,0.007703,0.009127,0.012215,0.013495,0.079871,0.331007,0.331007,0.331007,0.331007]}
+{"name":"test_lwt.200","mean_latency":0,"max_latency":1,"distr_latency":[0.019583,0.037055,0.042559,0.048319,0.051743,0.056415,0.061311,0.068479,0.113407,0.126975,0.140799,0.153727,0.170495,0.211967,1.371135,1.912831,1.912831,1.912831]}
+{"name":"durand-kerner-aberth.","mean_latency":0,"max_latency":0,"distr_latency":[0.001223,0.005815,0.006287,0.008175,0.008287,0.008383,0.008495,0.008671,0.012455,0.013607,0.015343,0.017007,0.022687,0.062303,0.192767,0.494079,0.494079,0.494079]}
+{"name":"quicksort.4000000","mean_latency":0,"max_latency":3,"distr_latency":[0.000287,0.027455,0.063327,0.077439,0.144255,0.144255,0.241151,0.241151,3.975167,3.975167,3.975167,3.975167,3.975167,3.975167,3.975167,3.975167,3.975167,3.975167]}