, 
barnes, mi, 02.90, 66712, 2.88, 0.01, 0, 2461
barnes, sn-0.6.0-full-checks, 02.91, 65716, 2.88, 0.02, 0, 2863
barnes, sn-0.6.0, 02.87, 65508, 2.85, 0.01, 0, 2838
barnes, sn-0.5.3, 02.87, 70068, 2.84, 0.02, 0, 2518
barnes, sn-0.6.0-memcpy-checks, 02.89, 65608, 2.88, 0.01, 0, 2837
barnes, je, 02.90, 76652, 2.87, 0.02, 0, 2550
barnes, scudo, 02.99, 61892, 2.94, 0.04, 0, 4270
barnes, smi, 03.02, 66728, 3.00, 0.01, 0, 2657
espresso, mi, 05.27, 8220, 5.25, 0.02, 0, 174
espresso, sn-0.6.0-full-checks, 05.35, 12640, 5.30, 0.04, 0, 744
espresso, sn-0.6.0, 05.19, 6216, 5.16, 0.03, 0, 654
espresso, sn-0.5.3, 05.21, 10244, 5.19, 0.01, 0, 410
espresso, sn-0.6.0-memcpy-checks, 05.20, 6256, 5.19, 0.00, 0, 657
espresso, je, 05.54, 12184, 5.50, 0.03, 0, 322
espresso, scudo, 06.07, 4940, 6.05, 0.02, 0, 645
espresso, smi, 05.50, 6620, 5.48, 0.02, 0, 288
z3, mi, 01.19, 71272, 1.18, 0.01, 0, 458
z3, sn-0.6.0-full-checks, 01.18, 72428, 1.17, 0.01, 0, 773
z3, sn-0.6.0, 01.17, 66184, 1.16, 0.01, 0, 734
z3, sn-0.5.3, 01.18, 73508, 1.16, 0.01, 0, 563
z3, sn-0.6.0-memcpy-checks, 01.19, 66128, 1.17, 0.02, 0, 738
z3, je, 01.20, 65792, 1.18, 0.02, 0, 2770
z3, scudo, 01.27, 56116, 1.24, 0.03, 0, 8681
z3, smi, 01.26, 66104, 1.23, 0.02, 0, 3836
gs, mi, 01.17, 57476, 1.13, 0.03, 0, 1660
gs, sn-0.6.0-full-checks, 01.21, 54304, 1.18, 0.02, 0, 2018
gs, sn-0.6.0, 01.18, 48280, 1.17, 0.01, 0, 1999
gs, sn-0.5.3, 01.17, 56084, 1.16, 0.01, 0, 1873
gs, sn-0.6.0-memcpy-checks, 01.17, 48512, 1.14, 0.03, 0, 2000
gs, je, 01.20, 53216, 1.16, 0.04, 0, 3724
gs, scudo, 01.21, 41248, 1.16, 0.05, 0, 17117
gs, smi, 01.20, 56372, 1.16, 0.04, 0, 4550
redis, mi, 4.357, 35112, 1.87, 0.32, 0, 8007
redis, sn-0.6.0-full-checks, 4.435, 33628, 1.91, 0.32, 0, 8964
redis, sn-0.6.0, 4.216, 30440, 1.74, 0.38, 0, 8556
redis, sn-0.5.3, 4.348, 37168, 1.90, 0.28, 0, 7518
redis, sn-0.6.0-memcpy-checks, 4.274, 30408, 1.75, 0.40, 0, 8544
redis, je, 5.060, 36836, 2.21, 0.32, 1, 6765
redis, scudo, 5.252, 37900, 2.22, 0.42, 0, 9863
redis, smi, 4.622, 35372, 1.97, 0.35, 0, 8035
cfrac, mi, 06.37, 4508, 6.37, 0.00, 0, 184
cfrac, sn-0.6.0-full-checks, 06.63, 3584, 6.63, 0.00, 0, 496
cfrac, sn-0.6.0, 06.27, 3332, 6.27, 0.00, 0, 432
cfrac, sn-0.5.3, 06.33, 8244, 6.32, 0.00, 0, 446
cfrac, sn-0.6.0-memcpy-checks, 06.27, 3320, 6.27, 0.00, 0, 431
cfrac, je, 06.64, 10056, 6.64, 0.00, 0, 273
cfrac, scudo, 08.45, 4684, 8.45, 0.00, 0, 616
cfrac, smi, 07.09, 4464, 7.09, 0.00, 0, 183
leanN, mi, 25.62, 591256, 96.05, 1.07, 0, 200920
leanN, sn-0.6.0-full-checks, 26.78, 681948, 102.76, 1.04, 0, 16260
leanN, sn-0.6.0, 24.85, 545020, 95.77, 0.89, 0, 12529
leanN, sn-0.5.3, 25.46, 546652, 96.19, 0.86, 0, 3333
leanN, sn-0.6.0-memcpy-checks, 25.01, 545020, 96.33, 0.92, 0, 13126
leanN, je, 26.06, 503092, 97.26, 1.13, 0, 171614
leanN, scudo, 33.01, 593072, 120.15, 1.81, 0, 598360
leanN, smi, 27.04, 624072, 96.26, 1.92, 0, 354731
sed, mi, 01.74, 324400, 1.66, 0.07, 0, 402
sed, sn-0.6.0-full-checks, 01.74, 349752, 1.65, 0.08, 0, 1670
sed, sn-0.6.0, 01.73, 342816, 1.64, 0.08, 0, 1449
sed, sn-0.5.3, 01.73, 310148, 1.65, 0.08, 0, 682
sed, sn-0.6.0-memcpy-checks, 01.72, 342792, 1.62, 0.10, 0, 1473
sed, je, 01.74, 300292, 1.65, 0.08, 0, 8858
sed, scudo, 01.81, 245512, 1.69, 0.11, 0, 60801
sed, smi, 01.82, 317312, 1.71, 0.11, 0, 34437
barnes, mi, 02.85, 66836, 2.84, 0.01, 0, 2464
barnes, sn-0.6.0-full-checks, 02.91, 65620, 2.90, 0.01, 0, 2854
barnes, sn-0.6.0, 02.86, 65508, 2.83, 0.02, 0, 2839
barnes, sn-0.5.3, 02.84, 70132, 2.82, 0.01, 0, 2530
barnes, sn-0.6.0-memcpy-checks, 02.91, 65628, 2.89, 0.02, 0, 2840
barnes, je, 02.86, 76748, 2.84, 0.01, 0, 2547
barnes, scudo, 02.92, 61480, 2.90, 0.02, 0, 4252
barnes, smi, 02.91, 66940, 2.90, 0.01, 0, 2670
espresso, mi, 05.19, 8316, 5.16, 0.03, 0, 174
espresso, sn-0.6.0-full-checks, 05.27, 12760, 5.23, 0.04, 0, 739
espresso, sn-0.6.0, 05.12, 6536, 5.09, 0.02, 0, 658
espresso, sn-0.5.3, 05.13, 10240, 5.11, 0.02, 0, 411
espresso, sn-0.6.0-memcpy-checks, 05.12, 6440, 5.09, 0.02, 0, 659
espresso, je, 05.44, 9956, 5.44, 0.00, 0, 355
espresso, scudo, 06.04, 4900, 6.01, 0.02, 0, 642
espresso, smi, 05.48, 6740, 5.47, 0.01, 0, 288
z3, mi, 01.20, 71076, 1.20, 0.00, 0, 455
z3, sn-0.6.0-full-checks, 01.17, 70204, 1.16, 0.01, 0, 758
z3, sn-0.6.0, 01.16, 66108, 1.14, 0.01, 0, 735
z3, sn-0.5.3, 01.17, 73488, 1.15, 0.02, 0, 565
z3, sn-0.6.0-memcpy-checks, 01.17, 65872, 1.16, 0.00, 0, 735
z3, je, 01.17, 66016, 1.15, 0.02, 0, 2773
z3, scudo, 01.26, 56052, 1.23, 0.02, 0, 8668
z3, smi, 01.22, 65448, 1.20, 0.01, 0, 3699
gs, mi, 01.16, 57396, 1.12, 0.03, 0, 1657
gs, sn-0.6.0-full-checks, 01.19, 56340, 1.15, 0.03, 0, 1955
gs, sn-0.6.0, 01.17, 48452, 1.15, 0.02, 0, 1998
gs, sn-0.5.3, 01.19, 56076, 1.16, 0.02, 0, 1875
gs, sn-0.6.0-memcpy-checks, 01.17, 48300, 1.14, 0.02, 0, 1997
gs, je, 01.20, 53824, 1.16, 0.04, 0, 3729
gs, scudo, 01.21, 41532, 1.17, 0.03, 0, 17160
gs, smi, 01.19, 57232, 1.14, 0.05, 0, 4648
redis, mi, 4.395, 35208, 1.88, 0.33, 0, 8001
redis, sn-0.6.0-full-checks, 4.504, 33404, 1.72, 0.54, 0, 8904
redis, sn-0.6.0, 4.241, 30464, 1.80, 0.34, 0, 8558
redis, sn-0.5.3, 4.314, 37128, 1.78, 0.38, 0, 7346
redis, sn-0.6.0-memcpy-checks, 4.317, 30544, 1.78, 0.39, 0, 8538
redis, je, 5.109, 36816, 2.16, 0.41, 0, 6769
redis, scudo, 5.209, 37820, 2.27, 0.34, 0, 9874
redis, smi, 4.631, 35436, 1.95, 0.38, 0, 8036
cfrac, mi, 06.33, 4460, 6.33, 0.00, 0, 188
cfrac, sn-0.6.0-full-checks, 06.62, 3560, 6.62, 0.00, 0, 499
cfrac, sn-0.6.0, 06.27, 3244, 6.27, 0.00, 0, 434
cfrac, sn-0.5.3, 06.31, 8424, 6.30, 0.01, 0, 444
cfrac, sn-0.6.0-memcpy-checks, 06.27, 3320, 6.27, 0.00, 0, 432
cfrac, je, 06.64, 10072, 6.63, 0.00, 0, 273
cfrac, scudo, 08.53, 4616, 8.53, 0.00, 0, 615
cfrac, smi, 07.14, 4580, 7.14, 0.00, 0, 180
leanN, mi, 25.83, 587052, 98.11, 1.28, 0, 163240
leanN, sn-0.6.0-full-checks, 26.59, 650568, 102.61, 1.04, 0, 12623
leanN, sn-0.6.0, 25.01, 517504, 97.71, 0.77, 0, 11406
leanN, sn-0.5.3, 26.53, 537680, 101.52, 0.99, 0, 4183
leanN, sn-0.6.0-memcpy-checks, 27.40, 529564, 110.40, 0.89, 0, 12793
leanN, je, 25.99, 529828, 98.94, 1.02, 0, 106383
leanN, scudo, 32.58, 602392, 117.53, 1.81, 0, 532564
leanN, smi, 27.65, 631068, 99.97, 1.98, 0, 422694
sed, mi, 01.74, 326500, 1.65, 0.08, 0, 401
sed, sn-0.6.0-full-checks, 01.74, 347584, 1.63, 0.10, 0, 1694
sed, sn-0.6.0, 01.73, 342784, 1.65, 0.07, 0, 1477
sed, sn-0.5.3, 01.73, 310248, 1.64, 0.08, 0, 684
sed, sn-0.6.0-memcpy-checks, 01.72, 342716, 1.61, 0.10, 0, 1452
sed, je, 01.73, 295420, 1.64, 0.08, 0, 9180
sed, scudo, 01.82, 245464, 1.71, 0.10, 0, 60799
sed, smi, 01.81, 315944, 1.67, 0.13, 0, 34063
barnes, mi, 02.88, 66932, 2.86, 0.02, 0, 2462
barnes, sn-0.6.0-full-checks, 02.86, 65748, 2.82, 0.03, 0, 2853
barnes, sn-0.6.0, 02.90, 65604, 2.88, 0.02, 0, 2837
barnes, sn-0.5.3, 02.85, 70108, 2.83, 0.02, 0, 2526
barnes, sn-0.6.0-memcpy-checks, 02.86, 65628, 2.84, 0.01, 0, 2840
barnes, je, 02.85, 76568, 2.83, 0.02, 0, 2545
barnes, scudo, 02.94, 61888, 2.94, 0.00, 0, 4270
barnes, smi, 02.94, 66856, 2.92, 0.02, 0, 2657
espresso, mi, 05.17, 8328, 5.15, 0.01, 0, 176
espresso, sn-0.6.0-full-checks, 05.28, 12604, 5.25, 0.03, 0, 730
espresso, sn-0.6.0, 05.10, 6248, 5.06, 0.04, 0, 659
espresso, sn-0.5.3, 05.14, 10212, 5.11, 0.02, 0, 411
espresso, sn-0.6.0-memcpy-checks, 05.11, 6256, 5.08, 0.03, 0, 655
espresso, je, 05.44, 9880, 5.41, 0.03, 0, 297
espresso, scudo, 06.04, 5000, 6.02, 0.01, 0, 648
espresso, smi, 05.48, 6640, 5.46, 0.02, 0, 288
z3, mi, 01.21, 71316, 1.19, 0.01, 0, 462
z3, sn-0.6.0-full-checks, 01.19, 72360, 1.18, 0.01, 0, 783
z3, sn-0.6.0, 01.18, 66188, 1.16, 0.01, 0, 740
z3, sn-0.5.3, 01.17, 73712, 1.16, 0.01, 0, 566
z3, sn-0.6.0-memcpy-checks, 01.17, 66060, 1.15, 0.01, 0, 738
z3, je, 01.19, 65880, 1.16, 0.03, 0, 2762
z3, scudo, 01.26, 56160, 1.23, 0.02, 0, 8672
z3, smi, 01.23, 65868, 1.21, 0.02, 0, 3826
gs, mi, 01.17, 57272, 1.11, 0.05, 0, 1656
gs, sn-0.6.0-full-checks, 01.18, 56336, 1.15, 0.02, 0, 2378
gs, sn-0.6.0, 01.18, 48188, 1.15, 0.02, 0, 1998
gs, sn-0.5.3, 01.15, 56044, 1.14, 0.01, 0, 1871
gs, sn-0.6.0-memcpy-checks, 01.19, 48188, 1.16, 0.03, 0, 2000
gs, je, 01.19, 53716, 1.16, 0.03, 0, 3723
gs, scudo, 01.20, 41456, 1.16, 0.04, 0, 17153
gs, smi, 01.20, 57060, 1.16, 0.03, 0, 4647
redis, mi, 4.294, 35128, 1.84, 0.31, 0, 8032
redis, sn-0.6.0-full-checks, 4.406, 33360, 1.83, 0.39, 0, 8930
redis, sn-0.6.0, 4.254, 30504, 1.80, 0.34, 0, 8552
redis, sn-0.5.3, 4.244, 37064, 1.74, 0.39, 0, 7619
redis, sn-0.6.0-memcpy-checks, 4.257, 30400, 1.75, 0.39, 0, 8555
redis, je, 5.021, 36832, 2.09, 0.43, 0, 6775
redis, scudo, 5.238, 37884, 2.18, 0.45, 0, 9872
redis, smi, 4.599, 35428, 1.93, 0.39, 0, 8050
cfrac, mi, 06.33, 4568, 6.32, 0.00, 0, 186
cfrac, sn-0.6.0-full-checks, 06.60, 3628, 6.60, 0.00, 0, 496
cfrac, sn-0.6.0, 06.26, 3332, 6.26, 0.00, 0, 434
cfrac, sn-0.5.3, 06.31, 8408, 6.31, 0.00, 0, 447
cfrac, sn-0.6.0-memcpy-checks, 06.31, 3320, 6.31, 0.00, 0, 432
cfrac, je, 06.72, 10136, 6.72, 0.00, 0, 270
cfrac, scudo, 08.44, 4696, 8.44, 0.00, 0, 610
cfrac, smi, 07.03, 4572, 7.02, 0.00, 0, 183
leanN, mi, 25.89, 588932, 98.21, 1.16, 0, 165165
leanN, sn-0.6.0-full-checks, 26.99, 655148, 105.01, 1.00, 0, 13196
leanN, sn-0.6.0, 27.54, 544660, 111.08, 1.01, 0, 13274
leanN, sn-0.5.3, 25.44, 547264, 96.18, 0.87, 0, 3596
leanN, sn-0.6.0-memcpy-checks, 26.73, 542128, 106.45, 0.90, 0, 11923
leanN, je, 26.89, 529516, 103.02, 1.26, 0, 157578
leanN, scudo, 33.36, 589768, 121.28, 2.00, 0, 601688
leanN, smi, 26.96, 620428, 96.80, 1.63, 0, 326027
sed, mi, 01.73, 330532, 1.65, 0.08, 0, 405
sed, sn-0.6.0-full-checks, 01.73, 349380, 1.65, 0.08, 0, 1545
sed, sn-0.6.0, 01.72, 342796, 1.60, 0.11, 0, 1474
sed, sn-0.5.3, 01.72, 310392, 1.65, 0.07, 0, 683
sed, sn-0.6.0-memcpy-checks, 01.72, 342820, 1.65, 0.07, 0, 1451
sed, je, 01.73, 293900, 1.64, 0.08, 0, 8280
sed, scudo, 01.81, 245412, 1.70, 0.10, 0, 60796
sed, smi, 01.82, 316752, 1.69, 0.12, 0, 34265
barnes, mi, 02.85, 66912, 2.84, 0.00, 0, 2466
barnes, sn-0.6.0-full-checks, 02.87, 65740, 2.85, 0.02, 0, 2853
barnes, sn-0.6.0, 02.86, 65672, 2.84, 0.02, 0, 2839
barnes, sn-0.5.3, 02.86, 69948, 2.84, 0.01, 0, 2523
barnes, sn-0.6.0-memcpy-checks, 02.86, 65628, 2.84, 0.01, 0, 2837
barnes, je, 02.86, 76616, 2.84, 0.01, 0, 2548
barnes, scudo, 02.92, 61692, 2.91, 0.01, 0, 4279
barnes, smi, 02.95, 66820, 2.93, 0.02, 0, 2655
espresso, mi, 05.17, 8276, 5.14, 0.02, 0, 177
espresso, sn-0.6.0-full-checks, 05.27, 12648, 5.20, 0.06, 0, 740
espresso, sn-0.6.0, 05.11, 6232, 5.09, 0.02, 0, 654
espresso, sn-0.5.3, 05.11, 10280, 5.09, 0.02, 0, 406
espresso, sn-0.6.0-memcpy-checks, 05.15, 6216, 5.10, 0.04, 0, 656
espresso, je, 05.55, 9940, 5.52, 0.02, 0, 388
espresso, scudo, 06.08, 4876, 6.03, 0.05, 0, 635
espresso, smi, 05.49, 6684, 5.45, 0.03, 0, 285
z3, mi, 01.19, 71344, 1.16, 0.02, 0, 460
z3, sn-0.6.0-full-checks, 01.17, 70140, 1.14, 0.02, 0, 761
z3, sn-0.6.0, 01.17, 66068, 1.15, 0.01, 0, 741
z3, sn-0.5.3, 01.19, 73804, 1.17, 0.02, 0, 564
z3, sn-0.6.0-memcpy-checks, 01.17, 66232, 1.15, 0.01, 0, 741
z3, je, 01.18, 67784, 1.16, 0.02, 0, 2757
z3, scudo, 01.26, 56312, 1.24, 0.01, 0, 8163
z3, smi, 01.23, 66204, 1.21, 0.01, 0, 3834
gs, mi, 01.16, 57488, 1.12, 0.04, 0, 1652
gs, sn-0.6.0-full-checks, 01.18, 54004, 1.16, 0.02, 0, 1961
gs, sn-0.6.0, 01.18, 48352, 1.14, 0.03, 0, 2001
gs, sn-0.5.3, 01.16, 56260, 1.11, 0.04, 0, 1875
gs, sn-0.6.0-memcpy-checks, 01.18, 48336, 1.15, 0.02, 0, 2000
gs, je, 01.19, 55668, 1.15, 0.03, 0, 3715
gs, scudo, 01.20, 41428, 1.15, 0.05, 0, 17159
gs, smi, 01.20, 56748, 1.18, 0.01, 0, 4635
redis, mi, 4.675, 35124, 1.81, 0.54, 0, 7996
redis, sn-0.6.0-full-checks, 4.357, 33356, 1.85, 0.34, 0, 8977
redis, sn-0.6.0, 4.199, 30520, 1.74, 0.36, 0, 8579
redis, sn-0.5.3, 4.254, 37024, 1.80, 0.33, 0, 7116
redis, sn-0.6.0-memcpy-checks, 4.236, 30356, 1.68, 0.45, 0, 8560
redis, je, 5.026, 36816, 2.20, 0.32, 0, 6771
redis, scudo, 5.156, 38016, 2.25, 0.34, 0, 9884
redis, smi, 4.564, 35472, 1.90, 0.40, 0, 8051
cfrac, mi, 06.32, 4460, 6.31, 0.00, 0, 179
cfrac, sn-0.6.0-full-checks, 06.61, 3584, 6.61, 0.00, 0, 495
cfrac, sn-0.6.0, 06.28, 3300, 6.28, 0.00, 0, 433
cfrac, sn-0.5.3, 06.38, 8424, 6.37, 0.00, 0, 446
cfrac, sn-0.6.0-memcpy-checks, 06.24, 3336, 6.24, 0.00, 0, 434
cfrac, je, 06.62, 10056, 6.62, 0.00, 0, 271
cfrac, scudo, 08.40, 4592, 8.39, 0.00, 0, 611
cfrac, smi, 07.04, 4596, 7.03, 0.00, 0, 182
leanN, mi, 26.06, 592944, 99.54, 1.21, 0, 241980
leanN, sn-0.6.0-full-checks, 26.66, 675748, 101.94, 1.01, 0, 13980
leanN, sn-0.6.0, 25.55, 535144, 99.90, 0.83, 0, 12792
leanN, sn-0.5.3, 25.91, 536216, 98.51, 0.89, 0, 3475
leanN, sn-0.6.0-memcpy-checks, 25.17, 533080, 97.46, 0.95, 0, 13412
leanN, je, 26.95, 514740, 103.52, 1.21, 0, 204418
leanN, scudo, 32.10, 628432, 114.89, 1.64, 0, 568793
leanN, smi, 27.59, 635276, 100.36, 1.84, 2, 343670
sed, mi, 01.72, 326452, 1.63, 0.09, 0, 404
sed, sn-0.6.0-full-checks, 01.73, 347264, 1.64, 0.09, 0, 1571
sed, sn-0.6.0, 01.73, 342908, 1.63, 0.09, 0, 1480
sed, sn-0.5.3, 01.71, 310356, 1.63, 0.08, 0, 684
sed, sn-0.6.0-memcpy-checks, 01.72, 342824, 1.62, 0.09, 0, 1453
sed, je, 01.73, 295488, 1.67, 0.06, 0, 9192
sed, scudo, 01.81, 245284, 1.67, 0.13, 0, 60797
sed, smi, 01.80, 316116, 1.69, 0.11, 0, 34107
barnes, mi, 02.85, 66800, 2.84, 0.01, 0, 2464
barnes, sn-0.6.0-full-checks, 02.87, 65632, 2.86, 0.01, 0, 2853
barnes, sn-0.6.0, 02.86, 65552, 2.83, 0.02, 0, 2838
barnes, sn-0.5.3, 02.84, 70108, 2.83, 0.00, 0, 2520
barnes, sn-0.6.0-memcpy-checks, 02.86, 65608, 2.82, 0.03, 0, 2834
barnes, je, 02.85, 76636, 2.83, 0.02, 0, 2547
barnes, scudo, 02.89, 64112, 2.86, 0.02, 0, 3516
barnes, smi, 02.95, 66948, 2.93, 0.01, 0, 2662
espresso, mi, 05.16, 8228, 5.13, 0.02, 0, 176
espresso, sn-0.6.0-full-checks, 05.24, 12608, 5.22, 0.02, 0, 748
espresso, sn-0.6.0, 05.11, 6328, 5.07, 0.03, 0, 661
espresso, sn-0.5.3, 05.14, 10392, 5.10, 0.03, 0, 414
espresso, sn-0.6.0-memcpy-checks, 05.14, 6412, 5.11, 0.02, 0, 659
espresso, je, 05.53, 11876, 5.49, 0.04, 0, 334
espresso, scudo, 06.10, 5000, 6.07, 0.03, 0, 648
espresso, smi, 05.48, 6748, 5.46, 0.02, 0, 289
z3, mi, 01.18, 71260, 1.16, 0.02, 0, 458
z3, sn-0.6.0-full-checks, 01.18, 72220, 1.17, 0.01, 0, 772
z3, sn-0.6.0, 01.17, 66052, 1.17, 0.00, 0, 734
z3, sn-0.5.3, 01.16, 73748, 1.15, 0.01, 0, 566
z3, sn-0.6.0-memcpy-checks, 01.17, 66104, 1.15, 0.01, 0, 738
z3, je, 01.17, 65920, 1.16, 0.01, 0, 2771
z3, scudo, 01.27, 55960, 1.24, 0.02, 0, 8678
z3, smi, 01.23, 65724, 1.21, 0.02, 0, 3728
gs, mi, 01.15, 57376, 1.12, 0.03, 0, 1655
gs, sn-0.6.0-full-checks, 01.19, 56208, 1.15, 0.03, 0, 1961
gs, sn-0.6.0, 01.17, 48216, 1.14, 0.01, 0, 1999
gs, sn-0.5.3, 01.16, 56052, 1.15, 0.01, 0, 1871
gs, sn-0.6.0-memcpy-checks, 01.17, 48108, 1.13, 0.04, 0, 1997
gs, je, 01.18, 53792, 1.16, 0.01, 0, 3727
gs, scudo, 01.20, 41180, 1.17, 0.03, 0, 17107
gs, smi, 01.18, 56612, 1.15, 0.03, 0, 4610
redis, mi, 4.314, 35176, 1.85, 0.31, 0, 8029
redis, sn-0.6.0-full-checks, 4.369, 33168, 1.79, 0.40, 0, 8840
redis, sn-0.6.0, 4.248, 30392, 1.74, 0.40, 0, 8556
redis, sn-0.5.3, 4.271, 37064, 1.74, 0.41, 0, 6995
redis, sn-0.6.0-memcpy-checks, 4.265, 30460, 1.72, 0.42, 0, 8543
redis, je, 4.991, 36876, 2.10, 0.40, 0, 6772
redis, scudo, 5.188, 38000, 2.16, 0.45, 0, 9878
redis, smi, 4.662, 35452, 2.03, 0.31, 0, 8040
cfrac, mi, 06.52, 4588, 6.52, 0.00, 0, 185
cfrac, sn-0.6.0-full-checks, 06.76, 3580, 6.76, 0.00, 0, 497
cfrac, sn-0.6.0, 06.39, 3272, 6.39, 0.00, 0, 429
cfrac, sn-0.5.3, 06.46, 8348, 6.45, 0.00, 0, 445
cfrac, sn-0.6.0-memcpy-checks, 06.28, 3336, 6.27, 0.00, 0, 432
cfrac, je, 06.63, 10056, 6.63, 0.00, 0, 271
cfrac, scudo, 08.39, 4564, 8.39, 0.00, 0, 608
cfrac, smi, 07.07, 4604, 7.07, 0.00, 0, 182
leanN, mi, 25.77, 579000, 97.39, 1.21, 0, 226057
leanN, sn-0.6.0-full-checks, 26.67, 671232, 102.70, 1.00, 0, 13239
leanN, sn-0.6.0, 26.24, 529888, 103.74, 0.90, 0, 10606
leanN, sn-0.5.3, 25.31, 555048, 95.87, 0.90, 0, 3509
leanN, sn-0.6.0-memcpy-checks, 25.95, 534752, 101.70, 0.95, 0, 11941
leanN, je, 25.51, 520756, 95.50, 1.06, 0, 164558
leanN, scudo, 32.49, 589876, 116.58, 1.64, 0, 607090
leanN, smi, 27.65, 627320, 100.04, 2.02, 0, 363186
sed, mi, 01.73, 326428, 1.67, 0.06, 0, 403
sed, sn-0.6.0-full-checks, 01.75, 351632, 1.63, 0.11, 0, 1713
sed, sn-0.6.0, 01.73, 342732, 1.66, 0.06, 0, 1477
sed, sn-0.5.3, 01.72, 310300, 1.65, 0.07, 0, 685
sed, sn-0.6.0-memcpy-checks, 01.73, 342804, 1.64, 0.08, 0, 1476
sed, je, 01.73, 295712, 1.65, 0.08, 0, 9184
sed, scudo, 01.82, 245648, 1.69, 0.11, 0, 60799
sed, smi, 01.82, 316576, 1.71, 0.11, 0, 34234
barnes, mi, 02.84, 66972, 2.83, 0.01, 0, 2465
barnes, sn-0.6.0-full-checks, 02.88, 65700, 2.86, 0.02, 0, 2854
barnes, sn-0.6.0, 02.86, 65660, 2.85, 0.01, 0, 2839
barnes, sn-0.5.3, 02.94, 70008, 2.93, 0.00, 0, 2522
barnes, sn-0.6.0-memcpy-checks, 02.86, 65604, 2.84, 0.01, 0, 2841
barnes, je, 02.86, 76672, 2.84, 0.01, 0, 2550
barnes, scudo, 02.90, 64096, 2.88, 0.01, 0, 3531
barnes, smi, 02.92, 66776, 2.90, 0.01, 0, 2661
espresso, mi, 05.19, 8220, 5.17, 0.02, 0, 172
espresso, sn-0.6.0-full-checks, 05.33, 12760, 5.29, 0.04, 0, 726
espresso, sn-0.6.0, 05.21, 6272, 5.18, 0.03, 0, 660
espresso, sn-0.5.3, 05.15, 10252, 5.13, 0.01, 0, 413
espresso, sn-0.6.0-memcpy-checks, 05.14, 6440, 5.12, 0.02, 0, 661
espresso, je, 05.43, 9908, 5.39, 0.04, 0, 332
espresso, scudo, 06.03, 4884, 6.00, 0.02, 0, 642
espresso, smi, 05.48, 6680, 5.44, 0.03, 0, 287
z3, mi, 01.18, 71236, 1.17, 0.01, 0, 458
z3, sn-0.6.0-full-checks, 01.17, 70276, 1.16, 0.00, 0, 767
z3, sn-0.6.0, 01.17, 65988, 1.14, 0.02, 0, 733
z3, sn-0.5.3, 01.17, 73808, 1.15, 0.01, 0, 571
z3, sn-0.6.0-memcpy-checks, 01.16, 66264, 1.14, 0.02, 0, 740
z3, je, 01.18, 65916, 1.17, 0.01, 0, 2774
z3, scudo, 01.25, 56064, 1.23, 0.02, 0, 8664
z3, smi, 01.23, 66032, 1.21, 0.01, 0, 3809
gs, mi, 01.17, 57300, 1.15, 0.01, 0, 1658
gs, sn-0.6.0-full-checks, 01.19, 54364, 1.15, 0.03, 0, 2014
gs, sn-0.6.0, 01.16, 48528, 1.13, 0.03, 0, 1997
gs, sn-0.5.3, 01.16, 56216, 1.14, 0.02, 0, 1872
gs, sn-0.6.0-memcpy-checks, 01.18, 48464, 1.14, 0.04, 0, 1999
gs, je, 01.18, 53628, 1.16, 0.02, 0, 3712
gs, scudo, 01.20, 41440, 1.14, 0.06, 0, 17166
gs, smi, 01.18, 57068, 1.15, 0.03, 0, 4675
redis, mi, 4.288, 35248, 1.74, 0.42, 0, 8036
redis, sn-0.6.0-full-checks, 4.343, 33512, 1.90, 0.29, 0, 9002
redis, sn-0.6.0, 4.203, 30428, 1.78, 0.34, 0, 8564
redis, sn-0.5.3, 4.224, 37128, 1.74, 0.38, 0, 7520
redis, sn-0.6.0-memcpy-checks, 4.229, 30404, 1.71, 0.42, 0, 8564
redis, je, 5.033, 36940, 2.16, 0.36, 0, 6761
redis, scudo, 5.361, 37964, 2.31, 0.38, 0, 9853
redis, smi, 4.665, 35436, 1.91, 0.43, 0, 8032
cfrac, mi, 06.31, 4460, 6.30, 0.00, 0, 180
cfrac, sn-0.6.0-full-checks, 06.60, 3596, 6.60, 0.00, 0, 507
cfrac, sn-0.6.0, 06.23, 3276, 6.23, 0.00, 0, 431
cfrac, sn-0.5.3, 06.30, 8292, 6.30, 0.00, 0, 445
cfrac, sn-0.6.0-memcpy-checks, 06.24, 3336, 6.24, 0.00, 0, 430
cfrac, je, 06.67, 9996, 6.66, 0.00, 0, 270
cfrac, scudo, 08.64, 4756, 8.63, 0.00, 0, 613
cfrac, smi, 07.18, 4572, 7.18, 0.00, 0, 184
leanN, mi, 26.23, 583088, 100.11, 1.16, 2, 161724
leanN, sn-0.6.0-full-checks, 26.23, 673484, 100.36, 0.96, 0, 12775
leanN, sn-0.6.0, 27.12, 530604, 108.73, 1.00, 0, 12559
leanN, sn-0.5.3, 27.30, 526460, 106.32, 0.96, 0, 2879
leanN, sn-0.6.0-memcpy-checks, 26.90, 518652, 106.80, 0.83, 0, 11945
leanN, je, 26.70, 513676, 103.21, 0.97, 0, 78470
leanN, scudo, 33.24, 625584, 121.33, 1.88, 0, 656737
leanN, smi, 27.25, 617944, 97.77, 2.02, 0, 449513
sed, mi, 01.75, 324396, 1.69, 0.05, 0, 402
sed, sn-0.6.0-full-checks, 01.74, 349496, 1.65, 0.09, 0, 1693
sed, sn-0.6.0, 01.73, 342848, 1.64, 0.09, 0, 1474
sed, sn-0.5.3, 01.72, 310416, 1.64, 0.07, 0, 686
sed, sn-0.6.0-memcpy-checks, 01.74, 342748, 1.66, 0.07, 0, 1482
sed, je, 01.74, 295408, 1.65, 0.09, 0, 9194
sed, scudo, 01.81, 245432, 1.69, 0.12, 0, 60798
sed, smi, 01.80, 316564, 1.69, 0.11, 0, 34217
barnes, mi, 02.90, 66824, 2.87, 0.02, 0, 2463
barnes, sn-0.6.0-full-checks, 02.94, 65752, 2.90, 0.03, 0, 2856
barnes, sn-0.6.0, 02.93, 65796, 2.92, 0.01, 0, 2844
barnes, sn-0.5.3, 02.87, 70156, 2.85, 0.02, 0, 2519
barnes, sn-0.6.0-memcpy-checks, 02.85, 65648, 2.82, 0.02, 0, 2844
barnes, je, 02.85, 76616, 2.83, 0.01, 0, 2551
barnes, scudo, 02.92, 64456, 2.89, 0.03, 0, 3607
barnes, smi, 02.91, 66984, 2.89, 0.02, 0, 2659
espresso, mi, 05.17, 8224, 5.15, 0.01, 0, 176
espresso, sn-0.6.0-full-checks, 05.25, 12740, 5.22, 0.02, 0, 734
espresso, sn-0.6.0, 05.11, 6256, 5.11, 0.00, 0, 658
espresso, sn-0.5.3, 05.13, 10420, 5.09, 0.03, 0, 414
espresso, sn-0.6.0-memcpy-checks, 05.12, 6548, 5.08, 0.04, 0, 663
espresso, je, 05.44, 10148, 5.42, 0.02, 0, 307
espresso, scudo, 06.05, 4992, 6.03, 0.02, 0, 642
espresso, smi, 05.45, 6684, 5.43, 0.02, 0, 289
z3, mi, 01.18, 71336, 1.16, 0.02, 0, 456
z3, sn-0.6.0-full-checks, 01.18, 70424, 1.16, 0.01, 0, 759
z3, sn-0.6.0, 01.16, 66164, 1.15, 0.01, 0, 739
z3, sn-0.5.3, 01.16, 73580, 1.14, 0.02, 0, 565
z3, sn-0.6.0-memcpy-checks, 01.17, 66016, 1.15, 0.01, 0, 742
z3, je, 01.19, 66028, 1.16, 0.02, 0, 2773
z3, scudo, 01.24, 56172, 1.22, 0.01, 0, 8145
z3, smi, 01.23, 65560, 1.20, 0.03, 0, 3753
gs, mi, 01.15, 57368, 1.13, 0.02, 0, 1657
gs, sn-0.6.0-full-checks, 01.19, 53812, 1.17, 0.01, 0, 1939
gs, sn-0.6.0, 01.17, 48532, 1.15, 0.01, 0, 1993
gs, sn-0.5.3, 01.15, 56056, 1.12, 0.02, 0, 1876
gs, sn-0.6.0-memcpy-checks, 01.17, 48452, 1.13, 0.03, 0, 1998
gs, je, 01.18, 53568, 1.13, 0.05, 0, 3723
gs, scudo, 01.20, 41540, 1.16, 0.03, 0, 17162
gs, smi, 01.19, 57140, 1.16, 0.02, 0, 4643
redis, mi, 4.308, 35204, 1.77, 0.39, 0, 8019
redis, sn-0.6.0-full-checks, 4.392, 33984, 1.86, 0.35, 0, 9164
redis, sn-0.6.0, 4.196, 30348, 1.74, 0.37, 0, 8562
redis, sn-0.5.3, 4.389, 37100, 1.73, 0.47, 0, 7100
redis, sn-0.6.0-memcpy-checks, 4.328, 30368, 1.83, 0.34, 0, 8531
redis, je, 4.989, 36816, 2.17, 0.33, 0, 6756
redis, scudo, 5.182, 37880, 2.22, 0.39, 0, 9882
redis, smi, 4.593, 35444, 1.88, 0.43, 0, 8057
cfrac, mi, 06.29, 4480, 6.29, 0.00, 0, 183
cfrac, sn-0.6.0-full-checks, 06.61, 3664, 6.61, 0.00, 0, 512
cfrac, sn-0.6.0, 06.25, 3328, 6.25, 0.00, 0, 431
cfrac, sn-0.5.3, 06.36, 8348, 6.36, 0.00, 0, 445
cfrac, sn-0.6.0-memcpy-checks, 06.25, 3340, 6.25, 0.00, 0, 430
cfrac, je, 06.63, 10000, 6.62, 0.00, 0, 270
cfrac, scudo, 08.40, 4564, 8.39, 0.00, 0, 610
cfrac, smi, 07.00, 4604, 7.00, 0.00, 0, 183
leanN, mi, 26.14, 585036, 100.89, 1.35, 0, 185556
leanN, sn-0.6.0-full-checks, 27.06, 681168, 105.03, 1.04, 0, 11898
leanN, sn-0.6.0, 26.39, 518364, 104.78, 0.84, 0, 11801
leanN, sn-0.5.3, 26.22, 540668, 102.18, 0.90, 0, 3315
leanN, sn-0.6.0-memcpy-checks, 25.73, 544584, 100.10, 0.90, 0, 13151
leanN, je, 26.63, 489512, 103.36, 1.12, 0, 178461
leanN, scudo, 32.24, 586964, 116.42, 1.71, 4, 656609
leanN, smi, 27.36, 612228, 98.39, 1.86, 3, 411598
sed, mi, 01.75, 326444, 1.66, 0.08, 0, 398
sed, sn-0.6.0-full-checks, 01.79, 347472, 1.72, 0.06, 0, 1697
sed, sn-0.6.0, 01.76, 342848, 1.68, 0.07, 0, 1478
sed, sn-0.5.3, 01.78, 310088, 1.68, 0.09, 0, 679
sed, sn-0.6.0-memcpy-checks, 01.74, 342872, 1.63, 0.10, 0, 1479
sed, je, 01.76, 295512, 1.69, 0.07, 0, 9198
sed, scudo, 01.83, 245376, 1.73, 0.09, 0, 60796
sed, smi, 01.81, 315884, 1.69, 0.11, 0, 34061
barnes, mi, 02.88, 66716, 2.86, 0.02, 0, 2461
barnes, sn-0.6.0-full-checks, 02.91, 65776, 2.88, 0.02, 0, 2856
barnes, sn-0.6.0, 02.86, 65636, 2.85, 0.01, 0, 2847
barnes, sn-0.5.3, 02.88, 69948, 2.85, 0.02, 0, 2519
barnes, sn-0.6.0-memcpy-checks, 02.86, 65648, 2.84, 0.02, 0, 2848
barnes, je, 02.89, 76676, 2.87, 0.01, 0, 2546
barnes, scudo, 02.91, 61900, 2.89, 0.01, 0, 3644
barnes, smi, 02.95, 66896, 2.94, 0.00, 0, 2657
espresso, mi, 05.20, 8260, 5.18, 0.01, 0, 174
espresso, sn-0.6.0-full-checks, 05.28, 12608, 5.27, 0.01, 0, 736
espresso, sn-0.6.0, 05.12, 6268, 5.09, 0.03, 0, 659
espresso, sn-0.5.3, 05.16, 10328, 5.14, 0.01, 0, 413
espresso, sn-0.6.0-memcpy-checks, 05.12, 6428, 5.10, 0.02, 0, 657
espresso, je, 05.49, 9904, 5.47, 0.01, 0, 346
espresso, scudo, 06.05, 4884, 6.02, 0.02, 0, 632
espresso, smi, 05.50, 6684, 5.46, 0.03, 0, 284
z3, mi, 01.19, 71380, 1.17, 0.02, 0, 459
z3, sn-0.6.0-full-checks, 01.18, 70388, 1.15, 0.02, 0, 768
z3, sn-0.6.0, 01.18, 66116, 1.17, 0.00, 0, 738
z3, sn-0.5.3, 01.16, 73572, 1.14, 0.01, 0, 562
z3, sn-0.6.0-memcpy-checks, 01.17, 66184, 1.15, 0.01, 0, 741
z3, je, 01.19, 65840, 1.16, 0.02, 0, 2772
z3, scudo, 01.26, 56180, 1.25, 0.01, 0, 8670
z3, smi, 01.25, 65808, 1.23, 0.01, 0, 3798
gs, mi, 01.16, 57188, 1.14, 0.02, 0, 1655
gs, sn-0.6.0-full-checks, 01.18, 54236, 1.16, 0.02, 0, 1958
gs, sn-0.6.0, 01.18, 48488, 1.16, 0.02, 0, 2000
gs, sn-0.5.3, 01.16, 56172, 1.13, 0.03, 0, 1872
gs, sn-0.6.0-memcpy-checks, 01.19, 48188, 1.15, 0.04, 0, 2000
gs, je, 01.20, 53220, 1.15, 0.04, 0, 3711
gs, scudo, 01.21, 41180, 1.15, 0.06, 0, 17153
gs, smi, 01.20, 57036, 1.16, 0.04, 0, 4612
redis, mi, 4.340, 35184, 1.79, 0.39, 0, 8010
redis, sn-0.6.0-full-checks, 4.403, 33604, 1.88, 0.33, 0, 9014
redis, sn-0.6.0, 4.320, 30360, 1.80, 0.37, 0, 8539
redis, sn-0.5.3, 4.348, 36980, 1.82, 0.36, 0, 7483
redis, sn-0.6.0-memcpy-checks, 4.306, 30440, 1.81, 0.35, 0, 8542
redis, je, 5.087, 36972, 2.19, 0.36, 0, 6784
redis, scudo, 5.234, 37924, 2.22, 0.41, 0, 9880
redis, smi, 4.690, 35696, 1.92, 0.44, 0, 8085
cfrac, mi, 06.33, 4496, 6.33, 0.00, 0, 186
cfrac, sn-0.6.0-full-checks, 06.62, 3576, 6.62, 0.00, 0, 495
cfrac, sn-0.6.0, 06.27, 3336, 6.27, 0.00, 0, 435
cfrac, sn-0.5.3, 06.32, 8408, 6.32, 0.00, 0, 448
cfrac, sn-0.6.0-memcpy-checks, 06.27, 3376, 6.27, 0.00, 0, 434
cfrac, je, 06.66, 10104, 6.65, 0.00, 0, 271
cfrac, scudo, 08.43, 4656, 8.42, 0.00, 0, 611
cfrac, smi, 07.06, 4636, 7.06, 0.00, 0, 183
leanN, mi, 26.72, 595404, 103.20, 1.25, 3, 232568
leanN, sn-0.6.0-full-checks, 26.55, 655872, 101.70, 1.10, 0, 13236
leanN, sn-0.6.0, 25.36, 534340, 98.64, 0.81, 0, 12637
leanN, sn-0.5.3, 25.75, 549084, 98.06, 0.79, 0, 3423
leanN, sn-0.6.0-memcpy-checks, 26.59, 534420, 106.42, 0.76, 0, 12479
leanN, je, 26.02, 524788, 98.90, 1.07, 0, 140108
leanN, scudo, 32.32, 617108, 115.04, 1.95, 3, 560579
leanN, smi, 27.69, 626448, 100.56, 2.05, 0, 453730
sed, mi, 01.75, 326400, 1.67, 0.07, 0, 404
sed, sn-0.6.0-full-checks, 01.79, 347480, 1.70, 0.09, 0, 1697
sed, sn-0.6.0, 01.76, 342736, 1.66, 0.09, 0, 1478
sed, sn-0.5.3, 01.76, 310376, 1.70, 0.05, 0, 681
sed, sn-0.6.0-memcpy-checks, 01.79, 342792, 1.69, 0.10, 0, 1477
sed, je, 01.75, 294172, 1.65, 0.09, 0, 8283
sed, scudo, 01.81, 245416, 1.69, 0.11, 0, 60794
sed, smi, 01.82, 312476, 1.68, 0.13, 0, 33703
barnes, mi, 02.86, 66764, 2.85, 0.01, 0, 2461
barnes, sn-0.6.0-full-checks, 02.87, 65632, 2.85, 0.02, 0, 2855
barnes, sn-0.6.0, 02.87, 65668, 2.84, 0.03, 0, 2837
barnes, sn-0.5.3, 02.90, 70064, 2.87, 0.02, 0, 2525
barnes, sn-0.6.0-memcpy-checks, 02.88, 65616, 2.87, 0.01, 0, 2841
barnes, je, 02.85, 76744, 2.85, 0.00, 0, 2549
barnes, scudo, 02.90, 63144, 2.88, 0.02, 0, 3502
barnes, smi, 02.94, 66808, 2.90, 0.03, 0, 2660
espresso, mi, 05.19, 8308, 5.17, 0.02, 0, 176
espresso, sn-0.6.0-full-checks, 05.28, 12608, 5.25, 0.02, 0, 758
espresso, sn-0.6.0, 05.13, 6236, 5.10, 0.02, 0, 656
espresso, sn-0.5.3, 05.14, 10240, 5.10, 0.04, 0, 411
espresso, sn-0.6.0-memcpy-checks, 05.12, 6240, 5.10, 0.02, 0, 655
espresso, je, 05.45, 9860, 5.45, 0.00, 0, 336
espresso, scudo, 06.02, 4804, 6.02, 0.00, 0, 640
espresso, smi, 05.48, 6756, 5.45, 0.03, 0, 290
z3, mi, 01.20, 71272, 1.18, 0.01, 0, 456
z3, sn-0.6.0-full-checks, 01.19, 70156, 1.17, 0.01, 0, 765
z3, sn-0.6.0, 01.17, 66192, 1.16, 0.00, 0, 737
z3, sn-0.5.3, 01.17, 73556, 1.15, 0.01, 0, 562
z3, sn-0.6.0-memcpy-checks, 01.18, 66120, 1.16, 0.02, 0, 731
z3, je, 01.18, 65900, 1.17, 0.01, 0, 2771
z3, scudo, 01.27, 56036, 1.26, 0.01, 0, 8678
z3, smi, 01.23, 65884, 1.20, 0.02, 0, 3786
gs, mi, 01.17, 57512, 1.15, 0.01, 0, 1655
gs, sn-0.6.0-full-checks, 01.19, 54220, 1.15, 0.04, 0, 1945
gs, sn-0.6.0, 01.17, 48364, 1.16, 0.01, 0, 1998
gs, sn-0.5.3, 01.16, 56032, 1.14, 0.02, 0, 1876
gs, sn-0.6.0-memcpy-checks, 01.19, 47984, 1.15, 0.03, 0, 1996
gs, je, 01.20, 53552, 1.17, 0.03, 0, 3733
gs, scudo, 01.22, 41524, 1.15, 0.06, 0, 17151
gs, smi, 01.22, 56648, 1.18, 0.03, 0, 4597
redis, mi, 4.380, 35048, 1.87, 0.33, 0, 8004
redis, sn-0.6.0-full-checks, 4.406, 33720, 1.87, 0.35, 0, 9048
redis, sn-0.6.0, 4.182, 30384, 1.72, 0.39, 0, 8574
redis, sn-0.5.3, 4.314, 36988, 1.81, 0.36, 0, 7349
redis, sn-0.6.0-memcpy-checks, 4.492, 30384, 1.88, 0.38, 0, 8479
redis, je, 5.061, 36840, 2.14, 0.40, 0, 6776
redis, scudo, 5.222, 37976, 2.24, 0.39, 0, 9876
redis, smi, 4.618, 35384, 1.88, 0.44, 0, 8039
cfrac, mi, 06.36, 4496, 6.35, 0.00, 0, 183
cfrac, sn-0.6.0-full-checks, 06.62, 3672, 6.62, 0.00, 0, 512
cfrac, sn-0.6.0, 06.27, 3332, 6.27, 0.00, 0, 436
cfrac, sn-0.5.3, 06.34, 8424, 6.33, 0.00, 0, 446
cfrac, sn-0.6.0-memcpy-checks, 06.28, 3376, 6.28, 0.00, 0, 434
cfrac, je, 06.64, 10108, 6.64, 0.00, 0, 271
cfrac, scudo, 08.56, 4644, 8.56, 0.00, 0, 610
cfrac, smi, 07.06, 4496, 7.06, 0.00, 0, 184
leanN, mi, 25.91, 597148, 98.60, 1.04, 0, 190255
leanN, sn-0.6.0-full-checks, 27.77, 662424, 108.83, 0.93, 0, 13224
leanN, sn-0.6.0, 24.73, 534340, 94.63, 0.75, 0, 13335
leanN, sn-0.5.3, 26.49, 539092, 101.33, 0.99, 3, 3592
leanN, sn-0.6.0-memcpy-checks, 26.56, 530728, 106.76, 0.88, 0, 12442
leanN, je, 27.05, 504264, 103.22, 1.17, 0, 156329
leanN, scudo, 32.94, 612364, 117.66, 2.10, 5, 805633
leanN, smi, 27.56, 625856, 99.23, 1.87, 1, 381154
sed, mi, 01.74, 326504, 1.66, 0.08, 0, 403
sed, sn-0.6.0-full-checks, 01.74, 349428, 1.65, 0.08, 0, 1596
sed, sn-0.6.0, 01.73, 342912, 1.64, 0.08, 0, 1475
sed, sn-0.5.3, 01.72, 310300, 1.65, 0.07, 0, 679
sed, sn-0.6.0-memcpy-checks, 01.73, 342796, 1.64, 0.09, 0, 1474
sed, je, 01.74, 296120, 1.65, 0.09, 0, 8271
sed, scudo, 01.82, 245408, 1.70, 0.12, 0, 60794
sed, smi, 01.82, 312548, 1.70, 0.11, 0, 33757
barnes, mi, 02.86, 66808, 2.84, 0.01, 0, 2465
barnes, sn-0.6.0-full-checks, 02.86, 65732, 2.84, 0.02, 0, 2854
barnes, sn-0.6.0, 02.86, 65640, 2.84, 0.02, 0, 2848
barnes, sn-0.5.3, 02.86, 70068, 2.85, 0.01, 0, 2523
barnes, sn-0.6.0-memcpy-checks, 02.92, 65608, 2.90, 0.02, 0, 2837
barnes, je, 02.91, 76640, 2.88, 0.02, 0, 2547
barnes, scudo, 02.92, 63716, 2.91, 0.00, 0, 3472
barnes, smi, 02.93, 66852, 2.89, 0.03, 0, 2658
espresso, mi, 05.19, 8316, 5.15, 0.03, 0, 172
espresso, sn-0.6.0-full-checks, 05.27, 12808, 5.26, 0.00, 0, 733
espresso, sn-0.6.0, 05.14, 6296, 5.10, 0.03, 0, 658
espresso, sn-0.5.3, 05.15, 10352, 5.14, 0.01, 0, 415
espresso, sn-0.6.0-memcpy-checks, 05.13, 6548, 5.11, 0.01, 0, 660
espresso, je, 05.47, 9932, 5.44, 0.02, 0, 355
espresso, scudo, 06.13, 4804, 6.12, 0.01, 0, 633
espresso, smi, 05.50, 6692, 5.46, 0.04, 0, 288
z3, mi, 01.20, 71152, 1.18, 0.01, 0, 456
z3, sn-0.6.0-full-checks, 01.17, 70276, 1.15, 0.02, 0, 767
z3, sn-0.6.0, 01.17, 66000, 1.14, 0.02, 0, 732
z3, sn-0.5.3, 01.17, 73528, 1.15, 0.01, 0, 564
z3, sn-0.6.0-memcpy-checks, 01.16, 65980, 1.16, 0.00, 0, 736
z3, je, 01.19, 65772, 1.17, 0.01, 0, 2774
z3, scudo, 01.26, 56280, 1.24, 0.01, 0, 8661
z3, smi, 01.24, 65928, 1.22, 0.02, 0, 3817
gs, mi, 01.17, 57516, 1.17, 0.00, 0, 1654
gs, sn-0.6.0-full-checks, 01.19, 54336, 1.15, 0.03, 0, 1947
gs, sn-0.6.0, 01.18, 48316, 1.14, 0.03, 0, 1996
gs, sn-0.5.3, 01.17, 56208, 1.15, 0.02, 0, 1872
gs, sn-0.6.0-memcpy-checks, 01.18, 48384, 1.16, 0.02, 0, 1997
gs, je, 01.20, 53652, 1.18, 0.02, 0, 3718
gs, scudo, 01.21, 41432, 1.18, 0.02, 0, 17155
gs, smi, 01.19, 56816, 1.12, 0.06, 0, 4649
redis, mi, 4.314, 35128, 1.80, 0.36, 0, 8009
redis, sn-0.6.0-full-checks, 4.415, 33776, 1.86, 0.36, 0, 9147
redis, sn-0.6.0, 4.239, 30492, 1.74, 0.39, 0, 8547
redis, sn-0.5.3, 4.277, 36992, 1.79, 0.36, 0, 7345
redis, sn-0.6.0-memcpy-checks, 4.320, 30388, 1.80, 0.37, 0, 8544
redis, je, 5.188, 36876, 2.28, 0.32, 0, 6771
redis, scudo, 5.231, 37984, 2.27, 0.36, 0, 9869
redis, smi, 4.599, 35488, 1.92, 0.39, 0, 8062
cfrac, mi, 06.39, 4496, 6.38, 0.00, 0, 182
cfrac, sn-0.6.0-full-checks, 06.73, 3572, 6.73, 0.00, 0, 494
cfrac, sn-0.6.0, 06.27, 3264, 6.26, 0.00, 0, 430
cfrac, sn-0.5.3, 06.32, 8368, 6.32, 0.00, 0, 447
cfrac, sn-0.6.0-memcpy-checks, 06.27, 3308, 6.27, 0.00, 0, 433
cfrac, je, 06.68, 10028, 6.68, 0.00, 0, 271
cfrac, scudo, 08.43, 4624, 8.43, 0.00, 0, 611
cfrac, smi, 07.06, 4468, 7.06, 0.00, 0, 181
leanN, mi, 25.73, 599228, 96.25, 1.11, 0, 222805
leanN, sn-0.6.0-full-checks, 27.00, 657728, 104.05, 0.79, 0, 14663
leanN, sn-0.6.0, 25.04, 538884, 96.63, 0.76, 0, 13205
leanN, sn-0.5.3, 25.42, 542936, 96.17, 0.85, 0, 3418
leanN, sn-0.6.0-memcpy-checks, 25.50, 536352, 99.48, 0.93, 0, 13333
leanN, je, 26.47, 507228, 100.33, 0.96, 0, 126259
leanN, scudo, 33.81, 608676, 124.38, 1.69, 0, 497025
leanN, smi, 27.40, 612612, 100.31, 1.90, 0, 403445
sed, mi, 01.74, 330548, 1.67, 0.07, 0, 406
sed, sn-0.6.0-full-checks, 01.76, 347356, 1.66, 0.09, 0, 1590
sed, sn-0.6.0, 01.73, 342812, 1.65, 0.08, 0, 1454
sed, sn-0.5.3, 01.73, 310336, 1.66, 0.07, 0, 680
sed, sn-0.6.0-memcpy-checks, 01.73, 342988, 1.64, 0.09, 0, 1481
sed, je, 01.73, 295408, 1.63, 0.09, 0, 9187
sed, scudo, 01.81, 245452, 1.70, 0.10, 0, 60797
sed, smi, 01.81, 316720, 1.69, 0.11, 0, 34280
barnes, mi, 02.85, 66840, 2.83, 0.01, 0, 2463
barnes, sn-0.6.0-full-checks, 02.86, 65688, 2.84, 0.02, 0, 2855
barnes, sn-0.6.0, 02.90, 65508, 2.89, 0.00, 0, 2839
barnes, sn-0.5.3, 02.88, 70236, 2.87, 0.01, 0, 2521
barnes, sn-0.6.0-memcpy-checks, 02.87, 65556, 2.85, 0.02, 0, 2842
barnes, je, 02.87, 76584, 2.87, 0.00, 0, 2549
barnes, scudo, 02.94, 61456, 2.92, 0.02, 0, 4264
barnes, smi, 02.94, 66808, 2.92, 0.02, 0, 2657
espresso, mi, 05.24, 8276, 5.20, 0.03, 0, 177
espresso, sn-0.6.0-full-checks, 05.28, 12940, 5.26, 0.02, 0, 736
espresso, sn-0.6.0, 05.13, 6432, 5.12, 0.01, 0, 659
espresso, sn-0.5.3, 05.27, 10284, 5.25, 0.01, 0, 413
espresso, sn-0.6.0-memcpy-checks, 05.26, 6440, 5.23, 0.02, 0, 659
espresso, je, 05.47, 10276, 5.46, 0.01, 0, 295
espresso, scudo, 06.03, 4980, 6.00, 0.03, 0, 639
espresso, smi, 05.49, 6728, 5.47, 0.02, 0, 292
z3, mi, 01.20, 71076, 1.18, 0.01, 0, 453
z3, sn-0.6.0-full-checks, 01.18, 70316, 1.17, 0.01, 0, 764
z3, sn-0.6.0, 01.17, 66128, 1.16, 0.01, 0, 734
z3, sn-0.5.3, 01.16, 73644, 1.14, 0.02, 0, 564
z3, sn-0.6.0-memcpy-checks, 01.18, 66176, 1.17, 0.01, 0, 738
z3, je, 01.18, 65908, 1.17, 0.01, 0, 2770
z3, scudo, 01.25, 56216, 1.23, 0.02, 0, 8662
z3, smi, 01.23, 66256, 1.21, 0.02, 0, 3864
gs, mi, 01.16, 57492, 1.13, 0.02, 0, 1655
gs, sn-0.6.0-full-checks, 01.20, 54284, 1.17, 0.02, 0, 1957
gs, sn-0.6.0, 01.18, 48284, 1.15, 0.02, 0, 1997
gs, sn-0.5.3, 01.17, 55884, 1.13, 0.03, 0, 1869
gs, sn-0.6.0-memcpy-checks, 01.18, 48476, 1.15, 0.02, 0, 2006
gs, je, 01.19, 53308, 1.16, 0.02, 0, 3724
gs, scudo, 01.20, 41576, 1.13, 0.06, 0, 17165
gs, smi, 01.20, 57036, 1.17, 0.03, 0, 4615
redis, mi, 4.314, 35236, 1.84, 0.33, 0, 8029
redis, sn-0.6.0-full-checks, 4.645, 33244, 1.93, 0.41, 0, 8835
redis, sn-0.6.0, 4.231, 30396, 1.68, 0.44, 0, 8561
redis, sn-0.5.3, 4.289, 37040, 1.77, 0.38, 0, 6881
redis, sn-0.6.0-memcpy-checks, 4.328, 30440, 1.79, 0.38, 0, 8532
redis, je, 5.107, 36840, 2.19, 0.37, 0, 6749
redis, scudo, 5.297, 37972, 2.29, 0.37, 0, 9852
redis, smi, 4.717, 35384, 1.97, 0.40, 0, 8022
cfrac, mi, 06.34, 4460, 6.34, 0.00, 0, 184
cfrac, sn-0.6.0-full-checks, 06.62, 3600, 6.61, 0.00, 0, 494
cfrac, sn-0.6.0, 06.26, 3312, 6.26, 0.00, 0, 432
cfrac, sn-0.5.3, 06.36, 8408, 6.36, 0.00, 0, 447
cfrac, sn-0.6.0-memcpy-checks, 06.27, 3336, 6.27, 0.00, 0, 429
cfrac, je, 06.64, 10028, 6.64, 0.00, 0, 269
cfrac, scudo, 08.45, 4648, 8.45, 0.00, 0, 611
cfrac, smi, 07.02, 4488, 7.02, 0.00, 0, 177
leanN, mi, 25.88, 585348, 97.10, 1.24, 4, 281872
leanN, sn-0.6.0-full-checks, 26.70, 667524, 101.43, 0.87, 0, 12013
leanN, sn-0.6.0, 24.98, 530168, 95.53, 0.83, 0, 12350
leanN, sn-0.5.3, 25.63, 538804, 97.85, 0.82, 0, 3326
leanN, sn-0.6.0-memcpy-checks, 25.23, 533980, 96.62, 0.83, 0, 12236
leanN, je, 25.87, 521736, 96.91, 1.09, 0, 178770
leanN, scudo, 32.13, 589304, 114.72, 1.66, 0, 541686
leanN, smi, 27.63, 611432, 101.04, 1.79, 0, 402887
sed, mi, 01.74, 324444, 1.63, 0.11, 0, 402
sed, sn-0.6.0-full-checks, 01.74, 347576, 1.67, 0.07, 0, 1696
sed, sn-0.6.0, 01.73, 342840, 1.63, 0.10, 0, 1475
sed, sn-0.5.3, 01.74, 310300, 1.67, 0.06, 0, 679
sed, sn-0.6.0-memcpy-checks, 01.73, 342752, 1.64, 0.09, 0, 1452
sed, je, 01.74, 293788, 1.67, 0.07, 0, 8269
sed, scudo, 01.83, 245484, 1.70, 0.12, 0, 60795
sed, smi, 01.81, 316640, 1.71, 0.09, 0, 34248
barnes, mi, 02.90, 66716, 2.88, 0.01, 0, 2461
barnes, sn-0.6.0-full-checks, 02.87, 65668, 2.84, 0.03, 0, 2853
barnes, sn-0.6.0, 02.86, 65600, 2.86, 0.00, 0, 2837
barnes, sn-0.5.3, 02.85, 70236, 2.82, 0.02, 0, 2516
barnes, sn-0.6.0-memcpy-checks, 02.87, 65572, 2.84, 0.02, 0, 2839
barnes, je, 02.88, 76748, 2.86, 0.01, 0, 2547
barnes, scudo, 02.95, 61908, 2.93, 0.01, 0, 4305
barnes, smi, 02.94, 66940, 2.91, 0.02, 0, 2660
espresso, mi, 05.18, 8312, 5.15, 0.03, 0, 174
espresso, sn-0.6.0-full-checks, 05.28, 12644, 5.25, 0.02, 0, 736
espresso, sn-0.6.0, 05.22, 6232, 5.19, 0.02, 0, 655
espresso, sn-0.5.3, 05.26, 10352, 5.21, 0.04, 0, 414
espresso, sn-0.6.0-memcpy-checks, 05.20, 6260, 5.17, 0.02, 0, 656
espresso, je, 05.47, 9972, 5.45, 0.02, 0, 307
espresso, scudo, 06.04, 4980, 5.99, 0.04, 0, 644
espresso, smi, 05.49, 6640, 5.47, 0.02, 0, 286
z3, mi, 01.20, 71316, 1.19, 0.00, 0, 460
z3, sn-0.6.0-full-checks, 01.18, 72472, 1.16, 0.02, 0, 780
z3, sn-0.6.0, 01.16, 66120, 1.14, 0.02, 0, 733
z3, sn-0.5.3, 01.17, 73692, 1.16, 0.01, 0, 563
z3, sn-0.6.0-memcpy-checks, 01.17, 66212, 1.15, 0.01, 0, 737
z3, je, 01.19, 65768, 1.17, 0.01, 0, 2772
z3, scudo, 01.25, 56092, 1.23, 0.02, 0, 8666
z3, smi, 01.24, 65416, 1.21, 0.02, 0, 3713
gs, mi, 01.18, 57324, 1.14, 0.03, 0, 1650
gs, sn-0.6.0-full-checks, 01.18, 54196, 1.17, 0.01, 0, 1955
gs, sn-0.6.0, 01.17, 48504, 1.15, 0.02, 0, 1996
gs, sn-0.5.3, 01.17, 56216, 1.14, 0.02, 0, 1869
gs, sn-0.6.0-memcpy-checks, 01.17, 48144, 1.15, 0.02, 0, 1997
gs, je, 01.20, 53332, 1.17, 0.02, 0, 3721
gs, scudo, 01.21, 41008, 1.17, 0.04, 0, 17108
gs, smi, 01.19, 57232, 1.16, 0.03, 0, 4622
redis, mi, 4.669, 35204, 1.98, 0.37, 0, 7916
redis, sn-0.6.0-full-checks, 4.429, 33292, 1.83, 0.40, 0, 8884
redis, sn-0.6.0, 4.189, 30384, 1.69, 0.41, 0, 8580
redis, sn-0.5.3, 4.263, 36996, 1.75, 0.39, 0, 7261
redis, sn-0.6.0-memcpy-checks, 4.289, 30472, 1.78, 0.37, 0, 8542
redis, je, 5.073, 36820, 2.24, 0.31, 0, 6761
redis, scudo, 5.271, 37924, 2.22, 0.42, 0, 9862
redis, smi, 4.612, 35620, 1.94, 0.38, 0, 8048
cfrac, mi, 06.36, 4408, 6.36, 0.00, 0, 181
cfrac, sn-0.6.0-full-checks, 06.71, 3668, 6.70, 0.00, 0, 511
cfrac, sn-0.6.0, 06.43, 3328, 6.43, 0.00, 0, 434
cfrac, sn-0.5.3, 06.38, 8252, 6.37, 0.00, 0, 442
cfrac, sn-0.6.0-memcpy-checks, 06.27, 3420, 6.26, 0.00, 0, 435
cfrac, je, 06.65, 10024, 6.65, 0.00, 0, 271
cfrac, scudo, 08.45, 4568, 8.44, 0.00, 0, 610
cfrac, smi, 07.07, 4580, 7.07, 0.00, 0, 180
leanN, mi, 25.42, 592852, 95.62, 1.14, 0, 239072
leanN, sn-0.6.0-full-checks, 26.04, 680596, 99.47, 0.93, 0, 14036
leanN, sn-0.6.0, 25.93, 546076, 101.21, 0.89, 0, 12098
leanN, sn-0.5.3, 25.65, 530420, 97.33, 0.95, 0, 3349
leanN, sn-0.6.0-memcpy-checks, 24.51, 522388, 93.95, 0.87, 0, 11928
leanN, je, 25.38, 538536, 95.43, 0.90, 0, 84230
leanN, scudo, 32.97, 591284, 118.01, 1.87, 0, 721248
leanN, smi, 28.42, 620424, 105.04, 1.68, 0, 232111
sed, mi, 01.73, 326448, 1.65, 0.08, 0, 404
sed, sn-0.6.0-full-checks, 01.74, 347564, 1.63, 0.10, 0, 1649
sed, sn-0.6.0, 01.73, 342820, 1.59, 0.13, 0, 1454
sed, sn-0.5.3, 01.73, 310348, 1.65, 0.07, 0, 685
sed, sn-0.6.0-memcpy-checks, 01.72, 342740, 1.64, 0.08, 0, 1472
sed, je, 01.75, 300848, 1.66, 0.08, 0, 7482
sed, scudo, 01.80, 245376, 1.68, 0.11, 0, 60799
sed, smi, 01.81, 316680, 1.66, 0.14, 0, 34248
barnes, mi, 02.87, 66904, 2.84, 0.03, 0, 2463
barnes, sn-0.6.0-full-checks, 02.87, 65620, 2.83, 0.03, 0, 2851
barnes, sn-0.6.0, 02.84, 65664, 2.83, 0.01, 0, 2834
barnes, sn-0.5.3, 02.92, 70236, 2.89, 0.02, 0, 2525
barnes, sn-0.6.0-memcpy-checks, 02.86, 65616, 2.84, 0.02, 0, 2829
barnes, je, 02.85, 76700, 2.83, 0.01, 0, 2550
barnes, scudo, 02.95, 61764, 2.93, 0.01, 0, 4295
barnes, smi, 02.98, 66920, 2.95, 0.02, 0, 2657
espresso, mi, 05.20, 8316, 5.16, 0.04, 0, 175
espresso, sn-0.6.0-full-checks, 05.29, 12660, 5.27, 0.01, 0, 729
espresso, sn-0.6.0, 05.24, 6204, 5.21, 0.03, 0, 658
espresso, sn-0.5.3, 05.26, 10276, 5.23, 0.03, 0, 408
espresso, sn-0.6.0-memcpy-checks, 05.16, 6336, 5.14, 0.01, 0, 658
espresso, je, 05.45, 9988, 5.41, 0.03, 0, 280
espresso, scudo, 06.04, 4780, 6.01, 0.03, 0, 641
espresso, smi, 05.53, 6620, 5.52, 0.00, 0, 290
z3, mi, 01.21, 71204, 1.19, 0.02, 0, 461
z3, sn-0.6.0-full-checks, 01.19, 70084, 1.17, 0.01, 0, 759
z3, sn-0.6.0, 01.16, 66120, 1.14, 0.01, 0, 732
z3, sn-0.5.3, 01.17, 73648, 1.16, 0.01, 0, 569
z3, sn-0.6.0-memcpy-checks, 01.18, 66124, 1.17, 0.01, 0, 734
z3, je, 01.19, 65748, 1.17, 0.01, 0, 2768
z3, scudo, 01.25, 56248, 1.23, 0.01, 0, 8657
z3, smi, 01.23, 65568, 1.19, 0.03, 0, 3746
gs, mi, 01.17, 57032, 1.13, 0.03, 0, 1650
gs, sn-0.6.0-full-checks, 01.18, 54320, 1.17, 0.01, 0, 1964
gs, sn-0.6.0, 01.18, 48436, 1.16, 0.02, 0, 1994
gs, sn-0.5.3, 01.18, 56084, 1.14, 0.03, 0, 1874
gs, sn-0.6.0-memcpy-checks, 01.17, 48504, 1.16, 0.01, 0, 1998
gs, je, 01.19, 53616, 1.16, 0.03, 0, 3722
gs, scudo, 01.20, 41332, 1.13, 0.07, 0, 17114
gs, smi, 01.19, 56812, 1.14, 0.05, 0, 4576
redis, mi, 4.366, 35140, 1.87, 0.32, 0, 7994
redis, sn-0.6.0-full-checks, 4.443, 33348, 1.77, 0.46, 0, 8872
redis, sn-0.6.0, 4.205, 30532, 1.72, 0.39, 0, 8568
redis, sn-0.5.3, 4.324, 36948, 1.82, 0.36, 0, 7594
redis, sn-0.6.0-memcpy-checks, 4.270, 30452, 1.82, 0.32, 0, 8553
redis, je, 5.081, 36804, 2.16, 0.39, 0, 6746
redis, scudo, 5.268, 38072, 2.26, 0.38, 0, 9861
redis, smi, 4.587, 35500, 1.88, 0.43, 0, 8049
cfrac, mi, 06.32, 4572, 6.32, 0.00, 0, 183
cfrac, sn-0.6.0-full-checks, 06.62, 3640, 6.62, 0.00, 0, 512
cfrac, sn-0.6.0, 06.26, 3300, 6.26, 0.00, 0, 429
cfrac, sn-0.5.3, 06.33, 8424, 6.33, 0.00, 0, 445
cfrac, sn-0.6.0-memcpy-checks, 06.26, 3308, 6.26, 0.00, 0, 434
cfrac, je, 06.65, 10136, 6.65, 0.00, 0, 270
cfrac, scudo, 08.42, 4664, 8.41, 0.00, 0, 613
cfrac, smi, 07.06, 4640, 7.05, 0.00, 0, 182
leanN, mi, 25.47, 597420, 94.71, 1.27, 0, 246037
leanN, sn-0.6.0-full-checks, 27.41, 674896, 106.67, 0.85, 0, 14026
leanN, sn-0.6.0, 24.78, 528436, 95.18, 0.90, 0, 12185
leanN, sn-0.5.3, 27.13, 532548, 104.80, 0.79, 0, 3409
leanN, sn-0.6.0-memcpy-checks, 24.86, 533536, 96.02, 0.79, 0, 13301
leanN, je, 25.86, 541932, 97.58, 0.99, 0, 98387
leanN, scudo, 33.37, 615476, 121.70, 1.84, 0, 548507
leanN, smi, 27.35, 620144, 98.41, 1.95, 1, 396107
sed, mi, 01.74, 326364, 1.66, 0.07, 0, 401
sed, sn-0.6.0-full-checks, 01.79, 349524, 1.69, 0.10, 0, 1683
sed, sn-0.6.0, 01.73, 342816, 1.63, 0.09, 0, 1453
sed, sn-0.5.3, 01.73, 310464, 1.66, 0.07, 0, 683
sed, sn-0.6.0-memcpy-checks, 01.73, 342864, 1.64, 0.08, 0, 1477
sed, je, 01.74, 295660, 1.64, 0.10, 0, 9190
sed, scudo, 01.81, 245396, 1.70, 0.11, 0, 60801
sed, smi, 01.80, 316024, 1.65, 0.14, 0, 34081
barnes, mi, 02.93, 66764, 2.91, 0.01, 0, 2464
barnes, sn-0.6.0-full-checks, 02.90, 65716, 2.89, 0.01, 0, 2870
barnes, sn-0.6.0, 02.90, 65672, 2.88, 0.01, 0, 2838
barnes, sn-0.5.3, 02.86, 70068, 2.84, 0.01, 0, 2525
barnes, sn-0.6.0-memcpy-checks, 02.90, 65628, 2.88, 0.01, 0, 2840
barnes, je, 02.93, 74592, 2.91, 0.01, 0, 2546
barnes, scudo, 02.93, 62684, 2.90, 0.02, 0, 3959
barnes, smi, 03.04, 66940, 3.02, 0.02, 0, 2661
espresso, mi, 05.25, 8276, 5.23, 0.02, 0, 177
espresso, sn-0.6.0-full-checks, 05.28, 10580, 5.26, 0.02, 0, 1111
espresso, sn-0.6.0, 05.11, 6332, 5.08, 0.03, 0, 659
espresso, sn-0.5.3, 05.14, 10388, 5.12, 0.02, 0, 411
espresso, sn-0.6.0-memcpy-checks, 05.11, 6336, 5.10, 0.01, 0, 658
espresso, je, 05.46, 9816, 5.42, 0.04, 0, 300
espresso, scudo, 06.02, 4792, 5.99, 0.02, 0, 640
espresso, smi, 05.50, 6648, 5.46, 0.03, 0, 287
z3, mi, 01.19, 71124, 1.16, 0.02, 0, 458
z3, sn-0.6.0-full-checks, 01.18, 70424, 1.17, 0.01, 0, 766
z3, sn-0.6.0, 01.17, 66156, 1.14, 0.02, 0, 737
z3, sn-0.5.3, 01.18, 73764, 1.16, 0.01, 0, 568
z3, sn-0.6.0-memcpy-checks, 01.18, 66104, 1.16, 0.01, 0, 736
z3, je, 01.20, 69616, 1.19, 0.00, 0, 2198
z3, scudo, 01.24, 56236, 1.21, 0.02, 0, 8669
z3, smi, 01.23, 66260, 1.20, 0.02, 0, 3863
gs, mi, 01.16, 57296, 1.15, 0.01, 0, 1655
gs, sn-0.6.0-full-checks, 01.18, 54272, 1.16, 0.02, 0, 1944
gs, sn-0.6.0, 01.17, 48076, 1.14, 0.03, 0, 1993
gs, sn-0.5.3, 01.16, 56212, 1.14, 0.01, 0, 1874
gs, sn-0.6.0-memcpy-checks, 01.18, 47980, 1.14, 0.03, 0, 1995
gs, je, 01.19, 53280, 1.16, 0.03, 0, 3722
gs, scudo, 01.21, 41568, 1.16, 0.05, 0, 17154
gs, smi, 01.18, 57304, 1.14, 0.04, 0, 4728
redis, mi, 4.340, 35180, 1.79, 0.38, 0, 8014
redis, sn-0.6.0-full-checks, 4.441, 33556, 1.88, 0.35, 0, 8974
redis, sn-0.6.0, 4.241, 30492, 1.70, 0.43, 0, 8554
redis, sn-0.5.3, 4.310, 37092, 1.80, 0.37, 0, 7027
redis, sn-0.6.0-memcpy-checks, 4.441, 30420, 1.90, 0.33, 0, 8490
redis, je, 5.076, 36892, 2.13, 0.41, 0, 6769
redis, scudo, 5.196, 37996, 2.24, 0.37, 0, 9886
redis, smi, 4.613, 35436, 1.88, 0.44, 0, 8042
cfrac, mi, 06.32, 4596, 6.32, 0.00, 0, 183
cfrac, sn-0.6.0-full-checks, 06.61, 3632, 6.61, 0.00, 0, 504
cfrac, sn-0.6.0, 06.26, 3272, 6.25, 0.00, 0, 431
cfrac, sn-0.5.3, 06.32, 8468, 6.31, 0.00, 0, 444
cfrac, sn-0.6.0-memcpy-checks, 06.26, 3312, 6.26, 0.00, 0, 432
cfrac, je, 06.66, 9992, 6.66, 0.00, 0, 271
cfrac, scudo, 08.43, 4656, 8.43, 0.00, 0, 614
cfrac, smi, 07.04, 4640, 7.03, 0.00, 0, 182
leanN, mi, 25.58, 577132, 96.07, 1.15, 0, 224607
leanN, sn-0.6.0-full-checks, 26.09, 670788, 99.44, 0.85, 0, 13183
leanN, sn-0.6.0, 25.24, 540816, 98.88, 0.86, 0, 13196
leanN, sn-0.5.3, 26.48, 553936, 101.92, 0.96, 1, 3961
leanN, sn-0.6.0-memcpy-checks, 24.50, 526484, 93.75, 0.78, 0, 11139
leanN, je, 26.93, 532264, 104.61, 1.12, 0, 99886
leanN, scudo, 32.45, 594880, 117.90, 1.73, 0, 569976
leanN, smi, 27.77, 626188, 101.15, 1.75, 0, 326530
sed, mi, 01.74, 326444, 1.65, 0.09, 0, 401
sed, sn-0.6.0-full-checks, 01.74, 347336, 1.64, 0.09, 0, 1539
sed, sn-0.6.0, 01.72, 342792, 1.62, 0.10, 0, 1473
sed, sn-0.5.3, 01.74, 310380, 1.66, 0.07, 0, 682
sed, sn-0.6.0-memcpy-checks, 01.74, 342876, 1.65, 0.09, 0, 1479
sed, je, 01.74, 301688, 1.65, 0.08, 0, 5053
sed, scudo, 01.81, 245436, 1.71, 0.09, 0, 60800
sed, smi, 01.81, 316808, 1.72, 0.08, 0, 34267
barnes, mi, 02.84, 66772, 2.83, 0.01, 0, 2465
barnes, sn-0.6.0-full-checks, 02.85, 65668, 2.84, 0.01, 0, 2850
barnes, sn-0.6.0, 02.88, 65672, 2.86, 0.01, 0, 2846
barnes, sn-0.5.3, 02.91, 69964, 2.89, 0.02, 0, 2519
barnes, sn-0.6.0-memcpy-checks, 02.93, 65692, 2.91, 0.01, 0, 2840
barnes, je, 02.93, 74488, 2.90, 0.03, 0, 2544
barnes, scudo, 02.92, 65468, 2.89, 0.02, 0, 3574
barnes, smi, 02.98, 66852, 2.97, 0.01, 0, 2657
espresso, mi, 05.25, 8288, 5.23, 0.02, 0, 176
espresso, sn-0.6.0-full-checks, 05.33, 12672, 5.29, 0.04, 0, 744
espresso, sn-0.6.0, 05.16, 6204, 5.14, 0.02, 0, 657
espresso, sn-0.5.3, 05.22, 10328, 5.20, 0.02, 0, 413
espresso, sn-0.6.0-memcpy-checks, 05.16, 6204, 5.13, 0.03, 0, 655
espresso, je, 05.50, 9992, 5.46, 0.04, 0, 331
espresso, scudo, 06.08, 4932, 6.07, 0.01, 0, 640
espresso, smi, 05.55, 6648, 5.51, 0.04, 0, 287
z3, mi, 01.21, 71384, 1.19, 0.01, 0, 461
z3, sn-0.6.0-full-checks, 01.20, 70352, 1.19, 0.01, 0, 763
z3, sn-0.6.0, 01.19, 66132, 1.16, 0.02, 0, 740
z3, sn-0.5.3, 01.18, 73564, 1.17, 0.01, 0, 565
z3, sn-0.6.0-memcpy-checks, 01.22, 66008, 1.20, 0.02, 0, 732
z3, je, 01.20, 65816, 1.18, 0.02, 0, 2768
z3, scudo, 01.27, 56472, 1.25, 0.01, 0, 8671
z3, smi, 01.26, 65784, 1.24, 0.02, 0, 3787
gs, mi, 01.18, 57240, 1.14, 0.03, 0, 1653
gs, sn-0.6.0-full-checks, 01.19, 54336, 1.15, 0.03, 0, 2006
gs, sn-0.6.0, 01.19, 48452, 1.14, 0.05, 0, 1998
gs, sn-0.5.3, 01.18, 56072, 1.15, 0.02, 0, 1875
gs, sn-0.6.0-memcpy-checks, 01.19, 48452, 1.15, 0.04, 0, 1998
gs, je, 01.21, 53448, 1.19, 0.01, 0, 3717
gs, scudo, 01.23, 41300, 1.18, 0.04, 0, 17115
gs, smi, 01.19, 57044, 1.14, 0.05, 0, 4617
redis, mi, 4.328, 35216, 1.77, 0.40, 0, 8017
redis, sn-0.6.0-full-checks, 4.438, 33844, 1.91, 0.31, 0, 9062
redis, sn-0.6.0, 4.162, 30416, 1.72, 0.37, 0, 8595
redis, sn-0.5.3, 4.342, 36944, 1.80, 0.38, 0, 7593
redis, sn-0.6.0-memcpy-checks, 4.367, 30356, 1.80, 0.39, 0, 8516
redis, je, 5.139, 36888, 2.16, 0.42, 0, 6762
redis, scudo, 5.432, 37996, 2.35, 0.38, 0, 9824
redis, smi, 4.675, 35420, 1.96, 0.39, 0, 8044
cfrac, mi, 06.35, 4492, 6.35, 0.00, 0, 184
cfrac, sn-0.6.0-full-checks, 06.64, 3604, 6.64, 0.00, 0, 498
cfrac, sn-0.6.0, 06.27, 3276, 6.27, 0.00, 0, 429
cfrac, sn-0.5.3, 06.35, 8424, 6.34, 0.00, 0, 444
cfrac, sn-0.6.0-memcpy-checks, 06.29, 3336, 6.29, 0.00, 0, 430
cfrac, je, 06.66, 10020, 6.66, 0.00, 0, 271
cfrac, scudo, 10.05, 4680, 10.05, 0.00, 0, 612
cfrac, smi, 07.09, 4600, 7.09, 0.00, 0, 182
leanN, mi, 25.94, 591264, 98.57, 1.13, 0, 184057
leanN, sn-0.6.0-full-checks, 27.52, 671932, 105.43, 0.99, 0, 15234
leanN, sn-0.6.0, 25.06, 516652, 97.97, 0.97, 0, 11333
leanN, sn-0.5.3, 26.71, 540632, 103.48, 0.85, 5, 3013
leanN, sn-0.6.0-memcpy-checks, 26.06, 528052, 101.95, 0.89, 0, 11474
leanN, je, 25.78, 527208, 96.93, 1.01, 0, 119894
leanN, scudo, 34.30, 593504, 123.18, 2.01, 0, 558728
leanN, smi, 27.56, 625864, 101.01, 1.84, 2, 356616
sed, mi, 01.73, 330580, 1.65, 0.07, 0, 406
sed, sn-0.6.0-full-checks, 01.73, 345648, 1.65, 0.07, 0, 1696
sed, sn-0.6.0, 01.73, 342792, 1.64, 0.08, 0, 1478
sed, sn-0.5.3, 01.73, 310388, 1.67, 0.06, 0, 683
sed, sn-0.6.0-memcpy-checks, 01.73, 342804, 1.64, 0.08, 0, 1455
sed, je, 01.74, 301020, 1.67, 0.06, 0, 6483
sed, scudo, 01.82, 245464, 1.68, 0.13, 0, 60798
sed, smi, 01.81, 315672, 1.69, 0.11, 0, 34008
barnes, mi, 02.89, 66772, 2.87, 0.02, 0, 2459
barnes, sn-0.6.0-full-checks, 02.93, 65632, 2.92, 0.01, 0, 2854
barnes, sn-0.6.0, 02.92, 65664, 2.91, 0.01, 0, 2840
barnes, sn-0.5.3, 02.90, 69944, 2.87, 0.02, 0, 2518
barnes, sn-0.6.0-memcpy-checks, 02.85, 65772, 2.83, 0.02, 0, 2825
barnes, je, 02.91, 76676, 2.89, 0.01, 0, 2547
barnes, scudo, 02.90, 62304, 2.87, 0.02, 0, 3184
barnes, smi, 02.94, 66860, 2.92, 0.02, 0, 2656
espresso, mi, 05.18, 8196, 5.14, 0.03, 0, 172
espresso, sn-0.6.0-full-checks, 05.26, 12632, 5.22, 0.03, 0, 727
espresso, sn-0.6.0, 05.11, 6296, 5.09, 0.02, 0, 656
espresso, sn-0.5.3, 05.16, 10312, 5.14, 0.02, 0, 411
espresso, sn-0.6.0-memcpy-checks, 05.11, 6300, 5.07, 0.04, 0, 655
espresso, je, 05.44, 9796, 5.42, 0.02, 0, 317
espresso, scudo, 06.07, 4884, 6.05, 0.02, 0, 642
espresso, smi, 05.48, 6700, 5.45, 0.02, 0, 287
z3, mi, 01.20, 71148, 1.18, 0.01, 0, 457
z3, sn-0.6.0-full-checks, 01.19, 70152, 1.15, 0.03, 0, 756
z3, sn-0.6.0, 01.17, 66088, 1.15, 0.01, 0, 741
z3, sn-0.5.3, 01.17, 73680, 1.16, 0.01, 0, 565
z3, sn-0.6.0-memcpy-checks, 01.17, 66100, 1.16, 0.00, 0, 735
z3, je, 01.18, 65736, 1.17, 0.01, 0, 2769
z3, scudo, 01.26, 56144, 1.23, 0.02, 0, 8153
z3, smi, 01.23, 65912, 1.21, 0.01, 0, 3802
gs, mi, 01.17, 57300, 1.13, 0.03, 0, 1657
gs, sn-0.6.0-full-checks, 01.19, 54004, 1.17, 0.01, 0, 1957
gs, sn-0.6.0, 01.17, 48348, 1.15, 0.02, 0, 1996
gs, sn-0.5.3, 01.17, 56240, 1.14, 0.02, 0, 1875
gs, sn-0.6.0-memcpy-checks, 01.18, 48300, 1.16, 0.01, 0, 1997
gs, je, 01.19, 53460, 1.15, 0.03, 0, 3726
gs, scudo, 01.21, 41428, 1.18, 0.03, 0, 17120
gs, smi, 01.19, 57004, 1.14, 0.04, 0, 4609
redis, mi, 4.329, 35124, 1.79, 0.38, 0, 8018
redis, sn-0.6.0-full-checks, 4.395, 33452, 1.84, 0.37, 0, 8967
redis, sn-0.6.0, 4.202, 30528, 1.74, 0.37, 0, 8568
redis, sn-0.5.3, 4.314, 37140, 1.73, 0.43, 0, 7378
redis, sn-0.6.0-memcpy-checks, 4.367, 30380, 1.81, 0.38, 0, 8527
redis, je, 5.193, 36928, 2.21, 0.40, 0, 6766
redis, scudo, 5.236, 37972, 2.31, 0.32, 0, 9876
redis, smi, 4.599, 35436, 1.85, 0.46, 0, 8052
cfrac, mi, 06.33, 4496, 6.33, 0.00, 0, 182
cfrac, sn-0.6.0-full-checks, 06.62, 3584, 6.62, 0.00, 0, 495
cfrac, sn-0.6.0, 06.28, 3312, 6.28, 0.00, 0, 435
cfrac, sn-0.5.3, 06.32, 8420, 6.32, 0.00, 0, 447
cfrac, sn-0.6.0-memcpy-checks, 06.26, 3336, 6.26, 0.00, 0, 431
cfrac, je, 06.68, 10084, 6.68, 0.00, 0, 273
cfrac, scudo, 08.43, 4672, 8.43, 0.00, 0, 615
cfrac, smi, 07.02, 4504, 7.01, 0.00, 0, 182
leanN, mi, 25.94, 578956, 98.00, 1.17, 0, 216122
leanN, sn-0.6.0-full-checks, 25.72, 685952, 96.81, 0.91, 0, 12094
leanN, sn-0.6.0, 24.59, 547572, 94.33, 0.82, 0, 11927
leanN, sn-0.5.3, 26.72, 553304, 103.27, 0.74, 0, 3848
leanN, sn-0.6.0-memcpy-checks, 25.88, 525276, 101.33, 0.80, 0, 12426
leanN, je, 25.71, 531268, 96.34, 1.03, 1, 177553
leanN, scudo, 32.33, 597856, 116.09, 1.80, 0, 515053
leanN, smi, 27.63, 626168, 101.20, 1.82, 0, 328983
sed, mi, 01.77, 326436, 1.71, 0.05, 0, 402
sed, sn-0.6.0-full-checks, 01.79, 347652, 1.70, 0.09, 0, 1639
sed, sn-0.6.0, 01.76, 342800, 1.69, 0.07, 0, 1456
sed, sn-0.5.3, 01.77, 310252, 1.70, 0.07, 0, 685
sed, sn-0.6.0-memcpy-checks, 01.78, 342860, 1.67, 0.10, 0, 1480
sed, je, 01.79, 293892, 1.71, 0.07, 0, 8287
sed, scudo, 01.83, 245420, 1.71, 0.12, 0, 60795
sed, smi, 01.83, 316888, 1.69, 0.14, 0, 34282
barnes, mi, 02.85, 66972, 2.82, 0.03, 0, 2465
barnes, sn-0.6.0-full-checks, 02.87, 65580, 2.85, 0.01, 0, 2854
barnes, sn-0.6.0, 02.89, 65644, 2.87, 0.01, 0, 2849
barnes, sn-0.5.3, 02.86, 70168, 2.84, 0.02, 0, 2518
barnes, sn-0.6.0-memcpy-checks, 02.90, 65808, 2.87, 0.02, 0, 2847
barnes, je, 02.86, 76616, 2.84, 0.01, 0, 2550
barnes, scudo, 02.93, 61688, 2.90, 0.02, 0, 4275
barnes, smi, 02.94, 66828, 2.92, 0.01, 0, 2659
espresso, mi, 05.17, 8216, 5.15, 0.02, 0, 177
espresso, sn-0.6.0-full-checks, 05.27, 12940, 5.25, 0.02, 0, 757
espresso, sn-0.6.0, 05.13, 6248, 5.10, 0.02, 0, 657
espresso, sn-0.5.3, 05.12, 10276, 5.09, 0.02, 0, 408
espresso, sn-0.6.0-memcpy-checks, 05.14, 6252, 5.09, 0.04, 0, 657
espresso, je, 05.46, 9956, 5.45, 0.01, 0, 300
espresso, scudo, 06.02, 4996, 5.99, 0.03, 0, 642
espresso, smi, 05.48, 6644, 5.45, 0.02, 0, 287
z3, mi, 01.19, 71072, 1.18, 0.01, 0, 454
z3, sn-0.6.0-full-checks, 01.18, 70108, 1.16, 0.01, 0, 766
z3, sn-0.6.0, 01.17, 66224, 1.15, 0.01, 0, 738
z3, sn-0.5.3, 01.18, 73504, 1.16, 0.01, 0, 562
z3, sn-0.6.0-memcpy-checks, 01.18, 66176, 1.15, 0.02, 0, 737
z3, je, 01.19, 70012, 1.17, 0.02, 0, 2781
z3, scudo, 01.26, 56208, 1.21, 0.04, 0, 8662
z3, smi, 01.24, 65296, 1.22, 0.02, 0, 3679
gs, mi, 01.17, 57476, 1.13, 0.03, 0, 1656
gs, sn-0.6.0-full-checks, 01.18, 54372, 1.15, 0.02, 0, 1953
gs, sn-0.6.0, 01.17, 48396, 1.14, 0.02, 0, 1999
gs, sn-0.5.3, 01.16, 56036, 1.12, 0.03, 0, 1875
gs, sn-0.6.0-memcpy-checks, 01.17, 48444, 1.14, 0.02, 0, 1997
gs, je, 01.19, 53260, 1.16, 0.02, 0, 3722
gs, scudo, 01.21, 41520, 1.17, 0.03, 0, 17159
gs, smi, 01.19, 56596, 1.17, 0.02, 0, 4579
redis, mi, 4.335, 35180, 1.80, 0.38, 0, 8010
redis, sn-0.6.0-full-checks, 4.486, 33236, 1.84, 0.42, 0, 8862
redis, sn-0.6.0, 4.217, 30432, 1.76, 0.36, 0, 8574
redis, sn-0.5.3, 4.326, 37000, 1.80, 0.37, 0, 7342
redis, sn-0.6.0-memcpy-checks, 4.263, 30432, 1.80, 0.34, 0, 8561
redis, je, 5.044, 36848, 2.17, 0.36, 0, 6771
redis, scudo, 5.209, 38000, 2.16, 0.45, 0, 9888
redis, smi, 4.618, 35860, 2.01, 0.31, 0, 8127
cfrac, mi, 06.33, 4548, 6.32, 0.00, 0, 185
cfrac, sn-0.6.0-full-checks, 06.63, 3632, 6.63, 0.00, 0, 510
cfrac, sn-0.6.0, 06.26, 3336, 6.26, 0.00, 0, 435
cfrac, sn-0.5.3, 06.33, 8404, 6.32, 0.00, 0, 446
cfrac, sn-0.6.0-memcpy-checks, 06.27, 3336, 6.27, 0.00, 0, 432
cfrac, je, 06.68, 10080, 6.68, 0.00, 0, 272
cfrac, scudo, 08.44, 4644, 8.43, 0.00, 0, 610
cfrac, smi, 07.05, 4572, 7.05, 0.00, 0, 178
leanN, mi, 26.35, 601364, 100.71, 1.07, 0, 172904
leanN, sn-0.6.0-full-checks, 26.27, 673524, 100.89, 0.85, 0, 13522
leanN, sn-0.6.0, 25.81, 534344, 100.53, 0.99, 0, 12584
leanN, sn-0.5.3, 25.97, 547068, 99.19, 0.88, 0, 3336
leanN, sn-0.6.0-memcpy-checks, 24.65, 529484, 93.79, 0.87, 0, 12943
leanN, je, 26.09, 530264, 98.26, 1.12, 0, 153838
leanN, scudo, 32.48, 621548, 116.91, 1.89, 2, 604914
leanN, smi, 26.99, 617668, 97.22, 1.82, 0, 395341
sed, mi, 01.74, 326300, 1.65, 0.08, 0, 398
sed, sn-0.6.0-full-checks, 01.76, 349592, 1.69, 0.07, 0, 1642
sed, sn-0.6.0, 01.76, 342784, 1.64, 0.12, 0, 1476
sed, sn-0.5.3, 01.77, 310252, 1.68, 0.08, 0, 683
sed, sn-0.6.0-memcpy-checks, 01.76, 342828, 1.65, 0.10, 0, 1454
sed, je, 01.73, 301076, 1.62, 0.10, 0, 5991
sed, scudo, 01.81, 245472, 1.69, 0.12, 0, 60797
sed, smi, 01.81, 317340, 1.70, 0.10, 0, 34402
barnes, mi, 02.88, 66928, 2.85, 0.02, 0, 2466
barnes, sn-0.6.0-full-checks, 02.88, 65744, 2.87, 0.01, 0, 2863
barnes, sn-0.6.0, 02.88, 65636, 2.86, 0.02, 0, 2848
barnes, sn-0.5.3, 02.87, 70164, 2.84, 0.02, 0, 2523
barnes, sn-0.6.0-memcpy-checks, 02.87, 65672, 2.86, 0.01, 0, 2840
barnes, je, 02.87, 76688, 2.84, 0.02, 0, 2551
barnes, scudo, 02.93, 63700, 2.92, 0.00, 0, 3472
barnes, smi, 02.95, 66776, 2.93, 0.01, 0, 2660
espresso, mi, 05.18, 8220, 5.15, 0.02, 0, 173
espresso, sn-0.6.0-full-checks, 05.27, 12588, 5.26, 0.01, 0, 725
espresso, sn-0.6.0, 05.13, 6432, 5.11, 0.01, 0, 656
espresso, sn-0.5.3, 05.17, 10280, 5.15, 0.02, 0, 410
espresso, sn-0.6.0-memcpy-checks, 05.13, 6268, 5.10, 0.03, 0, 658
espresso, je, 05.48, 9980, 5.45, 0.03, 0, 317
espresso, scudo, 06.13, 4980, 6.10, 0.02, 0, 604
espresso, smi, 05.57, 6644, 5.55, 0.02, 0, 285
z3, mi, 01.21, 71192, 1.19, 0.01, 0, 459
z3, sn-0.6.0-full-checks, 01.19, 70400, 1.19, 0.00, 0, 772
z3, sn-0.6.0, 01.18, 65980, 1.17, 0.01, 0, 736
z3, sn-0.5.3, 01.18, 73772, 1.16, 0.02, 0, 568
z3, sn-0.6.0-memcpy-checks, 01.20, 65928, 1.18, 0.01, 0, 731
z3, je, 01.21, 65892, 1.19, 0.01, 0, 2772
z3, scudo, 01.26, 56160, 1.23, 0.03, 0, 8667
z3, smi, 01.25, 65920, 1.22, 0.02, 0, 3847
gs, mi, 01.18, 57096, 1.15, 0.03, 0, 1652
gs, sn-0.6.0-full-checks, 01.22, 56300, 1.18, 0.03, 0, 1960
gs, sn-0.6.0, 01.19, 48464, 1.15, 0.03, 0, 1999
gs, sn-0.5.3, 01.19, 56172, 1.16, 0.02, 0, 1872
gs, sn-0.6.0-memcpy-checks, 01.19, 47956, 1.17, 0.02, 0, 1990
gs, je, 01.21, 53468, 1.18, 0.02, 0, 3719
gs, scudo, 01.23, 41448, 1.15, 0.07, 0, 17161
gs, smi, 01.21, 57184, 1.18, 0.02, 0, 4672
redis, mi, 4.357, 35104, 1.80, 0.39, 0, 7991
redis, sn-0.6.0-full-checks, 4.432, 33844, 1.81, 0.42, 0, 9037
redis, sn-0.6.0, 4.178, 30424, 1.69, 0.40, 0, 8592
redis, sn-0.5.3, 4.310, 37016, 1.79, 0.37, 0, 7484
redis, sn-0.6.0-memcpy-checks, 4.422, 30536, 1.94, 0.28, 0, 8505
redis, je, 5.238, 36860, 2.25, 0.37, 0, 6765
redis, scudo, 5.234, 37960, 2.21, 0.42, 0, 9891
redis, smi, 4.669, 35336, 1.94, 0.41, 0, 8028
cfrac, mi, 06.35, 4408, 6.35, 0.00, 0, 181
cfrac, sn-0.6.0-full-checks, 06.61, 3708, 6.61, 0.00, 0, 516
cfrac, sn-0.6.0, 06.29, 3304, 6.29, 0.00, 0, 436
cfrac, sn-0.5.3, 06.33, 8260, 6.33, 0.00, 0, 448
cfrac, sn-0.6.0-memcpy-checks, 06.27, 3336, 6.27, 0.00, 0, 432
cfrac, je, 06.69, 10076, 6.68, 0.00, 0, 269
cfrac, scudo, 08.43, 4708, 8.43, 0.00, 0, 610
cfrac, smi, 07.14, 4596, 7.13, 0.00, 0, 184
leanN, mi, 26.06, 591428, 99.05, 1.13, 3, 226227
leanN, sn-0.6.0-full-checks, 26.06, 653060, 99.23, 1.01, 0, 12978
leanN, sn-0.6.0, 25.81, 539980, 100.77, 0.90, 0, 13684
leanN, sn-0.5.3, 25.73, 533320, 97.81, 0.66, 0, 3598
leanN, sn-0.6.0-memcpy-checks, 25.97, 551676, 101.63, 0.87, 0, 14181
leanN, je, 26.63, 496704, 101.91, 1.14, 1, 152314
leanN, scudo, 32.46, 581268, 116.25, 1.70, 0, 531142
leanN, smi, 27.36, 621904, 99.41, 2.03, 4, 392238
sed, mi, 01.76, 326452, 1.68, 0.07, 0, 401
sed, sn-0.6.0-full-checks, 01.75, 347260, 1.66, 0.08, 0, 1585
sed, sn-0.6.0, 01.73, 342852, 1.63, 0.09, 0, 1479
sed, sn-0.5.3, 01.73, 310284, 1.66, 0.07, 0, 682
sed, sn-0.6.0-memcpy-checks, 01.73, 342800, 1.65, 0.08, 0, 1478
sed, je, 01.74, 295456, 1.68, 0.06, 0, 9177
sed, scudo, 01.81, 245652, 1.68, 0.13, 0, 60802
sed, smi, 01.81, 317072, 1.70, 0.11, 0, 34381
barnes, mi, 02.86, 66820, 2.84, 0.02, 0, 2464
barnes, sn-0.6.0-full-checks, 02.87, 65616, 2.85, 0.01, 0, 2855
barnes, sn-0.6.0, 02.88, 65684, 2.85, 0.02, 0, 2840
barnes, sn-0.5.3, 02.85, 70132, 2.83, 0.01, 0, 2524
barnes, sn-0.6.0-memcpy-checks, 02.87, 65672, 2.85, 0.02, 0, 2839
barnes, je, 02.88, 78712, 2.87, 0.00, 0, 2546
barnes, scudo, 02.95, 61940, 2.94, 0.01, 0, 4267
barnes, smi, 02.98, 66836, 2.96, 0.01, 0, 2659
espresso, mi, 05.19, 8196, 5.17, 0.01, 0, 169
espresso, sn-0.6.0-full-checks, 05.28, 12652, 5.26, 0.02, 0, 733
espresso, sn-0.6.0, 05.16, 6364, 5.15, 0.01, 0, 660
espresso, sn-0.5.3, 05.13, 10292, 5.11, 0.02, 0, 411
espresso, sn-0.6.0-memcpy-checks, 05.12, 6280, 5.10, 0.02, 0, 659
espresso, je, 05.48, 9832, 5.46, 0.01, 0, 345
espresso, scudo, 06.03, 4896, 6.01, 0.02, 0, 647
espresso, smi, 05.48, 6700, 5.46, 0.02, 0, 286
z3, mi, 01.20, 71152, 1.18, 0.02, 0, 457
z3, sn-0.6.0-full-checks, 01.19, 70324, 1.16, 0.02, 0, 763
z3, sn-0.6.0, 01.17, 65920, 1.15, 0.02, 0, 731
z3, sn-0.5.3, 01.16, 73628, 1.14, 0.02, 0, 564
z3, sn-0.6.0-memcpy-checks, 01.18, 66240, 1.15, 0.02, 0, 736
z3, je, 01.18, 68604, 1.17, 0.01, 0, 2431
z3, scudo, 01.26, 56284, 1.25, 0.01, 0, 8161
z3, smi, 01.23, 65772, 1.21, 0.01, 0, 3727
gs, mi, 01.17, 57540, 1.15, 0.02, 0, 1657
gs, sn-0.6.0-full-checks, 01.19, 54320, 1.15, 0.03, 0, 1961
gs, sn-0.6.0, 01.17, 48424, 1.14, 0.02, 0, 1998
gs, sn-0.5.3, 01.18, 55808, 1.13, 0.03, 0, 1871
gs, sn-0.6.0-memcpy-checks, 01.18, 48492, 1.17, 0.01, 0, 2005
gs, je, 01.19, 53572, 1.15, 0.04, 0, 3728
gs, scudo, 01.21, 41320, 1.15, 0.05, 0, 17111
gs, smi, 01.22, 56964, 1.17, 0.04, 0, 4612
redis, mi, 4.489, 35192, 1.81, 0.44, 0, 7969
redis, sn-0.6.0-full-checks, 4.408, 33576, 1.89, 0.32, 0, 9014
redis, sn-0.6.0, 4.193, 30440, 1.71, 0.40, 0, 8578
redis, sn-0.5.3, 4.289, 37084, 1.80, 0.35, 0, 7347
redis, sn-0.6.0-memcpy-checks, 4.294, 30464, 1.79, 0.37, 0, 8546
redis, je, 5.052, 38772, 2.20, 0.34, 0, 6761
redis, scudo, 5.244, 38000, 2.19, 0.44, 0, 9869
redis, smi, 4.599, 35432, 1.87, 0.44, 0, 8057
cfrac, mi, 06.34, 4596, 6.34, 0.00, 0, 185
cfrac, sn-0.6.0-full-checks, 06.64, 3660, 6.64, 0.00, 0, 508
cfrac, sn-0.6.0, 06.26, 3328, 6.26, 0.00, 0, 428
cfrac, sn-0.5.3, 06.31, 8308, 6.30, 0.00, 0, 448
cfrac, sn-0.6.0-memcpy-checks, 06.28, 3336, 6.28, 0.00, 0, 432
cfrac, je, 06.72, 10056, 6.71, 0.00, 0, 271
cfrac, scudo, 08.45, 4568, 8.44, 0.00, 0, 615
cfrac, smi, 07.03, 4584, 7.03, 0.00, 0, 181
leanN, mi, 26.55, 593452, 101.72, 1.13, 0, 230978
leanN, sn-0.6.0-full-checks, 26.62, 676740, 102.76, 0.92, 0, 13834
leanN, sn-0.6.0, 24.98, 545136, 96.54, 0.80, 0, 12708
leanN, sn-0.5.3, 25.65, 551156, 97.81, 0.78, 4, 4057
leanN, sn-0.6.0-memcpy-checks, 25.64, 536612, 100.11, 0.84, 0, 13271
leanN, je, 26.16, 515292, 100.02, 0.99, 3, 110034
leanN, scudo, 31.78, 599964, 114.04, 1.60, 4, 654494
leanN, smi, 27.40, 619364, 99.87, 1.82, 0, 362050
sed, mi, 01.75, 330536, 1.64, 0.11, 0, 404
sed, sn-0.6.0-full-checks, 01.74, 347536, 1.62, 0.11, 0, 1703
sed, sn-0.6.0, 01.74, 342788, 1.64, 0.10, 0, 1477
sed, sn-0.5.3, 01.72, 310240, 1.64, 0.08, 0, 682
sed, sn-0.6.0-memcpy-checks, 01.72, 342916, 1.64, 0.08, 0, 1477
sed, je, 01.74, 295444, 1.66, 0.07, 0, 9184
sed, scudo, 01.80, 245660, 1.70, 0.10, 0, 60801
sed, smi, 01.82, 316496, 1.70, 0.12, 0, 34208
barnes, mi, 02.86, 66908, 2.83, 0.01, 0, 2465
barnes, sn-0.6.0-full-checks, 02.85, 65632, 2.83, 0.01, 0, 2853
barnes, sn-0.6.0, 02.85, 65604, 2.84, 0.01, 0, 2829
barnes, sn-0.5.3, 02.86, 69948, 2.84, 0.01, 0, 2525
barnes, sn-0.6.0-memcpy-checks, 02.86, 65692, 2.85, 0.00, 0, 2843
barnes, je, 02.90, 74568, 2.88, 0.01, 0, 2547
barnes, scudo, 02.86, 63084, 2.84, 0.01, 0, 3492
barnes, smi, 02.94, 66784, 2.92, 0.02, 0, 2661
espresso, mi, 05.19, 8288, 5.15, 0.04, 0, 177
espresso, sn-0.6.0-full-checks, 05.27, 12648, 5.24, 0.03, 0, 737
espresso, sn-0.6.0, 05.09, 6296, 5.07, 0.02, 0, 656
espresso, sn-0.5.3, 05.14, 10328, 5.11, 0.02, 0, 412
espresso, sn-0.6.0-memcpy-checks, 05.12, 6304, 5.09, 0.02, 0, 655
espresso, je, 05.44, 9864, 5.41, 0.03, 0, 304
espresso, scudo, 06.03, 4796, 6.01, 0.02, 0, 642
espresso, smi, 05.48, 6708, 5.46, 0.02, 0, 291
z3, mi, 01.18, 71348, 1.15, 0.03, 0, 459
z3, sn-0.6.0-full-checks, 01.17, 70352, 1.15, 0.01, 0, 769
z3, sn-0.6.0, 01.17, 66064, 1.15, 0.01, 0, 732
z3, sn-0.5.3, 01.17, 73444, 1.16, 0.01, 0, 564
z3, sn-0.6.0-memcpy-checks, 01.18, 66208, 1.17, 0.01, 0, 736
z3, je, 01.18, 65876, 1.16, 0.01, 0, 2782
z3, scudo, 01.25, 56096, 1.22, 0.02, 0, 8667
z3, smi, 01.24, 65752, 1.21, 0.02, 0, 3822
gs, mi, 01.17, 57476, 1.14, 0.02, 0, 1655
gs, sn-0.6.0-full-checks, 01.19, 53988, 1.16, 0.02, 0, 2022
gs, sn-0.6.0, 01.19, 48128, 1.17, 0.01, 0, 1997
gs, sn-0.5.3, 01.17, 55792, 1.13, 0.03, 0, 1869
gs, sn-0.6.0-memcpy-checks, 01.19, 48212, 1.16, 0.02, 0, 2001
gs, je, 01.21, 53748, 1.18, 0.02, 0, 3721
gs, scudo, 01.20, 41096, 1.16, 0.04, 0, 17116
gs, smi, 01.19, 57064, 1.15, 0.04, 0, 4646
redis, mi, 4.386, 35048, 1.86, 0.34, 0, 7998
redis, sn-0.6.0-full-checks, 4.478, 33468, 1.91, 0.34, 0, 8968
redis, sn-0.6.0, 4.199, 30328, 1.78, 0.33, 0, 8578
redis, sn-0.5.3, 4.262, 37176, 1.76, 0.38, 0, 6883
redis, sn-0.6.0-memcpy-checks, 4.283, 30304, 1.82, 0.34, 0, 8541
redis, je, 5.047, 36796, 2.15, 0.39, 0, 6770
redis, scudo, 5.271, 38052, 2.23, 0.41, 0, 9871
redis, smi, 4.596, 35492, 1.89, 0.42, 0, 8051
cfrac, mi, 06.34, 4460, 6.34, 0.00, 0, 182
cfrac, sn-0.6.0-full-checks, 06.61, 3604, 6.60, 0.00, 0, 494
cfrac, sn-0.6.0, 06.27, 3312, 6.27, 0.00, 0, 430
cfrac, sn-0.5.3, 06.33, 8404, 6.32, 0.00, 0, 442
cfrac, sn-0.6.0-memcpy-checks, 06.26, 3320, 6.26, 0.00, 0, 428
cfrac, je, 06.65, 10052, 6.65, 0.00, 0, 271
cfrac, scudo, 08.43, 4660, 8.42, 0.00, 0, 613
cfrac, smi, 07.14, 4500, 7.13, 0.00, 0, 181
leanN, mi, 27.12, 578536, 105.64, 1.15, 2, 163365
leanN, sn-0.6.0-full-checks, 26.12, 671828, 98.39, 0.91, 0, 13146
leanN, sn-0.6.0, 24.71, 546284, 94.03, 0.79, 0, 12227
leanN, sn-0.5.3, 25.67, 549420, 97.34, 0.76, 0, 3992
leanN, sn-0.6.0-memcpy-checks, 24.79, 534008, 95.51, 0.88, 0, 12152
leanN, je, 25.97, 501392, 97.88, 1.12, 4, 154360
leanN, scudo, 34.44, 587232, 125.79, 1.89, 1, 484336
leanN, smi, 29.18, 626364, 109.19, 1.87, 0, 255797
sed, mi, 01.74, 326500, 1.67, 0.07, 0, 402
sed, sn-0.6.0-full-checks, 01.74, 349584, 1.65, 0.09, 0, 1713
sed, sn-0.6.0, 01.73, 342852, 1.65, 0.08, 0, 1476
sed, sn-0.5.3, 01.73, 310336, 1.67, 0.06, 0, 677
sed, sn-0.6.0-memcpy-checks, 01.73, 342800, 1.65, 0.08, 0, 1477
sed, je, 01.72, 301980, 1.65, 0.07, 0, 3141
sed, scudo, 01.82, 245416, 1.72, 0.10, 0, 60795
sed, smi, 01.81, 317056, 1.69, 0.11, 0, 34329