Automated commit (Turing)

ocaml-bench · Jun 28, 2023 · 0d4893f · 0d4893f
1 parent 6b7ae22
commit 0d4893f
Show file tree

Hide file tree

Showing 15 changed files with 8,322 additions and 0 deletions.
diff --git a/...ac49636/5.2.0+trunk+parallel.20230629_004950.73cc2f6a06b150f83bce1970d852faed7ac49636.log b/...ac49636/5.2.0+trunk+parallel.20230629_004950.73cc2f6a06b150f83bce1970d852faed7ac49636.log
diff --git a/...50/73cc2f6a06b150f83bce1970d852faed7ac49636/5.2.0+trunk+parallel_1.orunchrt.summary.bench b/...50/73cc2f6a06b150f83bce1970d852faed7ac49636/5.2.0+trunk+parallel_1.orunchrt.summary.bench
diff --git a/...4950/73cc2f6a06b150f83bce1970d852faed7ac49636/multicore_parallel_run_config_filtered.json b/...4950/73cc2f6a06b150f83bce1970d852faed7ac49636/multicore_parallel_run_config_filtered.json
diff --git a/...6/5.2.0+trunk+pausetimes_par.20230629_032112.73cc2f6a06b150f83bce1970d852faed7ac49636.log b/...6/5.2.0+trunk+pausetimes_par.20230629_032112.73cc2f6a06b150f83bce1970d852faed7ac49636.log
diff --git a/...f6a06b150f83bce1970d852faed7ac49636/5.2.0+trunk+pausetimes_par_1.pausetimes.summary.bench b/...f6a06b150f83bce1970d852faed7ac49636/5.2.0+trunk+pausetimes_par_1.pausetimes.summary.bench
diff --git a/...2112/73cc2f6a06b150f83bce1970d852faed7ac49636/multicore_parallel_run_config_filtered.json b/...2112/73cc2f6a06b150f83bce1970d852faed7ac49636/multicore_parallel_run_config_filtered.json
diff --git a/...6/5.2.0+trunk+pausetimes_seq.20230629_024109.73cc2f6a06b150f83bce1970d852faed7ac49636.log b/...6/5.2.0+trunk+pausetimes_seq.20230629_024109.73cc2f6a06b150f83bce1970d852faed7ac49636.log
diff --git a/...f6a06b150f83bce1970d852faed7ac49636/5.2.0+trunk+pausetimes_seq_1.pausetimes.summary.bench b/...f6a06b150f83bce1970d852faed7ac49636/5.2.0+trunk+pausetimes_seq_1.pausetimes.summary.bench
@@ -0,0 +1,53 @@
+{"version":"5.4.0-148-generic","hostname":"turing","kernel":"Linux","arch":"x86_64"}
+{"name":"naive-multilayer.","mean_latency":0,"max_latency":0,"distr_latency":[0.000455,0.002287,0.002599,0.002855,0.002983,0.003103,0.003223,0.003343,0.003543,0.003647,0.003903,0.004999,0.009215,0.025327,0.074687,0.382463,0.382463,0.382463]}
+{"name":"alt-ergo.fill.why","mean_latency":0,"max_latency":2,"distr_latency":[0.032399,0.177023,0.385535,0.486399,0.501247,0.519679,0.536063,0.562175,0.692223,0.746495,0.989695,1.633279,1.709055,2.568191,2.568191,2.568191,2.568191,2.568191]}
+{"name":"nqueens.14","mean_latency":0,"max_latency":0,"distr_latency":[0.000535,0.002175,0.002247,0.002311,0.002343,0.002367,0.002407,0.002471,0.008591,0.008711,0.008895,0.012759,0.025183,0.074367,0.101311,0.101311,0.101311,0.101311]}
+{"name":"game_of_life.256","mean_latency":0,"max_latency":0,"distr_latency":[0.007967,0.020783,0.046975,0.091327,0.130239,0.210431,0.210943,0.214271,0.220799,0.220799,0.229503,0.236927,0.236927,0.237439,0.237439,0.237439,0.237439,0.237439]}
+{"name":"revcomp2.","mean_latency":0,"max_latency":1,"distr_latency":[0.548351,0.866303,0.939007,0.964607,1.073151,1.756159,1.785855,1.800191,1.813503,1.815551,1.817599,1.822719,1.829887,1.850367,1.852415,1.852415,1.852415,1.852415]}
+{"name":"menhir.sql-parser","mean_latency":0,"max_latency":40,"distr_latency":[0.000511,0.002111,0.002207,0.009735,0.026959,0.074239,0.210687,0.402175,0.694783,0.874495,1.284095,1.393663,1.569791,3.713023,7.454719,40.271871,40.271871,40.271871]}
+{"name":"menhir.sysver","mean_latency":0,"max_latency":61,"distr_latency":[0.000407,0.002167,0.002223,0.002279,0.002319,0.002439,0.051071,0.254335,0.814079,0.930815,1.216511,1.395711,1.630207,3.594239,6.143999,10.010623,61.571071,61.571071]}
+{"name":"thread_ring_lwt_mvar.20_000","mean_latency":0,"max_latency":0,"distr_latency":[0.112447,0.199423,0.201471,0.204927,0.207103,0.209919,0.258175,0.364287,0.375807,0.377087,0.378111,0.379903,0.382207,0.390143,0.462591,0.464895,0.464895,0.464895]}
+{"name":"alt-ergo.yyll.why","mean_latency":0,"max_latency":13,"distr_latency":[0.005863,0.016719,0.027999,0.049439,0.066943,0.095487,0.140287,0.207103,0.356863,0.423423,0.503039,0.628223,0.896511,2.668543,4.780031,13.729791,13.729791,13.729791]}
+{"name":"fft.","mean_latency":0,"max_latency":3,"distr_latency":[0.367871,0.774655,0.788479,0.797183,0.802815,0.807935,0.822271,1.281023,1.338367,1.344511,1.352703,1.362943,1.455103,2.674687,3.952639,3.952639,3.952639,3.952639]}
+{"name":"cubicle.szymanski_at.cub","mean_latency":0,"max_latency":3,"distr_latency":[0.023247,0.065151,0.089151,0.125503,0.151807,0.183167,0.215807,0.262655,0.475391,0.537599,0.663039,0.924671,1.041407,2.205695,2.410495,2.856959,3.332095,3.583999]}
+{"name":"kb_no_exc.","mean_latency":0,"max_latency":1,"distr_latency":[0.117631,0.336895,0.358911,0.376575,0.389887,0.410623,0.450303,0.570879,0.786431,0.855039,0.896511,0.961023,1.035263,1.197055,1.204223,1.204223,1.204223,1.204223]}
+{"name":"evolutionary_algorithm.10000_10000","mean_latency":0,"max_latency":6,"distr_latency":[0.002959,0.003447,0.004663,0.005191,0.005511,0.080767,0.123519,0.240895,0.246399,0.247295,0.248319,0.251775,0.259071,0.269055,0.281855,6.565887,6.565887,6.565887]}
+{"name":"soli.2000","mean_latency":0,"max_latency":0,"distr_latency":[0.000127,0.012175,0.016527,0.017135,0.024799,0.025807,0.028735,0.028735,0.054367,0.054367,0.151423,0.151423,0.151423,0.151423,0.151423,0.151423,0.151423,0.151423]}
+{"name":"lexifi-g2pp.","mean_latency":0,"max_latency":0,"distr_latency":[0.000495,0.002167,0.002311,0.002391,0.002423,0.002463,0.002511,0.002575,0.002671,0.002711,0.002783,0.002919,0.008647,0.032303,0.218495,0.485631,0.485631,0.485631]}
+{"name":"spectralnorm2.5_500","mean_latency":0,"max_latency":0,"distr_latency":[0.000479,0.001511,0.001575,0.001623,0.001647,0.001695,0.001735,0.001783,0.001871,0.001895,0.001943,0.002039,0.003599,0.011983,0.055423,0.192767,0.192767,0.192767]}
+{"name":"sequence_cps.10000","mean_latency":0,"max_latency":0,"distr_latency":[0.000447,0.001735,0.001815,0.001959,0.001983,0.002007,0.002031,0.002063,0.002127,0.002167,0.002223,0.002711,0.007967,0.024079,0.071167,0.098559,0.098559,0.098559]}
+{"name":"fannkuchredux.12","mean_latency":0,"max_latency":0,"distr_latency":[0.000119,0.015071,0.015775,0.019135,0.022063,0.022063,0.032463,0.083071,0.083071,0.083071,0.125119,0.125119,0.125119,0.125119,0.125119,0.125119,0.125119,0.125119]}
+{"name":"menhir.ocamly","mean_latency":0,"max_latency":266,"distr_latency":[0.002575,0.087423,0.183807,0.303359,0.404223,0.534527,0.702975,0.924159,1.281023,1.337343,1.383423,1.440767,1.576959,32.260095,199.491583,266.862591,266.862591,266.862591]}
+{"name":"test_decompress.64_524_288","mean_latency":0,"max_latency":0,"distr_latency":[0.002575,0.008847,0.017711,0.024223,0.027071,0.030271,0.033087,0.036607,0.039327,0.040159,0.042175,0.047039,0.074687,0.127167,0.427519,0.427519,0.427519,0.427519]}
+{"name":"zarith_pi.10_000","mean_latency":0,"max_latency":67,"distr_latency":[0.000135,0.011887,0.012855,0.021775,0.022527,0.023103,0.023743,0.024767,0.032207,0.033567,0.034943,0.037951,0.042751,0.055071,61.046783,67.633151,67.633151,67.633151]}
+{"name":"floyd_warshall.512","mean_latency":0,"max_latency":1,"distr_latency":[0.006239,0.016927,0.030559,0.056767,0.143359,0.706047,0.785407,0.861183,1.091583,1.123327,1.175551,1.262591,1.607679,1.710079,1.714175,1.714175,1.714175,1.714175]}
+{"name":"regexredux2.","mean_latency":1,"max_latency":32,"distr_latency":[0.041023,1.791999,1.822719,2.217983,2.316287,2.607103,2.754559,2.789375,3.627007,3.631103,3.635199,3.639295,3.651583,20.856831,32.292863,32.292863,32.292863,32.292863]}
+{"name":"hamming.1_000_000","mean_latency":0,"max_latency":2,"distr_latency":[0.173695,0.787455,0.866815,0.904703,0.916479,0.923647,0.929279,0.942079,1.292287,1.394687,1.871871,1.940479,1.983487,2.014207,2.019327,2.019327,2.019327,2.019327]}
+{"name":"markbench.20","mean_latency":34,"max_latency":1391,"distr_latency":[0.757759,3.094527,3.100671,3.117055,3.162111,3.530751,3.784703,3.833855,3.962879,3.995647,4.036607,1385.168895,1385.168895,1391.460351,1391.460351,1391.460351,1391.460351,1391.460351]}
+{"name":"binarytrees5.21","mean_latency":0,"max_latency":5,"distr_latency":[0.005351,0.051679,0.176127,0.632831,0.943103,1.295359,1.988607,2.703359,2.885631,4.026367,4.098047,4.108287,4.120575,4.833279,5.914623,5.971967,5.971967,5.971967]}
+{"name":"mergesort.67108864","mean_latency":0,"max_latency":128,"distr_latency":[0.000959,0.003495,0.004071,0.004391,0.004527,0.004663,0.004751,0.004975,0.022895,0.023263,0.024383,0.034111,0.214655,128.712703,128.712703,128.712703,128.712703,128.712703]}
+{"name":"LU_decomposition.1024","mean_latency":0,"max_latency":0,"distr_latency":[0.000471,0.001439,0.001575,0.001607,0.001615,0.001631,0.001647,0.001679,0.001759,0.001775,0.001807,0.001847,0.002023,0.017967,0.080895,0.598527,0.598527,0.598527]}
+{"name":"graph500_seq_kernel1.edges_data","mean_latency":2,"max_latency":682,"distr_latency":[0.452095,3.436543,3.457023,3.481599,3.497983,3.512319,3.526655,3.557375,3.657727,4.161535,4.685823,4.886527,5.214207,18.333695,668.467199,682.622975,682.622975,682.622975]}
+{"name":"nbody.50_000_000","mean_latency":0,"max_latency":0,"distr_latency":[0.000111,0.015967,0.022783,0.029375,0.031087,0.031087,0.034655,0.056607,0.056607,0.056607,0.224511,0.224511,0.224511,0.224511,0.224511,0.224511,0.224511,0.224511]}
+{"name":"grammatrix.","mean_latency":0,"max_latency":0,"distr_latency":[0.000319,0.005103,0.005983,0.009023,0.013503,0.018639,0.026399,0.049311,0.086719,0.097279,0.110527,0.125631,0.153343,0.292095,0.441855,0.441855,0.441855,0.441855]}
+{"name":"zdd.words_txt","mean_latency":0,"max_latency":20,"distr_latency":[0.196351,0.643583,0.779263,0.921087,0.982527,1.073151,1.193983,1.267711,2.406399,2.979839,3.733503,4.251647,5.812223,8.257535,20.283391,20.283391,20.283391,20.283391]}
+{"name":"yojson_ydump.sample.json","mean_latency":0,"max_latency":0,"distr_latency":[0.000183,0.165247,0.196735,0.304383,0.418047,0.455167,0.468223,0.495359,0.543743,0.545279,0.548351,0.551423,0.644095,0.794623,0.794623,0.794623,0.794623,0.794623]}
+{"name":"thread_ring_lwt_stream.20_000","mean_latency":0,"max_latency":1,"distr_latency":[0.332543,0.472319,0.476415,0.486399,0.820735,0.856063,0.868863,0.876543,0.883711,0.885247,0.886783,0.888831,0.891391,0.900607,1.054719,1.191935,1.191935,1.191935]}
+{"name":"kb.","mean_latency":0,"max_latency":0,"distr_latency":[0.048767,0.141439,0.156031,0.177279,0.186623,0.201343,0.218751,0.265983,0.335615,0.351231,0.375039,0.392191,0.440063,0.540159,0.584191,0.584191,0.584191,0.584191]}
+{"name":"fasta6.25_000_000","mean_latency":0,"max_latency":0,"distr_latency":[0.000119,0.017103,0.029247,0.030287,0.031215,0.031215,0.058303,0.089855,0.089855,0.089855,0.208511,0.208511,0.208511,0.208511,0.208511,0.208511,0.208511,0.208511]}
+{"name":"qr-decomposition.","mean_latency":0,"max_latency":0,"distr_latency":[0.000647,0.002367,0.002503,0.002559,0.002583,0.002615,0.002647,0.002703,0.002879,0.003583,0.005871,0.006767,0.011943,0.092671,0.337663,0.345343,0.345343,0.345343]}
+{"name":"knucleotide.","mean_latency":0,"max_latency":4,"distr_latency":[0.000535,0.001615,0.001807,0.001919,0.001975,0.002031,0.002159,0.008895,0.064383,0.206463,0.285951,0.401407,3.694591,4.018175,4.063231,4.063231,4.063231,4.063231]}
+{"name":"pidigits5.10_000","mean_latency":0,"max_latency":59,"distr_latency":[0.000135,0.014927,0.016279,0.017023,0.017791,0.027855,0.029247,0.030175,0.034527,0.037055,0.040127,0.042847,0.048287,0.062943,52.330495,59.244543,59.244543,59.244543]}
+{"name":"levinson-durbin.","mean_latency":0,"max_latency":0,"distr_latency":[0.002207,0.011903,0.012935,0.017855,0.018447,0.018943,0.019407,0.020351,0.029791,0.032991,0.037823,0.041983,0.048127,0.067071,0.077375,0.083647,0.083647,0.083647]}
+{"name":"knucleotide3.","mean_latency":0,"max_latency":3,"distr_latency":[0.000679,0.001551,0.001671,0.001863,0.001951,0.002007,0.002103,0.002287,0.010063,0.018671,0.035839,0.063615,3.397631,3.606527,3.713023,3.713023,3.713023,3.713023]}
+{"name":"minilight.roomfront","mean_latency":0,"max_latency":0,"distr_latency":[0.000503,0.004495,0.004807,0.005111,0.005279,0.005471,0.005711,0.006047,0.006703,0.006959,0.007335,0.007999,0.009783,0.054207,0.129279,0.216447,0.221055,0.221055]}
+{"name":"cubicle.german_pfs.cub","mean_latency":0,"max_latency":5,"distr_latency":[0.012967,0.038367,0.059007,0.095039,0.120255,0.146431,0.165503,0.187007,0.268543,0.372991,0.910335,1.108991,1.149951,1.533951,1.629183,1.763327,5.054463,5.054463]}
+{"name":"bdd.26","mean_latency":0,"max_latency":5,"distr_latency":[0.000439,0.002255,0.002399,0.002503,0.002559,0.002623,0.002695,0.002815,0.003127,0.004583,0.009559,0.020335,0.084991,1.729535,4.001791,5.877759,5.877759,5.877759]}
+{"name":"mandelbrot6.16_000","mean_latency":0,"max_latency":0,"distr_latency":[0.000111,0.017423,0.022799,0.030959,0.031055,0.031055,0.036383,0.085119,0.085119,0.085119,0.252799,0.252799,0.252799,0.252799,0.252799,0.252799,0.252799,0.252799]}
+{"name":"matrix_multiplication.1024","mean_latency":0,"max_latency":0,"distr_latency":[0.008927,0.020111,0.076671,0.140799,0.205695,0.214655,0.221439,0.226303,0.246015,0.248191,0.248191,0.248447,0.248703,0.249855,0.249855,0.249855,0.249855,0.249855]}
+{"name":"crout-decomposition.","mean_latency":0,"max_latency":0,"distr_latency":[0.000479,0.001983,0.002111,0.002191,0.002231,0.002271,0.002335,0.002447,0.005591,0.007631,0.008935,0.012535,0.024159,0.087615,0.902655,0.902655,0.902655,0.902655]}
+{"name":"chameneos_redux_lwt.600000","mean_latency":0,"max_latency":0,"distr_latency":[0.000471,0.021215,0.022367,0.022815,0.023007,0.023215,0.023423,0.023695,0.025695,0.028335,0.029311,0.031311,0.041791,0.090687,0.386047,0.386047,0.386047,0.386047]}
+{"name":"fasta3.25_000_000","mean_latency":0,"max_latency":0,"distr_latency":[0.000567,0.001663,0.001727,0.001759,0.001775,0.001791,0.001823,0.001863,0.002247,0.007063,0.008295,0.008471,0.008807,0.065855,0.264191,0.264191,0.264191,0.264191]}
+{"name":"test_lwt.200","mean_latency":0,"max_latency":0,"distr_latency":[0.019215,0.036703,0.042399,0.048255,0.052415,0.057983,0.063519,0.070783,0.111615,0.123071,0.132223,0.142463,0.163583,0.207871,0.344575,0.851455,0.851455,0.851455]}
+{"name":"durand-kerner-aberth.","mean_latency":0,"max_latency":0,"distr_latency":[0.001279,0.005871,0.006263,0.008519,0.008599,0.008671,0.008751,0.008871,0.011783,0.012951,0.015119,0.016143,0.020383,0.067903,0.100799,0.191103,0.191103,0.191103]}
+{"name":"quicksort.4000000","mean_latency":0,"max_latency":3,"distr_latency":[0.000127,0.011671,0.014255,0.029999,0.062783,0.062783,0.199551,0.199551,3.991551,3.991551,3.991551,3.991551,3.991551,3.991551,3.991551,3.991551,3.991551,3.991551]}