The Computer Language
Benchmarks Game

all F# .NET Core programs & measurements

F# 4.1.0
dotnet 1.0.1 005db40cd1
"System.GC.Server": true

source secs N mem gz cpu cpu load
binary-trees  0.11  7 ? 506 0.11 0% 0% 92% 0%
binary-trees  0.27  14 824 506 0.28 12% 7% 0% 89%
binary-trees  29.64  21 582,588 506 35.40 30% 19% 39% 34%
source secs N mem gz cpu cpu load
binary-trees  #4 0.18  7 ? 488 0.18 6% 78% 22% 0%
binary-trees  #4 0.36  14 824 488 0.37 8% 3% 6% 92%
binary-trees  #4 32.67  21 662,164 488 38.66 24% 22% 27% 48%
source secs N mem gz cpu cpu load
binary-trees  #3 0.11  7 ? 531 0.10 91% 0% 0% 0%
binary-trees  #3 0.23  14 844 531 0.23 96% 0% 8% 9%
binary-trees  #3 23.71  21 596,776 531 27.26 36% 20% 36% 27%
source secs N mem gz cpu cpu load
binary-trees  #2 0.18  7 ? 475 0.18 0% 94% 0% 5%
binary-trees  #2 0.41  14 844 475 0.41 3% 53% 49% 5%
binary-trees  #2 39.79  21 684,416 475 45.43 31% 30% 27% 28%
source secs N mem gz cpu cpu load
binary-trees  #5 0.09  7 ? 515 0.09 90% 10% 0% 0%
binary-trees  #5 Bad Output  14
source secs N mem gz cpu cpu load
fannkuch-redux  #3 0.39  10 860 945 0.82 76% 59% 37% 43%
fannkuch-redux  #3 2.04  11 42,104 945 7.30 98% 86% 86% 89%
fannkuch-redux  #3 26.39  12 46,224 945 96.08 98% 84% 99% 84%
source secs N mem gz cpu cpu load
fannkuch-redux  1.54  10 77,072 551 1.57 33% 3% 34% 35%
fannkuch-redux  16.46  11 80,800 551 17.09 22% 18% 41% 26%
fannkuch-redux  216.87  12 77,364 551 227.08 17% 30% 42% 18%
source secs N mem gz cpu cpu load
fannkuch-redux  #4 0.48  10 37,844 612 0.47 98% 2% 2% 2%
fannkuch-redux  #4 4.84  11 37,816 612 4.84 1% 1% 100% 1%
fannkuch-redux  #4 66.17  12 40,004 612 66.15 100% 2% 2% 1%
source secs N mem gz cpu cpu load
fannkuch-redux  #5 0.36  10 828 912 0.71 35% 97% 34% 33%
fannkuch-redux  #5 1.69  11 43,596 912 5.94 87% 88% 95% 86%
fannkuch-redux  #5 19.65  12 47,960 912 77.39 99% 99% 100% 98%
source secs N mem gz cpu cpu load
fannkuch-redux  #2 0.69  10 44,000 548 0.68 0% 94% 9% 1%
fannkuch-redux  #2 6.55  11 39,928 548 6.54 1% 5% 1% 100%
fannkuch-redux  #2 87.36  12 39,940 548 87.33 1% 100% 1% 1%
source secs N mem gz cpu cpu load
fasta  0.22  250,000 844 978 0.22 5% 5% 100% 8%
fasta  1.13  2,500,000 36,504 978 1.13 2% 0% 0% 99%
fasta  9.67  25,000,000 38,672 978 9.66 1% 64% 37% 1%
source secs N mem gz cpu cpu load
k-nucleotide  1.33  250,000 363,264 701 3.46 82% 52% 70% 60%
k-nucleotide  8.36  2,500,000 542,544 701 24.73 77% 78% 70% 74%
k-nucleotide  70.23  25,000,000 937,712 701 232.52 82% 85% 84% 83%
source secs N mem gz cpu cpu load
k-nucleotide  #4 0.46  250,000 105,160 1477 1.02 50% 53% 37% 91%
k-nucleotide  #4 2.13  2,500,000 181,216 1477 6.56 76% 88% 75% 73%
k-nucleotide  #4 18.96  25,000,000 1,166,252 1477 63.62 82% 87% 90% 78%
source secs N mem gz cpu cpu load
k-nucleotide  #3 0.57  250,000 69,960 1111 1.05 42% 65% 26% 54%
k-nucleotide  #3 2.91  2,500,000 166,488 1111 6.78 41% 91% 27% 77%
k-nucleotide  #3 26.18  25,000,000 1,180,032 1111 64.66 85% 77% 28% 60%
source secs N mem gz cpu cpu load
mandelbrot  #2 0.25  1,000 832 1043 0.44 38% 79% 54% 36%
mandelbrot  #2 1.09  4,000 40,016 1043 3.76 98% 85% 84% 81%
mandelbrot  #2 13.74  16,000 50,584 1043 54.35 100% 99% 99% 99%
source secs N mem gz cpu cpu load
mandelbrot  #3 0.17  1,000 ? 800 0.31 56% 29% 35% 75%
mandelbrot  #3 0.90  4,000 39,312 800 3.20 86% 87% 87% 100%
mandelbrot  #3 12.43  16,000 85,692 800 49.10 99% 99% 100% 99%
source secs N mem gz cpu cpu load
n-body  0.44  500,000 40,336 1259 0.44 2% 58% 9% 41%
n-body  2.71  5,000,000 68,748 1259 2.72 2% 1% 1% 99%
n-body  25.38  50,000,000 80,716 1259 25.47 12% 85% 2% 3%
source secs N mem gz cpu cpu load
n-body  #2 0.42  500,000 41,368 1381 0.41 0% 2% 100% 0%
n-body  #2 2.46  5,000,000 37,104 1381 2.45 99% 1% 2% 1%
n-body  #2 22.87  50,000,000 41,696 1381 22.86 0% 1% 100% 0%
source secs N mem gz cpu cpu load
pidigits  1.67  2,000 83,348 513 1.79 48% 35% 22% 4%
pidigits  14.27  6,000 92,700 513 15.72 18% 31% 35% 31%
pidigits  40.42  10,000 114,068 513 43.93 22% 22% 39% 28%
source secs N mem gz cpu cpu load
pidigits  #3 0.23  2,000 844 903 0.22 96% 4% 0% 4%
pidigits  #3 1.19  6,000 41,400 903 1.18 1% 97% 6% 0%
pidigits  #3 3.05  10,000 42,220 903 3.05 1% 100% 0% 2%
source secs N mem gz cpu cpu load
pidigits  #2 1.10  2,000 83,556 689 1.19 10% 28% 56% 13%
pidigits  #2 8.93  6,000 90,288 689 9.81 19% 31% 35% 28%
pidigits  #2 25.17  10,000 101,240 689 27.38 34% 18% 29% 31%
regex-redux  #4 Bad Output  50,000
source secs N mem gz cpu cpu load
regex-redux  #2 1.28  50,000 47,332 426 1.30 5% 12% 87% 3%
regex-redux  #2 10.79  500,000 199,708 426 10.83 100% 0% 1% 1%
regex-redux  #2 105.62  5,000,000 1,090,956 426 106.05 38% 3% 2% 60%
regex-redux  #3 Bad Output  50,000
source secs N mem gz cpu cpu load
regex-redux  #5 0.52  50,000 52,984 529 1.33 60% 62% 66% 73%
regex-redux  #5 3.44  500,000 299,460 529 10.89 82% 76% 87% 78%
regex-redux  #5 31.10  5,000,000 1,302,312 529 106.36 84% 97% 84% 82%
source secs N mem gz cpu cpu load
regex-redux  0.80  50,000 53,276 646 1.35 26% 38% 72% 38%
regex-redux  Bad Output  500,000
source secs N mem gz cpu cpu load
reverse-complement  0.50  250,000 44,532 588 0.49 2% 68% 36% 2%
reverse-complement  3.40  2,500,000 140,848 588 3.48 2% 1% 1% 99%
reverse-complement  11.05  25,000,000 695,604 588 11.54 51% 2% 3% 51%
source secs N mem gz cpu cpu load
spectral-norm  #3 0.24  500 844 721 0.35 25% 17% 28% 79%
spectral-norm  #3 1.56  3,000 39,432 721 5.60 88% 88% 90% 96%
spectral-norm  #3 4.65  5,500 43,872 721 17.89 96% 95% 96% 98%
source secs N mem gz cpu cpu load
spectral-norm  #2 0.22  500 856 853 0.32 19% 89% 29% 23%
spectral-norm  #2 1.41  3,000 39,380 853 5.02 96% 88% 87% 87%
spectral-norm  #2 4.32  5,500 45,488 853 16.57 97% 97% 96% 95%
source secs N mem gz cpu cpu load
thread-ring  #2 2.69  500,000 92,728 555 8.03 80% 74% 76% 75%
thread-ring  #2 24.84  5,000,000 98,968 555 77.69 81% 80% 79% 81%
thread-ring  #2 251.95  50,000,000 89,532 555 793.83 82% 80% 80% 81%
source secs N mem gz cpu cpu load
thread-ring  #3 0.39  500,000 832 329 0.40 8% 45% 5% 49%
thread-ring  #3 1.97  5,000,000 75,936 329 2.07 77% 5% 22% 7%
thread-ring  #3 17.91  50,000,000 83,984 329 18.86 24% 20% 40% 24%