Co-authored-by: David Chisnall <davidchisnall@users.noreply.github.com> Co-authored-by: Robert Norton <1412774+rmn30@users.noreply.github.com> Co-authored-by: Nathaniel Wesley Filardo <nfilardo@microsoft.com> Co-authored-by: Istvan Haller <31476121+ihaller@users.noreply.github.com>
64 KiB
64 KiB
| 1 | , |
|---|---|
| 2 | barnes, mi, 02.90, 66712, 2.88, 0.01, 0, 2461 |
| 3 | barnes, sn-0.6.0-full-checks, 02.91, 65716, 2.88, 0.02, 0, 2863 |
| 4 | barnes, sn-0.6.0, 02.87, 65508, 2.85, 0.01, 0, 2838 |
| 5 | barnes, sn-0.5.3, 02.87, 70068, 2.84, 0.02, 0, 2518 |
| 6 | barnes, sn-0.6.0-memcpy-checks, 02.89, 65608, 2.88, 0.01, 0, 2837 |
| 7 | barnes, je, 02.90, 76652, 2.87, 0.02, 0, 2550 |
| 8 | barnes, scudo, 02.99, 61892, 2.94, 0.04, 0, 4270 |
| 9 | barnes, smi, 03.02, 66728, 3.00, 0.01, 0, 2657 |
| 10 | espresso, mi, 05.27, 8220, 5.25, 0.02, 0, 174 |
| 11 | espresso, sn-0.6.0-full-checks, 05.35, 12640, 5.30, 0.04, 0, 744 |
| 12 | espresso, sn-0.6.0, 05.19, 6216, 5.16, 0.03, 0, 654 |
| 13 | espresso, sn-0.5.3, 05.21, 10244, 5.19, 0.01, 0, 410 |
| 14 | espresso, sn-0.6.0-memcpy-checks, 05.20, 6256, 5.19, 0.00, 0, 657 |
| 15 | espresso, je, 05.54, 12184, 5.50, 0.03, 0, 322 |
| 16 | espresso, scudo, 06.07, 4940, 6.05, 0.02, 0, 645 |
| 17 | espresso, smi, 05.50, 6620, 5.48, 0.02, 0, 288 |
| 18 | z3, mi, 01.19, 71272, 1.18, 0.01, 0, 458 |
| 19 | z3, sn-0.6.0-full-checks, 01.18, 72428, 1.17, 0.01, 0, 773 |
| 20 | z3, sn-0.6.0, 01.17, 66184, 1.16, 0.01, 0, 734 |
| 21 | z3, sn-0.5.3, 01.18, 73508, 1.16, 0.01, 0, 563 |
| 22 | z3, sn-0.6.0-memcpy-checks, 01.19, 66128, 1.17, 0.02, 0, 738 |
| 23 | z3, je, 01.20, 65792, 1.18, 0.02, 0, 2770 |
| 24 | z3, scudo, 01.27, 56116, 1.24, 0.03, 0, 8681 |
| 25 | z3, smi, 01.26, 66104, 1.23, 0.02, 0, 3836 |
| 26 | gs, mi, 01.17, 57476, 1.13, 0.03, 0, 1660 |
| 27 | gs, sn-0.6.0-full-checks, 01.21, 54304, 1.18, 0.02, 0, 2018 |
| 28 | gs, sn-0.6.0, 01.18, 48280, 1.17, 0.01, 0, 1999 |
| 29 | gs, sn-0.5.3, 01.17, 56084, 1.16, 0.01, 0, 1873 |
| 30 | gs, sn-0.6.0-memcpy-checks, 01.17, 48512, 1.14, 0.03, 0, 2000 |
| 31 | gs, je, 01.20, 53216, 1.16, 0.04, 0, 3724 |
| 32 | gs, scudo, 01.21, 41248, 1.16, 0.05, 0, 17117 |
| 33 | gs, smi, 01.20, 56372, 1.16, 0.04, 0, 4550 |
| 34 | redis, mi, 4.357, 35112, 1.87, 0.32, 0, 8007 |
| 35 | redis, sn-0.6.0-full-checks, 4.435, 33628, 1.91, 0.32, 0, 8964 |
| 36 | redis, sn-0.6.0, 4.216, 30440, 1.74, 0.38, 0, 8556 |
| 37 | redis, sn-0.5.3, 4.348, 37168, 1.90, 0.28, 0, 7518 |
| 38 | redis, sn-0.6.0-memcpy-checks, 4.274, 30408, 1.75, 0.40, 0, 8544 |
| 39 | redis, je, 5.060, 36836, 2.21, 0.32, 1, 6765 |
| 40 | redis, scudo, 5.252, 37900, 2.22, 0.42, 0, 9863 |
| 41 | redis, smi, 4.622, 35372, 1.97, 0.35, 0, 8035 |
| 42 | cfrac, mi, 06.37, 4508, 6.37, 0.00, 0, 184 |
| 43 | cfrac, sn-0.6.0-full-checks, 06.63, 3584, 6.63, 0.00, 0, 496 |
| 44 | cfrac, sn-0.6.0, 06.27, 3332, 6.27, 0.00, 0, 432 |
| 45 | cfrac, sn-0.5.3, 06.33, 8244, 6.32, 0.00, 0, 446 |
| 46 | cfrac, sn-0.6.0-memcpy-checks, 06.27, 3320, 6.27, 0.00, 0, 431 |
| 47 | cfrac, je, 06.64, 10056, 6.64, 0.00, 0, 273 |
| 48 | cfrac, scudo, 08.45, 4684, 8.45, 0.00, 0, 616 |
| 49 | cfrac, smi, 07.09, 4464, 7.09, 0.00, 0, 183 |
| 50 | leanN, mi, 25.62, 591256, 96.05, 1.07, 0, 200920 |
| 51 | leanN, sn-0.6.0-full-checks, 26.78, 681948, 102.76, 1.04, 0, 16260 |
| 52 | leanN, sn-0.6.0, 24.85, 545020, 95.77, 0.89, 0, 12529 |
| 53 | leanN, sn-0.5.3, 25.46, 546652, 96.19, 0.86, 0, 3333 |
| 54 | leanN, sn-0.6.0-memcpy-checks, 25.01, 545020, 96.33, 0.92, 0, 13126 |
| 55 | leanN, je, 26.06, 503092, 97.26, 1.13, 0, 171614 |
| 56 | leanN, scudo, 33.01, 593072, 120.15, 1.81, 0, 598360 |
| 57 | leanN, smi, 27.04, 624072, 96.26, 1.92, 0, 354731 |
| 58 | sed, mi, 01.74, 324400, 1.66, 0.07, 0, 402 |
| 59 | sed, sn-0.6.0-full-checks, 01.74, 349752, 1.65, 0.08, 0, 1670 |
| 60 | sed, sn-0.6.0, 01.73, 342816, 1.64, 0.08, 0, 1449 |
| 61 | sed, sn-0.5.3, 01.73, 310148, 1.65, 0.08, 0, 682 |
| 62 | sed, sn-0.6.0-memcpy-checks, 01.72, 342792, 1.62, 0.10, 0, 1473 |
| 63 | sed, je, 01.74, 300292, 1.65, 0.08, 0, 8858 |
| 64 | sed, scudo, 01.81, 245512, 1.69, 0.11, 0, 60801 |
| 65 | sed, smi, 01.82, 317312, 1.71, 0.11, 0, 34437 |
| 66 | barnes, mi, 02.85, 66836, 2.84, 0.01, 0, 2464 |
| 67 | barnes, sn-0.6.0-full-checks, 02.91, 65620, 2.90, 0.01, 0, 2854 |
| 68 | barnes, sn-0.6.0, 02.86, 65508, 2.83, 0.02, 0, 2839 |
| 69 | barnes, sn-0.5.3, 02.84, 70132, 2.82, 0.01, 0, 2530 |
| 70 | barnes, sn-0.6.0-memcpy-checks, 02.91, 65628, 2.89, 0.02, 0, 2840 |
| 71 | barnes, je, 02.86, 76748, 2.84, 0.01, 0, 2547 |
| 72 | barnes, scudo, 02.92, 61480, 2.90, 0.02, 0, 4252 |
| 73 | barnes, smi, 02.91, 66940, 2.90, 0.01, 0, 2670 |
| 74 | espresso, mi, 05.19, 8316, 5.16, 0.03, 0, 174 |
| 75 | espresso, sn-0.6.0-full-checks, 05.27, 12760, 5.23, 0.04, 0, 739 |
| 76 | espresso, sn-0.6.0, 05.12, 6536, 5.09, 0.02, 0, 658 |
| 77 | espresso, sn-0.5.3, 05.13, 10240, 5.11, 0.02, 0, 411 |
| 78 | espresso, sn-0.6.0-memcpy-checks, 05.12, 6440, 5.09, 0.02, 0, 659 |
| 79 | espresso, je, 05.44, 9956, 5.44, 0.00, 0, 355 |
| 80 | espresso, scudo, 06.04, 4900, 6.01, 0.02, 0, 642 |
| 81 | espresso, smi, 05.48, 6740, 5.47, 0.01, 0, 288 |
| 82 | z3, mi, 01.20, 71076, 1.20, 0.00, 0, 455 |
| 83 | z3, sn-0.6.0-full-checks, 01.17, 70204, 1.16, 0.01, 0, 758 |
| 84 | z3, sn-0.6.0, 01.16, 66108, 1.14, 0.01, 0, 735 |
| 85 | z3, sn-0.5.3, 01.17, 73488, 1.15, 0.02, 0, 565 |
| 86 | z3, sn-0.6.0-memcpy-checks, 01.17, 65872, 1.16, 0.00, 0, 735 |
| 87 | z3, je, 01.17, 66016, 1.15, 0.02, 0, 2773 |
| 88 | z3, scudo, 01.26, 56052, 1.23, 0.02, 0, 8668 |
| 89 | z3, smi, 01.22, 65448, 1.20, 0.01, 0, 3699 |
| 90 | gs, mi, 01.16, 57396, 1.12, 0.03, 0, 1657 |
| 91 | gs, sn-0.6.0-full-checks, 01.19, 56340, 1.15, 0.03, 0, 1955 |
| 92 | gs, sn-0.6.0, 01.17, 48452, 1.15, 0.02, 0, 1998 |
| 93 | gs, sn-0.5.3, 01.19, 56076, 1.16, 0.02, 0, 1875 |
| 94 | gs, sn-0.6.0-memcpy-checks, 01.17, 48300, 1.14, 0.02, 0, 1997 |
| 95 | gs, je, 01.20, 53824, 1.16, 0.04, 0, 3729 |
| 96 | gs, scudo, 01.21, 41532, 1.17, 0.03, 0, 17160 |
| 97 | gs, smi, 01.19, 57232, 1.14, 0.05, 0, 4648 |
| 98 | redis, mi, 4.395, 35208, 1.88, 0.33, 0, 8001 |
| 99 | redis, sn-0.6.0-full-checks, 4.504, 33404, 1.72, 0.54, 0, 8904 |
| 100 | redis, sn-0.6.0, 4.241, 30464, 1.80, 0.34, 0, 8558 |
| 101 | redis, sn-0.5.3, 4.314, 37128, 1.78, 0.38, 0, 7346 |
| 102 | redis, sn-0.6.0-memcpy-checks, 4.317, 30544, 1.78, 0.39, 0, 8538 |
| 103 | redis, je, 5.109, 36816, 2.16, 0.41, 0, 6769 |
| 104 | redis, scudo, 5.209, 37820, 2.27, 0.34, 0, 9874 |
| 105 | redis, smi, 4.631, 35436, 1.95, 0.38, 0, 8036 |
| 106 | cfrac, mi, 06.33, 4460, 6.33, 0.00, 0, 188 |
| 107 | cfrac, sn-0.6.0-full-checks, 06.62, 3560, 6.62, 0.00, 0, 499 |
| 108 | cfrac, sn-0.6.0, 06.27, 3244, 6.27, 0.00, 0, 434 |
| 109 | cfrac, sn-0.5.3, 06.31, 8424, 6.30, 0.01, 0, 444 |
| 110 | cfrac, sn-0.6.0-memcpy-checks, 06.27, 3320, 6.27, 0.00, 0, 432 |
| 111 | cfrac, je, 06.64, 10072, 6.63, 0.00, 0, 273 |
| 112 | cfrac, scudo, 08.53, 4616, 8.53, 0.00, 0, 615 |
| 113 | cfrac, smi, 07.14, 4580, 7.14, 0.00, 0, 180 |
| 114 | leanN, mi, 25.83, 587052, 98.11, 1.28, 0, 163240 |
| 115 | leanN, sn-0.6.0-full-checks, 26.59, 650568, 102.61, 1.04, 0, 12623 |
| 116 | leanN, sn-0.6.0, 25.01, 517504, 97.71, 0.77, 0, 11406 |
| 117 | leanN, sn-0.5.3, 26.53, 537680, 101.52, 0.99, 0, 4183 |
| 118 | leanN, sn-0.6.0-memcpy-checks, 27.40, 529564, 110.40, 0.89, 0, 12793 |
| 119 | leanN, je, 25.99, 529828, 98.94, 1.02, 0, 106383 |
| 120 | leanN, scudo, 32.58, 602392, 117.53, 1.81, 0, 532564 |
| 121 | leanN, smi, 27.65, 631068, 99.97, 1.98, 0, 422694 |
| 122 | sed, mi, 01.74, 326500, 1.65, 0.08, 0, 401 |
| 123 | sed, sn-0.6.0-full-checks, 01.74, 347584, 1.63, 0.10, 0, 1694 |
| 124 | sed, sn-0.6.0, 01.73, 342784, 1.65, 0.07, 0, 1477 |
| 125 | sed, sn-0.5.3, 01.73, 310248, 1.64, 0.08, 0, 684 |
| 126 | sed, sn-0.6.0-memcpy-checks, 01.72, 342716, 1.61, 0.10, 0, 1452 |
| 127 | sed, je, 01.73, 295420, 1.64, 0.08, 0, 9180 |
| 128 | sed, scudo, 01.82, 245464, 1.71, 0.10, 0, 60799 |
| 129 | sed, smi, 01.81, 315944, 1.67, 0.13, 0, 34063 |
| 130 | barnes, mi, 02.88, 66932, 2.86, 0.02, 0, 2462 |
| 131 | barnes, sn-0.6.0-full-checks, 02.86, 65748, 2.82, 0.03, 0, 2853 |
| 132 | barnes, sn-0.6.0, 02.90, 65604, 2.88, 0.02, 0, 2837 |
| 133 | barnes, sn-0.5.3, 02.85, 70108, 2.83, 0.02, 0, 2526 |
| 134 | barnes, sn-0.6.0-memcpy-checks, 02.86, 65628, 2.84, 0.01, 0, 2840 |
| 135 | barnes, je, 02.85, 76568, 2.83, 0.02, 0, 2545 |
| 136 | barnes, scudo, 02.94, 61888, 2.94, 0.00, 0, 4270 |
| 137 | barnes, smi, 02.94, 66856, 2.92, 0.02, 0, 2657 |
| 138 | espresso, mi, 05.17, 8328, 5.15, 0.01, 0, 176 |
| 139 | espresso, sn-0.6.0-full-checks, 05.28, 12604, 5.25, 0.03, 0, 730 |
| 140 | espresso, sn-0.6.0, 05.10, 6248, 5.06, 0.04, 0, 659 |
| 141 | espresso, sn-0.5.3, 05.14, 10212, 5.11, 0.02, 0, 411 |
| 142 | espresso, sn-0.6.0-memcpy-checks, 05.11, 6256, 5.08, 0.03, 0, 655 |
| 143 | espresso, je, 05.44, 9880, 5.41, 0.03, 0, 297 |
| 144 | espresso, scudo, 06.04, 5000, 6.02, 0.01, 0, 648 |
| 145 | espresso, smi, 05.48, 6640, 5.46, 0.02, 0, 288 |
| 146 | z3, mi, 01.21, 71316, 1.19, 0.01, 0, 462 |
| 147 | z3, sn-0.6.0-full-checks, 01.19, 72360, 1.18, 0.01, 0, 783 |
| 148 | z3, sn-0.6.0, 01.18, 66188, 1.16, 0.01, 0, 740 |
| 149 | z3, sn-0.5.3, 01.17, 73712, 1.16, 0.01, 0, 566 |
| 150 | z3, sn-0.6.0-memcpy-checks, 01.17, 66060, 1.15, 0.01, 0, 738 |
| 151 | z3, je, 01.19, 65880, 1.16, 0.03, 0, 2762 |
| 152 | z3, scudo, 01.26, 56160, 1.23, 0.02, 0, 8672 |
| 153 | z3, smi, 01.23, 65868, 1.21, 0.02, 0, 3826 |
| 154 | gs, mi, 01.17, 57272, 1.11, 0.05, 0, 1656 |
| 155 | gs, sn-0.6.0-full-checks, 01.18, 56336, 1.15, 0.02, 0, 2378 |
| 156 | gs, sn-0.6.0, 01.18, 48188, 1.15, 0.02, 0, 1998 |
| 157 | gs, sn-0.5.3, 01.15, 56044, 1.14, 0.01, 0, 1871 |
| 158 | gs, sn-0.6.0-memcpy-checks, 01.19, 48188, 1.16, 0.03, 0, 2000 |
| 159 | gs, je, 01.19, 53716, 1.16, 0.03, 0, 3723 |
| 160 | gs, scudo, 01.20, 41456, 1.16, 0.04, 0, 17153 |
| 161 | gs, smi, 01.20, 57060, 1.16, 0.03, 0, 4647 |
| 162 | redis, mi, 4.294, 35128, 1.84, 0.31, 0, 8032 |
| 163 | redis, sn-0.6.0-full-checks, 4.406, 33360, 1.83, 0.39, 0, 8930 |
| 164 | redis, sn-0.6.0, 4.254, 30504, 1.80, 0.34, 0, 8552 |
| 165 | redis, sn-0.5.3, 4.244, 37064, 1.74, 0.39, 0, 7619 |
| 166 | redis, sn-0.6.0-memcpy-checks, 4.257, 30400, 1.75, 0.39, 0, 8555 |
| 167 | redis, je, 5.021, 36832, 2.09, 0.43, 0, 6775 |
| 168 | redis, scudo, 5.238, 37884, 2.18, 0.45, 0, 9872 |
| 169 | redis, smi, 4.599, 35428, 1.93, 0.39, 0, 8050 |
| 170 | cfrac, mi, 06.33, 4568, 6.32, 0.00, 0, 186 |
| 171 | cfrac, sn-0.6.0-full-checks, 06.60, 3628, 6.60, 0.00, 0, 496 |
| 172 | cfrac, sn-0.6.0, 06.26, 3332, 6.26, 0.00, 0, 434 |
| 173 | cfrac, sn-0.5.3, 06.31, 8408, 6.31, 0.00, 0, 447 |
| 174 | cfrac, sn-0.6.0-memcpy-checks, 06.31, 3320, 6.31, 0.00, 0, 432 |
| 175 | cfrac, je, 06.72, 10136, 6.72, 0.00, 0, 270 |
| 176 | cfrac, scudo, 08.44, 4696, 8.44, 0.00, 0, 610 |
| 177 | cfrac, smi, 07.03, 4572, 7.02, 0.00, 0, 183 |
| 178 | leanN, mi, 25.89, 588932, 98.21, 1.16, 0, 165165 |
| 179 | leanN, sn-0.6.0-full-checks, 26.99, 655148, 105.01, 1.00, 0, 13196 |
| 180 | leanN, sn-0.6.0, 27.54, 544660, 111.08, 1.01, 0, 13274 |
| 181 | leanN, sn-0.5.3, 25.44, 547264, 96.18, 0.87, 0, 3596 |
| 182 | leanN, sn-0.6.0-memcpy-checks, 26.73, 542128, 106.45, 0.90, 0, 11923 |
| 183 | leanN, je, 26.89, 529516, 103.02, 1.26, 0, 157578 |
| 184 | leanN, scudo, 33.36, 589768, 121.28, 2.00, 0, 601688 |
| 185 | leanN, smi, 26.96, 620428, 96.80, 1.63, 0, 326027 |
| 186 | sed, mi, 01.73, 330532, 1.65, 0.08, 0, 405 |
| 187 | sed, sn-0.6.0-full-checks, 01.73, 349380, 1.65, 0.08, 0, 1545 |
| 188 | sed, sn-0.6.0, 01.72, 342796, 1.60, 0.11, 0, 1474 |
| 189 | sed, sn-0.5.3, 01.72, 310392, 1.65, 0.07, 0, 683 |
| 190 | sed, sn-0.6.0-memcpy-checks, 01.72, 342820, 1.65, 0.07, 0, 1451 |
| 191 | sed, je, 01.73, 293900, 1.64, 0.08, 0, 8280 |
| 192 | sed, scudo, 01.81, 245412, 1.70, 0.10, 0, 60796 |
| 193 | sed, smi, 01.82, 316752, 1.69, 0.12, 0, 34265 |
| 194 | barnes, mi, 02.85, 66912, 2.84, 0.00, 0, 2466 |
| 195 | barnes, sn-0.6.0-full-checks, 02.87, 65740, 2.85, 0.02, 0, 2853 |
| 196 | barnes, sn-0.6.0, 02.86, 65672, 2.84, 0.02, 0, 2839 |
| 197 | barnes, sn-0.5.3, 02.86, 69948, 2.84, 0.01, 0, 2523 |
| 198 | barnes, sn-0.6.0-memcpy-checks, 02.86, 65628, 2.84, 0.01, 0, 2837 |
| 199 | barnes, je, 02.86, 76616, 2.84, 0.01, 0, 2548 |
| 200 | barnes, scudo, 02.92, 61692, 2.91, 0.01, 0, 4279 |
| 201 | barnes, smi, 02.95, 66820, 2.93, 0.02, 0, 2655 |
| 202 | espresso, mi, 05.17, 8276, 5.14, 0.02, 0, 177 |
| 203 | espresso, sn-0.6.0-full-checks, 05.27, 12648, 5.20, 0.06, 0, 740 |
| 204 | espresso, sn-0.6.0, 05.11, 6232, 5.09, 0.02, 0, 654 |
| 205 | espresso, sn-0.5.3, 05.11, 10280, 5.09, 0.02, 0, 406 |
| 206 | espresso, sn-0.6.0-memcpy-checks, 05.15, 6216, 5.10, 0.04, 0, 656 |
| 207 | espresso, je, 05.55, 9940, 5.52, 0.02, 0, 388 |
| 208 | espresso, scudo, 06.08, 4876, 6.03, 0.05, 0, 635 |
| 209 | espresso, smi, 05.49, 6684, 5.45, 0.03, 0, 285 |
| 210 | z3, mi, 01.19, 71344, 1.16, 0.02, 0, 460 |
| 211 | z3, sn-0.6.0-full-checks, 01.17, 70140, 1.14, 0.02, 0, 761 |
| 212 | z3, sn-0.6.0, 01.17, 66068, 1.15, 0.01, 0, 741 |
| 213 | z3, sn-0.5.3, 01.19, 73804, 1.17, 0.02, 0, 564 |
| 214 | z3, sn-0.6.0-memcpy-checks, 01.17, 66232, 1.15, 0.01, 0, 741 |
| 215 | z3, je, 01.18, 67784, 1.16, 0.02, 0, 2757 |
| 216 | z3, scudo, 01.26, 56312, 1.24, 0.01, 0, 8163 |
| 217 | z3, smi, 01.23, 66204, 1.21, 0.01, 0, 3834 |
| 218 | gs, mi, 01.16, 57488, 1.12, 0.04, 0, 1652 |
| 219 | gs, sn-0.6.0-full-checks, 01.18, 54004, 1.16, 0.02, 0, 1961 |
| 220 | gs, sn-0.6.0, 01.18, 48352, 1.14, 0.03, 0, 2001 |
| 221 | gs, sn-0.5.3, 01.16, 56260, 1.11, 0.04, 0, 1875 |
| 222 | gs, sn-0.6.0-memcpy-checks, 01.18, 48336, 1.15, 0.02, 0, 2000 |
| 223 | gs, je, 01.19, 55668, 1.15, 0.03, 0, 3715 |
| 224 | gs, scudo, 01.20, 41428, 1.15, 0.05, 0, 17159 |
| 225 | gs, smi, 01.20, 56748, 1.18, 0.01, 0, 4635 |
| 226 | redis, mi, 4.675, 35124, 1.81, 0.54, 0, 7996 |
| 227 | redis, sn-0.6.0-full-checks, 4.357, 33356, 1.85, 0.34, 0, 8977 |
| 228 | redis, sn-0.6.0, 4.199, 30520, 1.74, 0.36, 0, 8579 |
| 229 | redis, sn-0.5.3, 4.254, 37024, 1.80, 0.33, 0, 7116 |
| 230 | redis, sn-0.6.0-memcpy-checks, 4.236, 30356, 1.68, 0.45, 0, 8560 |
| 231 | redis, je, 5.026, 36816, 2.20, 0.32, 0, 6771 |
| 232 | redis, scudo, 5.156, 38016, 2.25, 0.34, 0, 9884 |
| 233 | redis, smi, 4.564, 35472, 1.90, 0.40, 0, 8051 |
| 234 | cfrac, mi, 06.32, 4460, 6.31, 0.00, 0, 179 |
| 235 | cfrac, sn-0.6.0-full-checks, 06.61, 3584, 6.61, 0.00, 0, 495 |
| 236 | cfrac, sn-0.6.0, 06.28, 3300, 6.28, 0.00, 0, 433 |
| 237 | cfrac, sn-0.5.3, 06.38, 8424, 6.37, 0.00, 0, 446 |
| 238 | cfrac, sn-0.6.0-memcpy-checks, 06.24, 3336, 6.24, 0.00, 0, 434 |
| 239 | cfrac, je, 06.62, 10056, 6.62, 0.00, 0, 271 |
| 240 | cfrac, scudo, 08.40, 4592, 8.39, 0.00, 0, 611 |
| 241 | cfrac, smi, 07.04, 4596, 7.03, 0.00, 0, 182 |
| 242 | leanN, mi, 26.06, 592944, 99.54, 1.21, 0, 241980 |
| 243 | leanN, sn-0.6.0-full-checks, 26.66, 675748, 101.94, 1.01, 0, 13980 |
| 244 | leanN, sn-0.6.0, 25.55, 535144, 99.90, 0.83, 0, 12792 |
| 245 | leanN, sn-0.5.3, 25.91, 536216, 98.51, 0.89, 0, 3475 |
| 246 | leanN, sn-0.6.0-memcpy-checks, 25.17, 533080, 97.46, 0.95, 0, 13412 |
| 247 | leanN, je, 26.95, 514740, 103.52, 1.21, 0, 204418 |
| 248 | leanN, scudo, 32.10, 628432, 114.89, 1.64, 0, 568793 |
| 249 | leanN, smi, 27.59, 635276, 100.36, 1.84, 2, 343670 |
| 250 | sed, mi, 01.72, 326452, 1.63, 0.09, 0, 404 |
| 251 | sed, sn-0.6.0-full-checks, 01.73, 347264, 1.64, 0.09, 0, 1571 |
| 252 | sed, sn-0.6.0, 01.73, 342908, 1.63, 0.09, 0, 1480 |
| 253 | sed, sn-0.5.3, 01.71, 310356, 1.63, 0.08, 0, 684 |
| 254 | sed, sn-0.6.0-memcpy-checks, 01.72, 342824, 1.62, 0.09, 0, 1453 |
| 255 | sed, je, 01.73, 295488, 1.67, 0.06, 0, 9192 |
| 256 | sed, scudo, 01.81, 245284, 1.67, 0.13, 0, 60797 |
| 257 | sed, smi, 01.80, 316116, 1.69, 0.11, 0, 34107 |
| 258 | barnes, mi, 02.85, 66800, 2.84, 0.01, 0, 2464 |
| 259 | barnes, sn-0.6.0-full-checks, 02.87, 65632, 2.86, 0.01, 0, 2853 |
| 260 | barnes, sn-0.6.0, 02.86, 65552, 2.83, 0.02, 0, 2838 |
| 261 | barnes, sn-0.5.3, 02.84, 70108, 2.83, 0.00, 0, 2520 |
| 262 | barnes, sn-0.6.0-memcpy-checks, 02.86, 65608, 2.82, 0.03, 0, 2834 |
| 263 | barnes, je, 02.85, 76636, 2.83, 0.02, 0, 2547 |
| 264 | barnes, scudo, 02.89, 64112, 2.86, 0.02, 0, 3516 |
| 265 | barnes, smi, 02.95, 66948, 2.93, 0.01, 0, 2662 |
| 266 | espresso, mi, 05.16, 8228, 5.13, 0.02, 0, 176 |
| 267 | espresso, sn-0.6.0-full-checks, 05.24, 12608, 5.22, 0.02, 0, 748 |
| 268 | espresso, sn-0.6.0, 05.11, 6328, 5.07, 0.03, 0, 661 |
| 269 | espresso, sn-0.5.3, 05.14, 10392, 5.10, 0.03, 0, 414 |
| 270 | espresso, sn-0.6.0-memcpy-checks, 05.14, 6412, 5.11, 0.02, 0, 659 |
| 271 | espresso, je, 05.53, 11876, 5.49, 0.04, 0, 334 |
| 272 | espresso, scudo, 06.10, 5000, 6.07, 0.03, 0, 648 |
| 273 | espresso, smi, 05.48, 6748, 5.46, 0.02, 0, 289 |
| 274 | z3, mi, 01.18, 71260, 1.16, 0.02, 0, 458 |
| 275 | z3, sn-0.6.0-full-checks, 01.18, 72220, 1.17, 0.01, 0, 772 |
| 276 | z3, sn-0.6.0, 01.17, 66052, 1.17, 0.00, 0, 734 |
| 277 | z3, sn-0.5.3, 01.16, 73748, 1.15, 0.01, 0, 566 |
| 278 | z3, sn-0.6.0-memcpy-checks, 01.17, 66104, 1.15, 0.01, 0, 738 |
| 279 | z3, je, 01.17, 65920, 1.16, 0.01, 0, 2771 |
| 280 | z3, scudo, 01.27, 55960, 1.24, 0.02, 0, 8678 |
| 281 | z3, smi, 01.23, 65724, 1.21, 0.02, 0, 3728 |
| 282 | gs, mi, 01.15, 57376, 1.12, 0.03, 0, 1655 |
| 283 | gs, sn-0.6.0-full-checks, 01.19, 56208, 1.15, 0.03, 0, 1961 |
| 284 | gs, sn-0.6.0, 01.17, 48216, 1.14, 0.01, 0, 1999 |
| 285 | gs, sn-0.5.3, 01.16, 56052, 1.15, 0.01, 0, 1871 |
| 286 | gs, sn-0.6.0-memcpy-checks, 01.17, 48108, 1.13, 0.04, 0, 1997 |
| 287 | gs, je, 01.18, 53792, 1.16, 0.01, 0, 3727 |
| 288 | gs, scudo, 01.20, 41180, 1.17, 0.03, 0, 17107 |
| 289 | gs, smi, 01.18, 56612, 1.15, 0.03, 0, 4610 |
| 290 | redis, mi, 4.314, 35176, 1.85, 0.31, 0, 8029 |
| 291 | redis, sn-0.6.0-full-checks, 4.369, 33168, 1.79, 0.40, 0, 8840 |
| 292 | redis, sn-0.6.0, 4.248, 30392, 1.74, 0.40, 0, 8556 |
| 293 | redis, sn-0.5.3, 4.271, 37064, 1.74, 0.41, 0, 6995 |
| 294 | redis, sn-0.6.0-memcpy-checks, 4.265, 30460, 1.72, 0.42, 0, 8543 |
| 295 | redis, je, 4.991, 36876, 2.10, 0.40, 0, 6772 |
| 296 | redis, scudo, 5.188, 38000, 2.16, 0.45, 0, 9878 |
| 297 | redis, smi, 4.662, 35452, 2.03, 0.31, 0, 8040 |
| 298 | cfrac, mi, 06.52, 4588, 6.52, 0.00, 0, 185 |
| 299 | cfrac, sn-0.6.0-full-checks, 06.76, 3580, 6.76, 0.00, 0, 497 |
| 300 | cfrac, sn-0.6.0, 06.39, 3272, 6.39, 0.00, 0, 429 |
| 301 | cfrac, sn-0.5.3, 06.46, 8348, 6.45, 0.00, 0, 445 |
| 302 | cfrac, sn-0.6.0-memcpy-checks, 06.28, 3336, 6.27, 0.00, 0, 432 |
| 303 | cfrac, je, 06.63, 10056, 6.63, 0.00, 0, 271 |
| 304 | cfrac, scudo, 08.39, 4564, 8.39, 0.00, 0, 608 |
| 305 | cfrac, smi, 07.07, 4604, 7.07, 0.00, 0, 182 |
| 306 | leanN, mi, 25.77, 579000, 97.39, 1.21, 0, 226057 |
| 307 | leanN, sn-0.6.0-full-checks, 26.67, 671232, 102.70, 1.00, 0, 13239 |
| 308 | leanN, sn-0.6.0, 26.24, 529888, 103.74, 0.90, 0, 10606 |
| 309 | leanN, sn-0.5.3, 25.31, 555048, 95.87, 0.90, 0, 3509 |
| 310 | leanN, sn-0.6.0-memcpy-checks, 25.95, 534752, 101.70, 0.95, 0, 11941 |
| 311 | leanN, je, 25.51, 520756, 95.50, 1.06, 0, 164558 |
| 312 | leanN, scudo, 32.49, 589876, 116.58, 1.64, 0, 607090 |
| 313 | leanN, smi, 27.65, 627320, 100.04, 2.02, 0, 363186 |
| 314 | sed, mi, 01.73, 326428, 1.67, 0.06, 0, 403 |
| 315 | sed, sn-0.6.0-full-checks, 01.75, 351632, 1.63, 0.11, 0, 1713 |
| 316 | sed, sn-0.6.0, 01.73, 342732, 1.66, 0.06, 0, 1477 |
| 317 | sed, sn-0.5.3, 01.72, 310300, 1.65, 0.07, 0, 685 |
| 318 | sed, sn-0.6.0-memcpy-checks, 01.73, 342804, 1.64, 0.08, 0, 1476 |
| 319 | sed, je, 01.73, 295712, 1.65, 0.08, 0, 9184 |
| 320 | sed, scudo, 01.82, 245648, 1.69, 0.11, 0, 60799 |
| 321 | sed, smi, 01.82, 316576, 1.71, 0.11, 0, 34234 |
| 322 | barnes, mi, 02.84, 66972, 2.83, 0.01, 0, 2465 |
| 323 | barnes, sn-0.6.0-full-checks, 02.88, 65700, 2.86, 0.02, 0, 2854 |
| 324 | barnes, sn-0.6.0, 02.86, 65660, 2.85, 0.01, 0, 2839 |
| 325 | barnes, sn-0.5.3, 02.94, 70008, 2.93, 0.00, 0, 2522 |
| 326 | barnes, sn-0.6.0-memcpy-checks, 02.86, 65604, 2.84, 0.01, 0, 2841 |
| 327 | barnes, je, 02.86, 76672, 2.84, 0.01, 0, 2550 |
| 328 | barnes, scudo, 02.90, 64096, 2.88, 0.01, 0, 3531 |
| 329 | barnes, smi, 02.92, 66776, 2.90, 0.01, 0, 2661 |
| 330 | espresso, mi, 05.19, 8220, 5.17, 0.02, 0, 172 |
| 331 | espresso, sn-0.6.0-full-checks, 05.33, 12760, 5.29, 0.04, 0, 726 |
| 332 | espresso, sn-0.6.0, 05.21, 6272, 5.18, 0.03, 0, 660 |
| 333 | espresso, sn-0.5.3, 05.15, 10252, 5.13, 0.01, 0, 413 |
| 334 | espresso, sn-0.6.0-memcpy-checks, 05.14, 6440, 5.12, 0.02, 0, 661 |
| 335 | espresso, je, 05.43, 9908, 5.39, 0.04, 0, 332 |
| 336 | espresso, scudo, 06.03, 4884, 6.00, 0.02, 0, 642 |
| 337 | espresso, smi, 05.48, 6680, 5.44, 0.03, 0, 287 |
| 338 | z3, mi, 01.18, 71236, 1.17, 0.01, 0, 458 |
| 339 | z3, sn-0.6.0-full-checks, 01.17, 70276, 1.16, 0.00, 0, 767 |
| 340 | z3, sn-0.6.0, 01.17, 65988, 1.14, 0.02, 0, 733 |
| 341 | z3, sn-0.5.3, 01.17, 73808, 1.15, 0.01, 0, 571 |
| 342 | z3, sn-0.6.0-memcpy-checks, 01.16, 66264, 1.14, 0.02, 0, 740 |
| 343 | z3, je, 01.18, 65916, 1.17, 0.01, 0, 2774 |
| 344 | z3, scudo, 01.25, 56064, 1.23, 0.02, 0, 8664 |
| 345 | z3, smi, 01.23, 66032, 1.21, 0.01, 0, 3809 |
| 346 | gs, mi, 01.17, 57300, 1.15, 0.01, 0, 1658 |
| 347 | gs, sn-0.6.0-full-checks, 01.19, 54364, 1.15, 0.03, 0, 2014 |
| 348 | gs, sn-0.6.0, 01.16, 48528, 1.13, 0.03, 0, 1997 |
| 349 | gs, sn-0.5.3, 01.16, 56216, 1.14, 0.02, 0, 1872 |
| 350 | gs, sn-0.6.0-memcpy-checks, 01.18, 48464, 1.14, 0.04, 0, 1999 |
| 351 | gs, je, 01.18, 53628, 1.16, 0.02, 0, 3712 |
| 352 | gs, scudo, 01.20, 41440, 1.14, 0.06, 0, 17166 |
| 353 | gs, smi, 01.18, 57068, 1.15, 0.03, 0, 4675 |
| 354 | redis, mi, 4.288, 35248, 1.74, 0.42, 0, 8036 |
| 355 | redis, sn-0.6.0-full-checks, 4.343, 33512, 1.90, 0.29, 0, 9002 |
| 356 | redis, sn-0.6.0, 4.203, 30428, 1.78, 0.34, 0, 8564 |
| 357 | redis, sn-0.5.3, 4.224, 37128, 1.74, 0.38, 0, 7520 |
| 358 | redis, sn-0.6.0-memcpy-checks, 4.229, 30404, 1.71, 0.42, 0, 8564 |
| 359 | redis, je, 5.033, 36940, 2.16, 0.36, 0, 6761 |
| 360 | redis, scudo, 5.361, 37964, 2.31, 0.38, 0, 9853 |
| 361 | redis, smi, 4.665, 35436, 1.91, 0.43, 0, 8032 |
| 362 | cfrac, mi, 06.31, 4460, 6.30, 0.00, 0, 180 |
| 363 | cfrac, sn-0.6.0-full-checks, 06.60, 3596, 6.60, 0.00, 0, 507 |
| 364 | cfrac, sn-0.6.0, 06.23, 3276, 6.23, 0.00, 0, 431 |
| 365 | cfrac, sn-0.5.3, 06.30, 8292, 6.30, 0.00, 0, 445 |
| 366 | cfrac, sn-0.6.0-memcpy-checks, 06.24, 3336, 6.24, 0.00, 0, 430 |
| 367 | cfrac, je, 06.67, 9996, 6.66, 0.00, 0, 270 |
| 368 | cfrac, scudo, 08.64, 4756, 8.63, 0.00, 0, 613 |
| 369 | cfrac, smi, 07.18, 4572, 7.18, 0.00, 0, 184 |
| 370 | leanN, mi, 26.23, 583088, 100.11, 1.16, 2, 161724 |
| 371 | leanN, sn-0.6.0-full-checks, 26.23, 673484, 100.36, 0.96, 0, 12775 |
| 372 | leanN, sn-0.6.0, 27.12, 530604, 108.73, 1.00, 0, 12559 |
| 373 | leanN, sn-0.5.3, 27.30, 526460, 106.32, 0.96, 0, 2879 |
| 374 | leanN, sn-0.6.0-memcpy-checks, 26.90, 518652, 106.80, 0.83, 0, 11945 |
| 375 | leanN, je, 26.70, 513676, 103.21, 0.97, 0, 78470 |
| 376 | leanN, scudo, 33.24, 625584, 121.33, 1.88, 0, 656737 |
| 377 | leanN, smi, 27.25, 617944, 97.77, 2.02, 0, 449513 |
| 378 | sed, mi, 01.75, 324396, 1.69, 0.05, 0, 402 |
| 379 | sed, sn-0.6.0-full-checks, 01.74, 349496, 1.65, 0.09, 0, 1693 |
| 380 | sed, sn-0.6.0, 01.73, 342848, 1.64, 0.09, 0, 1474 |
| 381 | sed, sn-0.5.3, 01.72, 310416, 1.64, 0.07, 0, 686 |
| 382 | sed, sn-0.6.0-memcpy-checks, 01.74, 342748, 1.66, 0.07, 0, 1482 |
| 383 | sed, je, 01.74, 295408, 1.65, 0.09, 0, 9194 |
| 384 | sed, scudo, 01.81, 245432, 1.69, 0.12, 0, 60798 |
| 385 | sed, smi, 01.80, 316564, 1.69, 0.11, 0, 34217 |
| 386 | barnes, mi, 02.90, 66824, 2.87, 0.02, 0, 2463 |
| 387 | barnes, sn-0.6.0-full-checks, 02.94, 65752, 2.90, 0.03, 0, 2856 |
| 388 | barnes, sn-0.6.0, 02.93, 65796, 2.92, 0.01, 0, 2844 |
| 389 | barnes, sn-0.5.3, 02.87, 70156, 2.85, 0.02, 0, 2519 |
| 390 | barnes, sn-0.6.0-memcpy-checks, 02.85, 65648, 2.82, 0.02, 0, 2844 |
| 391 | barnes, je, 02.85, 76616, 2.83, 0.01, 0, 2551 |
| 392 | barnes, scudo, 02.92, 64456, 2.89, 0.03, 0, 3607 |
| 393 | barnes, smi, 02.91, 66984, 2.89, 0.02, 0, 2659 |
| 394 | espresso, mi, 05.17, 8224, 5.15, 0.01, 0, 176 |
| 395 | espresso, sn-0.6.0-full-checks, 05.25, 12740, 5.22, 0.02, 0, 734 |
| 396 | espresso, sn-0.6.0, 05.11, 6256, 5.11, 0.00, 0, 658 |
| 397 | espresso, sn-0.5.3, 05.13, 10420, 5.09, 0.03, 0, 414 |
| 398 | espresso, sn-0.6.0-memcpy-checks, 05.12, 6548, 5.08, 0.04, 0, 663 |
| 399 | espresso, je, 05.44, 10148, 5.42, 0.02, 0, 307 |
| 400 | espresso, scudo, 06.05, 4992, 6.03, 0.02, 0, 642 |
| 401 | espresso, smi, 05.45, 6684, 5.43, 0.02, 0, 289 |
| 402 | z3, mi, 01.18, 71336, 1.16, 0.02, 0, 456 |
| 403 | z3, sn-0.6.0-full-checks, 01.18, 70424, 1.16, 0.01, 0, 759 |
| 404 | z3, sn-0.6.0, 01.16, 66164, 1.15, 0.01, 0, 739 |
| 405 | z3, sn-0.5.3, 01.16, 73580, 1.14, 0.02, 0, 565 |
| 406 | z3, sn-0.6.0-memcpy-checks, 01.17, 66016, 1.15, 0.01, 0, 742 |
| 407 | z3, je, 01.19, 66028, 1.16, 0.02, 0, 2773 |
| 408 | z3, scudo, 01.24, 56172, 1.22, 0.01, 0, 8145 |
| 409 | z3, smi, 01.23, 65560, 1.20, 0.03, 0, 3753 |
| 410 | gs, mi, 01.15, 57368, 1.13, 0.02, 0, 1657 |
| 411 | gs, sn-0.6.0-full-checks, 01.19, 53812, 1.17, 0.01, 0, 1939 |
| 412 | gs, sn-0.6.0, 01.17, 48532, 1.15, 0.01, 0, 1993 |
| 413 | gs, sn-0.5.3, 01.15, 56056, 1.12, 0.02, 0, 1876 |
| 414 | gs, sn-0.6.0-memcpy-checks, 01.17, 48452, 1.13, 0.03, 0, 1998 |
| 415 | gs, je, 01.18, 53568, 1.13, 0.05, 0, 3723 |
| 416 | gs, scudo, 01.20, 41540, 1.16, 0.03, 0, 17162 |
| 417 | gs, smi, 01.19, 57140, 1.16, 0.02, 0, 4643 |
| 418 | redis, mi, 4.308, 35204, 1.77, 0.39, 0, 8019 |
| 419 | redis, sn-0.6.0-full-checks, 4.392, 33984, 1.86, 0.35, 0, 9164 |
| 420 | redis, sn-0.6.0, 4.196, 30348, 1.74, 0.37, 0, 8562 |
| 421 | redis, sn-0.5.3, 4.389, 37100, 1.73, 0.47, 0, 7100 |
| 422 | redis, sn-0.6.0-memcpy-checks, 4.328, 30368, 1.83, 0.34, 0, 8531 |
| 423 | redis, je, 4.989, 36816, 2.17, 0.33, 0, 6756 |
| 424 | redis, scudo, 5.182, 37880, 2.22, 0.39, 0, 9882 |
| 425 | redis, smi, 4.593, 35444, 1.88, 0.43, 0, 8057 |
| 426 | cfrac, mi, 06.29, 4480, 6.29, 0.00, 0, 183 |
| 427 | cfrac, sn-0.6.0-full-checks, 06.61, 3664, 6.61, 0.00, 0, 512 |
| 428 | cfrac, sn-0.6.0, 06.25, 3328, 6.25, 0.00, 0, 431 |
| 429 | cfrac, sn-0.5.3, 06.36, 8348, 6.36, 0.00, 0, 445 |
| 430 | cfrac, sn-0.6.0-memcpy-checks, 06.25, 3340, 6.25, 0.00, 0, 430 |
| 431 | cfrac, je, 06.63, 10000, 6.62, 0.00, 0, 270 |
| 432 | cfrac, scudo, 08.40, 4564, 8.39, 0.00, 0, 610 |
| 433 | cfrac, smi, 07.00, 4604, 7.00, 0.00, 0, 183 |
| 434 | leanN, mi, 26.14, 585036, 100.89, 1.35, 0, 185556 |
| 435 | leanN, sn-0.6.0-full-checks, 27.06, 681168, 105.03, 1.04, 0, 11898 |
| 436 | leanN, sn-0.6.0, 26.39, 518364, 104.78, 0.84, 0, 11801 |
| 437 | leanN, sn-0.5.3, 26.22, 540668, 102.18, 0.90, 0, 3315 |
| 438 | leanN, sn-0.6.0-memcpy-checks, 25.73, 544584, 100.10, 0.90, 0, 13151 |
| 439 | leanN, je, 26.63, 489512, 103.36, 1.12, 0, 178461 |
| 440 | leanN, scudo, 32.24, 586964, 116.42, 1.71, 4, 656609 |
| 441 | leanN, smi, 27.36, 612228, 98.39, 1.86, 3, 411598 |
| 442 | sed, mi, 01.75, 326444, 1.66, 0.08, 0, 398 |
| 443 | sed, sn-0.6.0-full-checks, 01.79, 347472, 1.72, 0.06, 0, 1697 |
| 444 | sed, sn-0.6.0, 01.76, 342848, 1.68, 0.07, 0, 1478 |
| 445 | sed, sn-0.5.3, 01.78, 310088, 1.68, 0.09, 0, 679 |
| 446 | sed, sn-0.6.0-memcpy-checks, 01.74, 342872, 1.63, 0.10, 0, 1479 |
| 447 | sed, je, 01.76, 295512, 1.69, 0.07, 0, 9198 |
| 448 | sed, scudo, 01.83, 245376, 1.73, 0.09, 0, 60796 |
| 449 | sed, smi, 01.81, 315884, 1.69, 0.11, 0, 34061 |
| 450 | barnes, mi, 02.88, 66716, 2.86, 0.02, 0, 2461 |
| 451 | barnes, sn-0.6.0-full-checks, 02.91, 65776, 2.88, 0.02, 0, 2856 |
| 452 | barnes, sn-0.6.0, 02.86, 65636, 2.85, 0.01, 0, 2847 |
| 453 | barnes, sn-0.5.3, 02.88, 69948, 2.85, 0.02, 0, 2519 |
| 454 | barnes, sn-0.6.0-memcpy-checks, 02.86, 65648, 2.84, 0.02, 0, 2848 |
| 455 | barnes, je, 02.89, 76676, 2.87, 0.01, 0, 2546 |
| 456 | barnes, scudo, 02.91, 61900, 2.89, 0.01, 0, 3644 |
| 457 | barnes, smi, 02.95, 66896, 2.94, 0.00, 0, 2657 |
| 458 | espresso, mi, 05.20, 8260, 5.18, 0.01, 0, 174 |
| 459 | espresso, sn-0.6.0-full-checks, 05.28, 12608, 5.27, 0.01, 0, 736 |
| 460 | espresso, sn-0.6.0, 05.12, 6268, 5.09, 0.03, 0, 659 |
| 461 | espresso, sn-0.5.3, 05.16, 10328, 5.14, 0.01, 0, 413 |
| 462 | espresso, sn-0.6.0-memcpy-checks, 05.12, 6428, 5.10, 0.02, 0, 657 |
| 463 | espresso, je, 05.49, 9904, 5.47, 0.01, 0, 346 |
| 464 | espresso, scudo, 06.05, 4884, 6.02, 0.02, 0, 632 |
| 465 | espresso, smi, 05.50, 6684, 5.46, 0.03, 0, 284 |
| 466 | z3, mi, 01.19, 71380, 1.17, 0.02, 0, 459 |
| 467 | z3, sn-0.6.0-full-checks, 01.18, 70388, 1.15, 0.02, 0, 768 |
| 468 | z3, sn-0.6.0, 01.18, 66116, 1.17, 0.00, 0, 738 |
| 469 | z3, sn-0.5.3, 01.16, 73572, 1.14, 0.01, 0, 562 |
| 470 | z3, sn-0.6.0-memcpy-checks, 01.17, 66184, 1.15, 0.01, 0, 741 |
| 471 | z3, je, 01.19, 65840, 1.16, 0.02, 0, 2772 |
| 472 | z3, scudo, 01.26, 56180, 1.25, 0.01, 0, 8670 |
| 473 | z3, smi, 01.25, 65808, 1.23, 0.01, 0, 3798 |
| 474 | gs, mi, 01.16, 57188, 1.14, 0.02, 0, 1655 |
| 475 | gs, sn-0.6.0-full-checks, 01.18, 54236, 1.16, 0.02, 0, 1958 |
| 476 | gs, sn-0.6.0, 01.18, 48488, 1.16, 0.02, 0, 2000 |
| 477 | gs, sn-0.5.3, 01.16, 56172, 1.13, 0.03, 0, 1872 |
| 478 | gs, sn-0.6.0-memcpy-checks, 01.19, 48188, 1.15, 0.04, 0, 2000 |
| 479 | gs, je, 01.20, 53220, 1.15, 0.04, 0, 3711 |
| 480 | gs, scudo, 01.21, 41180, 1.15, 0.06, 0, 17153 |
| 481 | gs, smi, 01.20, 57036, 1.16, 0.04, 0, 4612 |
| 482 | redis, mi, 4.340, 35184, 1.79, 0.39, 0, 8010 |
| 483 | redis, sn-0.6.0-full-checks, 4.403, 33604, 1.88, 0.33, 0, 9014 |
| 484 | redis, sn-0.6.0, 4.320, 30360, 1.80, 0.37, 0, 8539 |
| 485 | redis, sn-0.5.3, 4.348, 36980, 1.82, 0.36, 0, 7483 |
| 486 | redis, sn-0.6.0-memcpy-checks, 4.306, 30440, 1.81, 0.35, 0, 8542 |
| 487 | redis, je, 5.087, 36972, 2.19, 0.36, 0, 6784 |
| 488 | redis, scudo, 5.234, 37924, 2.22, 0.41, 0, 9880 |
| 489 | redis, smi, 4.690, 35696, 1.92, 0.44, 0, 8085 |
| 490 | cfrac, mi, 06.33, 4496, 6.33, 0.00, 0, 186 |
| 491 | cfrac, sn-0.6.0-full-checks, 06.62, 3576, 6.62, 0.00, 0, 495 |
| 492 | cfrac, sn-0.6.0, 06.27, 3336, 6.27, 0.00, 0, 435 |
| 493 | cfrac, sn-0.5.3, 06.32, 8408, 6.32, 0.00, 0, 448 |
| 494 | cfrac, sn-0.6.0-memcpy-checks, 06.27, 3376, 6.27, 0.00, 0, 434 |
| 495 | cfrac, je, 06.66, 10104, 6.65, 0.00, 0, 271 |
| 496 | cfrac, scudo, 08.43, 4656, 8.42, 0.00, 0, 611 |
| 497 | cfrac, smi, 07.06, 4636, 7.06, 0.00, 0, 183 |
| 498 | leanN, mi, 26.72, 595404, 103.20, 1.25, 3, 232568 |
| 499 | leanN, sn-0.6.0-full-checks, 26.55, 655872, 101.70, 1.10, 0, 13236 |
| 500 | leanN, sn-0.6.0, 25.36, 534340, 98.64, 0.81, 0, 12637 |
| 501 | leanN, sn-0.5.3, 25.75, 549084, 98.06, 0.79, 0, 3423 |
| 502 | leanN, sn-0.6.0-memcpy-checks, 26.59, 534420, 106.42, 0.76, 0, 12479 |
| 503 | leanN, je, 26.02, 524788, 98.90, 1.07, 0, 140108 |
| 504 | leanN, scudo, 32.32, 617108, 115.04, 1.95, 3, 560579 |
| 505 | leanN, smi, 27.69, 626448, 100.56, 2.05, 0, 453730 |
| 506 | sed, mi, 01.75, 326400, 1.67, 0.07, 0, 404 |
| 507 | sed, sn-0.6.0-full-checks, 01.79, 347480, 1.70, 0.09, 0, 1697 |
| 508 | sed, sn-0.6.0, 01.76, 342736, 1.66, 0.09, 0, 1478 |
| 509 | sed, sn-0.5.3, 01.76, 310376, 1.70, 0.05, 0, 681 |
| 510 | sed, sn-0.6.0-memcpy-checks, 01.79, 342792, 1.69, 0.10, 0, 1477 |
| 511 | sed, je, 01.75, 294172, 1.65, 0.09, 0, 8283 |
| 512 | sed, scudo, 01.81, 245416, 1.69, 0.11, 0, 60794 |
| 513 | sed, smi, 01.82, 312476, 1.68, 0.13, 0, 33703 |
| 514 | barnes, mi, 02.86, 66764, 2.85, 0.01, 0, 2461 |
| 515 | barnes, sn-0.6.0-full-checks, 02.87, 65632, 2.85, 0.02, 0, 2855 |
| 516 | barnes, sn-0.6.0, 02.87, 65668, 2.84, 0.03, 0, 2837 |
| 517 | barnes, sn-0.5.3, 02.90, 70064, 2.87, 0.02, 0, 2525 |
| 518 | barnes, sn-0.6.0-memcpy-checks, 02.88, 65616, 2.87, 0.01, 0, 2841 |
| 519 | barnes, je, 02.85, 76744, 2.85, 0.00, 0, 2549 |
| 520 | barnes, scudo, 02.90, 63144, 2.88, 0.02, 0, 3502 |
| 521 | barnes, smi, 02.94, 66808, 2.90, 0.03, 0, 2660 |
| 522 | espresso, mi, 05.19, 8308, 5.17, 0.02, 0, 176 |
| 523 | espresso, sn-0.6.0-full-checks, 05.28, 12608, 5.25, 0.02, 0, 758 |
| 524 | espresso, sn-0.6.0, 05.13, 6236, 5.10, 0.02, 0, 656 |
| 525 | espresso, sn-0.5.3, 05.14, 10240, 5.10, 0.04, 0, 411 |
| 526 | espresso, sn-0.6.0-memcpy-checks, 05.12, 6240, 5.10, 0.02, 0, 655 |
| 527 | espresso, je, 05.45, 9860, 5.45, 0.00, 0, 336 |
| 528 | espresso, scudo, 06.02, 4804, 6.02, 0.00, 0, 640 |
| 529 | espresso, smi, 05.48, 6756, 5.45, 0.03, 0, 290 |
| 530 | z3, mi, 01.20, 71272, 1.18, 0.01, 0, 456 |
| 531 | z3, sn-0.6.0-full-checks, 01.19, 70156, 1.17, 0.01, 0, 765 |
| 532 | z3, sn-0.6.0, 01.17, 66192, 1.16, 0.00, 0, 737 |
| 533 | z3, sn-0.5.3, 01.17, 73556, 1.15, 0.01, 0, 562 |
| 534 | z3, sn-0.6.0-memcpy-checks, 01.18, 66120, 1.16, 0.02, 0, 731 |
| 535 | z3, je, 01.18, 65900, 1.17, 0.01, 0, 2771 |
| 536 | z3, scudo, 01.27, 56036, 1.26, 0.01, 0, 8678 |
| 537 | z3, smi, 01.23, 65884, 1.20, 0.02, 0, 3786 |
| 538 | gs, mi, 01.17, 57512, 1.15, 0.01, 0, 1655 |
| 539 | gs, sn-0.6.0-full-checks, 01.19, 54220, 1.15, 0.04, 0, 1945 |
| 540 | gs, sn-0.6.0, 01.17, 48364, 1.16, 0.01, 0, 1998 |
| 541 | gs, sn-0.5.3, 01.16, 56032, 1.14, 0.02, 0, 1876 |
| 542 | gs, sn-0.6.0-memcpy-checks, 01.19, 47984, 1.15, 0.03, 0, 1996 |
| 543 | gs, je, 01.20, 53552, 1.17, 0.03, 0, 3733 |
| 544 | gs, scudo, 01.22, 41524, 1.15, 0.06, 0, 17151 |
| 545 | gs, smi, 01.22, 56648, 1.18, 0.03, 0, 4597 |
| 546 | redis, mi, 4.380, 35048, 1.87, 0.33, 0, 8004 |
| 547 | redis, sn-0.6.0-full-checks, 4.406, 33720, 1.87, 0.35, 0, 9048 |
| 548 | redis, sn-0.6.0, 4.182, 30384, 1.72, 0.39, 0, 8574 |
| 549 | redis, sn-0.5.3, 4.314, 36988, 1.81, 0.36, 0, 7349 |
| 550 | redis, sn-0.6.0-memcpy-checks, 4.492, 30384, 1.88, 0.38, 0, 8479 |
| 551 | redis, je, 5.061, 36840, 2.14, 0.40, 0, 6776 |
| 552 | redis, scudo, 5.222, 37976, 2.24, 0.39, 0, 9876 |
| 553 | redis, smi, 4.618, 35384, 1.88, 0.44, 0, 8039 |
| 554 | cfrac, mi, 06.36, 4496, 6.35, 0.00, 0, 183 |
| 555 | cfrac, sn-0.6.0-full-checks, 06.62, 3672, 6.62, 0.00, 0, 512 |
| 556 | cfrac, sn-0.6.0, 06.27, 3332, 6.27, 0.00, 0, 436 |
| 557 | cfrac, sn-0.5.3, 06.34, 8424, 6.33, 0.00, 0, 446 |
| 558 | cfrac, sn-0.6.0-memcpy-checks, 06.28, 3376, 6.28, 0.00, 0, 434 |
| 559 | cfrac, je, 06.64, 10108, 6.64, 0.00, 0, 271 |
| 560 | cfrac, scudo, 08.56, 4644, 8.56, 0.00, 0, 610 |
| 561 | cfrac, smi, 07.06, 4496, 7.06, 0.00, 0, 184 |
| 562 | leanN, mi, 25.91, 597148, 98.60, 1.04, 0, 190255 |
| 563 | leanN, sn-0.6.0-full-checks, 27.77, 662424, 108.83, 0.93, 0, 13224 |
| 564 | leanN, sn-0.6.0, 24.73, 534340, 94.63, 0.75, 0, 13335 |
| 565 | leanN, sn-0.5.3, 26.49, 539092, 101.33, 0.99, 3, 3592 |
| 566 | leanN, sn-0.6.0-memcpy-checks, 26.56, 530728, 106.76, 0.88, 0, 12442 |
| 567 | leanN, je, 27.05, 504264, 103.22, 1.17, 0, 156329 |
| 568 | leanN, scudo, 32.94, 612364, 117.66, 2.10, 5, 805633 |
| 569 | leanN, smi, 27.56, 625856, 99.23, 1.87, 1, 381154 |
| 570 | sed, mi, 01.74, 326504, 1.66, 0.08, 0, 403 |
| 571 | sed, sn-0.6.0-full-checks, 01.74, 349428, 1.65, 0.08, 0, 1596 |
| 572 | sed, sn-0.6.0, 01.73, 342912, 1.64, 0.08, 0, 1475 |
| 573 | sed, sn-0.5.3, 01.72, 310300, 1.65, 0.07, 0, 679 |
| 574 | sed, sn-0.6.0-memcpy-checks, 01.73, 342796, 1.64, 0.09, 0, 1474 |
| 575 | sed, je, 01.74, 296120, 1.65, 0.09, 0, 8271 |
| 576 | sed, scudo, 01.82, 245408, 1.70, 0.12, 0, 60794 |
| 577 | sed, smi, 01.82, 312548, 1.70, 0.11, 0, 33757 |
| 578 | barnes, mi, 02.86, 66808, 2.84, 0.01, 0, 2465 |
| 579 | barnes, sn-0.6.0-full-checks, 02.86, 65732, 2.84, 0.02, 0, 2854 |
| 580 | barnes, sn-0.6.0, 02.86, 65640, 2.84, 0.02, 0, 2848 |
| 581 | barnes, sn-0.5.3, 02.86, 70068, 2.85, 0.01, 0, 2523 |
| 582 | barnes, sn-0.6.0-memcpy-checks, 02.92, 65608, 2.90, 0.02, 0, 2837 |
| 583 | barnes, je, 02.91, 76640, 2.88, 0.02, 0, 2547 |
| 584 | barnes, scudo, 02.92, 63716, 2.91, 0.00, 0, 3472 |
| 585 | barnes, smi, 02.93, 66852, 2.89, 0.03, 0, 2658 |
| 586 | espresso, mi, 05.19, 8316, 5.15, 0.03, 0, 172 |
| 587 | espresso, sn-0.6.0-full-checks, 05.27, 12808, 5.26, 0.00, 0, 733 |
| 588 | espresso, sn-0.6.0, 05.14, 6296, 5.10, 0.03, 0, 658 |
| 589 | espresso, sn-0.5.3, 05.15, 10352, 5.14, 0.01, 0, 415 |
| 590 | espresso, sn-0.6.0-memcpy-checks, 05.13, 6548, 5.11, 0.01, 0, 660 |
| 591 | espresso, je, 05.47, 9932, 5.44, 0.02, 0, 355 |
| 592 | espresso, scudo, 06.13, 4804, 6.12, 0.01, 0, 633 |
| 593 | espresso, smi, 05.50, 6692, 5.46, 0.04, 0, 288 |
| 594 | z3, mi, 01.20, 71152, 1.18, 0.01, 0, 456 |
| 595 | z3, sn-0.6.0-full-checks, 01.17, 70276, 1.15, 0.02, 0, 767 |
| 596 | z3, sn-0.6.0, 01.17, 66000, 1.14, 0.02, 0, 732 |
| 597 | z3, sn-0.5.3, 01.17, 73528, 1.15, 0.01, 0, 564 |
| 598 | z3, sn-0.6.0-memcpy-checks, 01.16, 65980, 1.16, 0.00, 0, 736 |
| 599 | z3, je, 01.19, 65772, 1.17, 0.01, 0, 2774 |
| 600 | z3, scudo, 01.26, 56280, 1.24, 0.01, 0, 8661 |
| 601 | z3, smi, 01.24, 65928, 1.22, 0.02, 0, 3817 |
| 602 | gs, mi, 01.17, 57516, 1.17, 0.00, 0, 1654 |
| 603 | gs, sn-0.6.0-full-checks, 01.19, 54336, 1.15, 0.03, 0, 1947 |
| 604 | gs, sn-0.6.0, 01.18, 48316, 1.14, 0.03, 0, 1996 |
| 605 | gs, sn-0.5.3, 01.17, 56208, 1.15, 0.02, 0, 1872 |
| 606 | gs, sn-0.6.0-memcpy-checks, 01.18, 48384, 1.16, 0.02, 0, 1997 |
| 607 | gs, je, 01.20, 53652, 1.18, 0.02, 0, 3718 |
| 608 | gs, scudo, 01.21, 41432, 1.18, 0.02, 0, 17155 |
| 609 | gs, smi, 01.19, 56816, 1.12, 0.06, 0, 4649 |
| 610 | redis, mi, 4.314, 35128, 1.80, 0.36, 0, 8009 |
| 611 | redis, sn-0.6.0-full-checks, 4.415, 33776, 1.86, 0.36, 0, 9147 |
| 612 | redis, sn-0.6.0, 4.239, 30492, 1.74, 0.39, 0, 8547 |
| 613 | redis, sn-0.5.3, 4.277, 36992, 1.79, 0.36, 0, 7345 |
| 614 | redis, sn-0.6.0-memcpy-checks, 4.320, 30388, 1.80, 0.37, 0, 8544 |
| 615 | redis, je, 5.188, 36876, 2.28, 0.32, 0, 6771 |
| 616 | redis, scudo, 5.231, 37984, 2.27, 0.36, 0, 9869 |
| 617 | redis, smi, 4.599, 35488, 1.92, 0.39, 0, 8062 |
| 618 | cfrac, mi, 06.39, 4496, 6.38, 0.00, 0, 182 |
| 619 | cfrac, sn-0.6.0-full-checks, 06.73, 3572, 6.73, 0.00, 0, 494 |
| 620 | cfrac, sn-0.6.0, 06.27, 3264, 6.26, 0.00, 0, 430 |
| 621 | cfrac, sn-0.5.3, 06.32, 8368, 6.32, 0.00, 0, 447 |
| 622 | cfrac, sn-0.6.0-memcpy-checks, 06.27, 3308, 6.27, 0.00, 0, 433 |
| 623 | cfrac, je, 06.68, 10028, 6.68, 0.00, 0, 271 |
| 624 | cfrac, scudo, 08.43, 4624, 8.43, 0.00, 0, 611 |
| 625 | cfrac, smi, 07.06, 4468, 7.06, 0.00, 0, 181 |
| 626 | leanN, mi, 25.73, 599228, 96.25, 1.11, 0, 222805 |
| 627 | leanN, sn-0.6.0-full-checks, 27.00, 657728, 104.05, 0.79, 0, 14663 |
| 628 | leanN, sn-0.6.0, 25.04, 538884, 96.63, 0.76, 0, 13205 |
| 629 | leanN, sn-0.5.3, 25.42, 542936, 96.17, 0.85, 0, 3418 |
| 630 | leanN, sn-0.6.0-memcpy-checks, 25.50, 536352, 99.48, 0.93, 0, 13333 |
| 631 | leanN, je, 26.47, 507228, 100.33, 0.96, 0, 126259 |
| 632 | leanN, scudo, 33.81, 608676, 124.38, 1.69, 0, 497025 |
| 633 | leanN, smi, 27.40, 612612, 100.31, 1.90, 0, 403445 |
| 634 | sed, mi, 01.74, 330548, 1.67, 0.07, 0, 406 |
| 635 | sed, sn-0.6.0-full-checks, 01.76, 347356, 1.66, 0.09, 0, 1590 |
| 636 | sed, sn-0.6.0, 01.73, 342812, 1.65, 0.08, 0, 1454 |
| 637 | sed, sn-0.5.3, 01.73, 310336, 1.66, 0.07, 0, 680 |
| 638 | sed, sn-0.6.0-memcpy-checks, 01.73, 342988, 1.64, 0.09, 0, 1481 |
| 639 | sed, je, 01.73, 295408, 1.63, 0.09, 0, 9187 |
| 640 | sed, scudo, 01.81, 245452, 1.70, 0.10, 0, 60797 |
| 641 | sed, smi, 01.81, 316720, 1.69, 0.11, 0, 34280 |
| 642 | barnes, mi, 02.85, 66840, 2.83, 0.01, 0, 2463 |
| 643 | barnes, sn-0.6.0-full-checks, 02.86, 65688, 2.84, 0.02, 0, 2855 |
| 644 | barnes, sn-0.6.0, 02.90, 65508, 2.89, 0.00, 0, 2839 |
| 645 | barnes, sn-0.5.3, 02.88, 70236, 2.87, 0.01, 0, 2521 |
| 646 | barnes, sn-0.6.0-memcpy-checks, 02.87, 65556, 2.85, 0.02, 0, 2842 |
| 647 | barnes, je, 02.87, 76584, 2.87, 0.00, 0, 2549 |
| 648 | barnes, scudo, 02.94, 61456, 2.92, 0.02, 0, 4264 |
| 649 | barnes, smi, 02.94, 66808, 2.92, 0.02, 0, 2657 |
| 650 | espresso, mi, 05.24, 8276, 5.20, 0.03, 0, 177 |
| 651 | espresso, sn-0.6.0-full-checks, 05.28, 12940, 5.26, 0.02, 0, 736 |
| 652 | espresso, sn-0.6.0, 05.13, 6432, 5.12, 0.01, 0, 659 |
| 653 | espresso, sn-0.5.3, 05.27, 10284, 5.25, 0.01, 0, 413 |
| 654 | espresso, sn-0.6.0-memcpy-checks, 05.26, 6440, 5.23, 0.02, 0, 659 |
| 655 | espresso, je, 05.47, 10276, 5.46, 0.01, 0, 295 |
| 656 | espresso, scudo, 06.03, 4980, 6.00, 0.03, 0, 639 |
| 657 | espresso, smi, 05.49, 6728, 5.47, 0.02, 0, 292 |
| 658 | z3, mi, 01.20, 71076, 1.18, 0.01, 0, 453 |
| 659 | z3, sn-0.6.0-full-checks, 01.18, 70316, 1.17, 0.01, 0, 764 |
| 660 | z3, sn-0.6.0, 01.17, 66128, 1.16, 0.01, 0, 734 |
| 661 | z3, sn-0.5.3, 01.16, 73644, 1.14, 0.02, 0, 564 |
| 662 | z3, sn-0.6.0-memcpy-checks, 01.18, 66176, 1.17, 0.01, 0, 738 |
| 663 | z3, je, 01.18, 65908, 1.17, 0.01, 0, 2770 |
| 664 | z3, scudo, 01.25, 56216, 1.23, 0.02, 0, 8662 |
| 665 | z3, smi, 01.23, 66256, 1.21, 0.02, 0, 3864 |
| 666 | gs, mi, 01.16, 57492, 1.13, 0.02, 0, 1655 |
| 667 | gs, sn-0.6.0-full-checks, 01.20, 54284, 1.17, 0.02, 0, 1957 |
| 668 | gs, sn-0.6.0, 01.18, 48284, 1.15, 0.02, 0, 1997 |
| 669 | gs, sn-0.5.3, 01.17, 55884, 1.13, 0.03, 0, 1869 |
| 670 | gs, sn-0.6.0-memcpy-checks, 01.18, 48476, 1.15, 0.02, 0, 2006 |
| 671 | gs, je, 01.19, 53308, 1.16, 0.02, 0, 3724 |
| 672 | gs, scudo, 01.20, 41576, 1.13, 0.06, 0, 17165 |
| 673 | gs, smi, 01.20, 57036, 1.17, 0.03, 0, 4615 |
| 674 | redis, mi, 4.314, 35236, 1.84, 0.33, 0, 8029 |
| 675 | redis, sn-0.6.0-full-checks, 4.645, 33244, 1.93, 0.41, 0, 8835 |
| 676 | redis, sn-0.6.0, 4.231, 30396, 1.68, 0.44, 0, 8561 |
| 677 | redis, sn-0.5.3, 4.289, 37040, 1.77, 0.38, 0, 6881 |
| 678 | redis, sn-0.6.0-memcpy-checks, 4.328, 30440, 1.79, 0.38, 0, 8532 |
| 679 | redis, je, 5.107, 36840, 2.19, 0.37, 0, 6749 |
| 680 | redis, scudo, 5.297, 37972, 2.29, 0.37, 0, 9852 |
| 681 | redis, smi, 4.717, 35384, 1.97, 0.40, 0, 8022 |
| 682 | cfrac, mi, 06.34, 4460, 6.34, 0.00, 0, 184 |
| 683 | cfrac, sn-0.6.0-full-checks, 06.62, 3600, 6.61, 0.00, 0, 494 |
| 684 | cfrac, sn-0.6.0, 06.26, 3312, 6.26, 0.00, 0, 432 |
| 685 | cfrac, sn-0.5.3, 06.36, 8408, 6.36, 0.00, 0, 447 |
| 686 | cfrac, sn-0.6.0-memcpy-checks, 06.27, 3336, 6.27, 0.00, 0, 429 |
| 687 | cfrac, je, 06.64, 10028, 6.64, 0.00, 0, 269 |
| 688 | cfrac, scudo, 08.45, 4648, 8.45, 0.00, 0, 611 |
| 689 | cfrac, smi, 07.02, 4488, 7.02, 0.00, 0, 177 |
| 690 | leanN, mi, 25.88, 585348, 97.10, 1.24, 4, 281872 |
| 691 | leanN, sn-0.6.0-full-checks, 26.70, 667524, 101.43, 0.87, 0, 12013 |
| 692 | leanN, sn-0.6.0, 24.98, 530168, 95.53, 0.83, 0, 12350 |
| 693 | leanN, sn-0.5.3, 25.63, 538804, 97.85, 0.82, 0, 3326 |
| 694 | leanN, sn-0.6.0-memcpy-checks, 25.23, 533980, 96.62, 0.83, 0, 12236 |
| 695 | leanN, je, 25.87, 521736, 96.91, 1.09, 0, 178770 |
| 696 | leanN, scudo, 32.13, 589304, 114.72, 1.66, 0, 541686 |
| 697 | leanN, smi, 27.63, 611432, 101.04, 1.79, 0, 402887 |
| 698 | sed, mi, 01.74, 324444, 1.63, 0.11, 0, 402 |
| 699 | sed, sn-0.6.0-full-checks, 01.74, 347576, 1.67, 0.07, 0, 1696 |
| 700 | sed, sn-0.6.0, 01.73, 342840, 1.63, 0.10, 0, 1475 |
| 701 | sed, sn-0.5.3, 01.74, 310300, 1.67, 0.06, 0, 679 |
| 702 | sed, sn-0.6.0-memcpy-checks, 01.73, 342752, 1.64, 0.09, 0, 1452 |
| 703 | sed, je, 01.74, 293788, 1.67, 0.07, 0, 8269 |
| 704 | sed, scudo, 01.83, 245484, 1.70, 0.12, 0, 60795 |
| 705 | sed, smi, 01.81, 316640, 1.71, 0.09, 0, 34248 |
| 706 | barnes, mi, 02.90, 66716, 2.88, 0.01, 0, 2461 |
| 707 | barnes, sn-0.6.0-full-checks, 02.87, 65668, 2.84, 0.03, 0, 2853 |
| 708 | barnes, sn-0.6.0, 02.86, 65600, 2.86, 0.00, 0, 2837 |
| 709 | barnes, sn-0.5.3, 02.85, 70236, 2.82, 0.02, 0, 2516 |
| 710 | barnes, sn-0.6.0-memcpy-checks, 02.87, 65572, 2.84, 0.02, 0, 2839 |
| 711 | barnes, je, 02.88, 76748, 2.86, 0.01, 0, 2547 |
| 712 | barnes, scudo, 02.95, 61908, 2.93, 0.01, 0, 4305 |
| 713 | barnes, smi, 02.94, 66940, 2.91, 0.02, 0, 2660 |
| 714 | espresso, mi, 05.18, 8312, 5.15, 0.03, 0, 174 |
| 715 | espresso, sn-0.6.0-full-checks, 05.28, 12644, 5.25, 0.02, 0, 736 |
| 716 | espresso, sn-0.6.0, 05.22, 6232, 5.19, 0.02, 0, 655 |
| 717 | espresso, sn-0.5.3, 05.26, 10352, 5.21, 0.04, 0, 414 |
| 718 | espresso, sn-0.6.0-memcpy-checks, 05.20, 6260, 5.17, 0.02, 0, 656 |
| 719 | espresso, je, 05.47, 9972, 5.45, 0.02, 0, 307 |
| 720 | espresso, scudo, 06.04, 4980, 5.99, 0.04, 0, 644 |
| 721 | espresso, smi, 05.49, 6640, 5.47, 0.02, 0, 286 |
| 722 | z3, mi, 01.20, 71316, 1.19, 0.00, 0, 460 |
| 723 | z3, sn-0.6.0-full-checks, 01.18, 72472, 1.16, 0.02, 0, 780 |
| 724 | z3, sn-0.6.0, 01.16, 66120, 1.14, 0.02, 0, 733 |
| 725 | z3, sn-0.5.3, 01.17, 73692, 1.16, 0.01, 0, 563 |
| 726 | z3, sn-0.6.0-memcpy-checks, 01.17, 66212, 1.15, 0.01, 0, 737 |
| 727 | z3, je, 01.19, 65768, 1.17, 0.01, 0, 2772 |
| 728 | z3, scudo, 01.25, 56092, 1.23, 0.02, 0, 8666 |
| 729 | z3, smi, 01.24, 65416, 1.21, 0.02, 0, 3713 |
| 730 | gs, mi, 01.18, 57324, 1.14, 0.03, 0, 1650 |
| 731 | gs, sn-0.6.0-full-checks, 01.18, 54196, 1.17, 0.01, 0, 1955 |
| 732 | gs, sn-0.6.0, 01.17, 48504, 1.15, 0.02, 0, 1996 |
| 733 | gs, sn-0.5.3, 01.17, 56216, 1.14, 0.02, 0, 1869 |
| 734 | gs, sn-0.6.0-memcpy-checks, 01.17, 48144, 1.15, 0.02, 0, 1997 |
| 735 | gs, je, 01.20, 53332, 1.17, 0.02, 0, 3721 |
| 736 | gs, scudo, 01.21, 41008, 1.17, 0.04, 0, 17108 |
| 737 | gs, smi, 01.19, 57232, 1.16, 0.03, 0, 4622 |
| 738 | redis, mi, 4.669, 35204, 1.98, 0.37, 0, 7916 |
| 739 | redis, sn-0.6.0-full-checks, 4.429, 33292, 1.83, 0.40, 0, 8884 |
| 740 | redis, sn-0.6.0, 4.189, 30384, 1.69, 0.41, 0, 8580 |
| 741 | redis, sn-0.5.3, 4.263, 36996, 1.75, 0.39, 0, 7261 |
| 742 | redis, sn-0.6.0-memcpy-checks, 4.289, 30472, 1.78, 0.37, 0, 8542 |
| 743 | redis, je, 5.073, 36820, 2.24, 0.31, 0, 6761 |
| 744 | redis, scudo, 5.271, 37924, 2.22, 0.42, 0, 9862 |
| 745 | redis, smi, 4.612, 35620, 1.94, 0.38, 0, 8048 |
| 746 | cfrac, mi, 06.36, 4408, 6.36, 0.00, 0, 181 |
| 747 | cfrac, sn-0.6.0-full-checks, 06.71, 3668, 6.70, 0.00, 0, 511 |
| 748 | cfrac, sn-0.6.0, 06.43, 3328, 6.43, 0.00, 0, 434 |
| 749 | cfrac, sn-0.5.3, 06.38, 8252, 6.37, 0.00, 0, 442 |
| 750 | cfrac, sn-0.6.0-memcpy-checks, 06.27, 3420, 6.26, 0.00, 0, 435 |
| 751 | cfrac, je, 06.65, 10024, 6.65, 0.00, 0, 271 |
| 752 | cfrac, scudo, 08.45, 4568, 8.44, 0.00, 0, 610 |
| 753 | cfrac, smi, 07.07, 4580, 7.07, 0.00, 0, 180 |
| 754 | leanN, mi, 25.42, 592852, 95.62, 1.14, 0, 239072 |
| 755 | leanN, sn-0.6.0-full-checks, 26.04, 680596, 99.47, 0.93, 0, 14036 |
| 756 | leanN, sn-0.6.0, 25.93, 546076, 101.21, 0.89, 0, 12098 |
| 757 | leanN, sn-0.5.3, 25.65, 530420, 97.33, 0.95, 0, 3349 |
| 758 | leanN, sn-0.6.0-memcpy-checks, 24.51, 522388, 93.95, 0.87, 0, 11928 |
| 759 | leanN, je, 25.38, 538536, 95.43, 0.90, 0, 84230 |
| 760 | leanN, scudo, 32.97, 591284, 118.01, 1.87, 0, 721248 |
| 761 | leanN, smi, 28.42, 620424, 105.04, 1.68, 0, 232111 |
| 762 | sed, mi, 01.73, 326448, 1.65, 0.08, 0, 404 |
| 763 | sed, sn-0.6.0-full-checks, 01.74, 347564, 1.63, 0.10, 0, 1649 |
| 764 | sed, sn-0.6.0, 01.73, 342820, 1.59, 0.13, 0, 1454 |
| 765 | sed, sn-0.5.3, 01.73, 310348, 1.65, 0.07, 0, 685 |
| 766 | sed, sn-0.6.0-memcpy-checks, 01.72, 342740, 1.64, 0.08, 0, 1472 |
| 767 | sed, je, 01.75, 300848, 1.66, 0.08, 0, 7482 |
| 768 | sed, scudo, 01.80, 245376, 1.68, 0.11, 0, 60799 |
| 769 | sed, smi, 01.81, 316680, 1.66, 0.14, 0, 34248 |
| 770 | barnes, mi, 02.87, 66904, 2.84, 0.03, 0, 2463 |
| 771 | barnes, sn-0.6.0-full-checks, 02.87, 65620, 2.83, 0.03, 0, 2851 |
| 772 | barnes, sn-0.6.0, 02.84, 65664, 2.83, 0.01, 0, 2834 |
| 773 | barnes, sn-0.5.3, 02.92, 70236, 2.89, 0.02, 0, 2525 |
| 774 | barnes, sn-0.6.0-memcpy-checks, 02.86, 65616, 2.84, 0.02, 0, 2829 |
| 775 | barnes, je, 02.85, 76700, 2.83, 0.01, 0, 2550 |
| 776 | barnes, scudo, 02.95, 61764, 2.93, 0.01, 0, 4295 |
| 777 | barnes, smi, 02.98, 66920, 2.95, 0.02, 0, 2657 |
| 778 | espresso, mi, 05.20, 8316, 5.16, 0.04, 0, 175 |
| 779 | espresso, sn-0.6.0-full-checks, 05.29, 12660, 5.27, 0.01, 0, 729 |
| 780 | espresso, sn-0.6.0, 05.24, 6204, 5.21, 0.03, 0, 658 |
| 781 | espresso, sn-0.5.3, 05.26, 10276, 5.23, 0.03, 0, 408 |
| 782 | espresso, sn-0.6.0-memcpy-checks, 05.16, 6336, 5.14, 0.01, 0, 658 |
| 783 | espresso, je, 05.45, 9988, 5.41, 0.03, 0, 280 |
| 784 | espresso, scudo, 06.04, 4780, 6.01, 0.03, 0, 641 |
| 785 | espresso, smi, 05.53, 6620, 5.52, 0.00, 0, 290 |
| 786 | z3, mi, 01.21, 71204, 1.19, 0.02, 0, 461 |
| 787 | z3, sn-0.6.0-full-checks, 01.19, 70084, 1.17, 0.01, 0, 759 |
| 788 | z3, sn-0.6.0, 01.16, 66120, 1.14, 0.01, 0, 732 |
| 789 | z3, sn-0.5.3, 01.17, 73648, 1.16, 0.01, 0, 569 |
| 790 | z3, sn-0.6.0-memcpy-checks, 01.18, 66124, 1.17, 0.01, 0, 734 |
| 791 | z3, je, 01.19, 65748, 1.17, 0.01, 0, 2768 |
| 792 | z3, scudo, 01.25, 56248, 1.23, 0.01, 0, 8657 |
| 793 | z3, smi, 01.23, 65568, 1.19, 0.03, 0, 3746 |
| 794 | gs, mi, 01.17, 57032, 1.13, 0.03, 0, 1650 |
| 795 | gs, sn-0.6.0-full-checks, 01.18, 54320, 1.17, 0.01, 0, 1964 |
| 796 | gs, sn-0.6.0, 01.18, 48436, 1.16, 0.02, 0, 1994 |
| 797 | gs, sn-0.5.3, 01.18, 56084, 1.14, 0.03, 0, 1874 |
| 798 | gs, sn-0.6.0-memcpy-checks, 01.17, 48504, 1.16, 0.01, 0, 1998 |
| 799 | gs, je, 01.19, 53616, 1.16, 0.03, 0, 3722 |
| 800 | gs, scudo, 01.20, 41332, 1.13, 0.07, 0, 17114 |
| 801 | gs, smi, 01.19, 56812, 1.14, 0.05, 0, 4576 |
| 802 | redis, mi, 4.366, 35140, 1.87, 0.32, 0, 7994 |
| 803 | redis, sn-0.6.0-full-checks, 4.443, 33348, 1.77, 0.46, 0, 8872 |
| 804 | redis, sn-0.6.0, 4.205, 30532, 1.72, 0.39, 0, 8568 |
| 805 | redis, sn-0.5.3, 4.324, 36948, 1.82, 0.36, 0, 7594 |
| 806 | redis, sn-0.6.0-memcpy-checks, 4.270, 30452, 1.82, 0.32, 0, 8553 |
| 807 | redis, je, 5.081, 36804, 2.16, 0.39, 0, 6746 |
| 808 | redis, scudo, 5.268, 38072, 2.26, 0.38, 0, 9861 |
| 809 | redis, smi, 4.587, 35500, 1.88, 0.43, 0, 8049 |
| 810 | cfrac, mi, 06.32, 4572, 6.32, 0.00, 0, 183 |
| 811 | cfrac, sn-0.6.0-full-checks, 06.62, 3640, 6.62, 0.00, 0, 512 |
| 812 | cfrac, sn-0.6.0, 06.26, 3300, 6.26, 0.00, 0, 429 |
| 813 | cfrac, sn-0.5.3, 06.33, 8424, 6.33, 0.00, 0, 445 |
| 814 | cfrac, sn-0.6.0-memcpy-checks, 06.26, 3308, 6.26, 0.00, 0, 434 |
| 815 | cfrac, je, 06.65, 10136, 6.65, 0.00, 0, 270 |
| 816 | cfrac, scudo, 08.42, 4664, 8.41, 0.00, 0, 613 |
| 817 | cfrac, smi, 07.06, 4640, 7.05, 0.00, 0, 182 |
| 818 | leanN, mi, 25.47, 597420, 94.71, 1.27, 0, 246037 |
| 819 | leanN, sn-0.6.0-full-checks, 27.41, 674896, 106.67, 0.85, 0, 14026 |
| 820 | leanN, sn-0.6.0, 24.78, 528436, 95.18, 0.90, 0, 12185 |
| 821 | leanN, sn-0.5.3, 27.13, 532548, 104.80, 0.79, 0, 3409 |
| 822 | leanN, sn-0.6.0-memcpy-checks, 24.86, 533536, 96.02, 0.79, 0, 13301 |
| 823 | leanN, je, 25.86, 541932, 97.58, 0.99, 0, 98387 |
| 824 | leanN, scudo, 33.37, 615476, 121.70, 1.84, 0, 548507 |
| 825 | leanN, smi, 27.35, 620144, 98.41, 1.95, 1, 396107 |
| 826 | sed, mi, 01.74, 326364, 1.66, 0.07, 0, 401 |
| 827 | sed, sn-0.6.0-full-checks, 01.79, 349524, 1.69, 0.10, 0, 1683 |
| 828 | sed, sn-0.6.0, 01.73, 342816, 1.63, 0.09, 0, 1453 |
| 829 | sed, sn-0.5.3, 01.73, 310464, 1.66, 0.07, 0, 683 |
| 830 | sed, sn-0.6.0-memcpy-checks, 01.73, 342864, 1.64, 0.08, 0, 1477 |
| 831 | sed, je, 01.74, 295660, 1.64, 0.10, 0, 9190 |
| 832 | sed, scudo, 01.81, 245396, 1.70, 0.11, 0, 60801 |
| 833 | sed, smi, 01.80, 316024, 1.65, 0.14, 0, 34081 |
| 834 | barnes, mi, 02.93, 66764, 2.91, 0.01, 0, 2464 |
| 835 | barnes, sn-0.6.0-full-checks, 02.90, 65716, 2.89, 0.01, 0, 2870 |
| 836 | barnes, sn-0.6.0, 02.90, 65672, 2.88, 0.01, 0, 2838 |
| 837 | barnes, sn-0.5.3, 02.86, 70068, 2.84, 0.01, 0, 2525 |
| 838 | barnes, sn-0.6.0-memcpy-checks, 02.90, 65628, 2.88, 0.01, 0, 2840 |
| 839 | barnes, je, 02.93, 74592, 2.91, 0.01, 0, 2546 |
| 840 | barnes, scudo, 02.93, 62684, 2.90, 0.02, 0, 3959 |
| 841 | barnes, smi, 03.04, 66940, 3.02, 0.02, 0, 2661 |
| 842 | espresso, mi, 05.25, 8276, 5.23, 0.02, 0, 177 |
| 843 | espresso, sn-0.6.0-full-checks, 05.28, 10580, 5.26, 0.02, 0, 1111 |
| 844 | espresso, sn-0.6.0, 05.11, 6332, 5.08, 0.03, 0, 659 |
| 845 | espresso, sn-0.5.3, 05.14, 10388, 5.12, 0.02, 0, 411 |
| 846 | espresso, sn-0.6.0-memcpy-checks, 05.11, 6336, 5.10, 0.01, 0, 658 |
| 847 | espresso, je, 05.46, 9816, 5.42, 0.04, 0, 300 |
| 848 | espresso, scudo, 06.02, 4792, 5.99, 0.02, 0, 640 |
| 849 | espresso, smi, 05.50, 6648, 5.46, 0.03, 0, 287 |
| 850 | z3, mi, 01.19, 71124, 1.16, 0.02, 0, 458 |
| 851 | z3, sn-0.6.0-full-checks, 01.18, 70424, 1.17, 0.01, 0, 766 |
| 852 | z3, sn-0.6.0, 01.17, 66156, 1.14, 0.02, 0, 737 |
| 853 | z3, sn-0.5.3, 01.18, 73764, 1.16, 0.01, 0, 568 |
| 854 | z3, sn-0.6.0-memcpy-checks, 01.18, 66104, 1.16, 0.01, 0, 736 |
| 855 | z3, je, 01.20, 69616, 1.19, 0.00, 0, 2198 |
| 856 | z3, scudo, 01.24, 56236, 1.21, 0.02, 0, 8669 |
| 857 | z3, smi, 01.23, 66260, 1.20, 0.02, 0, 3863 |
| 858 | gs, mi, 01.16, 57296, 1.15, 0.01, 0, 1655 |
| 859 | gs, sn-0.6.0-full-checks, 01.18, 54272, 1.16, 0.02, 0, 1944 |
| 860 | gs, sn-0.6.0, 01.17, 48076, 1.14, 0.03, 0, 1993 |
| 861 | gs, sn-0.5.3, 01.16, 56212, 1.14, 0.01, 0, 1874 |
| 862 | gs, sn-0.6.0-memcpy-checks, 01.18, 47980, 1.14, 0.03, 0, 1995 |
| 863 | gs, je, 01.19, 53280, 1.16, 0.03, 0, 3722 |
| 864 | gs, scudo, 01.21, 41568, 1.16, 0.05, 0, 17154 |
| 865 | gs, smi, 01.18, 57304, 1.14, 0.04, 0, 4728 |
| 866 | redis, mi, 4.340, 35180, 1.79, 0.38, 0, 8014 |
| 867 | redis, sn-0.6.0-full-checks, 4.441, 33556, 1.88, 0.35, 0, 8974 |
| 868 | redis, sn-0.6.0, 4.241, 30492, 1.70, 0.43, 0, 8554 |
| 869 | redis, sn-0.5.3, 4.310, 37092, 1.80, 0.37, 0, 7027 |
| 870 | redis, sn-0.6.0-memcpy-checks, 4.441, 30420, 1.90, 0.33, 0, 8490 |
| 871 | redis, je, 5.076, 36892, 2.13, 0.41, 0, 6769 |
| 872 | redis, scudo, 5.196, 37996, 2.24, 0.37, 0, 9886 |
| 873 | redis, smi, 4.613, 35436, 1.88, 0.44, 0, 8042 |
| 874 | cfrac, mi, 06.32, 4596, 6.32, 0.00, 0, 183 |
| 875 | cfrac, sn-0.6.0-full-checks, 06.61, 3632, 6.61, 0.00, 0, 504 |
| 876 | cfrac, sn-0.6.0, 06.26, 3272, 6.25, 0.00, 0, 431 |
| 877 | cfrac, sn-0.5.3, 06.32, 8468, 6.31, 0.00, 0, 444 |
| 878 | cfrac, sn-0.6.0-memcpy-checks, 06.26, 3312, 6.26, 0.00, 0, 432 |
| 879 | cfrac, je, 06.66, 9992, 6.66, 0.00, 0, 271 |
| 880 | cfrac, scudo, 08.43, 4656, 8.43, 0.00, 0, 614 |
| 881 | cfrac, smi, 07.04, 4640, 7.03, 0.00, 0, 182 |
| 882 | leanN, mi, 25.58, 577132, 96.07, 1.15, 0, 224607 |
| 883 | leanN, sn-0.6.0-full-checks, 26.09, 670788, 99.44, 0.85, 0, 13183 |
| 884 | leanN, sn-0.6.0, 25.24, 540816, 98.88, 0.86, 0, 13196 |
| 885 | leanN, sn-0.5.3, 26.48, 553936, 101.92, 0.96, 1, 3961 |
| 886 | leanN, sn-0.6.0-memcpy-checks, 24.50, 526484, 93.75, 0.78, 0, 11139 |
| 887 | leanN, je, 26.93, 532264, 104.61, 1.12, 0, 99886 |
| 888 | leanN, scudo, 32.45, 594880, 117.90, 1.73, 0, 569976 |
| 889 | leanN, smi, 27.77, 626188, 101.15, 1.75, 0, 326530 |
| 890 | sed, mi, 01.74, 326444, 1.65, 0.09, 0, 401 |
| 891 | sed, sn-0.6.0-full-checks, 01.74, 347336, 1.64, 0.09, 0, 1539 |
| 892 | sed, sn-0.6.0, 01.72, 342792, 1.62, 0.10, 0, 1473 |
| 893 | sed, sn-0.5.3, 01.74, 310380, 1.66, 0.07, 0, 682 |
| 894 | sed, sn-0.6.0-memcpy-checks, 01.74, 342876, 1.65, 0.09, 0, 1479 |
| 895 | sed, je, 01.74, 301688, 1.65, 0.08, 0, 5053 |
| 896 | sed, scudo, 01.81, 245436, 1.71, 0.09, 0, 60800 |
| 897 | sed, smi, 01.81, 316808, 1.72, 0.08, 0, 34267 |
| 898 | barnes, mi, 02.84, 66772, 2.83, 0.01, 0, 2465 |
| 899 | barnes, sn-0.6.0-full-checks, 02.85, 65668, 2.84, 0.01, 0, 2850 |
| 900 | barnes, sn-0.6.0, 02.88, 65672, 2.86, 0.01, 0, 2846 |
| 901 | barnes, sn-0.5.3, 02.91, 69964, 2.89, 0.02, 0, 2519 |
| 902 | barnes, sn-0.6.0-memcpy-checks, 02.93, 65692, 2.91, 0.01, 0, 2840 |
| 903 | barnes, je, 02.93, 74488, 2.90, 0.03, 0, 2544 |
| 904 | barnes, scudo, 02.92, 65468, 2.89, 0.02, 0, 3574 |
| 905 | barnes, smi, 02.98, 66852, 2.97, 0.01, 0, 2657 |
| 906 | espresso, mi, 05.25, 8288, 5.23, 0.02, 0, 176 |
| 907 | espresso, sn-0.6.0-full-checks, 05.33, 12672, 5.29, 0.04, 0, 744 |
| 908 | espresso, sn-0.6.0, 05.16, 6204, 5.14, 0.02, 0, 657 |
| 909 | espresso, sn-0.5.3, 05.22, 10328, 5.20, 0.02, 0, 413 |
| 910 | espresso, sn-0.6.0-memcpy-checks, 05.16, 6204, 5.13, 0.03, 0, 655 |
| 911 | espresso, je, 05.50, 9992, 5.46, 0.04, 0, 331 |
| 912 | espresso, scudo, 06.08, 4932, 6.07, 0.01, 0, 640 |
| 913 | espresso, smi, 05.55, 6648, 5.51, 0.04, 0, 287 |
| 914 | z3, mi, 01.21, 71384, 1.19, 0.01, 0, 461 |
| 915 | z3, sn-0.6.0-full-checks, 01.20, 70352, 1.19, 0.01, 0, 763 |
| 916 | z3, sn-0.6.0, 01.19, 66132, 1.16, 0.02, 0, 740 |
| 917 | z3, sn-0.5.3, 01.18, 73564, 1.17, 0.01, 0, 565 |
| 918 | z3, sn-0.6.0-memcpy-checks, 01.22, 66008, 1.20, 0.02, 0, 732 |
| 919 | z3, je, 01.20, 65816, 1.18, 0.02, 0, 2768 |
| 920 | z3, scudo, 01.27, 56472, 1.25, 0.01, 0, 8671 |
| 921 | z3, smi, 01.26, 65784, 1.24, 0.02, 0, 3787 |
| 922 | gs, mi, 01.18, 57240, 1.14, 0.03, 0, 1653 |
| 923 | gs, sn-0.6.0-full-checks, 01.19, 54336, 1.15, 0.03, 0, 2006 |
| 924 | gs, sn-0.6.0, 01.19, 48452, 1.14, 0.05, 0, 1998 |
| 925 | gs, sn-0.5.3, 01.18, 56072, 1.15, 0.02, 0, 1875 |
| 926 | gs, sn-0.6.0-memcpy-checks, 01.19, 48452, 1.15, 0.04, 0, 1998 |
| 927 | gs, je, 01.21, 53448, 1.19, 0.01, 0, 3717 |
| 928 | gs, scudo, 01.23, 41300, 1.18, 0.04, 0, 17115 |
| 929 | gs, smi, 01.19, 57044, 1.14, 0.05, 0, 4617 |
| 930 | redis, mi, 4.328, 35216, 1.77, 0.40, 0, 8017 |
| 931 | redis, sn-0.6.0-full-checks, 4.438, 33844, 1.91, 0.31, 0, 9062 |
| 932 | redis, sn-0.6.0, 4.162, 30416, 1.72, 0.37, 0, 8595 |
| 933 | redis, sn-0.5.3, 4.342, 36944, 1.80, 0.38, 0, 7593 |
| 934 | redis, sn-0.6.0-memcpy-checks, 4.367, 30356, 1.80, 0.39, 0, 8516 |
| 935 | redis, je, 5.139, 36888, 2.16, 0.42, 0, 6762 |
| 936 | redis, scudo, 5.432, 37996, 2.35, 0.38, 0, 9824 |
| 937 | redis, smi, 4.675, 35420, 1.96, 0.39, 0, 8044 |
| 938 | cfrac, mi, 06.35, 4492, 6.35, 0.00, 0, 184 |
| 939 | cfrac, sn-0.6.0-full-checks, 06.64, 3604, 6.64, 0.00, 0, 498 |
| 940 | cfrac, sn-0.6.0, 06.27, 3276, 6.27, 0.00, 0, 429 |
| 941 | cfrac, sn-0.5.3, 06.35, 8424, 6.34, 0.00, 0, 444 |
| 942 | cfrac, sn-0.6.0-memcpy-checks, 06.29, 3336, 6.29, 0.00, 0, 430 |
| 943 | cfrac, je, 06.66, 10020, 6.66, 0.00, 0, 271 |
| 944 | cfrac, scudo, 10.05, 4680, 10.05, 0.00, 0, 612 |
| 945 | cfrac, smi, 07.09, 4600, 7.09, 0.00, 0, 182 |
| 946 | leanN, mi, 25.94, 591264, 98.57, 1.13, 0, 184057 |
| 947 | leanN, sn-0.6.0-full-checks, 27.52, 671932, 105.43, 0.99, 0, 15234 |
| 948 | leanN, sn-0.6.0, 25.06, 516652, 97.97, 0.97, 0, 11333 |
| 949 | leanN, sn-0.5.3, 26.71, 540632, 103.48, 0.85, 5, 3013 |
| 950 | leanN, sn-0.6.0-memcpy-checks, 26.06, 528052, 101.95, 0.89, 0, 11474 |
| 951 | leanN, je, 25.78, 527208, 96.93, 1.01, 0, 119894 |
| 952 | leanN, scudo, 34.30, 593504, 123.18, 2.01, 0, 558728 |
| 953 | leanN, smi, 27.56, 625864, 101.01, 1.84, 2, 356616 |
| 954 | sed, mi, 01.73, 330580, 1.65, 0.07, 0, 406 |
| 955 | sed, sn-0.6.0-full-checks, 01.73, 345648, 1.65, 0.07, 0, 1696 |
| 956 | sed, sn-0.6.0, 01.73, 342792, 1.64, 0.08, 0, 1478 |
| 957 | sed, sn-0.5.3, 01.73, 310388, 1.67, 0.06, 0, 683 |
| 958 | sed, sn-0.6.0-memcpy-checks, 01.73, 342804, 1.64, 0.08, 0, 1455 |
| 959 | sed, je, 01.74, 301020, 1.67, 0.06, 0, 6483 |
| 960 | sed, scudo, 01.82, 245464, 1.68, 0.13, 0, 60798 |
| 961 | sed, smi, 01.81, 315672, 1.69, 0.11, 0, 34008 |
| 962 | barnes, mi, 02.89, 66772, 2.87, 0.02, 0, 2459 |
| 963 | barnes, sn-0.6.0-full-checks, 02.93, 65632, 2.92, 0.01, 0, 2854 |
| 964 | barnes, sn-0.6.0, 02.92, 65664, 2.91, 0.01, 0, 2840 |
| 965 | barnes, sn-0.5.3, 02.90, 69944, 2.87, 0.02, 0, 2518 |
| 966 | barnes, sn-0.6.0-memcpy-checks, 02.85, 65772, 2.83, 0.02, 0, 2825 |
| 967 | barnes, je, 02.91, 76676, 2.89, 0.01, 0, 2547 |
| 968 | barnes, scudo, 02.90, 62304, 2.87, 0.02, 0, 3184 |
| 969 | barnes, smi, 02.94, 66860, 2.92, 0.02, 0, 2656 |
| 970 | espresso, mi, 05.18, 8196, 5.14, 0.03, 0, 172 |
| 971 | espresso, sn-0.6.0-full-checks, 05.26, 12632, 5.22, 0.03, 0, 727 |
| 972 | espresso, sn-0.6.0, 05.11, 6296, 5.09, 0.02, 0, 656 |
| 973 | espresso, sn-0.5.3, 05.16, 10312, 5.14, 0.02, 0, 411 |
| 974 | espresso, sn-0.6.0-memcpy-checks, 05.11, 6300, 5.07, 0.04, 0, 655 |
| 975 | espresso, je, 05.44, 9796, 5.42, 0.02, 0, 317 |
| 976 | espresso, scudo, 06.07, 4884, 6.05, 0.02, 0, 642 |
| 977 | espresso, smi, 05.48, 6700, 5.45, 0.02, 0, 287 |
| 978 | z3, mi, 01.20, 71148, 1.18, 0.01, 0, 457 |
| 979 | z3, sn-0.6.0-full-checks, 01.19, 70152, 1.15, 0.03, 0, 756 |
| 980 | z3, sn-0.6.0, 01.17, 66088, 1.15, 0.01, 0, 741 |
| 981 | z3, sn-0.5.3, 01.17, 73680, 1.16, 0.01, 0, 565 |
| 982 | z3, sn-0.6.0-memcpy-checks, 01.17, 66100, 1.16, 0.00, 0, 735 |
| 983 | z3, je, 01.18, 65736, 1.17, 0.01, 0, 2769 |
| 984 | z3, scudo, 01.26, 56144, 1.23, 0.02, 0, 8153 |
| 985 | z3, smi, 01.23, 65912, 1.21, 0.01, 0, 3802 |
| 986 | gs, mi, 01.17, 57300, 1.13, 0.03, 0, 1657 |
| 987 | gs, sn-0.6.0-full-checks, 01.19, 54004, 1.17, 0.01, 0, 1957 |
| 988 | gs, sn-0.6.0, 01.17, 48348, 1.15, 0.02, 0, 1996 |
| 989 | gs, sn-0.5.3, 01.17, 56240, 1.14, 0.02, 0, 1875 |
| 990 | gs, sn-0.6.0-memcpy-checks, 01.18, 48300, 1.16, 0.01, 0, 1997 |
| 991 | gs, je, 01.19, 53460, 1.15, 0.03, 0, 3726 |
| 992 | gs, scudo, 01.21, 41428, 1.18, 0.03, 0, 17120 |
| 993 | gs, smi, 01.19, 57004, 1.14, 0.04, 0, 4609 |
| 994 | redis, mi, 4.329, 35124, 1.79, 0.38, 0, 8018 |
| 995 | redis, sn-0.6.0-full-checks, 4.395, 33452, 1.84, 0.37, 0, 8967 |
| 996 | redis, sn-0.6.0, 4.202, 30528, 1.74, 0.37, 0, 8568 |
| 997 | redis, sn-0.5.3, 4.314, 37140, 1.73, 0.43, 0, 7378 |
| 998 | redis, sn-0.6.0-memcpy-checks, 4.367, 30380, 1.81, 0.38, 0, 8527 |
| 999 | redis, je, 5.193, 36928, 2.21, 0.40, 0, 6766 |
| 1000 | redis, scudo, 5.236, 37972, 2.31, 0.32, 0, 9876 |
| 1001 | redis, smi, 4.599, 35436, 1.85, 0.46, 0, 8052 |
| 1002 | cfrac, mi, 06.33, 4496, 6.33, 0.00, 0, 182 |
| 1003 | cfrac, sn-0.6.0-full-checks, 06.62, 3584, 6.62, 0.00, 0, 495 |
| 1004 | cfrac, sn-0.6.0, 06.28, 3312, 6.28, 0.00, 0, 435 |
| 1005 | cfrac, sn-0.5.3, 06.32, 8420, 6.32, 0.00, 0, 447 |
| 1006 | cfrac, sn-0.6.0-memcpy-checks, 06.26, 3336, 6.26, 0.00, 0, 431 |
| 1007 | cfrac, je, 06.68, 10084, 6.68, 0.00, 0, 273 |
| 1008 | cfrac, scudo, 08.43, 4672, 8.43, 0.00, 0, 615 |
| 1009 | cfrac, smi, 07.02, 4504, 7.01, 0.00, 0, 182 |
| 1010 | leanN, mi, 25.94, 578956, 98.00, 1.17, 0, 216122 |
| 1011 | leanN, sn-0.6.0-full-checks, 25.72, 685952, 96.81, 0.91, 0, 12094 |
| 1012 | leanN, sn-0.6.0, 24.59, 547572, 94.33, 0.82, 0, 11927 |
| 1013 | leanN, sn-0.5.3, 26.72, 553304, 103.27, 0.74, 0, 3848 |
| 1014 | leanN, sn-0.6.0-memcpy-checks, 25.88, 525276, 101.33, 0.80, 0, 12426 |
| 1015 | leanN, je, 25.71, 531268, 96.34, 1.03, 1, 177553 |
| 1016 | leanN, scudo, 32.33, 597856, 116.09, 1.80, 0, 515053 |
| 1017 | leanN, smi, 27.63, 626168, 101.20, 1.82, 0, 328983 |
| 1018 | sed, mi, 01.77, 326436, 1.71, 0.05, 0, 402 |
| 1019 | sed, sn-0.6.0-full-checks, 01.79, 347652, 1.70, 0.09, 0, 1639 |
| 1020 | sed, sn-0.6.0, 01.76, 342800, 1.69, 0.07, 0, 1456 |
| 1021 | sed, sn-0.5.3, 01.77, 310252, 1.70, 0.07, 0, 685 |
| 1022 | sed, sn-0.6.0-memcpy-checks, 01.78, 342860, 1.67, 0.10, 0, 1480 |
| 1023 | sed, je, 01.79, 293892, 1.71, 0.07, 0, 8287 |
| 1024 | sed, scudo, 01.83, 245420, 1.71, 0.12, 0, 60795 |
| 1025 | sed, smi, 01.83, 316888, 1.69, 0.14, 0, 34282 |
| 1026 | barnes, mi, 02.85, 66972, 2.82, 0.03, 0, 2465 |
| 1027 | barnes, sn-0.6.0-full-checks, 02.87, 65580, 2.85, 0.01, 0, 2854 |
| 1028 | barnes, sn-0.6.0, 02.89, 65644, 2.87, 0.01, 0, 2849 |
| 1029 | barnes, sn-0.5.3, 02.86, 70168, 2.84, 0.02, 0, 2518 |
| 1030 | barnes, sn-0.6.0-memcpy-checks, 02.90, 65808, 2.87, 0.02, 0, 2847 |
| 1031 | barnes, je, 02.86, 76616, 2.84, 0.01, 0, 2550 |
| 1032 | barnes, scudo, 02.93, 61688, 2.90, 0.02, 0, 4275 |
| 1033 | barnes, smi, 02.94, 66828, 2.92, 0.01, 0, 2659 |
| 1034 | espresso, mi, 05.17, 8216, 5.15, 0.02, 0, 177 |
| 1035 | espresso, sn-0.6.0-full-checks, 05.27, 12940, 5.25, 0.02, 0, 757 |
| 1036 | espresso, sn-0.6.0, 05.13, 6248, 5.10, 0.02, 0, 657 |
| 1037 | espresso, sn-0.5.3, 05.12, 10276, 5.09, 0.02, 0, 408 |
| 1038 | espresso, sn-0.6.0-memcpy-checks, 05.14, 6252, 5.09, 0.04, 0, 657 |
| 1039 | espresso, je, 05.46, 9956, 5.45, 0.01, 0, 300 |
| 1040 | espresso, scudo, 06.02, 4996, 5.99, 0.03, 0, 642 |
| 1041 | espresso, smi, 05.48, 6644, 5.45, 0.02, 0, 287 |
| 1042 | z3, mi, 01.19, 71072, 1.18, 0.01, 0, 454 |
| 1043 | z3, sn-0.6.0-full-checks, 01.18, 70108, 1.16, 0.01, 0, 766 |
| 1044 | z3, sn-0.6.0, 01.17, 66224, 1.15, 0.01, 0, 738 |
| 1045 | z3, sn-0.5.3, 01.18, 73504, 1.16, 0.01, 0, 562 |
| 1046 | z3, sn-0.6.0-memcpy-checks, 01.18, 66176, 1.15, 0.02, 0, 737 |
| 1047 | z3, je, 01.19, 70012, 1.17, 0.02, 0, 2781 |
| 1048 | z3, scudo, 01.26, 56208, 1.21, 0.04, 0, 8662 |
| 1049 | z3, smi, 01.24, 65296, 1.22, 0.02, 0, 3679 |
| 1050 | gs, mi, 01.17, 57476, 1.13, 0.03, 0, 1656 |
| 1051 | gs, sn-0.6.0-full-checks, 01.18, 54372, 1.15, 0.02, 0, 1953 |
| 1052 | gs, sn-0.6.0, 01.17, 48396, 1.14, 0.02, 0, 1999 |
| 1053 | gs, sn-0.5.3, 01.16, 56036, 1.12, 0.03, 0, 1875 |
| 1054 | gs, sn-0.6.0-memcpy-checks, 01.17, 48444, 1.14, 0.02, 0, 1997 |
| 1055 | gs, je, 01.19, 53260, 1.16, 0.02, 0, 3722 |
| 1056 | gs, scudo, 01.21, 41520, 1.17, 0.03, 0, 17159 |
| 1057 | gs, smi, 01.19, 56596, 1.17, 0.02, 0, 4579 |
| 1058 | redis, mi, 4.335, 35180, 1.80, 0.38, 0, 8010 |
| 1059 | redis, sn-0.6.0-full-checks, 4.486, 33236, 1.84, 0.42, 0, 8862 |
| 1060 | redis, sn-0.6.0, 4.217, 30432, 1.76, 0.36, 0, 8574 |
| 1061 | redis, sn-0.5.3, 4.326, 37000, 1.80, 0.37, 0, 7342 |
| 1062 | redis, sn-0.6.0-memcpy-checks, 4.263, 30432, 1.80, 0.34, 0, 8561 |
| 1063 | redis, je, 5.044, 36848, 2.17, 0.36, 0, 6771 |
| 1064 | redis, scudo, 5.209, 38000, 2.16, 0.45, 0, 9888 |
| 1065 | redis, smi, 4.618, 35860, 2.01, 0.31, 0, 8127 |
| 1066 | cfrac, mi, 06.33, 4548, 6.32, 0.00, 0, 185 |
| 1067 | cfrac, sn-0.6.0-full-checks, 06.63, 3632, 6.63, 0.00, 0, 510 |
| 1068 | cfrac, sn-0.6.0, 06.26, 3336, 6.26, 0.00, 0, 435 |
| 1069 | cfrac, sn-0.5.3, 06.33, 8404, 6.32, 0.00, 0, 446 |
| 1070 | cfrac, sn-0.6.0-memcpy-checks, 06.27, 3336, 6.27, 0.00, 0, 432 |
| 1071 | cfrac, je, 06.68, 10080, 6.68, 0.00, 0, 272 |
| 1072 | cfrac, scudo, 08.44, 4644, 8.43, 0.00, 0, 610 |
| 1073 | cfrac, smi, 07.05, 4572, 7.05, 0.00, 0, 178 |
| 1074 | leanN, mi, 26.35, 601364, 100.71, 1.07, 0, 172904 |
| 1075 | leanN, sn-0.6.0-full-checks, 26.27, 673524, 100.89, 0.85, 0, 13522 |
| 1076 | leanN, sn-0.6.0, 25.81, 534344, 100.53, 0.99, 0, 12584 |
| 1077 | leanN, sn-0.5.3, 25.97, 547068, 99.19, 0.88, 0, 3336 |
| 1078 | leanN, sn-0.6.0-memcpy-checks, 24.65, 529484, 93.79, 0.87, 0, 12943 |
| 1079 | leanN, je, 26.09, 530264, 98.26, 1.12, 0, 153838 |
| 1080 | leanN, scudo, 32.48, 621548, 116.91, 1.89, 2, 604914 |
| 1081 | leanN, smi, 26.99, 617668, 97.22, 1.82, 0, 395341 |
| 1082 | sed, mi, 01.74, 326300, 1.65, 0.08, 0, 398 |
| 1083 | sed, sn-0.6.0-full-checks, 01.76, 349592, 1.69, 0.07, 0, 1642 |
| 1084 | sed, sn-0.6.0, 01.76, 342784, 1.64, 0.12, 0, 1476 |
| 1085 | sed, sn-0.5.3, 01.77, 310252, 1.68, 0.08, 0, 683 |
| 1086 | sed, sn-0.6.0-memcpy-checks, 01.76, 342828, 1.65, 0.10, 0, 1454 |
| 1087 | sed, je, 01.73, 301076, 1.62, 0.10, 0, 5991 |
| 1088 | sed, scudo, 01.81, 245472, 1.69, 0.12, 0, 60797 |
| 1089 | sed, smi, 01.81, 317340, 1.70, 0.10, 0, 34402 |
| 1090 | barnes, mi, 02.88, 66928, 2.85, 0.02, 0, 2466 |
| 1091 | barnes, sn-0.6.0-full-checks, 02.88, 65744, 2.87, 0.01, 0, 2863 |
| 1092 | barnes, sn-0.6.0, 02.88, 65636, 2.86, 0.02, 0, 2848 |
| 1093 | barnes, sn-0.5.3, 02.87, 70164, 2.84, 0.02, 0, 2523 |
| 1094 | barnes, sn-0.6.0-memcpy-checks, 02.87, 65672, 2.86, 0.01, 0, 2840 |
| 1095 | barnes, je, 02.87, 76688, 2.84, 0.02, 0, 2551 |
| 1096 | barnes, scudo, 02.93, 63700, 2.92, 0.00, 0, 3472 |
| 1097 | barnes, smi, 02.95, 66776, 2.93, 0.01, 0, 2660 |
| 1098 | espresso, mi, 05.18, 8220, 5.15, 0.02, 0, 173 |
| 1099 | espresso, sn-0.6.0-full-checks, 05.27, 12588, 5.26, 0.01, 0, 725 |
| 1100 | espresso, sn-0.6.0, 05.13, 6432, 5.11, 0.01, 0, 656 |
| 1101 | espresso, sn-0.5.3, 05.17, 10280, 5.15, 0.02, 0, 410 |
| 1102 | espresso, sn-0.6.0-memcpy-checks, 05.13, 6268, 5.10, 0.03, 0, 658 |
| 1103 | espresso, je, 05.48, 9980, 5.45, 0.03, 0, 317 |
| 1104 | espresso, scudo, 06.13, 4980, 6.10, 0.02, 0, 604 |
| 1105 | espresso, smi, 05.57, 6644, 5.55, 0.02, 0, 285 |
| 1106 | z3, mi, 01.21, 71192, 1.19, 0.01, 0, 459 |
| 1107 | z3, sn-0.6.0-full-checks, 01.19, 70400, 1.19, 0.00, 0, 772 |
| 1108 | z3, sn-0.6.0, 01.18, 65980, 1.17, 0.01, 0, 736 |
| 1109 | z3, sn-0.5.3, 01.18, 73772, 1.16, 0.02, 0, 568 |
| 1110 | z3, sn-0.6.0-memcpy-checks, 01.20, 65928, 1.18, 0.01, 0, 731 |
| 1111 | z3, je, 01.21, 65892, 1.19, 0.01, 0, 2772 |
| 1112 | z3, scudo, 01.26, 56160, 1.23, 0.03, 0, 8667 |
| 1113 | z3, smi, 01.25, 65920, 1.22, 0.02, 0, 3847 |
| 1114 | gs, mi, 01.18, 57096, 1.15, 0.03, 0, 1652 |
| 1115 | gs, sn-0.6.0-full-checks, 01.22, 56300, 1.18, 0.03, 0, 1960 |
| 1116 | gs, sn-0.6.0, 01.19, 48464, 1.15, 0.03, 0, 1999 |
| 1117 | gs, sn-0.5.3, 01.19, 56172, 1.16, 0.02, 0, 1872 |
| 1118 | gs, sn-0.6.0-memcpy-checks, 01.19, 47956, 1.17, 0.02, 0, 1990 |
| 1119 | gs, je, 01.21, 53468, 1.18, 0.02, 0, 3719 |
| 1120 | gs, scudo, 01.23, 41448, 1.15, 0.07, 0, 17161 |
| 1121 | gs, smi, 01.21, 57184, 1.18, 0.02, 0, 4672 |
| 1122 | redis, mi, 4.357, 35104, 1.80, 0.39, 0, 7991 |
| 1123 | redis, sn-0.6.0-full-checks, 4.432, 33844, 1.81, 0.42, 0, 9037 |
| 1124 | redis, sn-0.6.0, 4.178, 30424, 1.69, 0.40, 0, 8592 |
| 1125 | redis, sn-0.5.3, 4.310, 37016, 1.79, 0.37, 0, 7484 |
| 1126 | redis, sn-0.6.0-memcpy-checks, 4.422, 30536, 1.94, 0.28, 0, 8505 |
| 1127 | redis, je, 5.238, 36860, 2.25, 0.37, 0, 6765 |
| 1128 | redis, scudo, 5.234, 37960, 2.21, 0.42, 0, 9891 |
| 1129 | redis, smi, 4.669, 35336, 1.94, 0.41, 0, 8028 |
| 1130 | cfrac, mi, 06.35, 4408, 6.35, 0.00, 0, 181 |
| 1131 | cfrac, sn-0.6.0-full-checks, 06.61, 3708, 6.61, 0.00, 0, 516 |
| 1132 | cfrac, sn-0.6.0, 06.29, 3304, 6.29, 0.00, 0, 436 |
| 1133 | cfrac, sn-0.5.3, 06.33, 8260, 6.33, 0.00, 0, 448 |
| 1134 | cfrac, sn-0.6.0-memcpy-checks, 06.27, 3336, 6.27, 0.00, 0, 432 |
| 1135 | cfrac, je, 06.69, 10076, 6.68, 0.00, 0, 269 |
| 1136 | cfrac, scudo, 08.43, 4708, 8.43, 0.00, 0, 610 |
| 1137 | cfrac, smi, 07.14, 4596, 7.13, 0.00, 0, 184 |
| 1138 | leanN, mi, 26.06, 591428, 99.05, 1.13, 3, 226227 |
| 1139 | leanN, sn-0.6.0-full-checks, 26.06, 653060, 99.23, 1.01, 0, 12978 |
| 1140 | leanN, sn-0.6.0, 25.81, 539980, 100.77, 0.90, 0, 13684 |
| 1141 | leanN, sn-0.5.3, 25.73, 533320, 97.81, 0.66, 0, 3598 |
| 1142 | leanN, sn-0.6.0-memcpy-checks, 25.97, 551676, 101.63, 0.87, 0, 14181 |
| 1143 | leanN, je, 26.63, 496704, 101.91, 1.14, 1, 152314 |
| 1144 | leanN, scudo, 32.46, 581268, 116.25, 1.70, 0, 531142 |
| 1145 | leanN, smi, 27.36, 621904, 99.41, 2.03, 4, 392238 |
| 1146 | sed, mi, 01.76, 326452, 1.68, 0.07, 0, 401 |
| 1147 | sed, sn-0.6.0-full-checks, 01.75, 347260, 1.66, 0.08, 0, 1585 |
| 1148 | sed, sn-0.6.0, 01.73, 342852, 1.63, 0.09, 0, 1479 |
| 1149 | sed, sn-0.5.3, 01.73, 310284, 1.66, 0.07, 0, 682 |
| 1150 | sed, sn-0.6.0-memcpy-checks, 01.73, 342800, 1.65, 0.08, 0, 1478 |
| 1151 | sed, je, 01.74, 295456, 1.68, 0.06, 0, 9177 |
| 1152 | sed, scudo, 01.81, 245652, 1.68, 0.13, 0, 60802 |
| 1153 | sed, smi, 01.81, 317072, 1.70, 0.11, 0, 34381 |
| 1154 | barnes, mi, 02.86, 66820, 2.84, 0.02, 0, 2464 |
| 1155 | barnes, sn-0.6.0-full-checks, 02.87, 65616, 2.85, 0.01, 0, 2855 |
| 1156 | barnes, sn-0.6.0, 02.88, 65684, 2.85, 0.02, 0, 2840 |
| 1157 | barnes, sn-0.5.3, 02.85, 70132, 2.83, 0.01, 0, 2524 |
| 1158 | barnes, sn-0.6.0-memcpy-checks, 02.87, 65672, 2.85, 0.02, 0, 2839 |
| 1159 | barnes, je, 02.88, 78712, 2.87, 0.00, 0, 2546 |
| 1160 | barnes, scudo, 02.95, 61940, 2.94, 0.01, 0, 4267 |
| 1161 | barnes, smi, 02.98, 66836, 2.96, 0.01, 0, 2659 |
| 1162 | espresso, mi, 05.19, 8196, 5.17, 0.01, 0, 169 |
| 1163 | espresso, sn-0.6.0-full-checks, 05.28, 12652, 5.26, 0.02, 0, 733 |
| 1164 | espresso, sn-0.6.0, 05.16, 6364, 5.15, 0.01, 0, 660 |
| 1165 | espresso, sn-0.5.3, 05.13, 10292, 5.11, 0.02, 0, 411 |
| 1166 | espresso, sn-0.6.0-memcpy-checks, 05.12, 6280, 5.10, 0.02, 0, 659 |
| 1167 | espresso, je, 05.48, 9832, 5.46, 0.01, 0, 345 |
| 1168 | espresso, scudo, 06.03, 4896, 6.01, 0.02, 0, 647 |
| 1169 | espresso, smi, 05.48, 6700, 5.46, 0.02, 0, 286 |
| 1170 | z3, mi, 01.20, 71152, 1.18, 0.02, 0, 457 |
| 1171 | z3, sn-0.6.0-full-checks, 01.19, 70324, 1.16, 0.02, 0, 763 |
| 1172 | z3, sn-0.6.0, 01.17, 65920, 1.15, 0.02, 0, 731 |
| 1173 | z3, sn-0.5.3, 01.16, 73628, 1.14, 0.02, 0, 564 |
| 1174 | z3, sn-0.6.0-memcpy-checks, 01.18, 66240, 1.15, 0.02, 0, 736 |
| 1175 | z3, je, 01.18, 68604, 1.17, 0.01, 0, 2431 |
| 1176 | z3, scudo, 01.26, 56284, 1.25, 0.01, 0, 8161 |
| 1177 | z3, smi, 01.23, 65772, 1.21, 0.01, 0, 3727 |
| 1178 | gs, mi, 01.17, 57540, 1.15, 0.02, 0, 1657 |
| 1179 | gs, sn-0.6.0-full-checks, 01.19, 54320, 1.15, 0.03, 0, 1961 |
| 1180 | gs, sn-0.6.0, 01.17, 48424, 1.14, 0.02, 0, 1998 |
| 1181 | gs, sn-0.5.3, 01.18, 55808, 1.13, 0.03, 0, 1871 |
| 1182 | gs, sn-0.6.0-memcpy-checks, 01.18, 48492, 1.17, 0.01, 0, 2005 |
| 1183 | gs, je, 01.19, 53572, 1.15, 0.04, 0, 3728 |
| 1184 | gs, scudo, 01.21, 41320, 1.15, 0.05, 0, 17111 |
| 1185 | gs, smi, 01.22, 56964, 1.17, 0.04, 0, 4612 |
| 1186 | redis, mi, 4.489, 35192, 1.81, 0.44, 0, 7969 |
| 1187 | redis, sn-0.6.0-full-checks, 4.408, 33576, 1.89, 0.32, 0, 9014 |
| 1188 | redis, sn-0.6.0, 4.193, 30440, 1.71, 0.40, 0, 8578 |
| 1189 | redis, sn-0.5.3, 4.289, 37084, 1.80, 0.35, 0, 7347 |
| 1190 | redis, sn-0.6.0-memcpy-checks, 4.294, 30464, 1.79, 0.37, 0, 8546 |
| 1191 | redis, je, 5.052, 38772, 2.20, 0.34, 0, 6761 |
| 1192 | redis, scudo, 5.244, 38000, 2.19, 0.44, 0, 9869 |
| 1193 | redis, smi, 4.599, 35432, 1.87, 0.44, 0, 8057 |
| 1194 | cfrac, mi, 06.34, 4596, 6.34, 0.00, 0, 185 |
| 1195 | cfrac, sn-0.6.0-full-checks, 06.64, 3660, 6.64, 0.00, 0, 508 |
| 1196 | cfrac, sn-0.6.0, 06.26, 3328, 6.26, 0.00, 0, 428 |
| 1197 | cfrac, sn-0.5.3, 06.31, 8308, 6.30, 0.00, 0, 448 |
| 1198 | cfrac, sn-0.6.0-memcpy-checks, 06.28, 3336, 6.28, 0.00, 0, 432 |
| 1199 | cfrac, je, 06.72, 10056, 6.71, 0.00, 0, 271 |
| 1200 | cfrac, scudo, 08.45, 4568, 8.44, 0.00, 0, 615 |
| 1201 | cfrac, smi, 07.03, 4584, 7.03, 0.00, 0, 181 |
| 1202 | leanN, mi, 26.55, 593452, 101.72, 1.13, 0, 230978 |
| 1203 | leanN, sn-0.6.0-full-checks, 26.62, 676740, 102.76, 0.92, 0, 13834 |
| 1204 | leanN, sn-0.6.0, 24.98, 545136, 96.54, 0.80, 0, 12708 |
| 1205 | leanN, sn-0.5.3, 25.65, 551156, 97.81, 0.78, 4, 4057 |
| 1206 | leanN, sn-0.6.0-memcpy-checks, 25.64, 536612, 100.11, 0.84, 0, 13271 |
| 1207 | leanN, je, 26.16, 515292, 100.02, 0.99, 3, 110034 |
| 1208 | leanN, scudo, 31.78, 599964, 114.04, 1.60, 4, 654494 |
| 1209 | leanN, smi, 27.40, 619364, 99.87, 1.82, 0, 362050 |
| 1210 | sed, mi, 01.75, 330536, 1.64, 0.11, 0, 404 |
| 1211 | sed, sn-0.6.0-full-checks, 01.74, 347536, 1.62, 0.11, 0, 1703 |
| 1212 | sed, sn-0.6.0, 01.74, 342788, 1.64, 0.10, 0, 1477 |
| 1213 | sed, sn-0.5.3, 01.72, 310240, 1.64, 0.08, 0, 682 |
| 1214 | sed, sn-0.6.0-memcpy-checks, 01.72, 342916, 1.64, 0.08, 0, 1477 |
| 1215 | sed, je, 01.74, 295444, 1.66, 0.07, 0, 9184 |
| 1216 | sed, scudo, 01.80, 245660, 1.70, 0.10, 0, 60801 |
| 1217 | sed, smi, 01.82, 316496, 1.70, 0.12, 0, 34208 |
| 1218 | barnes, mi, 02.86, 66908, 2.83, 0.01, 0, 2465 |
| 1219 | barnes, sn-0.6.0-full-checks, 02.85, 65632, 2.83, 0.01, 0, 2853 |
| 1220 | barnes, sn-0.6.0, 02.85, 65604, 2.84, 0.01, 0, 2829 |
| 1221 | barnes, sn-0.5.3, 02.86, 69948, 2.84, 0.01, 0, 2525 |
| 1222 | barnes, sn-0.6.0-memcpy-checks, 02.86, 65692, 2.85, 0.00, 0, 2843 |
| 1223 | barnes, je, 02.90, 74568, 2.88, 0.01, 0, 2547 |
| 1224 | barnes, scudo, 02.86, 63084, 2.84, 0.01, 0, 3492 |
| 1225 | barnes, smi, 02.94, 66784, 2.92, 0.02, 0, 2661 |
| 1226 | espresso, mi, 05.19, 8288, 5.15, 0.04, 0, 177 |
| 1227 | espresso, sn-0.6.0-full-checks, 05.27, 12648, 5.24, 0.03, 0, 737 |
| 1228 | espresso, sn-0.6.0, 05.09, 6296, 5.07, 0.02, 0, 656 |
| 1229 | espresso, sn-0.5.3, 05.14, 10328, 5.11, 0.02, 0, 412 |
| 1230 | espresso, sn-0.6.0-memcpy-checks, 05.12, 6304, 5.09, 0.02, 0, 655 |
| 1231 | espresso, je, 05.44, 9864, 5.41, 0.03, 0, 304 |
| 1232 | espresso, scudo, 06.03, 4796, 6.01, 0.02, 0, 642 |
| 1233 | espresso, smi, 05.48, 6708, 5.46, 0.02, 0, 291 |
| 1234 | z3, mi, 01.18, 71348, 1.15, 0.03, 0, 459 |
| 1235 | z3, sn-0.6.0-full-checks, 01.17, 70352, 1.15, 0.01, 0, 769 |
| 1236 | z3, sn-0.6.0, 01.17, 66064, 1.15, 0.01, 0, 732 |
| 1237 | z3, sn-0.5.3, 01.17, 73444, 1.16, 0.01, 0, 564 |
| 1238 | z3, sn-0.6.0-memcpy-checks, 01.18, 66208, 1.17, 0.01, 0, 736 |
| 1239 | z3, je, 01.18, 65876, 1.16, 0.01, 0, 2782 |
| 1240 | z3, scudo, 01.25, 56096, 1.22, 0.02, 0, 8667 |
| 1241 | z3, smi, 01.24, 65752, 1.21, 0.02, 0, 3822 |
| 1242 | gs, mi, 01.17, 57476, 1.14, 0.02, 0, 1655 |
| 1243 | gs, sn-0.6.0-full-checks, 01.19, 53988, 1.16, 0.02, 0, 2022 |
| 1244 | gs, sn-0.6.0, 01.19, 48128, 1.17, 0.01, 0, 1997 |
| 1245 | gs, sn-0.5.3, 01.17, 55792, 1.13, 0.03, 0, 1869 |
| 1246 | gs, sn-0.6.0-memcpy-checks, 01.19, 48212, 1.16, 0.02, 0, 2001 |
| 1247 | gs, je, 01.21, 53748, 1.18, 0.02, 0, 3721 |
| 1248 | gs, scudo, 01.20, 41096, 1.16, 0.04, 0, 17116 |
| 1249 | gs, smi, 01.19, 57064, 1.15, 0.04, 0, 4646 |
| 1250 | redis, mi, 4.386, 35048, 1.86, 0.34, 0, 7998 |
| 1251 | redis, sn-0.6.0-full-checks, 4.478, 33468, 1.91, 0.34, 0, 8968 |
| 1252 | redis, sn-0.6.0, 4.199, 30328, 1.78, 0.33, 0, 8578 |
| 1253 | redis, sn-0.5.3, 4.262, 37176, 1.76, 0.38, 0, 6883 |
| 1254 | redis, sn-0.6.0-memcpy-checks, 4.283, 30304, 1.82, 0.34, 0, 8541 |
| 1255 | redis, je, 5.047, 36796, 2.15, 0.39, 0, 6770 |
| 1256 | redis, scudo, 5.271, 38052, 2.23, 0.41, 0, 9871 |
| 1257 | redis, smi, 4.596, 35492, 1.89, 0.42, 0, 8051 |
| 1258 | cfrac, mi, 06.34, 4460, 6.34, 0.00, 0, 182 |
| 1259 | cfrac, sn-0.6.0-full-checks, 06.61, 3604, 6.60, 0.00, 0, 494 |
| 1260 | cfrac, sn-0.6.0, 06.27, 3312, 6.27, 0.00, 0, 430 |
| 1261 | cfrac, sn-0.5.3, 06.33, 8404, 6.32, 0.00, 0, 442 |
| 1262 | cfrac, sn-0.6.0-memcpy-checks, 06.26, 3320, 6.26, 0.00, 0, 428 |
| 1263 | cfrac, je, 06.65, 10052, 6.65, 0.00, 0, 271 |
| 1264 | cfrac, scudo, 08.43, 4660, 8.42, 0.00, 0, 613 |
| 1265 | cfrac, smi, 07.14, 4500, 7.13, 0.00, 0, 181 |
| 1266 | leanN, mi, 27.12, 578536, 105.64, 1.15, 2, 163365 |
| 1267 | leanN, sn-0.6.0-full-checks, 26.12, 671828, 98.39, 0.91, 0, 13146 |
| 1268 | leanN, sn-0.6.0, 24.71, 546284, 94.03, 0.79, 0, 12227 |
| 1269 | leanN, sn-0.5.3, 25.67, 549420, 97.34, 0.76, 0, 3992 |
| 1270 | leanN, sn-0.6.0-memcpy-checks, 24.79, 534008, 95.51, 0.88, 0, 12152 |
| 1271 | leanN, je, 25.97, 501392, 97.88, 1.12, 4, 154360 |
| 1272 | leanN, scudo, 34.44, 587232, 125.79, 1.89, 1, 484336 |
| 1273 | leanN, smi, 29.18, 626364, 109.19, 1.87, 0, 255797 |
| 1274 | sed, mi, 01.74, 326500, 1.67, 0.07, 0, 402 |
| 1275 | sed, sn-0.6.0-full-checks, 01.74, 349584, 1.65, 0.09, 0, 1713 |
| 1276 | sed, sn-0.6.0, 01.73, 342852, 1.65, 0.08, 0, 1476 |
| 1277 | sed, sn-0.5.3, 01.73, 310336, 1.67, 0.06, 0, 677 |
| 1278 | sed, sn-0.6.0-memcpy-checks, 01.73, 342800, 1.65, 0.08, 0, 1477 |
| 1279 | sed, je, 01.72, 301980, 1.65, 0.07, 0, 3141 |
| 1280 | sed, scudo, 01.82, 245416, 1.72, 0.10, 0, 60795 |
| 1281 | sed, smi, 01.81, 317056, 1.69, 0.11, 0, 34329 |