all Ada 2012 GNAT programs & measurements GNATMAKE 13.3.0 Mean or 95% CI elapsed source cpu secs secs mem gz make secs N binary-trees #3 37.23—37.38 11.264 545,702 1275 3.64 21 Mean or 95% CI elapsed source cpu secs secs mem gz make secs N binary-trees #4 12.01—12.09 4.163 210,969 2117 4.17 21 Mean or 95% CI elapsed source cpu secs secs mem gz make secs N binary-trees 23.60—23.74 23.451 275,038 896 3.48 21 Mean or 95% CI elapsed source cpu secs secs mem gz make secs N fannkuch-redux #3 36.43 9.149 7,684 2120 3.95 12 Mean or 95% CI elapsed source cpu secs secs mem gz make secs N fasta 7.11—7.20 7.060 5,960 1381 3.49 25,000,000 Mean or 95% CI elapsed source cpu secs secs mem gz make secs N fasta #2 2.65 2.646 6,148 2158 3.94 25,000,000 Mean or 95% CI elapsed source cpu secs secs mem gz make secs N fasta #5 2.61 2.605 6,152 2220 3.71 25,000,000 Mean or 95% CI elapsed source cpu secs secs mem gz make secs N k-nucleotide #2 16.65—17.27 7.824 269,390 4911 6.08 25,000,000 Mean or 95% CI elapsed source cpu secs secs mem gz make secs N mandelbrot #2 28.46 28.458 5,816 583 3.12 16,000 Mean or 95% CI elapsed source cpu secs secs mem gz make secs N mandelbrot #3 15.80 4.008 41,099 1825 3.53 16,000 Mean or 95% CI elapsed source cpu secs secs mem gz make secs N n-body #2 10.16 10.154 5,984 2623 3.59 50,000,000 Mean or 95% CI elapsed source cpu secs secs mem gz make secs N n-body 7.65 7.647 5,984 1624 3.91 50,000,000 Mean or 95% CI elapsed source cpu secs secs mem gz make secs N n-body #5 9.00—9.06 9.013 5,960 2452 3.55 50,000,000 Mean or 95% CI elapsed source cpu secs secs mem gz make secs N n-body #3 5.89 5.880 5,972 1758 3.95 50,000,000 Mean or 95% CI elapsed source cpu secs secs mem gz make secs N pidigits #2 0.74 0.745 7,373 1137 2.86 10,000 Mean or 95% CI elapsed source cpu secs secs mem gz make secs N pidigits 4.49 4.494 7,631 1163 3.15 10,000 regex-redux #6 Bad Output 3.15 5,000,000 Mean or 95% CI elapsed source cpu secs secs mem gz make secs N regex-redux #5 16.54—17.50 5.729 162,357 3647 6.32 5,000,000 Mean or 95% CI elapsed source cpu secs secs mem gz make secs N reverse-complement #2 3.86 3.019 845,664 3285 4.21 100,000,001 Mean or 95% CI elapsed source cpu secs secs mem gz make secs N reverse-complement 14.28—14.46 14.145 543,805 943 3.13 100,000,001 Mean or 95% CI elapsed source cpu secs secs mem gz make secs N spectral-norm #3 5.73 1.493 8,475 1725 4.32 5,500 Mean or 95% CI elapsed source cpu secs secs mem gz make secs N spectral-norm 5.34 5.345 6,091 725 3.63 5,500 Mean or 95% CI elapsed source cpu secs secs mem gz make secs N spectral-norm #4 2.98 0.773 8,569 2777 4.55 5,500