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 N binary-trees 15.04—15.33 13.961 990,171 517 21 Mean or 95% CI elapsed source cpu secs secs mem gz N binary-trees #7 23.12—23.86 9.289 930,943 527 21 Mean or 95% CI elapsed source cpu secs secs mem gz N fannkuch-redux #5 38.48—38.99 9.802 46,563 927 12 Mean or 95% CI elapsed source cpu secs secs mem gz N fannkuch-redux #6 32.486 8.375 40,747 1103 12 Mean or 95% CI elapsed source cpu secs secs mem gz N fannkuch-redux 110.53—113.94 156.483 47,206 558 12 Mean or 95% CI elapsed source cpu secs secs mem gz N fasta #3 4.04—4.11 1.160 56,467 1361 25,000,000 Mean or 95% CI elapsed source cpu secs secs mem gz N fasta #4 5.50—5.61 1.492 60,486 1355 25,000,000 Mean or 95% CI elapsed source cpu secs secs mem gz N k-nucleotide #5 16.20—16.45 4.743 212,644 1964 25,000,000 Mean or 95% CI elapsed source cpu secs secs mem gz N k-nucleotide #2 16.22—16.47 4.786 212,779 1932 25,000,000 Mean or 95% CI elapsed source cpu secs secs mem gz N k-nucleotide #3 29.11—29.96 13.004 1,356,870 1124 25,000,000 Mean or 95% CI elapsed source cpu secs secs mem gz N k-nucleotide #6 11.87—12.05 3.758 201,224 1913 25,000,000 Mean or 95% CI elapsed source cpu secs secs mem gz N k-nucleotide #4 29.57—30.27 11.365 1,356,599 1522 25,000,000 Mean or 95% CI elapsed source cpu secs secs mem gz N k-nucleotide 92.14—93.71 39.727 934,076 713 25,000,000 Mean or 95% CI elapsed source cpu secs secs mem gz N mandelbrot 17.23—17.38 4.424 76,898 890 16,000 Mean or 95% CI elapsed source cpu secs secs mem gz N mandelbrot #6 16.27—16.44 4.177 77,046 943 16,000 Mean or 95% CI elapsed source cpu secs secs mem gz N mandelbrot #2 28.15—28.33 7.181 49,836 1054 16,000 Mean or 95% CI elapsed source cpu secs secs mem gz N n-body #6 4.97—5.08 5.020 43,184 1395 50,000,000 Mean or 95% CI elapsed source cpu secs secs mem gz N n-body #5 5.82—5.87 5.840 43,569 1363 50,000,000 Mean or 95% CI elapsed source cpu secs secs mem gz N n-body #4 6.930 6.950 43,667 1296 50,000,000 Mean or 95% CI elapsed source cpu secs secs mem gz N n-body #2 7.350 7.370 43,614 1387 50,000,000 Mean or 95% CI elapsed source cpu secs secs mem gz N n-body #3 6.970 6.990 41,791 1624 50,000,000 Mean or 95% CI elapsed source cpu secs secs mem gz N n-body 8.043 8.723 46,567 1272 50,000,000 Mean or 95% CI elapsed source cpu secs secs mem gz N pidigits #6 0.835 0.848 40,714 917 10,000 Mean or 95% CI elapsed source cpu secs secs mem gz N pidigits #4 1.340 1.321 42,037 887 10,000 regex-redux Bad Output 5,000,000 Mean or 95% CI elapsed source cpu secs secs mem gz N regex-redux #7 6.62—6.69 5.248 688,775 610 5,000,000 Mean or 95% CI elapsed source cpu secs secs mem gz N regex-redux #4 5.68—5.82 2.184 908,231 916 5,000,000 Mean or 95% CI elapsed source cpu secs secs mem gz N regex-redux #6 5.26—5.47 1.815 793,981 622 5,000,000 Mean or 95% CI elapsed source cpu secs secs mem gz N regex-redux #2 5.027 4.802 879,591 437 5,000,000 reverse-complement #4 Timed Out 100,000,001 Mean or 95% CI elapsed source cpu secs secs mem gz N reverse-complement 43.05—43.63 41.542 3,086,483 603 100,000,001 reverse-complement #5 Timed Out 100,000,001 Mean or 95% CI elapsed source cpu secs secs mem gz N spectral-norm #6 3.37—3.50 0.954 46,739 697 5,500 spectral-norm #2 Timed Out 5,500 Mean or 95% CI elapsed source cpu secs secs mem gz N spectral-norm #4 5.868 1.603 45,875 738 5,500