Created
June 15, 2021 13:11
-
-
Save shubhamkumar13/9f1915eba2ad6407f73c8198138400b7 to your computer and use it in GitHub Desktop.
instrumented benchmarks
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| {"name":"crout-decomposition.","command":"taskset --cpu-list 5 ./crout_decomposition.exe","time_secs":1.442824125289917,"user_time_secs":1.422518,"sys_time_secs":0.020035,"maxrss_kB":67204,"ocaml":{"version":"4.12.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":551063459,"minor_words":543585663,"promoted_words":298455,"major_words":7776251,"minor_collections":2076,"major_collections":7,"forced_major_collections":0,"heap_words":7772654,"top_heap_words":7772654,"mean_space_overhead":10.166362},"codesize":345866.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/4.12+domains+effects.tar.gz"} | |
| {"name":"menhir.ocamly","command":"taskset --cpu-list 5 menhir benchmarks/menhir/ocaml.mly --list-errors -la 2 --no-stdlib --lalr","time_secs":254.9907898902893,"user_time_secs":251.28706,"sys_time_secs":3.699927,"maxrss_kB":3490192,"ocaml":{"version":"4.12.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":3224811322,"minor_words":2504422628,"promoted_words":427841593,"major_words":1148230287,"minor_collections":9586,"major_collections":37,"forced_major_collections":0,"heap_words":323185030,"top_heap_words":444187654,"mean_space_overhead":22.61001},"codesize":965383.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/4.12+domains+effects.tar.gz"} | |
| {"name":"yojson_ydump.sample.json","command":"taskset --cpu-list 5 ./ydump.exe -c sample.json","time_secs":0.7744960784912109,"user_time_secs":0.766257,"sys_time_secs":0.007981,"maxrss_kB":11752,"ocaml":{"version":"4.12.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":11948655,"minor_words":9737879,"promoted_words":903682,"major_words":3114458,"minor_collections":53,"major_collections":18,"forced_major_collections":0,"heap_words":464166,"top_heap_words":554730,"mean_space_overhead":117.245862},"codesize":542103.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/4.12+domains+effects.tar.gz"} | |
| {"name":"mandelbrot6.16_000","command":"taskset --cpu-list 5 ./mandelbrot6.exe 16_000","time_secs":40.480846881866455,"user_time_secs":40.476249,"sys_time_secs":0.004,"maxrss_kB":5292,"ocaml":{"version":"4.12.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":5718,"minor_words":5400,"promoted_words":0,"major_words":318,"minor_collections":0,"major_collections":0,"forced_major_collections":0,"heap_words":4350,"top_heap_words":4350,"mean_space_overhead":0.0},"codesize":282496.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/4.12+domains+effects.tar.gz"} | |
| {"name":"cpdf.squeeze","command":"taskset --cpu-list 5 cpdf -squeeze benchmarks/cpdf/PDFReference16.pdf_toobig -o /dev/null","time_secs":16.21222996711731,"user_time_secs":15.96755,"sys_time_secs":0.244054,"maxrss_kB":373132,"ocaml":{"version":"4.12.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":437797070,"minor_words":422126123,"promoted_words":124455392,"major_words":140126339,"minor_collections":1655,"major_collections":32,"forced_major_collections":0,"heap_words":29010811,"top_heap_words":45884648,"mean_space_overhead":28.547411},"codesize":1139519.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/4.12+domains+effects.tar.gz"} | |
| {"name":"test_decompress.64_524_288","command":"taskset --cpu-list 5 ./test_decompress.exe 64 524_288","time_secs":4.273532152175903,"user_time_secs":4.237241,"sys_time_secs":0.035976,"maxrss_kB":14468,"ocaml":{"version":"4.12.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":402711639,"minor_words":298707955,"promoted_words":77866,"major_words":104081550,"minor_collections":1567,"major_collections":448,"forced_major_collections":0,"heap_words":691122,"top_heap_words":943703,"mean_space_overhead":83.381536},"codesize":349175.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/4.12+domains+effects.tar.gz"} | |
| {"name":"evolutionary_algorithm.10000_10000","command":"taskset --cpu-list 5 ./evolutionary_algorithm.exe 10000 10000","time_secs":70.4198899269104,"user_time_secs":68.33459000000001,"sys_time_secs":2.083957,"maxrss_kB":3335984,"ocaml":{"version":"4.12.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":5029362146,"minor_words":3729101815,"promoted_words":715356,"major_words":1300975687,"minor_collections":14260,"major_collections":30,"forced_major_collections":0,"heap_words":397616526,"top_heap_words":426167847,"mean_space_overhead":14.026909},"codesize":169604.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/4.12+domains+effects.tar.gz"} | |
| {"name":"knucleotide3.","command":"taskset --cpu-list 5 ./knucleotide3.exe","time_secs":45.85350489616394,"user_time_secs":45.656765,"sys_time_secs":0.196003,"maxrss_kB":268324,"ocaml":{"version":"4.12.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":101920987,"minor_words":69521375,"promoted_words":1527974,"major_words":33927586,"minor_collections":266,"major_collections":5,"forced_major_collections":0,"heap_words":33984967,"top_heap_words":33984967,"mean_space_overhead":2421.000238},"codesize":287737.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/4.12+domains+effects.tar.gz"} | |
| {"name":"cubicle.szymanski_at.cub","command":"taskset --cpu-list 5 cubicle benchmarks/cubicle/szymanski_at.cub","time_secs":494.15809297561646,"user_time_secs":493.676216,"sys_time_secs":0.468699,"maxrss_kB":176048,"ocaml":{"version":"4.12.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":106323369828,"minor_words":106101414065,"promoted_words":6199946409,"major_words":6421902172,"minor_collections":406195,"major_collections":1465,"forced_major_collections":0,"heap_words":16876426,"top_heap_words":27865015,"mean_space_overhead":86.860703},"codesize":1231574.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/4.12+domains+effects.tar.gz"} | |
| {"name":"qr-decomposition.","command":"taskset --cpu-list 5 ./qr_decomposition.exe","time_secs":2.110135078430176,"user_time_secs":2.097902,"sys_time_secs":0.011988,"maxrss_kB":9004,"ocaml":{"version":"4.12.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":1712410413,"minor_words":1712410095,"promoted_words":2682883,"major_words":2683201,"minor_collections":6559,"major_collections":31,"forced_major_collections":0,"heap_words":301342,"top_heap_words":369900,"mean_space_overhead":67.31590300000001},"codesize":222641.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/4.12+domains+effects.tar.gz"} | |
| {"name":"cpdf.blacktext","command":"taskset --cpu-list 5 cpdf -blacktext benchmarks/cpdf/metro_geo.pdf -o /dev/null","time_secs":4.024687051773071,"user_time_secs":3.956332,"sys_time_secs":0.068005,"maxrss_kB":152324,"ocaml":{"version":"4.12.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":58307880,"minor_words":56377633,"promoted_words":26026942,"major_words":27957189,"minor_collections":228,"major_collections":14,"forced_major_collections":0,"heap_words":14435781,"top_heap_words":16815557,"mean_space_overhead":24.701983},"codesize":1139519.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/4.12+domains+effects.tar.gz"} | |
| {"name":"thread_ring_lwt_mvar.20_000","command":"taskset --cpu-list 5 ./thread_ring_lwt_mvar.exe 20_000","time_secs":3.6124401092529297,"user_time_secs":3.608133,"sys_time_secs":0.004,"maxrss_kB":8844,"ocaml":{"version":"4.12.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":926798845,"minor_words":926797519,"promoted_words":69291591,"major_words":69292917,"minor_collections":4710,"major_collections":1178,"forced_major_collections":0,"heap_words":226546,"top_heap_words":247026,"mean_space_overhead":142.287213},"codesize":410876.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/4.12+domains+effects.tar.gz"} | |
| {"name":"chameneos_redux_lwt.600000","command":"taskset --cpu-list 5 ./chameneos_redux_lwt.exe 600000","time_secs":2.3170042037963867,"user_time_secs":1.941247,"sys_time_secs":0.375467,"maxrss_kB":7596,"ocaml":{"version":"4.12.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":548094202,"minor_words":548093884,"promoted_words":747982,"major_words":748300,"minor_collections":2144,"major_collections":57,"forced_major_collections":0,"heap_words":102654,"top_heap_words":102654,"mean_space_overhead":389.792534},"codesize":417561.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/4.12+domains+effects.tar.gz"} | |
| {"name":"imrin_mem_rw.10_000_50_000_80_100_000_000","command":"taskset --cpu-list 5 ./irmin_mem_rw.exe 10_000 50_000 80 100_000_000","time_secs":8.169779062271118,"user_time_secs":8.144987,"sys_time_secs":0.023991,"maxrss_kB":26964,"ocaml":{"version":"4.12.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":6021712520,"minor_words":6021703652,"promoted_words":906956,"major_words":915824,"minor_collections":22986,"major_collections":15,"forced_major_collections":0,"heap_words":234484,"top_heap_words":727075,"mean_space_overhead":69.828087},"codesize":5569737.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/4.12+domains+effects.tar.gz"} | |
| {"name":"zarith_pi.5000","command":"taskset --cpu-list 5 ./zarith_pi.exe 5000","time_secs":0.5997118949890137,"user_time_secs":0.567476,"sys_time_secs":0.03197,"maxrss_kB":17688,"ocaml":{"version":"4.12.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":396117829,"minor_words":3413371,"promoted_words":10324,"major_words":392714782,"minor_collections":757,"major_collections":747,"forced_major_collections":0,"heap_words":1116409,"top_heap_words":1393732,"mean_space_overhead":105.226447},"codesize":208857.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/4.12+domains+effects.tar.gz"} | |
| {"name":"matrix_multiplication.1024","command":"taskset --cpu-list 5 ./matrix_multiplication.exe 1024","time_secs":7.681250095367432,"user_time_secs":7.672919,"sys_time_secs":0.008,"maxrss_kB":28176,"ocaml":{"version":"4.12.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":3152466,"minor_words":273,"promoted_words":155,"major_words":3152348,"minor_collections":4,"major_collections":4,"forced_major_collections":0,"heap_words":2666238,"top_heap_words":2666238,"mean_space_overhead":6.959138},"codesize":167861.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/4.12+domains+effects.tar.gz"} | |
| {"name":"cpdf.scale","command":"taskset --cpu-list 5 cpdf scale-to-fit a4landscape -twoup benchmarks/cpdf/PDFReference16.pdf_toobig -o /dev/null","time_secs":13.999195098876953,"user_time_secs":13.78261,"sys_time_secs":0.21604,"maxrss_kB":289004,"ocaml":{"version":"4.12.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":603095623,"minor_words":592505901,"promoted_words":85185521,"major_words":95775243,"minor_collections":2286,"major_collections":28,"forced_major_collections":0,"heap_words":33343919,"top_heap_words":34731704,"mean_space_overhead":27.234376},"codesize":1139519.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/4.12+domains+effects.tar.gz"} | |
| {"name":"game_of_life.256","command":"taskset --cpu-list 5 ./game_of_life.exe 256","time_secs":12.065206050872803,"user_time_secs":12.048776,"sys_time_secs":0.016001,"maxrss_kB":19636,"ocaml":{"version":"4.12.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":2102894,"minor_words":1326,"promoted_words":152,"major_words":2101720,"minor_collections":3,"major_collections":3,"forced_major_collections":0,"heap_words":1610494,"top_heap_words":1610494,"mean_space_overhead":8.241942999999999},"codesize":69277.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/4.12+domains+effects.tar.gz"} | |
| {"name":"nbody.50_000_000","command":"taskset --cpu-list 5 ./nbody.exe 50_000_000","time_secs":7.608241081237793,"user_time_secs":7.603915,"sys_time_secs":0.003999,"maxrss_kB":5296,"ocaml":{"version":"4.12.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":6414,"minor_words":6096,"promoted_words":0,"major_words":318,"minor_collections":0,"major_collections":0,"forced_major_collections":0,"heap_words":4350,"top_heap_words":4350,"mean_space_overhead":0.0},"codesize":283962.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/4.12+domains+effects.tar.gz"} | |
| {"name":"test_lwt.200","command":"taskset --cpu-list 5 ./test_lwt.exe 200","time_secs":23.950114011764526,"user_time_secs":23.921285,"sys_time_secs":0.028001,"maxrss_kB":19788,"ocaml":{"version":"4.12.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":1144606935,"minor_words":414437677,"promoted_words":6988773,"major_words":737158031,"minor_collections":2512,"major_collections":1256,"forced_major_collections":0,"heap_words":1350141,"top_heap_words":1608437,"mean_space_overhead":110.010175},"codesize":536183.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/4.12+domains+effects.tar.gz"} | |
| {"name":"kronecker.12_10","command":"taskset --cpu-list 5 ./kronecker.exe 12 10","time_secs":41.081743001937866,"user_time_secs":37.850916,"sys_time_secs":3.215568,"maxrss_kB":38056,"ocaml":{"version":"4.12.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":41125844765,"minor_words":19992408,"promoted_words":2228969,"major_words":41108081326,"minor_collections":54917,"major_collections":54873,"forced_major_collections":0,"heap_words":1110285,"top_heap_words":3595657,"mean_space_overhead":83.78636},"codesize":191108.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/4.12+domains+effects.tar.gz"} | |
| {"name":"cubicle.german_pfs.cub","command":"taskset --cpu-list 5 cubicle benchmarks/cubicle/german_pfs.cub","time_secs":258.9882779121399,"user_time_secs":258.176988,"sys_time_secs":0.804701,"maxrss_kB":435612,"ocaml":{"version":"4.12.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":23242839124,"minor_words":20164847530,"promoted_words":436523650,"major_words":3514515244,"minor_collections":77227,"major_collections":458,"forced_major_collections":0,"heap_words":34200802,"top_heap_words":58536661,"mean_space_overhead":112.514497},"codesize":1231574.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/4.12+domains+effects.tar.gz"} | |
| {"name":"alt-ergo.fill.why","command":"taskset --cpu-list 5 alt-ergo benchmarks/alt-ergo/fill.why","time_secs":2.4743218421936035,"user_time_secs":2.265851,"sys_time_secs":0.20817,"maxrss_kB":426108,"ocaml":{"version":"4.12.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":185418887,"minor_words":168246820,"promoted_words":43600805,"major_words":60772872,"minor_collections":653,"major_collections":17,"forced_major_collections":0,"heap_words":51720254,"top_heap_words":52387902,"mean_space_overhead":5.561436},"codesize":2864214.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/4.12+domains+effects.tar.gz"} | |
| {"name":"setrip.-enc_-rseed_1067894368","command":"taskset --cpu-list 5 setrip -enc -rseed 1067894368","time_secs":1.5984208583831787,"user_time_secs":1.598127,"sys_time_secs":0.0,"maxrss_kB":6672,"ocaml":{"version":"4.12.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":172406786,"minor_words":172398275,"promoted_words":5103,"major_words":13614,"minor_collections":662,"major_collections":12,"forced_major_collections":0,"heap_words":61697,"top_heap_words":61697,"mean_space_overhead":558.625109},"codesize":298882.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/4.12+domains+effects.tar.gz"} | |
| {"name":"coq.AbstractInterpretation.v","command":"taskset --cpu-list 5 coqc benchmarks/coq/AbstractInterpretation.v","time_secs":326.3407278060913,"user_time_secs":325.051909,"sys_time_secs":1.279968,"maxrss_kB":1179920,"ocaml":{"version":"4.12.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":71484908140,"minor_words":71170425268,"promoted_words":660255614,"major_words":974738486,"minor_collections":271639,"major_collections":79,"forced_major_collections":0,"heap_words":70302141,"top_heap_words":117922967,"mean_space_overhead":44.481825},"codesize":5909840.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/4.12+domains+effects.tar.gz"} | |
| {"name":"grammatrix.","command":"taskset --cpu-list 5 ./grammatrix.exe","time_secs":95.07641887664795,"user_time_secs":94.710638,"sys_time_secs":0.363994,"maxrss_kB":508052,"ocaml":{"version":"4.12.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":213875147,"minor_words":147154732,"promoted_words":1901626,"major_words":68622041,"minor_collections":573,"major_collections":15,"forced_major_collections":0,"heap_words":63325568,"top_heap_words":64198016,"mean_space_overhead":4.707837},"codesize":249239.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/4.12+domains+effects.tar.gz"} | |
| {"name":"knucleotide.","command":"taskset --cpu-list 5 ./knucleotide.exe","time_secs":47.451157093048096,"user_time_secs":47.173743,"sys_time_secs":0.27601,"maxrss_kB":359148,"ocaml":{"version":"4.12.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":137157205,"minor_words":88502208,"promoted_words":2355036,"major_words":51010033,"minor_collections":341,"major_collections":7,"forced_major_collections":0,"heap_words":42884149,"top_heap_words":46980153,"mean_space_overhead":12.236676},"codesize":284121.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/4.12+domains+effects.tar.gz"} | |
| {"name":"revcomp2.","command":"taskset --cpu-list 5 ./revcomp2.exe","time_secs":3.2092719078063965,"user_time_secs":3.036911,"sys_time_secs":0.172051,"maxrss_kB":201768,"ocaml":{"version":"4.12.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":75196243,"minor_words":75195925,"promoted_words":49934275,"major_words":49934593,"minor_collections":303,"major_collections":17,"forced_major_collections":0,"heap_words":25092350,"top_heap_words":25092350,"mean_space_overhead":24.361588},"codesize":282801.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/4.12+domains+effects.tar.gz"} | |
| {"name":"floyd_warshall.512","command":"taskset --cpu-list 5 ./floyd_warshall.exe 512","time_secs":1.1556508541107178,"user_time_secs":1.139315,"sys_time_secs":0.016046,"maxrss_kB":17984,"ocaml":{"version":"4.12.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":6854776,"minor_words":6591289,"promoted_words":6094267,"major_words":6357754,"minor_collections":369,"major_collections":24,"forced_major_collections":0,"heap_words":1804545,"top_heap_words":1804545,"mean_space_overhead":44.746309},"codesize":68819.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/4.12+domains+effects.tar.gz"} | |
| {"name":"lexifi-g2pp.","command":"taskset --cpu-list 5 ./main.exe","time_secs":17.174412965774536,"user_time_secs":17.169469,"sys_time_secs":0.004,"maxrss_kB":7768,"ocaml":{"version":"4.12.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":1659521889,"minor_words":1659521571,"promoted_words":184134,"major_words":184452,"minor_collections":6338,"major_collections":12,"forced_major_collections":0,"heap_words":132321,"top_heap_words":132321,"mean_space_overhead":92.971289},"codesize":215348.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/4.12+domains+effects.tar.gz"} | |
| {"name":"LU_decomposition.1024","command":"taskset --cpu-list 5 ./LU_decomposition.exe 1024","time_secs":4.21895694732666,"user_time_secs":4.198528,"sys_time_secs":0.020012,"maxrss_kB":38604,"ocaml":{"version":"4.12.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":2157968007,"minor_words":2153773381,"promoted_words":165,"major_words":4194791,"minor_collections":8217,"major_collections":2,"forced_major_collections":0,"heap_words":4231434,"top_heap_words":4231434,"mean_space_overhead":3.492957},"codesize":68784.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/4.12+domains+effects.tar.gz"} | |
| {"name":"fannkuchredux2.12","command":"taskset --cpu-list 5 ./fannkuchredux2.exe 12","time_secs":87.52432513237,"user_time_secs":87.519313,"sys_time_secs":0.003999,"maxrss_kB":5296,"ocaml":{"version":"4.12.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":6174,"minor_words":5856,"promoted_words":0,"major_words":318,"minor_collections":0,"major_collections":0,"forced_major_collections":0,"heap_words":4350,"top_heap_words":4350,"mean_space_overhead":0.0},"codesize":283142.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/4.12+domains+effects.tar.gz"} | |
| {"name":"menhir.sysver","command":"taskset --cpu-list 5 menhir -v --table benchmarks/menhir/sysver.mly","time_secs":86.28943800926208,"user_time_secs":85.63932200000001,"sys_time_secs":0.647994,"maxrss_kB":851348,"ocaml":{"version":"4.12.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":9319403444,"minor_words":9181277497,"promoted_words":328859837,"major_words":466985784,"minor_collections":35089,"major_collections":57,"forced_major_collections":0,"heap_words":88900203,"top_heap_words":100230820,"mean_space_overhead":30.897405},"codesize":965383.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/4.12+domains+effects.tar.gz"} | |
| {"name":"kernel1.12_10","command":"taskset --cpu-list 5 ./kernel1.exe 12 10","time_secs":0.0024738311767578125,"user_time_secs":0.002237,"sys_time_secs":0.0,"maxrss_kB":5268,"ocaml":{"version":"4.12.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":2206,"minor_words":1888,"promoted_words":0,"major_words":318,"minor_collections":0,"major_collections":0,"forced_major_collections":0,"heap_words":4350,"top_heap_words":4350,"mean_space_overhead":0.0},"codesize":211520.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/4.12+domains+effects.tar.gz"} | |
| {"name":"binarytrees5.21","command":"taskset --cpu-list 5 ./binarytrees5.exe 21","time_secs":12.132162809371948,"user_time_secs":12.063677,"sys_time_secs":0.067998,"maxrss_kB":147412,"ocaml":{"version":"4.12.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":916490262,"minor_words":916489944,"promoted_words":280594225,"major_words":280594543,"minor_collections":3565,"major_collections":69,"forced_major_collections":0,"heap_words":15786238,"top_heap_words":18084094,"mean_space_overhead":38.706246},"codesize":282776.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/4.12+domains+effects.tar.gz"} | |
| {"name":"naive-multilayer.","command":"taskset --cpu-list 5 ./naive_multilayer.exe","time_secs":4.532070875167847,"user_time_secs":4.527746,"sys_time_secs":0.003999,"maxrss_kB":7460,"ocaml":{"version":"4.12.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":2171028181,"minor_words":2171027511,"promoted_words":1258852,"major_words":1259522,"minor_collections":8428,"major_collections":148,"forced_major_collections":0,"heap_words":74336,"top_heap_words":74336,"mean_space_overhead":208.985896},"codesize":262780.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/4.12+domains+effects.tar.gz"} | |
| {"name":"pidigits5.10_000","command":"taskset --cpu-list 5 ./pidigits5.exe 10_000","time_secs":2.3696858882904053,"user_time_secs":2.297021,"sys_time_secs":0.071906,"maxrss_kB":19424,"ocaml":{"version":"4.12.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":1667655913,"minor_words":3544754,"promoted_words":20499,"major_words":1664131658,"minor_collections":3156,"major_collections":3146,"forced_major_collections":0,"heap_words":1159177,"top_heap_words":1451455,"mean_space_overhead":106.660866},"codesize":323626.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/4.12+domains+effects.tar.gz"} | |
| {"name":"durand-kerner-aberth.","command":"taskset --cpu-list 5 ./durand_kerner_aberth.exe","time_secs":0.14366912841796875,"user_time_secs":0.135438,"sys_time_secs":0.007966000000000001,"maxrss_kB":6700,"ocaml":{"version":"4.12.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":77979383,"minor_words":77979065,"promoted_words":231831,"major_words":232149,"minor_collections":313,"major_collections":18,"forced_major_collections":0,"heap_words":69886,"top_heap_words":69886,"mean_space_overhead":351.599977},"codesize":214726.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/4.12+domains+effects.tar.gz"} | |
| {"name":"thread_ring_lwt_stream.20_000","command":"taskset --cpu-list 5 ./thread_ring_lwt_stream.exe 20_000","time_secs":11.132083892822266,"user_time_secs":11.127671,"sys_time_secs":0.003999,"maxrss_kB":10984,"ocaml":{"version":"4.12.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":1821158007,"minor_words":1821156681,"promoted_words":362286607,"major_words":362287933,"minor_collections":9265,"major_collections":2317,"forced_major_collections":0,"heap_words":505074,"top_heap_words":529650,"mean_space_overhead":117.395284},"codesize":437221.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/4.12+domains+effects.tar.gz"} | |
| {"name":"fasta3.25_000_000","command":"taskset --cpu-list 5 ./fasta3.exe 25_000_000","time_secs":8.366866827011108,"user_time_secs":8.366496,"sys_time_secs":0.0,"maxrss_kB":6840,"ocaml":{"version":"4.12.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":401620204,"minor_words":401619886,"promoted_words":563,"major_words":881,"minor_collections":1526,"major_collections":1,"forced_major_collections":0,"heap_words":61694,"top_heap_words":61694,"mean_space_overhead":0.0},"codesize":284257.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/4.12+domains+effects.tar.gz"} | |
| {"name":"levinson-durbin.","command":"taskset --cpu-list 5 ./levinson_durbin.exe","time_secs":3.1366169452667236,"user_time_secs":3.120314,"sys_time_secs":0.016001,"maxrss_kB":10044,"ocaml":{"version":"4.12.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":1251926280,"minor_words":1001902543,"promoted_words":35047,"major_words":250058784,"minor_collections":5709,"major_collections":1892,"forced_major_collections":0,"heap_words":392534,"top_heap_words":519820,"mean_space_overhead":94.480689},"codesize":38608.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/4.12+domains+effects.tar.gz"} | |
| {"name":"spectralnorm2.5_500","command":"taskset --cpu-list 5 ./spectralnorm2.exe 5_500","time_secs":7.582983016967773,"user_time_secs":7.578616,"sys_time_secs":0.004001,"maxrss_kB":7436,"ocaml":{"version":"4.12.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":2421167915,"minor_words":2421046575,"promoted_words":472,"major_words":121812,"minor_collections":9237,"major_collections":6,"forced_major_collections":0,"heap_words":123634,"top_heap_words":129137,"mean_space_overhead":220.035555},"codesize":283077.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/4.12+domains+effects.tar.gz"} | |
| {"name":"fasta6.25_000_000","command":"taskset --cpu-list 5 ./fasta6.exe 25_000_000","time_secs":5.775838136672974,"user_time_secs":5.655503,"sys_time_secs":0.119989,"maxrss_kB":202836,"ocaml":{"version":"4.12.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":25417804,"minor_words":816,"promoted_words":534,"major_words":25417522,"minor_collections":2,"major_collections":2,"forced_major_collections":0,"heap_words":25474272,"top_heap_words":25474272,"mean_space_overhead":0.595399},"codesize":284135.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/4.12+domains+effects.tar.gz"} | |
| {"name":"menhir.sql-parser","command":"taskset --cpu-list 5 menhir -v -t benchmarks/menhir/keywords.mly benchmarks/menhir/sql-parser.mly --base sql-parser","time_secs":7.308787107467651,"user_time_secs":7.08625,"sys_time_secs":0.184058,"maxrss_kB":356644,"ocaml":{"version":"4.12.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":1209665439,"minor_words":1199047674,"promoted_words":48797141,"major_words":59414906,"minor_collections":4598,"major_collections":21,"forced_major_collections":0,"heap_words":39502034,"top_heap_words":44429522,"mean_space_overhead":11.095063},"codesize":965383.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/4.12+domains+effects.tar.gz"} | |
| {"name":"minilight.roomfront","command":"taskset --cpu-list 5 minilight-ocaml benchmarks/minilight/roomfront.ml.txt","time_secs":22.805155038833618,"user_time_secs":22.779796,"sys_time_secs":0.023999,"maxrss_kB":14388,"ocaml":{"version":"4.12.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":9747587370,"minor_words":9747570334,"promoted_words":10628696,"major_words":10645732,"minor_collections":37241,"major_collections":59,"forced_major_collections":0,"heap_words":910168,"top_heap_words":914264,"mean_space_overhead":47.868989},"codesize":352332.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/4.12+domains+effects.tar.gz"} | |
| {"name":"kb_no_exc.","command":"taskset --cpu-list 5 ./kb_no_exc.exe","time_secs":2.5485241413116455,"user_time_secs":2.540226,"sys_time_secs":0.008,"maxrss_kB":10664,"ocaml":{"version":"4.12.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":187407855,"minor_words":187407537,"promoted_words":23262679,"major_words":23262997,"minor_collections":900,"major_collections":188,"forced_major_collections":0,"heap_words":295166,"top_heap_words":581886,"mean_space_overhead":82.921502},"codesize":177905.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/4.12+domains+effects.tar.gz"} | |
| {"name":"fft.","command":"taskset --cpu-list 5 ./fft.exe","time_secs":3.650264024734497,"user_time_secs":3.54128,"sys_time_secs":0.107917,"maxrss_kB":189924,"ocaml":{"version":"4.12.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":270833981,"minor_words":265590777,"promoted_words":135170019,"major_words":140413223,"minor_collections":1410,"major_collections":35,"forced_major_collections":0,"heap_words":20541703,"top_heap_words":24437008,"mean_space_overhead":32.865304},"codesize":41226.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/4.12+domains+effects.tar.gz"} | |
| {"name":"regexredux2.","command":"taskset --cpu-list 5 ./regexredux2.exe","time_secs":18.21767497062683,"user_time_secs":17.625165,"sys_time_secs":0.592039,"maxrss_kB":811812,"ocaml":{"version":"4.12.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":289205642,"minor_words":216764396,"promoted_words":167464048,"major_words":239905294,"minor_collections":847,"major_collections":23,"forced_major_collections":0,"heap_words":88312384,"top_heap_words":109347216,"mean_space_overhead":20.669221},"codesize":283047.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/4.12+domains+effects.tar.gz"} | |
| {"name":"alt-ergo.yyll.why","command":"taskset --cpu-list 5 alt-ergo benchmarks/alt-ergo/yyll.why","time_secs":18.45675802230835,"user_time_secs":18.24417,"sys_time_secs":0.212001,"maxrss_kB":319252,"ocaml":{"version":"4.12.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":2073074104,"minor_words":2044232413,"promoted_words":54648962,"major_words":83490653,"minor_collections":7824,"major_collections":27,"forced_major_collections":0,"heap_words":38252212,"top_heap_words":38252212,"mean_space_overhead":25.382984},"codesize":2864214.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/4.12+domains+effects.tar.gz"} | |
| {"name":"sequence_cps.10000","command":"taskset --cpu-list 5 ./sequence_cps.exe 10000","time_secs":2.0197529792785645,"user_time_secs":2.015473,"sys_time_secs":0.003998,"maxrss_kB":6104,"ocaml":{"version":"4.12.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":1502249270,"minor_words":1502248952,"promoted_words":209396,"major_words":209714,"minor_collections":6118,"major_collections":392,"forced_major_collections":0,"heap_words":33022,"top_heap_words":33022,"mean_space_overhead":3302.051234},"codesize":144892.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/4.12+domains+effects.tar.gz"} | |
| {"name":"quicksort.4000000","command":"taskset --cpu-list 5 ./quicksort.exe 4000000","time_secs":2.925029993057251,"user_time_secs":2.91227,"sys_time_secs":0.011984,"maxrss_kB":34372,"ocaml":{"version":"4.12.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":4000585,"minor_words":266,"promoted_words":148,"major_words":4000467,"minor_collections":1,"major_collections":1,"forced_major_collections":0,"heap_words":4033025,"top_heap_words":4033025,"mean_space_overhead":0.0},"codesize":68431.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/4.12+domains+effects.tar.gz"} | |
| {"name":"bdd.26","command":"taskset --cpu-list 5 ./bdd.exe 26","time_secs":5.5553741455078125,"user_time_secs":5.547069,"sys_time_secs":0.007998,"maxrss_kB":23056,"ocaml":{"version":"4.12.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":1228491939,"minor_words":1227959519,"promoted_words":1951994,"major_words":2484414,"minor_collections":4695,"major_collections":10,"forced_major_collections":0,"heap_words":2023316,"top_heap_words":2088855,"mean_space_overhead":24.371192},"codesize":164078.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/4.12+domains+effects.tar.gz"} | |
| {"name":"fannkuchredux.12","command":"taskset --cpu-list 5 ./fannkuchredux.exe 12","time_secs":97.61245012283325,"user_time_secs":97.607348,"sys_time_secs":0.003999,"maxrss_kB":5272,"ocaml":{"version":"4.12.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":6166,"minor_words":5848,"promoted_words":0,"major_words":318,"minor_collections":0,"major_collections":0,"forced_major_collections":0,"heap_words":4350,"top_heap_words":4350,"mean_space_overhead":0.0},"codesize":282878.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/4.12+domains+effects.tar.gz"} | |
| {"name":"kb.","command":"taskset --cpu-list 5 ./kb.exe","time_secs":4.078972101211548,"user_time_secs":4.078649,"sys_time_secs":0.0,"maxrss_kB":10700,"ocaml":{"version":"4.12.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":453344756,"minor_words":453344438,"promoted_words":24351519,"major_words":24351837,"minor_collections":1950,"major_collections":226,"forced_major_collections":0,"heap_words":442622,"top_heap_words":561406,"mean_space_overhead":81.35565699999999},"codesize":177121.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/4.12+domains+effects.tar.gz"} | |
| {"name":"coq.BasicSyntax.v","command":"taskset --cpu-list 5 coqc benchmarks/coq/BasicSyntax.v","time_secs":113.38939714431763,"user_time_secs":112.974747,"sys_time_secs":0.411995,"maxrss_kB":673880,"ocaml":{"version":"4.12.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":23608020108,"minor_words":23594798162,"promoted_words":328345114,"major_words":341567060,"minor_collections":90113,"major_collections":42,"forced_major_collections":0,"heap_words":53795231,"top_heap_words":56368279,"mean_space_overhead":37.357644},"codesize":5909840.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/4.12+domains+effects.tar.gz"} | |
| {"name":"imrin_mem_rw.10_000_50_000_20_100_000_000","command":"taskset --cpu-list 5 ./irmin_mem_rw.exe 10_000 50_000 20 100_000_000","time_secs":7.046539068222046,"user_time_secs":7.021605,"sys_time_secs":0.024005,"maxrss_kB":27120,"ocaml":{"version":"4.12.0+multicore","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":4583365378,"minor_words":4583356510,"promoted_words":816727,"major_words":825595,"minor_collections":17488,"major_collections":11,"forced_major_collections":0,"heap_words":234484,"top_heap_words":727075,"mean_space_overhead":72.734421},"codesize":5569737.0,"ocaml_url":"https://github.com/ocaml-multicore/ocaml-multicore/archive/4.12+domains+effects.tar.gz"} |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| {"name":"crout-decomposition.","command":"taskset --cpu-list 5 ./crout_decomposition.exe","time_secs":1.3366239070892334,"user_time_secs":1.316336,"sys_time_secs":0.020005,"maxrss_kB":66804,"ocaml":{"version":"4.12.0","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":549686779,"minor_words":542209301,"promoted_words":298403,"major_words":7775881,"minor_collections":2098,"major_collections":12,"heap_words":8202240,"heap_chunks":27,"top_heap_words":8202240,"compactions":0,"forced_major_collections":0},"codesize":291226.0,"ocaml_url":"https://github.com/Engil/ocaml/archive/4.12.0+stock+instrumented.tar.gz"} | |
| {"name":"menhir.ocamly","command":"taskset --cpu-list 5 menhir benchmarks/menhir/ocaml.mly --list-errors -la 2 --no-stdlib --lalr","time_secs":241.50687909126282,"user_time_secs":238.083398,"sys_time_secs":3.419991,"maxrss_kB":5349764,"ocaml":{"version":"4.12.0","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":3224398328,"minor_words":2504009952,"promoted_words":427084750,"major_words":1147473126,"minor_collections":9620,"major_collections":38,"heap_words":697911296,"heap_chunks":49,"top_heap_words":697911296,"compactions":0,"forced_major_collections":3},"codesize":805296.0,"ocaml_url":"https://github.com/Engil/ocaml/archive/4.12.0+stock+instrumented.tar.gz"} | |
| {"name":"yojson_ydump.sample.json","command":"taskset --cpu-list 5 ./ydump.exe -c sample.json","time_secs":0.7692210674285889,"user_time_secs":0.749031,"sys_time_secs":0.019921,"maxrss_kB":12744,"ocaml":{"version":"4.12.0","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":11455750,"minor_words":9245292,"promoted_words":1067182,"major_words":3277640,"minor_collections":39,"major_collections":11,"heap_words":752640,"heap_chunks":11,"top_heap_words":752640,"compactions":3,"forced_major_collections":3},"codesize":432037.0,"ocaml_url":"https://github.com/Engil/ocaml/archive/4.12.0+stock+instrumented.tar.gz"} | |
| {"name":"mandelbrot6.16_000","command":"taskset --cpu-list 5 ./mandelbrot6.exe 16_000","time_secs":40.0967059135437,"user_time_secs":40.092183,"sys_time_secs":0.004,"maxrss_kB":4904,"ocaml":{"version":"4.12.0","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":671,"minor_words":671,"promoted_words":0,"major_words":0,"minor_collections":0,"major_collections":0,"heap_words":126976,"heap_chunks":1,"top_heap_words":126976,"compactions":0,"forced_major_collections":0},"codesize":231370.0,"ocaml_url":"https://github.com/Engil/ocaml/archive/4.12.0+stock+instrumented.tar.gz"} | |
| {"name":"cpdf.squeeze","command":"taskset --cpu-list 5 cpdf -squeeze benchmarks/cpdf/PDFReference16.pdf_toobig -o /dev/null","time_secs":17.188519954681396,"user_time_secs":16.947303,"sys_time_secs":0.23999,"maxrss_kB":357028,"ocaml":{"version":"4.12.0","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":436630310,"minor_words":420959681,"promoted_words":124246847,"major_words":139917476,"minor_collections":1622,"major_collections":34,"heap_words":43890176,"heap_chunks":39,"top_heap_words":43890176,"compactions":0,"forced_major_collections":4},"codesize":968794.0,"ocaml_url":"https://github.com/Engil/ocaml/archive/4.12.0+stock+instrumented.tar.gz"} | |
| {"name":"test_decompress.64_524_288","command":"taskset --cpu-list 5 ./test_decompress.exe 64 524_288","time_secs":3.8760290145874023,"user_time_secs":3.819712,"sys_time_secs":0.055995,"maxrss_kB":13956,"ocaml":{"version":"4.12.0","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":400911158,"minor_words":296907792,"promoted_words":79095,"major_words":104082461,"minor_collections":1282,"major_collections":428,"heap_words":902144,"heap_chunks":11,"top_heap_words":958976,"compactions":73,"forced_major_collections":131},"codesize":289821.0,"ocaml_url":"https://github.com/Engil/ocaml/archive/4.12.0+stock+instrumented.tar.gz"} | |
| {"name":"evolutionary_algorithm.10000_10000","command":"taskset --cpu-list 5 ./evolutionary_algorithm.exe 10000 10000","time_secs":71.69761204719543,"user_time_secs":70.076465,"sys_time_secs":1.62001,"maxrss_kB":2810580,"ocaml":{"version":"4.12.0","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":5029346405,"minor_words":3729086392,"promoted_words":715490,"major_words":1300975503,"minor_collections":14250,"major_collections":33,"heap_words":357150208,"heap_chunks":54,"top_heap_words":357150208,"compactions":0,"forced_major_collections":2},"codesize":142626.0,"ocaml_url":"https://github.com/Engil/ocaml/archive/4.12.0+stock+instrumented.tar.gz"} | |
| {"name":"knucleotide3.","command":"taskset --cpu-list 5 ./knucleotide3.exe","time_secs":48.32618999481201,"user_time_secs":48.165537,"sys_time_secs":0.160005,"maxrss_kB":271888,"ocaml":{"version":"4.12.0","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":100760898,"minor_words":68361604,"promoted_words":1674187,"major_words":34073481,"minor_collections":267,"major_collections":7,"heap_words":57502208,"heap_chunks":3,"top_heap_words":57502208,"compactions":0,"forced_major_collections":1},"codesize":235189.0,"ocaml_url":"https://github.com/Engil/ocaml/archive/4.12.0+stock+instrumented.tar.gz"} | |
| {"name":"cubicle.szymanski_at.cub","command":"taskset --cpu-list 5 cubicle benchmarks/cubicle/szymanski_at.cub","time_secs":546.0481350421906,"user_time_secs":545.623382,"sys_time_secs":0.403989,"maxrss_kB":140104,"ocaml":{"version":"4.12.0","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":106322116816,"minor_words":106163938371,"promoted_words":6213936604,"major_words":6372115049,"minor_collections":405904,"major_collections":1529,"heap_words":16629248,"heap_chunks":23,"top_heap_words":16629248,"compactions":0,"forced_major_collections":0},"codesize":1020756.0,"ocaml_url":"https://github.com/Engil/ocaml/archive/4.12.0+stock+instrumented.tar.gz"} | |
| {"name":"qr-decomposition.","command":"taskset --cpu-list 5 ./qr_decomposition.exe","time_secs":2.0698609352111816,"user_time_secs":2.069582,"sys_time_secs":0.0,"maxrss_kB":6768,"ocaml":{"version":"4.12.0","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":1711414743,"minor_words":1711414743,"promoted_words":2696153,"major_words":2696153,"minor_collections":6559,"major_collections":61,"heap_words":188416,"heap_chunks":2,"top_heap_words":188416,"compactions":0,"forced_major_collections":0},"codesize":188644.0,"ocaml_url":"https://github.com/Engil/ocaml/archive/4.12.0+stock+instrumented.tar.gz"} | |
| {"name":"cpdf.blacktext","command":"taskset --cpu-list 5 cpdf -blacktext benchmarks/cpdf/metro_geo.pdf -o /dev/null","time_secs":4.547899007797241,"user_time_secs":4.455549,"sys_time_secs":0.09199,"maxrss_kB":152292,"ocaml":{"version":"4.12.0","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":58282757,"minor_words":56352828,"promoted_words":25961420,"major_words":27891349,"minor_collections":221,"major_collections":13,"heap_words":18947072,"heap_chunks":23,"top_heap_words":18947072,"compactions":0,"forced_major_collections":2},"codesize":968794.0,"ocaml_url":"https://github.com/Engil/ocaml/archive/4.12.0+stock+instrumented.tar.gz"} | |
| {"name":"thread_ring_lwt_mvar.20_000","command":"taskset --cpu-list 5 ./thread_ring_lwt_mvar.exe 20_000","time_secs":3.617824077606201,"user_time_secs":3.609517,"sys_time_secs":0.008003,"maxrss_kB":7700,"ocaml":{"version":"4.12.0","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":925548490,"minor_words":925547482,"promoted_words":79202488,"major_words":79203496,"minor_collections":4037,"major_collections":1513,"heap_words":188416,"heap_chunks":2,"top_heap_words":188416,"compactions":0,"forced_major_collections":504},"codesize":331168.0,"ocaml_url":"https://github.com/Engil/ocaml/archive/4.12.0+stock+instrumented.tar.gz"} | |
| {"name":"chameneos_redux_lwt.600000","command":"taskset --cpu-list 5 ./chameneos_redux_lwt.exe 600000","time_secs":2.154754161834717,"user_time_secs":1.76275,"sys_time_secs":0.391722,"maxrss_kB":6596,"ocaml":{"version":"4.12.0","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":547214428,"minor_words":547214428,"promoted_words":788090,"major_words":788090,"minor_collections":2187,"major_collections":202,"heap_words":61440,"heap_chunks":1,"top_heap_words":188416,"compactions":2,"forced_major_collections":1},"codesize":334745.0,"ocaml_url":"https://github.com/Engil/ocaml/archive/4.12.0+stock+instrumented.tar.gz"} | |
| {"name":"imrin_mem_rw.10_000_50_000_80_100_000_000","command":"taskset --cpu-list 5 ./irmin_mem_rw.exe 10_000 50_000 80 100_000_000","time_secs":7.965139865875244,"user_time_secs":7.956222,"sys_time_secs":0.008,"maxrss_kB":24300,"ocaml":{"version":"4.12.0","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":6021653350,"minor_words":6021644848,"promoted_words":810320,"major_words":818822,"minor_collections":22974,"major_collections":8,"heap_words":574976,"heap_chunks":8,"top_heap_words":574976,"compactions":0,"forced_major_collections":1},"codesize":4705545.0,"ocaml_url":"https://github.com/Engil/ocaml/archive/4.12.0+stock+instrumented.tar.gz"} | |
| {"name":"zarith_pi.5000","command":"taskset --cpu-list 5 ./zarith_pi.exe 5000","time_secs":1.6089398860931396,"user_time_secs":0.872362,"sys_time_secs":0.736306,"maxrss_kB":19264,"ocaml":{"version":"4.12.0","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":396115892,"minor_words":3411752,"promoted_words":13574,"major_words":392717714,"minor_collections":1500,"major_collections":640,"heap_words":1515008,"heap_chunks":16,"top_heap_words":1742336,"compactions":213,"forced_major_collections":212},"codesize":172862.0,"ocaml_url":"https://github.com/Engil/ocaml/archive/4.12.0+stock+instrumented.tar.gz"} | |
| {"name":"matrix_multiplication.1024","command":"taskset --cpu-list 5 ./matrix_multiplication.exe 1024","time_secs":8.854564905166626,"user_time_secs":8.846234000000001,"sys_time_secs":0.008002,"maxrss_kB":28048,"ocaml":{"version":"4.12.0","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":3152063,"minor_words":188,"promoted_words":154,"major_words":3152029,"minor_collections":1,"major_collections":3,"heap_words":3545600,"heap_chunks":21,"top_heap_words":3545600,"compactions":0,"forced_major_collections":0},"codesize":141495.0,"ocaml_url":"https://github.com/Engil/ocaml/archive/4.12.0+stock+instrumented.tar.gz"} | |
| {"name":"cpdf.scale","command":"taskset --cpu-list 5 cpdf scale-to-fit a4landscape -twoup benchmarks/cpdf/PDFReference16.pdf_toobig -o /dev/null","time_secs":14.126537084579468,"user_time_secs":13.930058,"sys_time_secs":0.195972,"maxrss_kB":238520,"ocaml":{"version":"4.12.0","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":601437582,"minor_words":590848178,"promoted_words":85169565,"major_words":95758969,"minor_collections":2268,"major_collections":31,"heap_words":28857856,"heap_chunks":36,"top_heap_words":28857856,"compactions":0,"forced_major_collections":2},"codesize":968794.0,"ocaml_url":"https://github.com/Engil/ocaml/archive/4.12.0+stock+instrumented.tar.gz"} | |
| {"name":"game_of_life.256","command":"taskset --cpu-list 5 ./game_of_life.exe 256","time_secs":11.83352279663086,"user_time_secs":11.825193,"sys_time_secs":0.008,"maxrss_kB":19456,"ocaml":{"version":"4.12.0","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":2101566,"minor_words":316,"promoted_words":150,"major_words":2101400,"minor_collections":2,"major_collections":2,"heap_words":2330624,"heap_chunks":18,"top_heap_words":2330624,"compactions":0,"forced_major_collections":0},"codesize":53626.0,"ocaml_url":"https://github.com/Engil/ocaml/archive/4.12.0+stock+instrumented.tar.gz"} | |
| {"name":"nbody.50_000_000","command":"taskset --cpu-list 5 ./nbody.exe 50_000_000","time_secs":7.474173069000244,"user_time_secs":7.473857,"sys_time_secs":0.0,"maxrss_kB":4944,"ocaml":{"version":"4.12.0","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":758,"minor_words":758,"promoted_words":0,"major_words":0,"minor_collections":0,"major_collections":0,"heap_words":126976,"heap_chunks":1,"top_heap_words":126976,"compactions":0,"forced_major_collections":0},"codesize":232486.0,"ocaml_url":"https://github.com/Engil/ocaml/archive/4.12.0+stock+instrumented.tar.gz"} | |
| {"name":"test_lwt.200","command":"taskset --cpu-list 5 ./test_lwt.exe 200","time_secs":14.844650030136108,"user_time_secs":14.843872,"sys_time_secs":0.0,"maxrss_kB":8444,"ocaml":{"version":"4.12.0","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":1144100233,"minor_words":1127651093,"promoted_words":11601831,"major_words":28050971,"minor_collections":4539,"major_collections":477,"heap_words":249856,"heap_chunks":3,"top_heap_words":249856,"compactions":0,"forced_major_collections":1},"codesize":437643.0,"ocaml_url":"https://github.com/Engil/ocaml/archive/4.12.0+stock+instrumented.tar.gz"} | |
| {"name":"kronecker.12_10","command":"taskset --cpu-list 5 ./kronecker.exe 12 10","time_secs":38.7907280921936,"user_time_secs":37.717457,"sys_time_secs":1.055928,"maxrss_kB":28524,"ocaml":{"version":"4.12.0","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":41125098001,"minor_words":19245962,"promoted_words":2633505,"major_words":41108485544,"minor_collections":149481,"major_collections":64051,"heap_words":1365504,"heap_chunks":14,"top_heap_words":2479616,"compactions":21347,"forced_major_collections":21349},"codesize":161325.0,"ocaml_url":"https://github.com/Engil/ocaml/archive/4.12.0+stock+instrumented.tar.gz"} | |
| {"name":"cubicle.german_pfs.cub","command":"taskset --cpu-list 5 cubicle benchmarks/cubicle/german_pfs.cub","time_secs":231.7157700061798,"user_time_secs":231.185195,"sys_time_secs":0.520008,"maxrss_kB":468464,"ocaml":{"version":"4.12.0","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":23232676107,"minor_words":20422432304,"promoted_words":438262229,"major_words":3248506032,"minor_collections":84679,"major_collections":377,"heap_words":58503168,"heap_chunks":32,"top_heap_words":58503168,"compactions":0,"forced_major_collections":4},"codesize":1020756.0,"ocaml_url":"https://github.com/Engil/ocaml/archive/4.12.0+stock+instrumented.tar.gz"} | |
| {"name":"alt-ergo.fill.why","command":"taskset --cpu-list 5 alt-ergo benchmarks/alt-ergo/fill.why","time_secs":2.2923340797424316,"user_time_secs":2.1004,"sys_time_secs":0.191631,"maxrss_kB":352360,"ocaml":{"version":"4.12.0","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":183618608,"minor_words":181455813,"promoted_words":43579827,"major_words":45742622,"minor_collections":698,"major_collections":13,"heap_words":49342464,"heap_chunks":37,"top_heap_words":49342464,"compactions":0,"forced_major_collections":0},"codesize":2381362.0,"ocaml_url":"https://github.com/Engil/ocaml/archive/4.12.0+stock+instrumented.tar.gz"} | |
| {"name":"setrip.-enc_-rseed_1067894368","command":"taskset --cpu-list 5 setrip -enc -rseed 1067894368","time_secs":1.5195538997650146,"user_time_secs":1.51129,"sys_time_secs":0.007996,"maxrss_kB":5652,"ocaml":{"version":"4.12.0","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":170651381,"minor_words":170643188,"promoted_words":5110,"major_words":13303,"minor_collections":654,"major_collections":9,"heap_words":61440,"heap_chunks":1,"top_heap_words":188416,"compactions":2,"forced_major_collections":1},"codesize":242436.0,"ocaml_url":"https://github.com/Engil/ocaml/archive/4.12.0+stock+instrumented.tar.gz"} | |
| {"name":"coq.AbstractInterpretation.v","command":"taskset --cpu-list 5 coqc benchmarks/coq/AbstractInterpretation.v","time_secs":303.99196696281433,"user_time_secs":303.370545,"sys_time_secs":0.555982,"maxrss_kB":691184,"ocaml":{"version":"4.12.0","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":71480374864,"minor_words":71468536118,"promoted_words":648310595,"major_words":660149341,"minor_collections":272701,"major_collections":69,"heap_words":80033280,"heap_chunks":39,"top_heap_words":80033280,"compactions":0,"forced_major_collections":4},"codesize":4964253.0,"ocaml_url":"https://github.com/Engil/ocaml/archive/4.12.0+stock+instrumented.tar.gz"} | |
| {"name":"grammatrix.","command":"taskset --cpu-list 5 ./grammatrix.exe","time_secs":94.18402910232544,"user_time_secs":93.786495,"sys_time_secs":0.395993,"maxrss_kB":506320,"ocaml":{"version":"4.12.0","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":213242388,"minor_words":146522291,"promoted_words":1859212,"major_words":68579309,"minor_collections":578,"major_collections":25,"heap_words":66752512,"heap_chunks":42,"top_heap_words":66752512,"compactions":0,"forced_major_collections":0},"codesize":203103.0,"ocaml_url":"https://github.com/Engil/ocaml/archive/4.12.0+stock+instrumented.tar.gz"} | |
| {"name":"knucleotide.","command":"taskset --cpu-list 5 ./knucleotide.exe","time_secs":45.26731610298157,"user_time_secs":44.942666,"sys_time_secs":0.324019,"maxrss_kB":402496,"ocaml":{"version":"4.12.0","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":136751849,"minor_words":88097170,"promoted_words":2223968,"major_words":50878647,"minor_collections":342,"major_collections":13,"heap_words":87480320,"heap_chunks":11,"top_heap_words":87480320,"compactions":0,"forced_major_collections":3},"codesize":232548.0,"ocaml_url":"https://github.com/Engil/ocaml/archive/4.12.0+stock+instrumented.tar.gz"} | |
| {"name":"revcomp2.","command":"taskset --cpu-list 5 ./revcomp2.exe","time_secs":3.0107669830322266,"user_time_secs":2.842325,"sys_time_secs":0.168137,"maxrss_kB":202136,"ocaml":{"version":"4.12.0","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":75000767,"minor_words":75000767,"promoted_words":49846766,"major_words":49846766,"minor_collections":298,"major_collections":26,"heap_words":25093632,"heap_chunks":35,"top_heap_words":25093632,"compactions":0,"forced_major_collections":2},"codesize":231589.0,"ocaml_url":"https://github.com/Engil/ocaml/archive/4.12.0+stock+instrumented.tar.gz"} | |
| {"name":"floyd_warshall.512","command":"taskset --cpu-list 5 ./floyd_warshall.exe 512","time_secs":1.0868721008300781,"user_time_secs":1.082617,"sys_time_secs":0.003994,"maxrss_kB":19700,"ocaml":{"version":"4.12.0","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":6600161,"minor_words":6336992,"promoted_words":6094286,"major_words":6357455,"minor_collections":355,"major_collections":18,"heap_words":2026496,"heap_chunks":17,"top_heap_words":2026496,"compactions":0,"forced_major_collections":0},"codesize":53386.0,"ocaml_url":"https://github.com/Engil/ocaml/archive/4.12.0+stock+instrumented.tar.gz"} | |
| {"name":"lexifi-g2pp.","command":"taskset --cpu-list 5 ./main.exe","time_secs":16.894078969955444,"user_time_secs":16.880985,"sys_time_secs":0.012,"maxrss_kB":6912,"ocaml":{"version":"4.12.0","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":1658465493,"minor_words":1658465493,"promoted_words":183820,"major_words":183820,"minor_collections":6330,"major_collections":8,"heap_words":126976,"heap_chunks":1,"top_heap_words":126976,"compactions":0,"forced_major_collections":0},"codesize":183029.0,"ocaml_url":"https://github.com/Engil/ocaml/archive/4.12.0+stock+instrumented.tar.gz"} | |
| {"name":"LU_decomposition.1024","command":"taskset --cpu-list 5 ./LU_decomposition.exe 1024","time_secs":4.027980089187622,"user_time_secs":4.011598,"sys_time_secs":0.016014,"maxrss_kB":29936,"ocaml":{"version":"4.12.0","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":2157967562,"minor_words":2153773254,"promoted_words":164,"major_words":4194472,"minor_collections":8218,"major_collections":4,"heap_words":5790208,"heap_chunks":4,"top_heap_words":5790208,"compactions":0,"forced_major_collections":1},"codesize":53408.0,"ocaml_url":"https://github.com/Engil/ocaml/archive/4.12.0+stock+instrumented.tar.gz"} | |
| {"name":"fannkuchredux2.12","command":"taskset --cpu-list 5 ./fannkuchredux2.exe 12","time_secs":87.51704382896423,"user_time_secs":87.512314,"sys_time_secs":0.003999,"maxrss_kB":4836,"ocaml":{"version":"4.12.0","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":728,"minor_words":728,"promoted_words":0,"major_words":0,"minor_collections":0,"major_collections":0,"heap_words":126976,"heap_chunks":1,"top_heap_words":126976,"compactions":0,"forced_major_collections":0},"codesize":231770.0,"ocaml_url":"https://github.com/Engil/ocaml/archive/4.12.0+stock+instrumented.tar.gz"} | |
| {"name":"menhir.sysver","command":"taskset --cpu-list 5 menhir -v --table benchmarks/menhir/sysver.mly","time_secs":84.78725695610046,"user_time_secs":84.269144,"sys_time_secs":0.516007,"maxrss_kB":699980,"ocaml":{"version":"4.12.0","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":9318378230,"minor_words":9180252601,"promoted_words":328910368,"major_words":467035997,"minor_collections":35123,"major_collections":61,"heap_words":91893760,"heap_chunks":43,"top_heap_words":91893760,"compactions":0,"forced_major_collections":1},"codesize":805296.0,"ocaml_url":"https://github.com/Engil/ocaml/archive/4.12.0+stock+instrumented.tar.gz"} | |
| {"name":"kernel1.12_10","command":"taskset --cpu-list 5 ./kernel1.exe 12 10","time_secs":0.002638101577758789,"user_time_secs":0.0,"sys_time_secs":0.002394,"maxrss_kB":4796,"ocaml":{"version":"4.12.0","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":232,"minor_words":232,"promoted_words":0,"major_words":0,"minor_collections":0,"major_collections":0,"heap_words":126976,"heap_chunks":1,"top_heap_words":126976,"compactions":0,"forced_major_collections":0},"codesize":176755.0,"ocaml_url":"https://github.com/Engil/ocaml/archive/4.12.0+stock+instrumented.tar.gz"} | |
| {"name":"binarytrees5.21","command":"taskset --cpu-list 5 ./binarytrees5.exe 21","time_secs":13.00686001777649,"user_time_secs":12.902398,"sys_time_secs":0.103987,"maxrss_kB":155044,"ocaml":{"version":"4.12.0","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":916456676,"minor_words":916456676,"promoted_words":270973794,"major_words":270973794,"minor_collections":3527,"major_collections":63,"heap_words":18974208,"heap_chunks":33,"top_heap_words":18974208,"compactions":0,"forced_major_collections":1},"codesize":231416.0,"ocaml_url":"https://github.com/Engil/ocaml/archive/4.12.0+stock+instrumented.tar.gz"} | |
| {"name":"naive-multilayer.","command":"taskset --cpu-list 5 ./naive_multilayer.exe","time_secs":4.2644689083099365,"user_time_secs":4.252136,"sys_time_secs":0.012,"maxrss_kB":6348,"ocaml":{"version":"4.12.0","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":2170605909,"minor_words":2170605557,"promoted_words":1290238,"major_words":1290590,"minor_collections":8397,"major_collections":235,"heap_words":61440,"heap_chunks":1,"top_heap_words":188416,"compactions":2,"forced_major_collections":1},"codesize":221809.0,"ocaml_url":"https://github.com/Engil/ocaml/archive/4.12.0+stock+instrumented.tar.gz"} | |
| {"name":"pidigits5.10_000","command":"taskset --cpu-list 5 ./pidigits5.exe 10_000","time_secs":6.613219976425171,"user_time_secs":3.294421,"sys_time_secs":3.31841,"maxrss_kB":19732,"ocaml":{"version":"4.12.0","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":1667654645,"minor_words":3543804,"promoted_words":33495,"major_words":1664144336,"minor_collections":6281,"major_collections":2690,"heap_words":245760,"heap_chunks":4,"top_heap_words":1742336,"compactions":897,"forced_major_collections":896},"codesize":262686.0,"ocaml_url":"https://github.com/Engil/ocaml/archive/4.12.0+stock+instrumented.tar.gz"} | |
| {"name":"durand-kerner-aberth.","command":"taskset --cpu-list 5 ./durand_kerner_aberth.exe","time_secs":0.14234113693237305,"user_time_secs":0.138183,"sys_time_secs":0.003948,"maxrss_kB":6140,"ocaml":{"version":"4.12.0","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":77412896,"minor_words":77412896,"promoted_words":238047,"major_words":238047,"minor_collections":332,"major_collections":75,"heap_words":61440,"heap_chunks":1,"top_heap_words":188416,"compactions":2,"forced_major_collections":1},"codesize":179649.0,"ocaml_url":"https://github.com/Engil/ocaml/archive/4.12.0+stock+instrumented.tar.gz"} | |
| {"name":"thread_ring_lwt_stream.20_000","command":"taskset --cpu-list 5 ./thread_ring_lwt_stream.exe 20_000","time_secs":12.208476066589355,"user_time_secs":12.183195,"sys_time_secs":0.023998,"maxrss_kB":10240,"ocaml":{"version":"4.12.0","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":1820912748,"minor_words":1820911740,"promoted_words":398230245,"major_words":398231253,"minor_collections":7699,"major_collections":2254,"heap_words":307200,"heap_chunks":5,"top_heap_words":499712,"compactions":749,"forced_major_collections":751},"codesize":352443.0,"ocaml_url":"https://github.com/Engil/ocaml/archive/4.12.0+stock+instrumented.tar.gz"} | |
| {"name":"fasta3.25_000_000","command":"taskset --cpu-list 5 ./fasta3.exe 25_000_000","time_secs":7.711606025695801,"user_time_secs":7.70724,"sys_time_secs":0.003999,"maxrss_kB":5708,"ocaml":{"version":"4.12.0","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":400000880,"minor_words":400000880,"promoted_words":559,"major_words":559,"minor_collections":1525,"major_collections":0,"heap_words":126976,"heap_chunks":1,"top_heap_words":126976,"compactions":0,"forced_major_collections":0},"codesize":232559.0,"ocaml_url":"https://github.com/Engil/ocaml/archive/4.12.0+stock+instrumented.tar.gz"} | |
| {"name":"levinson-durbin.","command":"taskset --cpu-list 5 ./levinson_durbin.exe","time_secs":2.7690799236297607,"user_time_secs":2.768774,"sys_time_secs":0.0,"maxrss_kB":9440,"ocaml":{"version":"4.12.0","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":1250789385,"minor_words":1000765966,"promoted_words":39481,"major_words":250062900,"minor_collections":4294,"major_collections":1430,"heap_words":494592,"heap_chunks":8,"top_heap_words":568832,"compactions":476,"forced_major_collections":476},"codesize":31022.0,"ocaml_url":"https://github.com/Engil/ocaml/archive/4.12.0+stock+instrumented.tar.gz"} | |
| {"name":"spectralnorm2.5_500","command":"taskset --cpu-list 5 ./spectralnorm2.exe 5_500","time_secs":7.792662858963013,"user_time_secs":7.784284,"sys_time_secs":0.008,"maxrss_kB":6504,"ocaml":{"version":"4.12.0","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":2420121695,"minor_words":2420000673,"promoted_words":468,"major_words":121490,"minor_collections":9234,"major_collections":5,"heap_words":126976,"heap_chunks":1,"top_heap_words":126976,"compactions":0,"forced_major_collections":0},"codesize":231739.0,"ocaml_url":"https://github.com/Engil/ocaml/archive/4.12.0+stock+instrumented.tar.gz"} | |
| {"name":"fasta6.25_000_000","command":"taskset --cpu-list 5 ./fasta6.exe 25_000_000","time_secs":5.720118045806885,"user_time_secs":5.5918,"sys_time_secs":0.127995,"maxrss_kB":204212,"ocaml":{"version":"4.12.0","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":25417398,"minor_words":728,"promoted_words":530,"major_words":25417200,"minor_collections":2,"major_collections":0,"heap_words":45877760,"heap_chunks":3,"top_heap_words":45877760,"compactions":0,"forced_major_collections":0},"codesize":232602.0,"ocaml_url":"https://github.com/Engil/ocaml/archive/4.12.0+stock+instrumented.tar.gz"} | |
| {"name":"menhir.sql-parser","command":"taskset --cpu-list 5 menhir -v -t benchmarks/menhir/keywords.mly benchmarks/menhir/sql-parser.mly --base sql-parser","time_secs":7.308753967285156,"user_time_secs":7.088398,"sys_time_secs":0.220012,"maxrss_kB":331472,"ocaml":{"version":"4.12.0","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":1208785496,"minor_words":1198168049,"promoted_words":49048019,"major_words":59665466,"minor_collections":4602,"major_collections":21,"heap_words":43890176,"heap_chunks":39,"top_heap_words":43890176,"compactions":0,"forced_major_collections":1},"codesize":805296.0,"ocaml_url":"https://github.com/Engil/ocaml/archive/4.12.0+stock+instrumented.tar.gz"} | |
| {"name":"minilight.roomfront","command":"taskset --cpu-list 5 minilight-ocaml benchmarks/minilight/roomfront.ml.txt","time_secs":22.2322940826416,"user_time_secs":22.194739,"sys_time_secs":0.035997,"maxrss_kB":11644,"ocaml":{"version":"4.12.0","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":9746759210,"minor_words":9746742492,"promoted_words":10620290,"major_words":10637008,"minor_collections":37216,"major_collections":68,"heap_words":661504,"heap_chunks":9,"top_heap_words":661504,"compactions":0,"forced_major_collections":0},"codesize":296267.0,"ocaml_url":"https://github.com/Engil/ocaml/archive/4.12.0+stock+instrumented.tar.gz"} | |
| {"name":"kb_no_exc.","command":"taskset --cpu-list 5 ./kb_no_exc.exe","time_secs":2.668437957763672,"user_time_secs":2.664147,"sys_time_secs":0.004,"maxrss_kB":9844,"ocaml":{"version":"4.12.0","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":186740303,"minor_words":186740303,"promoted_words":23259108,"major_words":23259108,"minor_collections":788,"major_collections":213,"heap_words":430080,"heap_chunks":7,"top_heap_words":568832,"compactions":24,"forced_major_collections":61},"codesize":150433.0,"ocaml_url":"https://github.com/Engil/ocaml/archive/4.12.0+stock+instrumented.tar.gz"} | |
| {"name":"fft.","command":"taskset --cpu-list 5 ./fft.exe","time_secs":4.758847951889038,"user_time_secs":4.65454,"sys_time_secs":0.103967,"maxrss_kB":156844,"ocaml":{"version":"4.12.0","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":269484160,"minor_words":264241274,"promoted_words":135235554,"major_words":140478440,"minor_collections":1394,"major_collections":40,"heap_words":19280896,"heap_chunks":17,"top_heap_words":19280896,"compactions":0,"forced_major_collections":0},"codesize":33004.0,"ocaml_url":"https://github.com/Engil/ocaml/archive/4.12.0+stock+instrumented.tar.gz"} | |
| {"name":"regexredux2.","command":"taskset --cpu-list 5 ./regexredux2.exe","time_secs":19.78077793121338,"user_time_secs":19.260237,"sys_time_secs":0.520006,"maxrss_kB":816620,"ocaml":{"version":"4.12.0","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":288704036,"minor_words":216263108,"promoted_words":167772768,"major_words":240213696,"minor_collections":847,"major_collections":28,"heap_words":103262720,"heap_chunks":15,"top_heap_words":103262720,"compactions":0,"forced_major_collections":4},"codesize":231619.0,"ocaml_url":"https://github.com/Engil/ocaml/archive/4.12.0+stock+instrumented.tar.gz"} | |
| {"name":"alt-ergo.yyll.why","command":"taskset --cpu-list 5 alt-ergo benchmarks/alt-ergo/yyll.why","time_secs":17.531028032302856,"user_time_secs":17.377219,"sys_time_secs":0.152917,"maxrss_kB":282688,"ocaml":{"version":"4.12.0","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":2070348219,"minor_words":2064185531,"promoted_words":54217759,"major_words":60380447,"minor_collections":7885,"major_collections":21,"heap_words":37309440,"heap_chunks":35,"top_heap_words":37309440,"compactions":0,"forced_major_collections":0},"codesize":2381362.0,"ocaml_url":"https://github.com/Engil/ocaml/archive/4.12.0+stock+instrumented.tar.gz"} | |
| {"name":"sequence_cps.10000","command":"taskset --cpu-list 5 ./sequence_cps.exe 10000","time_secs":1.6056170463562012,"user_time_secs":1.605347,"sys_time_secs":0.0,"maxrss_kB":5596,"ocaml":{"version":"4.12.0","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":1501160206,"minor_words":1501160206,"promoted_words":219031,"major_words":219031,"minor_collections":6104,"major_collections":757,"heap_words":61440,"heap_chunks":1,"top_heap_words":188416,"compactions":2,"forced_major_collections":1},"codesize":122910.0,"ocaml_url":"https://github.com/Engil/ocaml/archive/4.12.0+stock+instrumented.tar.gz"} | |
| {"name":"quicksort.4000000","command":"taskset --cpu-list 5 ./quicksort.exe 4000000","time_secs":2.908306121826172,"user_time_secs":2.892015,"sys_time_secs":0.016,"maxrss_kB":34356,"ocaml":{"version":"4.12.0","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":4000182,"minor_words":181,"promoted_words":147,"major_words":4000148,"minor_collections":1,"major_collections":0,"heap_words":7327232,"heap_chunks":2,"top_heap_words":7327232,"compactions":0,"forced_major_collections":0},"codesize":53086.0,"ocaml_url":"https://github.com/Engil/ocaml/archive/4.12.0+stock+instrumented.tar.gz"} | |
| {"name":"bdd.26","command":"taskset --cpu-list 5 ./bdd.exe 26","time_secs":5.44438099861145,"user_time_secs":5.432007,"sys_time_secs":0.012,"maxrss_kB":21404,"ocaml":{"version":"4.12.0","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":1228281997,"minor_words":1227749895,"promoted_words":1931249,"major_words":2463351,"minor_collections":4689,"major_collections":9,"heap_words":2264576,"heap_chunks":15,"top_heap_words":2264576,"compactions":0,"forced_major_collections":0},"codesize":139047.0,"ocaml_url":"https://github.com/Engil/ocaml/archive/4.12.0+stock+instrumented.tar.gz"} | |
| {"name":"fannkuchredux.12","command":"taskset --cpu-list 5 ./fannkuchredux.exe 12","time_secs":97.98899292945862,"user_time_secs":97.988237,"sys_time_secs":0.0,"maxrss_kB":4852,"ocaml":{"version":"4.12.0","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":727,"minor_words":727,"promoted_words":0,"major_words":0,"minor_collections":0,"major_collections":0,"heap_words":126976,"heap_chunks":1,"top_heap_words":126976,"compactions":0,"forced_major_collections":0},"codesize":231708.0,"ocaml_url":"https://github.com/Engil/ocaml/archive/4.12.0+stock+instrumented.tar.gz"} | |
| {"name":"kb.","command":"taskset --cpu-list 5 ./kb.exe","time_secs":4.081218957901001,"user_time_secs":4.076904,"sys_time_secs":0.004,"maxrss_kB":9340,"ocaml":{"version":"4.12.0","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":452110302,"minor_words":452110302,"promoted_words":24359250,"major_words":24359250,"minor_collections":1847,"major_collections":325,"heap_words":430080,"heap_chunks":7,"top_heap_words":494592,"compactions":20,"forced_major_collections":79},"codesize":149912.0,"ocaml_url":"https://github.com/Engil/ocaml/archive/4.12.0+stock+instrumented.tar.gz"} | |
| {"name":"coq.BasicSyntax.v","command":"taskset --cpu-list 5 coqc benchmarks/coq/BasicSyntax.v","time_secs":108.05933117866516,"user_time_secs":107.742181,"sys_time_secs":0.311983,"maxrss_kB":356260,"ocaml":{"version":"4.12.0","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":23603763243,"minor_words":23592138885,"promoted_words":317034620,"major_words":328658978,"minor_collections":90052,"major_collections":42,"heap_words":45758976,"heap_chunks":35,"top_heap_words":45758976,"compactions":0,"forced_major_collections":0},"codesize":4964253.0,"ocaml_url":"https://github.com/Engil/ocaml/archive/4.12.0+stock+instrumented.tar.gz"} | |
| {"name":"imrin_mem_rw.10_000_50_000_20_100_000_000","command":"taskset --cpu-list 5 ./irmin_mem_rw.exe 10_000 50_000 20 100_000_000","time_secs":6.61995792388916,"user_time_secs":6.591613,"sys_time_secs":0.027998,"maxrss_kB":24296,"ocaml":{"version":"4.12.0","c_compiler":"gcc","architecture":"amd64","word_size":"64","system":"linux","function_sections":"true","supports_shared_libraries":"true","linear_magic_number":"Caml1999L029"},"gc":{"allocated_words":4581687934,"minor_words":4581679432,"promoted_words":717555,"major_words":726057,"minor_collections":17480,"major_collections":7,"heap_words":574976,"heap_chunks":8,"top_heap_words":574976,"compactions":0,"forced_major_collections":1},"codesize":4705545.0,"ocaml_url":"https://github.com/Engil/ocaml/archive/4.12.0+stock+instrumented.tar.gz"} |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment