Automated commit (Turing)

ocaml-bench · Jul 8, 2023 · d88e840 · d88e840
1 parent fdea044
commit d88e840
Show file tree

Hide file tree

Showing 15 changed files with 8,314 additions and 0 deletions.
diff --git a/...fd7a36f/5.2.0+trunk+parallel.20230709_005017.e869a1d1097fb0932e2d296de4aadfe89fd7a36f.log b/...fd7a36f/5.2.0+trunk+parallel.20230709_005017.e869a1d1097fb0932e2d296de4aadfe89fd7a36f.log
diff --git a/...17/e869a1d1097fb0932e2d296de4aadfe89fd7a36f/5.2.0+trunk+parallel_1.orunchrt.summary.bench b/...17/e869a1d1097fb0932e2d296de4aadfe89fd7a36f/5.2.0+trunk+parallel_1.orunchrt.summary.bench
diff --git a/...5017/e869a1d1097fb0932e2d296de4aadfe89fd7a36f/multicore_parallel_run_config_filtered.json b/...5017/e869a1d1097fb0932e2d296de4aadfe89fd7a36f/multicore_parallel_run_config_filtered.json
diff --git a/...f/5.2.0+trunk+pausetimes_par.20230709_032243.e869a1d1097fb0932e2d296de4aadfe89fd7a36f.log b/...f/5.2.0+trunk+pausetimes_par.20230709_032243.e869a1d1097fb0932e2d296de4aadfe89fd7a36f.log
diff --git a/...1d1097fb0932e2d296de4aadfe89fd7a36f/5.2.0+trunk+pausetimes_par_1.pausetimes.summary.bench b/...1d1097fb0932e2d296de4aadfe89fd7a36f/5.2.0+trunk+pausetimes_par_1.pausetimes.summary.bench
diff --git a/...2243/e869a1d1097fb0932e2d296de4aadfe89fd7a36f/multicore_parallel_run_config_filtered.json b/...2243/e869a1d1097fb0932e2d296de4aadfe89fd7a36f/multicore_parallel_run_config_filtered.json
diff --git a/...f/5.2.0+trunk+pausetimes_seq.20230709_024238.e869a1d1097fb0932e2d296de4aadfe89fd7a36f.log b/...f/5.2.0+trunk+pausetimes_seq.20230709_024238.e869a1d1097fb0932e2d296de4aadfe89fd7a36f.log
diff --git a/...1d1097fb0932e2d296de4aadfe89fd7a36f/5.2.0+trunk+pausetimes_seq_1.pausetimes.summary.bench b/...1d1097fb0932e2d296de4aadfe89fd7a36f/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.000423,0.002223,0.002463,0.002671,0.002783,0.002895,0.003007,0.003111,0.003255,0.003311,0.003463,0.004183,0.008791,0.024031,0.073343,0.368383,0.368383,0.368383]}
+{"name":"alt-ergo.fill.why","mean_latency":0,"max_latency":2,"distr_latency":[0.030879,0.179455,0.388351,0.480767,0.496639,0.519679,0.537087,0.567295,0.680959,0.794111,1.006591,1.623039,1.707007,2.541567,2.541567,2.541567,2.541567,2.541567]}
+{"name":"nqueens.14","mean_latency":0,"max_latency":0,"distr_latency":[0.000495,0.002095,0.002183,0.002255,0.002287,0.002327,0.002375,0.002527,0.008999,0.009183,0.009775,0.012215,0.026159,0.075775,0.101759,0.101759,0.101759,0.101759]}
+{"name":"game_of_life.256","mean_latency":0,"max_latency":0,"distr_latency":[0.007159,0.016343,0.058143,0.100735,0.129407,0.170495,0.210175,0.214783,0.219007,0.219007,0.220671,0.221439,0.221439,0.239103,0.239103,0.239103,0.239103,0.239103]}
+{"name":"revcomp2.","mean_latency":0,"max_latency":2,"distr_latency":[0.484095,0.885247,0.914943,0.971775,1.429503,1.830911,1.848319,1.863679,1.874943,1.876991,1.880063,1.883135,1.890303,1.909759,2.551807,2.551807,2.551807,2.551807]}
+{"name":"menhir.sql-parser","mean_latency":0,"max_latency":8,"distr_latency":[0.000447,0.002103,0.002311,0.009975,0.029727,0.072959,0.180607,0.340223,0.696831,0.868863,1.284095,1.461247,1.827839,3.721215,7.516159,8.626175,8.626175,8.626175]}
+{"name":"menhir.sysver","mean_latency":0,"max_latency":55,"distr_latency":[0.000439,0.002183,0.002255,0.002359,0.002399,0.002503,0.050591,0.263167,0.844799,0.959487,1.250303,1.433599,1.666047,3.692543,6.086655,13.074431,55.803903,55.803903]}
+{"name":"thread_ring_lwt_mvar.20_000","mean_latency":0,"max_latency":0,"distr_latency":[0.117503,0.198911,0.201215,0.204671,0.206719,0.209407,0.260607,0.364031,0.374015,0.375295,0.376319,0.377599,0.379903,0.387071,0.451327,0.501503,0.501503,0.501503]}
+{"name":"alt-ergo.yyll.why","mean_latency":0,"max_latency":9,"distr_latency":[0.005959,0.016463,0.028015,0.049887,0.067967,0.097151,0.139391,0.204543,0.349951,0.414207,0.495359,0.637951,0.896511,2.607103,4.845567,9.674751,9.674751,9.674751]}
+{"name":"fft.","mean_latency":0,"max_latency":3,"distr_latency":[0.369151,0.763903,0.781311,0.793087,0.802303,0.806911,0.819199,1.278975,1.328127,1.335295,1.343487,1.359871,1.446911,2.723839,3.973119,3.973119,3.973119,3.973119]}
+{"name":"cubicle.szymanski_at.cub","mean_latency":0,"max_latency":3,"distr_latency":[0.023007,0.064863,0.088767,0.125055,0.151167,0.182271,0.214911,0.262655,0.475647,0.539647,0.662015,0.923135,1.037823,2.189311,2.347007,2.740223,3.190783,3.207167]}
+{"name":"kb_no_exc.","mean_latency":0,"max_latency":1,"distr_latency":[0.115775,0.338943,0.360959,0.378111,0.391423,0.410623,0.456959,0.592383,0.788479,0.840703,0.887295,0.942079,1.021951,1.201151,1.202175,1.202175,1.202175,1.202175]}
+{"name":"evolutionary_algorithm.10000_10000","mean_latency":0,"max_latency":9,"distr_latency":[0.003007,0.003511,0.004671,0.005223,0.005551,0.080703,0.123839,0.240895,0.246271,0.247295,0.248447,0.251391,0.258815,0.268543,0.285439,9.854975,9.854975,9.854975]}
+{"name":"soli.2000","mean_latency":0,"max_latency":0,"distr_latency":[0.000143,0.011751,0.012167,0.024607,0.025327,0.025327,0.026783,0.051071,0.051071,0.051071,0.142847,0.142847,0.142847,0.142847,0.142847,0.142847,0.142847,0.142847]}
+{"name":"lexifi-g2pp.","mean_latency":0,"max_latency":0,"distr_latency":[0.000471,0.002231,0.002367,0.002431,0.002463,0.002503,0.002559,0.002623,0.002727,0.002759,0.002839,0.002999,0.008799,0.060735,0.200063,0.487679,0.487679,0.487679]}
+{"name":"spectralnorm2.5_500","mean_latency":0,"max_latency":0,"distr_latency":[0.000471,0.001551,0.001631,0.001663,0.001679,0.001703,0.001719,0.001743,0.001799,0.001815,0.001831,0.001847,0.001951,0.010415,0.057503,0.215807,0.215807,0.215807]}
+{"name":"sequence_cps.10000","mean_latency":0,"max_latency":0,"distr_latency":[0.000463,0.001727,0.001815,0.001943,0.001975,0.001999,0.002023,0.002055,0.002159,0.002207,0.002263,0.002783,0.007335,0.022927,0.070655,0.088447,0.088447,0.088447]}
+{"name":"fannkuchredux.12","mean_latency":0,"max_latency":0,"distr_latency":[0.000111,0.014527,0.014807,0.018351,0.020911,0.020911,0.032735,0.081407,0.081407,0.081407,0.123711,0.123711,0.123711,0.123711,0.123711,0.123711,0.123711,0.123711]}
+{"name":"menhir.ocamly","mean_latency":0,"max_latency":271,"distr_latency":[0.002639,0.089279,0.183295,0.301311,0.406527,0.532991,0.706047,0.924159,1.282047,1.336319,1.382399,1.445887,1.586175,32.653311,169.738239,271.319039,271.319039,271.319039]}
+{"name":"test_decompress.64_524_288","mean_latency":0,"max_latency":0,"distr_latency":[0.002599,0.009407,0.018063,0.023407,0.025247,0.027919,0.031311,0.034431,0.037823,0.039007,0.040255,0.045503,0.079871,0.120895,0.409599,0.409599,0.409599,0.409599]}
+{"name":"zarith_pi.10_000","mean_latency":0,"max_latency":65,"distr_latency":[0.000127,0.011815,0.018351,0.021103,0.021887,0.022479,0.022991,0.023615,0.027455,0.029247,0.032767,0.036223,0.040511,0.052287,55.541759,65.011711,65.011711,65.011711]}
+{"name":"floyd_warshall.512","mean_latency":0,"max_latency":1,"distr_latency":[0.006335,0.020543,0.029679,0.052671,0.112383,0.692735,0.774143,0.852991,1.082367,1.096703,1.168383,1.288191,1.528831,1.734655,1.734655,1.734655,1.734655,1.734655]}
+{"name":"regexredux2.","mean_latency":1,"max_latency":50,"distr_latency":[0.045119,1.763327,1.827839,2.217983,2.351103,2.543615,2.764799,2.807807,3.645439,3.651583,3.657727,3.661823,3.674111,27.099135,50.528255,50.528255,50.528255,50.528255]}
+{"name":"hamming.1_000_000","mean_latency":0,"max_latency":2,"distr_latency":[0.174847,0.800255,0.868863,0.905727,0.916479,0.924159,0.930303,0.940543,1.287167,1.392639,1.859583,1.935359,1.993727,2.023423,2.024447,2.024447,2.024447,2.024447]}
+{"name":"markbench.20","mean_latency":34,"max_latency":1397,"distr_latency":[0.765951,3.123199,3.129343,3.147775,3.174399,3.508223,3.790847,3.852287,3.997695,4.048895,4.098047,1390.411775,1390.411775,1396.703231,1397.751807,1397.751807,1397.751807,1397.751807]}
+{"name":"binarytrees5.21","mean_latency":0,"max_latency":5,"distr_latency":[0.005239,0.051263,0.183423,0.629247,0.948735,1.260543,1.977343,2.627583,2.684927,3.993599,4.030463,4.091903,4.106239,4.825087,5.406719,5.980159,5.980159,5.980159]}
+{"name":"mergesort.67108864","mean_latency":0,"max_latency":128,"distr_latency":[0.000895,0.003439,0.004087,0.004343,0.004511,0.004647,0.004767,0.005023,0.021071,0.021343,0.023759,0.030127,0.192767,128.647167,128.647167,128.647167,128.647167,128.647167]}
+{"name":"LU_decomposition.1024","mean_latency":0,"max_latency":0,"distr_latency":[0.000471,0.001463,0.001567,0.001623,0.001639,0.001655,0.001679,0.001703,0.001823,0.001855,0.001895,0.001959,0.007231,0.016751,0.076287,0.567295,0.567295,0.567295]}
+{"name":"graph500_seq_kernel1.edges_data","mean_latency":2,"max_latency":699,"distr_latency":[0.456447,3.434495,3.457023,3.481599,3.495935,3.508223,3.524607,3.559423,3.665919,4.218879,4.665343,4.902911,5.214207,18.366463,687.865855,699.400191,699.400191,699.400191]}
+{"name":"nbody.50_000_000","mean_latency":0,"max_latency":0,"distr_latency":[0.000127,0.016479,0.022735,0.029503,0.029967,0.029967,0.035199,0.059615,0.059615,0.059615,0.226431,0.226431,0.226431,0.226431,0.226431,0.226431,0.226431,0.226431]}
+{"name":"grammatrix.","mean_latency":0,"max_latency":0,"distr_latency":[0.000327,0.004455,0.005775,0.009079,0.013871,0.018815,0.026335,0.049183,0.087039,0.096447,0.112191,0.125247,0.153087,0.298751,0.452607,0.452607,0.452607,0.452607]}
+{"name":"zdd.words_txt","mean_latency":0,"max_latency":16,"distr_latency":[0.246527,0.689151,0.746495,0.877567,0.971775,1.117183,1.222655,1.301503,2.392063,3.033087,3.774463,4.927487,7.454719,13.164543,16.711679,16.711679,16.711679,16.711679]}
+{"name":"yojson_ydump.sample.json","mean_latency":0,"max_latency":0,"distr_latency":[0.000167,0.138367,0.188287,0.390911,0.444415,0.461055,0.483839,0.537599,0.546303,0.548863,0.551935,0.563199,0.661503,0.768511,0.768511,0.768511,0.768511,0.768511]}
+{"name":"thread_ring_lwt_stream.20_000","mean_latency":0,"max_latency":1,"distr_latency":[0.314623,0.473343,0.478463,0.749055,0.858623,0.871423,0.878591,0.884223,0.890367,0.891903,0.893439,0.895999,0.899071,1.143807,1.186815,1.197055,1.197055,1.197055]}
+{"name":"kb.","mean_latency":0,"max_latency":0,"distr_latency":[0.049727,0.141951,0.156543,0.178431,0.187519,0.202239,0.220543,0.265983,0.335615,0.352767,0.373503,0.390911,0.443391,0.550399,0.580095,0.580095,0.580095,0.580095]}
+{"name":"fasta6.25_000_000","mean_latency":0,"max_latency":0,"distr_latency":[0.000127,0.017439,0.028095,0.029583,0.030431,0.030431,0.058911,0.091711,0.091711,0.091711,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.002327,0.002455,0.002511,0.002543,0.002575,0.002615,0.002687,0.002839,0.002975,0.005591,0.006383,0.011671,0.088255,0.329983,0.337151,0.337151,0.337151]}
+{"name":"knucleotide.","mean_latency":0,"max_latency":4,"distr_latency":[0.000583,0.001759,0.001951,0.002031,0.002079,0.002119,0.002223,0.008703,0.066239,0.204671,0.286719,0.401151,3.678207,3.934207,4.034559,4.034559,4.034559,4.034559]}
+{"name":"pidigits5.10_000","mean_latency":0,"max_latency":59,"distr_latency":[0.000135,0.015319,0.016399,0.016991,0.017343,0.018255,0.028959,0.030159,0.032223,0.034015,0.036575,0.041407,0.047583,0.060255,47.972351,59.080703,59.080703,59.080703]}
+{"name":"levinson-durbin.","mean_latency":0,"max_latency":0,"distr_latency":[0.002191,0.012151,0.013127,0.017807,0.018511,0.019231,0.019727,0.020623,0.029823,0.033055,0.037663,0.042271,0.048127,0.067071,0.077887,0.082047,0.082047,0.082047]}
+{"name":"knucleotide3.","mean_latency":0,"max_latency":3,"distr_latency":[0.000511,0.001671,0.001815,0.001967,0.002007,0.002047,0.002079,0.002327,0.009351,0.018319,0.034143,0.062815,3.405823,3.583999,3.700735,3.700735,3.700735,3.700735]}
+{"name":"minilight.roomfront","mean_latency":0,"max_latency":0,"distr_latency":[0.000479,0.004527,0.004847,0.005143,0.005311,0.005495,0.005719,0.006047,0.006647,0.006879,0.007255,0.007943,0.010543,0.051519,0.116735,0.220927,0.227967,0.227967]}
+{"name":"cubicle.german_pfs.cub","mean_latency":0,"max_latency":3,"distr_latency":[0.012375,0.037535,0.057855,0.093375,0.118719,0.143743,0.161407,0.182271,0.263679,0.387071,0.900095,1.100799,1.140735,1.521663,1.623039,1.891327,3.907583,3.907583]}
+{"name":"bdd.26","mean_latency":0,"max_latency":6,"distr_latency":[0.000447,0.002287,0.002391,0.002447,0.002479,0.002511,0.002559,0.002639,0.002871,0.003087,0.009399,0.019567,0.083391,1.419263,3.809279,6.029311,6.029311,6.029311]}
+{"name":"mandelbrot6.16_000","mean_latency":0,"max_latency":0,"distr_latency":[0.000111,0.017711,0.022143,0.029823,0.032223,0.032223,0.036159,0.085567,0.085567,0.085567,0.257023,0.257023,0.257023,0.257023,0.257023,0.257023,0.257023,0.257023]}
+{"name":"matrix_multiplication.1024","mean_latency":0,"max_latency":0,"distr_latency":[0.009071,0.019151,0.070079,0.126143,0.211839,0.215039,0.223231,0.229503,0.244607,0.246143,0.246143,0.246655,0.249471,0.249855,0.249855,0.249855,0.249855,0.249855]}
+{"name":"crout-decomposition.","mean_latency":0,"max_latency":0,"distr_latency":[0.000447,0.001975,0.002095,0.002167,0.002199,0.002247,0.002303,0.002415,0.005439,0.007487,0.008735,0.010471,0.025167,0.082431,0.898047,0.898047,0.898047,0.898047]}
+{"name":"chameneos_redux_lwt.600000","mean_latency":0,"max_latency":0,"distr_latency":[0.000455,0.021231,0.022367,0.022783,0.022975,0.023167,0.023375,0.023679,0.025727,0.028527,0.029503,0.030847,0.040543,0.079551,0.360191,0.360191,0.360191,0.360191]}
+{"name":"fasta3.25_000_000","mean_latency":0,"max_latency":0,"distr_latency":[0.000527,0.001727,0.001791,0.001823,0.001839,0.001855,0.001887,0.001943,0.002191,0.007007,0.008279,0.008527,0.008743,0.067647,0.239359,0.239359,0.239359,0.239359]}
+{"name":"test_lwt.200","mean_latency":0,"max_latency":0,"distr_latency":[0.019167,0.036191,0.041535,0.047263,0.050495,0.054911,0.061119,0.066815,0.105087,0.120255,0.133119,0.145279,0.164223,0.202623,0.350463,0.885247,0.885247,0.885247]}
+{"name":"durand-kerner-aberth.","mean_latency":0,"max_latency":0,"distr_latency":[0.001239,0.005943,0.006407,0.008647,0.008727,0.008815,0.008911,0.009119,0.012119,0.013311,0.015111,0.016287,0.020703,0.070143,0.103615,0.180735,0.180735,0.180735]}
+{"name":"quicksort.4000000","mean_latency":0,"max_latency":3,"distr_latency":[0.000127,0.011839,0.014967,0.029359,0.065023,0.065023,0.174591,0.174591,3.946495,3.946495,3.946495,3.946495,3.946495,3.946495,3.946495,3.946495,3.946495,3.946495]}