all F# programs & measurements .NET SDK 9.0.100 Host Version: 9.0.0 Commit: 9d5a6a9aa4 <OutputType>Exe <TargetFramework>net9.0 <ImplicitUsings>enable <Nullable>enable <AllowUnsafeBlocks>true <ServerGarbageCollection>true <ConcurrentGarbageCollection>true <PublishAot>false Mean or 95% CI elapsed source cpu secs secs mem gz make secs N binary-trees 0.15 1.568 39,182 517 13.10 7 binary-trees 15.26—15.61 14.357 938,693 517 13.10 21 Mean or 95% CI elapsed source cpu secs secs mem gz make secs N binary-trees #7 0.27 1.848 45,117 527 12.31 7 binary-trees #7 23.05—23.86 8.981 1,127,907 527 12.31 21 Mean or 95% CI elapsed source cpu secs secs mem gz make secs N fannkuch-redux #5 0.53 2.085 45,388 927 12.19 10 fannkuch-redux #5 38.47—38.98 9.747 46,322 927 12.19 12 Mean or 95% CI elapsed source cpu secs secs mem gz make secs N fannkuch-redux #6 0.38 1.794 40,325 1103 13.16 10 fannkuch-redux #6 32.48 8.371 41,243 1103 13.16 12 Mean or 95% CI elapsed source cpu secs secs mem gz make secs N fannkuch-redux 1.11 3.151 46,064 558 12.12 10 fannkuch-redux 111.07—115.04 149.695 46,936 558 12.12 12 Mean or 95% CI elapsed source cpu secs secs mem gz make secs N fasta #3 0.24 1.717 50,799 1361 12.17 250,000 fasta #3 4.07 1.158 58,302 1361 12.17 25,000,000 Mean or 95% CI elapsed source cpu secs secs mem gz make secs N fasta #4 0.25 1.926 53,977 1355 12.35 250,000 fasta #4 5.50—5.61 1.483 66,576 1355 12.35 25,000,000 Mean or 95% CI elapsed source cpu secs secs mem gz make secs N k-nucleotide #5 0.71 2.179 83,173 1964 12.97 250,000 k-nucleotide #5 16.10—16.34 4.738 213,168 1964 12.97 25,000,000 Mean or 95% CI elapsed source cpu secs secs mem gz make secs N k-nucleotide #2 0.72 2.244 79,139 1932 12.62 250,000 k-nucleotide #2 16.17—16.28 4.754 212,804 1932 12.62 25,000,000 Mean or 95% CI elapsed source cpu secs secs mem gz make secs N k-nucleotide #3 0.75 2.200 91,300 1124 12.67 250,000 k-nucleotide #3 28.91—29.45 12.997 1,357,251 1124 12.67 25,000,000 Mean or 95% CI elapsed source cpu secs secs mem gz make secs N k-nucleotide #6 0.67 2.166 70,603 1913 12.63 250,000 k-nucleotide #6 11.89—12.02 3.766 200,847 1913 12.63 25,000,000 Mean or 95% CI elapsed source cpu secs secs mem gz make secs N k-nucleotide #4 0.75 2.091 98,120 1522 12.66 250,000 k-nucleotide #4 29.66—30.72 11.382 1,356,919 1522 12.66 25,000,000 Mean or 95% CI elapsed source cpu secs secs mem gz make secs N k-nucleotide 1.71 2.471 169,222 713 12.15 250,000 k-nucleotide 92.39—94.04 39.582 932,966 713 12.15 25,000,000 Mean or 95% CI elapsed source cpu secs secs mem gz make secs N mandelbrot 0.64 1.723 42,213 890 14.07 1,000 mandelbrot 17.24—17.42 4.424 77,042 890 14.07 16,000 Mean or 95% CI elapsed source cpu secs secs mem gz make secs N mandelbrot #6 0.65 1.776 41,718 943 14.24 1,000 mandelbrot #6 16.28—16.45 4.175 77,173 943 14.24 16,000 Mean or 95% CI elapsed source cpu secs secs mem gz make secs N mandelbrot #2 0.71 2.425 49,299 1054 12.10 1,000 mandelbrot #2 28.10—28.29 7.166 49,979 1054 12.10 16,000 Mean or 95% CI elapsed source cpu secs secs mem gz make secs N n-body #6 0.31 1.883 42,844 1395 17.01 500,000 n-body #6 5.00 5.010 43,221 1395 17.01 50,000,000 Mean or 95% CI elapsed source cpu secs secs mem gz make secs N n-body #5 0.33 1.821 43,024 1363 15.40 500,000 n-body #5 5.86 5.851 43,524 1363 15.40 50,000,000 Mean or 95% CI elapsed source cpu secs secs mem gz make secs N n-body #4 0.35 1.859 43,475 1296 12.46 500,000 n-body #4 6.93 6.947 43,553 1296 12.46 50,000,000 Mean or 95% CI elapsed source cpu secs secs mem gz make secs N n-body #2 0.34 1.779 43,299 1387 12.75 500,000 n-body #2 7.35 7.364 43,639 1387 12.75 50,000,000 Mean or 95% CI elapsed source cpu secs secs mem gz make secs N n-body #3 0.27 1.867 41,398 1624 13.55 500,000 n-body #3 6.97 6.986 41,685 1624 13.55 50,000,000 Mean or 95% CI elapsed source cpu secs secs mem gz make secs N n-body 0.37 1.966 46,043 1272 12.23 500,000 n-body 8.03—8.08 8.766 46,506 1272 12.23 50,000,000 Mean or 95% CI elapsed source cpu secs secs mem gz make secs N pidigits #6 0.20 1.911 38,961 917 12.37 2,000 pidigits #6 0.83 0.842 40,571 917 12.37 10,000 Mean or 95% CI elapsed source cpu secs secs mem gz make secs N pidigits #4 0.23 1.700 39,690 887 13.65 2,000 pidigits #4 1.34 1.319 41,902 887 13.65 10,000 Mean or 95% CI elapsed source cpu secs secs mem gz make secs N regex-redux 0.31 0.282 60,895 657 12.52 50,000 regex-redux Bad Output 12.52 5,000,000 Mean or 95% CI elapsed source cpu secs secs mem gz make secs N regex-redux #7 0.35 1.843 56,259 610 12.14 50,000 regex-redux #7 6.65—6.73 5.587 686,174 610 12.14 5,000,000 regex-redux #4 Bad Output 12.14 50,000 Mean or 95% CI elapsed source cpu secs secs mem gz make secs N regex-redux #6 0.38 2.119 57,496 622 12.16 50,000 regex-redux #6 5.23—5.44 1.808 787,112 622 12.16 5,000,000 Mean or 95% CI elapsed source cpu secs secs mem gz make secs N regex-redux #2 0.41 2.116 58,806 437 11.89 50,000 regex-redux #2 5.03 4.812 879,477 437 11.89 5,000,000 Mean or 95% CI elapsed source cpu secs secs mem gz make secs N reverse-complement #4 0.17 0.115 42,713 1146 11.77 250,000 reverse-complement #4 Timed Out 11.77 100,000,001 Mean or 95% CI elapsed source cpu secs secs mem gz make secs N reverse-complement 0.42 1.907 52,392 603 12.36 250,000 reverse-complement 43.03—43.44 41.592 3,088,159 603 12.36 100,000,001 Mean or 95% CI elapsed source cpu secs secs mem gz make secs N reverse-complement #5 0.17 0.115 42,340 1147 11.51 250,000 reverse-complement #5 Timed Out 11.51 100,000,001 Mean or 95% CI elapsed source cpu secs secs mem gz make secs N spectral-norm #6 0.28 1.656 43,737 697 15.15 500 spectral-norm #6 3.33—3.44 0.945 47,010 697 15.15 5,500 Mean or 95% CI elapsed source cpu secs secs mem gz make secs N spectral-norm #2 0.26 1.072 43,598 864 12.01 500 spectral-norm #2 2.41—6.07 1.586 44,683 864 12.01 5,500 Mean or 95% CI elapsed source cpu secs secs mem gz make secs N spectral-norm #4 0.29 1.011 45,105 738 11.38 500 spectral-norm #4 5.86 1.595 46,375 738 11.38 5,500