snmalloc/docs/security/data/benchres.csv

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