Automated commit (Navajo)

ocaml-bench · Jul 5, 2023 · 037c119 · 037c119
1 parent e9196b2
commit 037c119
Show file tree

Hide file tree

Showing 15 changed files with 8,142 additions and 0 deletions.
diff --git a/...36c3561/5.2.0+trunk+parallel.20230705_004637.8934b78a67324fcf74e41a2ee809b1c6236c3561.log b/...36c3561/5.2.0+trunk+parallel.20230705_004637.8934b78a67324fcf74e41a2ee809b1c6236c3561.log
diff --git a/...37/8934b78a67324fcf74e41a2ee809b1c6236c3561/5.2.0+trunk+parallel_1.orunchrt.summary.bench b/...37/8934b78a67324fcf74e41a2ee809b1c6236c3561/5.2.0+trunk+parallel_1.orunchrt.summary.bench
diff --git a/...34b78a67324fcf74e41a2ee809b1c6236c3561/multicore_parallel_navajo_run_config_filtered.json b/...34b78a67324fcf74e41a2ee809b1c6236c3561/multicore_parallel_navajo_run_config_filtered.json
diff --git a/...a/5.2.0+trunk+pausetimes_par.20230705_061408.37c44cfe5e50a1ccb7c0820db64f84a493b809da.log b/...a/5.2.0+trunk+pausetimes_par.20230705_061408.37c44cfe5e50a1ccb7c0820db64f84a493b809da.log
diff --git a/...cfe5e50a1ccb7c0820db64f84a493b809da/5.2.0+trunk+pausetimes_par_1.pausetimes.summary.bench b/...cfe5e50a1ccb7c0820db64f84a493b809da/5.2.0+trunk+pausetimes_par_1.pausetimes.summary.bench
diff --git a/...c44cfe5e50a1ccb7c0820db64f84a493b809da/multicore_parallel_navajo_run_config_filtered.json b/...c44cfe5e50a1ccb7c0820db64f84a493b809da/multicore_parallel_navajo_run_config_filtered.json
diff --git a/...a/5.2.0+trunk+pausetimes_seq.20230705_053537.37c44cfe5e50a1ccb7c0820db64f84a493b809da.log b/...a/5.2.0+trunk+pausetimes_seq.20230705_053537.37c44cfe5e50a1ccb7c0820db64f84a493b809da.log
diff --git a/...cfe5e50a1ccb7c0820db64f84a493b809da/5.2.0+trunk+pausetimes_seq_1.pausetimes.summary.bench b/...cfe5e50a1ccb7c0820db64f84a493b809da/5.2.0+trunk+pausetimes_seq_1.pausetimes.summary.bench
@@ -0,0 +1,53 @@
+{"version":"5.4.0-132-generic","hostname":"navajo","kernel":"Linux","arch":"x86_64"}
+{"name":"mandelbrot6.16_000","mean_latency":0,"max_latency":0,"distr_latency":[7.1e-05,0.013399,0.019471,0.020447,0.021983,0.021983,0.036799,0.046047,0.046047,0.046047,0.144511,0.144511,0.144511,0.144511,0.144511,0.144511,0.144511,0.144511]}
+{"name":"qr-decomposition.","mean_latency":0,"max_latency":0,"distr_latency":[0.000839,0.001559,0.002087,0.003751,0.003847,0.003999,0.004143,0.004263,0.004551,0.004791,0.005247,0.006303,0.008543,0.076991,0.169215,0.176383,0.176383,0.176383]}
+{"name":"test_lwt.200","mean_latency":0,"max_latency":0,"distr_latency":[0.016327,0.030687,0.034815,0.039167,0.042111,0.045983,0.050143,0.056383,0.088959,0.096447,0.103039,0.110399,0.127615,0.156031,0.259071,0.574463,0.574463,0.574463]}
+{"name":"nbody.50_000_000","mean_latency":0,"max_latency":0,"distr_latency":[8.7e-05,0.012951,0.018975,0.020639,0.026607,0.026607,0.037727,0.041407,0.041407,0.041407,0.127231,0.127231,0.127231,0.127231,0.127231,0.127231,0.127231,0.127231]}
+{"name":"fft.","mean_latency":0,"max_latency":4,"distr_latency":[0.381951,0.534527,0.555519,0.581119,0.585727,0.592383,0.628223,0.785919,0.836607,0.851455,0.876543,0.923135,1.200127,2.420735,4.116479,4.116479,4.116479,4.116479]}
+{"name":"test_decompress.64_524_288","mean_latency":0,"max_latency":0,"distr_latency":[0.002095,0.006463,0.011511,0.014639,0.016655,0.020383,0.024991,0.028095,0.031519,0.033023,0.035583,0.041343,0.089983,0.145663,0.210687,0.210687,0.210687,0.210687]}
+{"name":"naive-multilayer.","mean_latency":0,"max_latency":0,"distr_latency":[0.000847,0.001679,0.002679,0.003847,0.004047,0.004199,0.004359,0.004543,0.004823,0.004911,0.005055,0.005903,0.007199,0.018559,0.055391,0.185471,0.185471,0.185471]}
+{"name":"thread_ring_lwt_mvar.20_000","mean_latency":0,"max_latency":0,"distr_latency":[0.093055,0.151807,0.153471,0.155647,0.157183,0.159615,0.198143,0.279295,0.286207,0.286975,0.287743,0.288511,0.289791,0.300287,0.354303,0.382463,0.382463,0.382463]}
+{"name":"game_of_life.256","mean_latency":0,"max_latency":0,"distr_latency":[0.007615,0.021471,0.041919,0.074111,0.104575,0.167423,0.222975,0.270335,0.276991,0.276991,0.283903,0.288511,0.288511,0.332543,0.332543,0.332543,0.332543,0.332543]}
+{"name":"alt-ergo.fill.why","mean_latency":0,"max_latency":2,"distr_latency":[0.035103,0.147583,0.305151,0.342783,0.361471,0.376831,0.427007,0.480511,0.614911,0.674815,0.840703,1.189887,1.285119,2.146303,2.146303,2.146303,2.146303,2.146303]}
+{"name":"binarytrees5.21","mean_latency":0,"max_latency":5,"distr_latency":[0.005071,0.042303,0.178175,0.582143,1.012223,1.117183,1.740799,2.658303,2.850815,3.194879,3.448831,3.600383,3.651583,4.665343,5.148671,5.898239,5.898239,5.898239]}
+{"name":"fannkuchredux.12","mean_latency":0,"max_latency":0,"distr_latency":[8.7e-05,0.012463,0.014503,0.015887,0.020783,0.020783,0.020799,0.048575,0.048575,0.048575,0.076351,0.076351,0.076351,0.076351,0.076351,0.076351,0.076351,0.076351]}
+{"name":"yojson_ydump.sample.json","mean_latency":0,"max_latency":0,"distr_latency":[9.5e-05,0.100159,0.136447,0.280831,0.320511,0.328447,0.347135,0.380927,0.384511,0.388351,0.396031,0.399871,0.418303,0.518911,0.518911,0.518911,0.518911,0.518911]}
+{"name":"menhir.sql-parser","mean_latency":0,"max_latency":7,"distr_latency":[0.000263,0.001639,0.003431,0.010351,0.030543,0.071167,0.140799,0.285951,0.561663,0.690687,0.865791,0.952319,1.402879,2.998271,5.746687,7.176191,7.176191,7.176191]}
+{"name":"matrix_multiplication.1024","mean_latency":0,"max_latency":0,"distr_latency":[0.010199,0.031839,0.059903,0.146943,0.189055,0.232703,0.266495,0.271615,0.276735,0.278783,0.278783,0.281087,0.282111,0.331775,0.331775,0.331775,0.331775,0.331775]}
+{"name":"markbench.20","mean_latency":35,"max_latency":1487,"distr_latency":[0.921087,2.075647,2.123775,2.174975,2.242559,2.867199,3.149823,3.274751,3.368959,3.399679,3.489791,1476.395007,1478.492159,1487.929343,1487.929343,1487.929343,1487.929343,1487.929343]}
+{"name":"floyd_warshall.512","mean_latency":0,"max_latency":2,"distr_latency":[0.004943,0.016959,0.029375,0.049087,0.113919,0.542207,0.708095,0.827903,1.037311,1.075199,1.175551,1.257471,1.551359,1.936383,2.057215,2.057215,2.057215,2.057215]}
+{"name":"chameneos_redux_lwt.600000","mean_latency":0,"max_latency":0,"distr_latency":[0.000711,0.017247,0.018015,0.018415,0.019679,0.020543,0.021311,0.021983,0.022815,0.023247,0.023919,0.027167,0.030895,0.070591,0.198783,0.198783,0.198783,0.198783]}
+{"name":"soli.2000","mean_latency":0,"max_latency":0,"distr_latency":[0.000111,0.007847,0.010447,0.015423,0.020639,0.020639,0.029519,0.032719,0.032719,0.032719,0.088511,0.088511,0.088511,0.088511,0.088511,0.088511,0.088511,0.088511]}
+{"name":"pidigits5.10_000","mean_latency":0,"max_latency":67,"distr_latency":[8.7e-05,0.010279,0.013839,0.014199,0.014535,0.022831,0.023631,0.025583,0.028879,0.031071,0.034559,0.036031,0.037663,0.045855,62.717951,67.764223,67.764223,67.764223]}
+{"name":"menhir.sysver","mean_latency":0,"max_latency":46,"distr_latency":[0.000791,0.003239,0.003551,0.003807,0.003959,0.004343,0.046911,0.236671,0.631807,0.728575,0.870399,0.986111,1.240063,2.461695,4.931583,15.089663,46.989311,46.989311]}
+{"name":"bdd.26","mean_latency":0,"max_latency":6,"distr_latency":[0.000743,0.001623,0.001847,0.003663,0.003863,0.004015,0.004159,0.004351,0.004695,0.005911,0.008991,0.017423,0.074431,1.375231,2.404351,6.279167,6.279167,6.279167]}
+{"name":"sequence_cps.10000","mean_latency":0,"max_latency":0,"distr_latency":[0.000815,0.001295,0.002991,0.003391,0.003487,0.003591,0.003703,0.003823,0.003959,0.003999,0.004231,0.005535,0.006575,0.018959,0.049471,0.052831,0.052831,0.052831]}
+{"name":"alt-ergo.yyll.why","mean_latency":0,"max_latency":13,"distr_latency":[0.006359,0.015383,0.024927,0.042879,0.057759,0.080319,0.112191,0.161279,0.270847,0.313599,0.376319,0.483839,0.751615,2.736127,6.852607,13.008895,13.008895,13.008895]}
+{"name":"LU_decomposition.1024","mean_latency":0,"max_latency":0,"distr_latency":[0.000847,0.001055,0.002887,0.003087,0.003159,0.003279,0.003407,0.003479,0.003559,0.003591,0.003663,0.004855,0.006655,0.028079,0.089471,0.623615,0.623615,0.623615]}
+{"name":"cubicle.german_pfs.cub","mean_latency":0,"max_latency":7,"distr_latency":[0.012255,0.033343,0.052223,0.086847,0.109183,0.138239,0.164607,0.193279,0.251391,0.371967,0.975359,1.084415,1.154047,1.350655,1.465343,2.252799,7.405567,7.405567]}
+{"name":"hamming.1_000_000","mean_latency":0,"max_latency":1,"distr_latency":[0.198783,0.532479,0.563199,0.578559,0.583679,0.590847,0.605695,0.631295,0.958463,1.011711,1.270783,1.337343,1.368063,1.400831,1.406975,1.406975,1.406975,1.406975]}
+{"name":"knucleotide3.","mean_latency":0,"max_latency":2,"distr_latency":[0.000335,0.001047,0.001167,0.001327,0.001455,0.001623,0.002983,0.003943,0.022559,0.034207,0.044255,0.047039,2.246655,2.439167,2.471935,2.471935,2.471935,2.471935]}
+{"name":"lexifi-g2pp.","mean_latency":0,"max_latency":0,"distr_latency":[0.000775,0.001487,0.002247,0.003479,0.003631,0.003759,0.003895,0.004063,0.004215,0.004263,0.004359,0.004663,0.006399,0.044607,0.102719,0.277503,0.277503,0.277503]}
+{"name":"zarith_pi.10_000","mean_latency":0,"max_latency":73,"distr_latency":[8.7e-05,0.009503,0.015791,0.016687,0.016879,0.017183,0.020719,0.025791,0.029039,0.029439,0.029887,0.030495,0.032575,0.039935,73.596927,73.859071,73.859071,73.859071]}
+{"name":"knucleotide.","mean_latency":0,"max_latency":3,"distr_latency":[0.000367,0.001095,0.001263,0.001415,0.001479,0.001655,0.003367,0.008767,0.078847,0.256383,0.379391,0.527871,2.287615,2.902015,3.880959,3.880959,3.880959,3.880959]}
+{"name":"quicksort.4000000","mean_latency":0,"max_latency":3,"distr_latency":[0.000103,0.008799,0.010655,0.018847,0.033791,0.033791,0.124415,0.124415,3.872767,3.872767,3.872767,3.872767,3.872767,3.872767,3.872767,3.872767,3.872767,3.872767]}
+{"name":"spectralnorm2.5_500","mean_latency":0,"max_latency":0,"distr_latency":[0.000831,0.001015,0.002799,0.003071,0.003127,0.003223,0.003367,0.003447,0.003527,0.003559,0.003607,0.003727,0.004991,0.011775,0.049695,0.115071,0.115071,0.115071]}
+{"name":"menhir.ocamly","mean_latency":0,"max_latency":258,"distr_latency":[0.004951,0.091199,0.178303,0.292095,0.379391,0.466175,0.566271,0.699391,0.861183,0.891391,0.926207,0.986111,1.223679,29.933567,144.179199,258.080767,258.080767,258.080767]}
+{"name":"fasta3.25_000_000","mean_latency":0,"max_latency":0,"distr_latency":[0.000327,0.001055,0.001079,0.001103,0.001119,0.001383,0.002719,0.003207,0.003791,0.005135,0.005975,0.006687,0.008751,0.056671,0.123903,0.123903,0.123903,0.123903]}
+{"name":"crout-decomposition.","mean_latency":0,"max_latency":0,"distr_latency":[0.000303,0.001303,0.001447,0.001959,0.003183,0.003511,0.003727,0.004015,0.005863,0.006479,0.007487,0.011615,0.020975,0.090431,0.560639,0.560639,0.560639,0.560639]}
+{"name":"thread_ring_lwt_stream.20_000","mean_latency":0,"max_latency":0,"distr_latency":[0.228735,0.371455,0.375295,0.569855,0.656383,0.665087,0.670719,0.675327,0.680959,0.681983,0.684031,0.686591,0.691711,0.863743,0.901631,0.904703,0.904703,0.904703]}
+{"name":"kb_no_exc.","mean_latency":0,"max_latency":0,"distr_latency":[0.104767,0.263679,0.281855,0.300031,0.312319,0.328959,0.370687,0.453119,0.621055,0.661503,0.707071,0.741887,0.798207,0.958975,0.962047,0.962047,0.962047,0.962047]}
+{"name":"cubicle.szymanski_at.cub","mean_latency":0,"max_latency":4,"distr_latency":[0.021871,0.059039,0.079167,0.105983,0.123775,0.147199,0.173439,0.235135,0.433663,0.479231,0.537599,0.716799,0.794623,2.076671,2.205695,3.336191,4.235263,4.444159]}
+{"name":"revcomp2.","mean_latency":0,"max_latency":1,"distr_latency":[0.539135,0.657407,0.708607,0.763391,0.933375,1.028607,1.036799,1.057791,1.103871,1.108991,1.120255,1.134591,1.141759,1.181695,1.232895,1.232895,1.232895,1.232895]}
+{"name":"grammatrix.","mean_latency":0,"max_latency":0,"distr_latency":[0.000247,0.007151,0.011007,0.013319,0.014663,0.017567,0.021167,0.041183,0.065183,0.069951,0.079295,0.089023,0.124415,0.285695,0.375807,0.375807,0.375807,0.375807]}
+{"name":"levinson-durbin.","mean_latency":0,"max_latency":0,"distr_latency":[0.003607,0.010535,0.011583,0.016495,0.017039,0.017455,0.017855,0.018367,0.021935,0.023439,0.024751,0.025935,0.029871,0.039775,0.057151,0.059519,0.059519,0.059519]}
+{"name":"graph500_seq_kernel1.edges_data","mean_latency":2,"max_latency":610,"distr_latency":[0.573951,2.510847,2.545663,2.578431,2.598911,2.619391,2.646015,2.684927,2.758655,5.939199,6.504447,6.549503,6.733823,22.380543,609.746943,610.271231,610.271231,610.271231]}
+{"name":"durand-kerner-aberth.","mean_latency":0,"max_latency":0,"distr_latency":[0.000951,0.004303,0.006047,0.006255,0.006567,0.007103,0.008463,0.008863,0.009919,0.010711,0.011615,0.013487,0.018031,0.052671,0.073663,0.100351,0.100351,0.100351]}
+{"name":"regexredux2.","mean_latency":1,"max_latency":35,"distr_latency":[0.060671,1.298431,1.369087,1.458175,1.633279,1.685503,1.728511,1.824767,2.303999,2.322431,2.332671,2.355199,2.471935,22.609919,35.979263,35.979263,35.979263,35.979263]}
+{"name":"nqueens.14","mean_latency":0,"max_latency":0,"distr_latency":[0.000703,0.001479,0.001567,0.002015,0.003399,0.003647,0.003879,0.004159,0.007815,0.008831,0.010039,0.012647,0.020223,0.059199,0.065983,0.065983,0.065983,0.065983]}
+{"name":"zdd.words_txt","mean_latency":1,"max_latency":22,"distr_latency":[0.373759,0.771583,0.991743,1.334271,1.362943,1.405951,1.458175,1.600511,2.301951,2.349055,2.617343,6.492159,9.215999,15.343615,22.052863,22.052863,22.052863,22.052863]}
+{"name":"mergesort.67108864","mean_latency":1,"max_latency":142,"distr_latency":[0.003719,0.007319,0.008759,0.009319,0.009479,0.009743,0.010095,0.010471,0.064351,0.066943,0.069567,0.075007,0.132351,142.868479,142.868479,142.868479,142.868479,142.868479]}
+{"name":"kb.","mean_latency":0,"max_latency":0,"distr_latency":[0.045759,0.109631,0.122495,0.139263,0.147583,0.159231,0.174463,0.207231,0.259327,0.274175,0.290815,0.304127,0.347135,0.422143,0.456959,0.456959,0.456959,0.456959]}
+{"name":"minilight.roomfront","mean_latency":0,"max_latency":0,"distr_latency":[0.000959,0.004895,0.005535,0.005967,0.006159,0.006359,0.006599,0.006927,0.007567,0.007855,0.008335,0.009111,0.011423,0.044831,0.119551,0.148095,0.153215,0.153215]}
+{"name":"evolutionary_algorithm.10000_10000","mean_latency":0,"max_latency":0,"distr_latency":[0.003623,0.004823,0.006735,0.007455,0.007919,0.079359,0.122175,0.238975,0.245759,0.246911,0.248959,0.255231,0.265215,0.288511,0.312831,0.323327,0.323327,0.323327]}
+{"name":"fasta6.25_000_000","mean_latency":0,"max_latency":0,"distr_latency":[0.000103,0.011743,0.017039,0.021087,0.021631,0.021631,0.031247,0.100479,0.100479,0.100479,0.137727,0.137727,0.137727,0.137727,0.137727,0.137727,0.137727,0.137727]}