Compare commits

AST compact size (buildDeclTree)

Factor

compact size MiB

phase=buildDeclTree

*mean*	0.203
σ	0.000
min	0.203
max	0.203

AST compact size (macro expansion)

Factor

compact size MiB

phase=macro expansion

*mean*	5.082-5.301=-0.219
σ	0.000
min	5.082-5.301=-0.219
max	5.082-5.301=-0.219

AST compact size (parser)

Factor

compact size MiB

phase=parser

*mean*	4.988-5.176=-0.188
σ	0.000
min	4.988-5.176=-0.188
max	4.988-5.176=-0.188

AST compact size (processProdDef Decls)

Factor

compact size MiB

phase=processProdDef Decls

*mean*	5.395
σ	0.000
min	5.395
max	5.395

AST compact size (processProdDef)

Factor

compact size MiB

phase=processProdDef

*mean*	446.633-558.633=-112.000
σ	0.000
min	446.633-558.633=-112.000
max	446.633-558.633=-112.000

AST compact size (renaming)

Factor

compact size MiB

phase=renaming

*mean*	5.238-5.488=-0.250
σ	0.000
min	5.238-5.488=-0.250
max	5.238-5.488=-0.250

AST compact size (type checker)

Factor

compact size MiB

phase=type checker

*mean*	6.395-6.645=-0.250
σ	0.000
min	6.395-6.645=-0.250
max	6.395-6.645=-0.250

Aggregation: measureAggregations

Factor

allocated MiB

peak allocated MiB

time_s

cache=n

dps=1

iters=10

policies=100

*mean*	54.715-54.882=-0.167
σ	0.362-0.358=0.004
min	54.583-54.748=-0.166
max	55.745-55.901=-0.156

*mean*	421.000-418.700=2.300
σ	0.000-0.483=-0.483
min	421.000-418.000=3.000
max	421.000-419.000=2.000

*mean*	0.139-0.142=-0.003
σ	0.004-0.004=0.000
min	0.133-0.139=-0.005
max	0.145-0.149=-0.005

cache=y

dps=1

iters=10

policies=100

*mean*	43.778-43.850=-0.072
σ	0.009-0.006=0.003
min	43.762-43.839=-0.077
max	43.789-43.860=-0.071

*mean*	421.000-419.000=2.000
σ	0.000
min	421.000-419.000=2.000
max	421.000-419.000=2.000

*mean*	0.122-0.125=-0.002
σ	0.004-0.004=0.000
min	0.115-0.122=-0.006
max	0.130-0.132=-0.002

CSV - indexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on indexed

*mean*	36.604-36.618=-0.014
σ	0.000-0.002=-0.002
min	36.604-36.616=-0.012
max	36.605-36.620=-0.015

*mean*	4590.625-4052.250=538.375
σ	2248.286-2017.618=230.668
min	1486.000-1218.000=268.000
max	7384.000-7150.000=234.000

*mean*	174.709-13.542=161.167
σ	458.088-1.594=456.493
min	11.835-12.593=-0.758
max	1308.409-17.417=1290.992

op=column_set() on indexed, repeat

*mean*	36.604-36.618=-0.014
σ	0.000-0.002=-0.002
min	36.604-36.616=-0.012
max	36.604-36.620=-0.016

*mean*	4590.625-4052.250=538.375
σ	2248.286-2017.618=230.668
min	1486.000-1218.000=268.000
max	7384.000-7150.000=234.000

*mean*	13.382-13.541=-0.160
σ	3.006-1.788=1.218
min	11.374-11.838=-0.464
max	18.698-17.529=1.168

op=table_records(), no indexes

*mean*	41.939-41.930=0.010
σ	0.002-0.002=0.000
min	41.938-41.928=0.009
max	41.942-41.933=0.009

*mean*	7384.000-7150.000=234.000
σ	0.000
min	7384.000-7150.000=234.000
max	7384.000-7150.000=234.000

*mean*	11.693-15.237=-3.544
σ	1.970-0.202=1.768
min	10.766-14.903=-4.136
max	16.558-15.538=1.020

op=table_records(), repeat

*mean*	41.925-41.929=-0.004
σ	0.001-0.002=-0.001
min	41.924-41.927=-0.003
max	41.928-41.932=-0.004

*mean*	4181.125-3893.250=287.875
σ	1944.663-1920.985=23.678
min	1486.000-1218.000=268.000
max	7384.000-7150.000=234.000

*mean*	11.576-14.655=-3.079
σ	1.849-1.437=0.412
min	10.574-11.358=-0.785
max	16.113-15.981=0.132

op=vertical_lookup_list() on indexed, after table_records()

*mean*	27.633-27.654=-0.021
σ	0.137-0.136=0.000
min	27.584-27.604=-0.020
max	27.971-27.991=-0.020

*mean*	4181.125-3893.250=287.875
σ	1944.663-1920.985=23.678
min	1486.000-1218.000=268.000
max	7384.000-7150.000=234.000

*mean*	8.888-9.704=-0.816
σ	1.316-1.221=0.095
min	7.971-8.447=-0.476
max	12.091-12.437=-0.345

op=vertical_lookup_list() on indexed, after table_records(), repeat

*mean*	26.384-26.401=-0.017
σ	0.000-0.002=-0.002
min	26.384-26.400=-0.016
max	26.384-26.404=-0.020

*mean*	4181.125-3893.250=287.875
σ	1944.663-1920.985=23.678
min	1486.000-1218.000=268.000
max	7384.000-7150.000=234.000

*mean*	6.958-6.971=-0.013
σ	0.985-1.407=-0.422
min	6.272-5.675=0.597
max	9.339-10.171=-0.832

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.662-25.668=-0.006
σ	0.004-0.004=0.000
min	25.661-25.665=-0.005
max	25.673-25.677=-0.005

*mean*	4590.625-4052.250=538.375
σ	2248.286-2017.618=230.668
min	1486.000-1218.000=268.000
max	7384.000-7150.000=234.000

*mean*	6.414-6.142=0.272
σ	0.894-0.560=0.333
min	5.821-5.681=0.140
max	8.280-7.446=0.834

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.961-25.970=-0.009
σ	0.000-0.002=-0.001
min	25.961-25.968=-0.008
max	25.962-25.972=-0.010

*mean*	4590.625-4052.250=538.375
σ	2248.286-2017.618=230.668
min	1486.000-1218.000=268.000
max	7384.000-7150.000=234.000

*mean*	6.339-5.837=0.502
σ	0.984-0.574=0.410
min	5.704-5.224=0.480
max	8.500-7.173=1.326

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.608-1021.613=-0.005
σ	0.002-0.002=0.000
min	1021.606-1021.612=-0.006
max	1021.611-1021.616=-0.005

*mean*	7384.000-7150.000=234.000
σ	0.000
min	7384.000-7150.000=234.000
max	7384.000-7150.000=234.000

*mean*	344.236-428.230=-83.994
σ	2.020-231.891=-229.871
min	340.985-345.130=-4.145
max	346.823-1002.127=-655.304

op=load_product(), with indexes

*mean*	3495.855-7917.793=-4421.938
σ	0.454-0.469=-0.015
min	3495.694-7917.625=-4421.931
max	3496.978-7918.954=-4421.976

*mean*	3757.625-3283.000=474.625
σ	2299.416-1838.442=460.974
min	720.000-809.000=-89.000
max	7384.000-5656.000=1728.000

*mean*	1699.115-3741.629=-2042.515
σ	537.847-1132.796=-594.949
min	1377.289-3084.650=-1707.361
max	2743.767-6197.515=-3453.748

CSV - unindexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on unindexed, dense

*mean*	62.078
σ	0.002
min	62.076
max	62.080

*mean*	4052.250
σ	2017.618
min	1218.000
max	7150.000

*mean*	197.434
σ	311.911
min	70.156
max	968.079

op=column_set() on unindexed, dense, minor warmup

*mean*	107.841
σ	0.000
min	107.841
max	107.841

*mean*	4410.125
σ	2217.836
min	1486.000
max	7384.000

*mean*	254.994
σ	337.978
min	123.931
max	1090.264

op=column_set() on unindexed, dense, repeat

*mean*	62.068
σ	0.001
min	62.065
max	62.068

*mean*	4410.125
σ	2217.836
min	1486.000
max	7384.000

*mean*	45.783
σ	8.803
min	41.157
max	67.310

op=vertical_lookup_list() on unindexed missing Int

*mean*	40.946
σ	0.002
min	40.945
max	40.950

*mean*	7150.000
σ	0.000
min	7150.000
max	7150.000

*mean*	60.751
σ	0.459
min	60.164
max	61.376

op=vertical_lookup_list() repeated on unindexed missing Int

*mean*	40.926
σ	0.002
min	40.925
max	40.928

*mean*	7384.000
σ	0.000
min	7384.000
max	7384.000

*mean*	183.691
σ	457.417
min	21.437
max	1315.740

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	71.294-66.688=4.606
σ	0.002-0.002=-0.000
min	71.292-66.686=4.606
max	71.296-66.691=4.606

*mean*	7384.000-7150.000=234.000
σ	0.000
min	7384.000-7150.000=234.000
max	7384.000-7150.000=234.000

*mean*	63.949-99.289=-35.340
σ	18.619-1.053=17.566
min	56.025-97.811=-41.786
max	109.930-100.695=9.235

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	4646.842-14217.171=-9570.329
σ	0.014-4.304=-4.290
min	4646.837-14215.575=-9568.738
max	4646.876-14227.821=-9580.946

*mean*	4181.125-3893.250=287.875
σ	1944.663-1920.985=23.678
min	1486.000-1218.000=268.000
max	7384.000-7150.000=234.000

*mean*	3312.854-7506.448=-4193.594
σ	819.236-2140.243=-1321.007
min	2486.286-5882.710=-3396.424
max	4543.946-10962.122=-6418.176

op=vertical_lookup_list() on indexed

*mean*	1973.829-13159.108=-11185.279
σ	0.002-0.002=0.000
min	1973.827-13159.106=-11185.279
max	1973.832-13159.110=-11185.278

*mean*	7384.000-7150.000=234.000
σ	0.000
min	7384.000-7150.000=234.000
max	7384.000-7150.000=234.000

*mean*	1028.777-5157.313=-4128.536
σ	199.657-240.408=-40.751
min	910.651-4952.316=-4041.665
max	1409.223-5479.291=-4070.068

op=vertical_lookup_list() on unindexed missing Int, minor warmup

*mean*	905.083
σ	0.002
min	905.080
max	905.086

*mean*	7384.000
σ	0.000
min	7384.000
max	7384.000

*mean*	384.261
σ	5.985
min	371.442
max	390.595

CSV internal benchmark: pointedIndexFromKvs

Factor

allocated MiB

peak allocated MiB

time (ms)

op=pointedIndexFromKvs

rows=200000

*mean*	148.144-172.559=-24.414
σ	0.001
min	148.144-172.558=-24.414
max	148.148-172.562=-24.414

*mean*	475.250-478.000=-2.750
σ	1.165-0.000=1.165
min	473.000-478.000=-5.000
max	476.000-478.000=-2.000

*mean*	375.122-368.108=7.014
σ	13.470-33.398=-19.928
min	358.007-303.423=54.584
max	391.306-394.768=-3.462

op=pointedIndexFromKvs

rows=400000

*mean*	308.493-357.322=-48.828
σ	0.001
min	308.493-357.321=-48.828
max	308.497-357.325=-48.828

*mean*	558.000-562.000=-4.000
σ	0.000
min	558.000-562.000=-4.000
max	558.000-562.000=-4.000

*mean*	734.088-710.707=23.381
σ	63.128-64.610=-1.482
min	619.838-625.491=-5.653
max	814.407-784.832=29.574

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	964.562-1024.299=-59.737
σ	1.881-0.758=1.123
min	963.842-1023.827=-59.985
max	972.518-1027.433=-54.915

*mean*	1035.850-1037.300=-1.450
σ	309.128-303.207=5.921
min	545.000-553.000=-8.000
max	1533.000-1461.000=72.000

*mean*	1.236-1.574=-0.338
σ	0.056-0.085=-0.029
min	1.151-1.490=-0.339
max	1.339-1.774=-0.435

Parser: Comma Sep

Factor

allocated MiB

peak allocated MiB

time (ms)

name=ambiguous_item.art

*mean*	0.913-0.913=0.001
σ	0.020-0.020=-0.000
min	0.903-0.903=0.001
max	0.949-0.949=0.000

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.463-0.423=0.040
σ	0.459-0.560=-0.101
min	0.141-0.147=-0.006
max	1.255-1.422=-0.167

name=error_case.art

*mean*	2.346-2.339=0.007
σ	0.012
min	2.340-2.333=0.007
max	2.368-2.361=0.007

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.482-0.471=0.011
σ	0.320-0.319=0.001
min	0.324-0.314=0.010
max	1.055-1.042=0.013

name=heavy_item.art

*mean*	1.523-1.522=0.001
σ	0.002-0.002=-0.000
min	1.522-1.521=0.001
max	1.526-1.525=0.001

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.234-0.229=0.006
σ	0.041-0.023=0.018
min	0.196-0.208=-0.012
max	0.294-0.254=0.041

name=nested_use.art

*mean*	2.364-2.357=0.007
σ	0.002
min	2.363-2.356=0.007
max	2.367-2.360=0.007

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.333-0.333=-0.000
σ	0.020-0.021=-0.001
min	0.312-0.318=-0.005
max	0.365-0.369=-0.005

Parser: Real World

Factor

allocated MiB

peak allocated MiB

time (sec)

name=aon_gpf25_7k_loc.art

*mean*	964.979-964.840=0.139
σ	0.009-0.011=-0.001
min	964.974-964.835=0.139
max	964.996-964.859=0.137

*mean*	431.000-436.200=-5.200
σ	0.000-1.789=-1.789
min	431.000-433.000=-2.000
max	431.000-437.000=-6.000

*mean*	0.582-0.523=0.058
σ	0.035-0.033=0.002
min	0.520-0.500=0.019
max	0.607-0.579=0.029

name=cdr_enhanced_4k_loc.art

*mean*	886.001-885.820=0.181
σ	0.002-0.002=-0.000
min	886.000-885.819=0.181
max	886.004-885.823=0.181

*mean*	431.000-438.000=-7.000
σ	0.000
min	431.000-438.000=-7.000
max	431.000-438.000=-7.000

*mean*	0.498-0.503=-0.005
σ	0.031-0.023=0.008
min	0.448-0.465=-0.017
max	0.521-0.520=0.001

Parser: Record Parsing

Factor

allocated MiB

peak allocated MiB

time (ms)

name=record_render_large_success.art

*mean*	7.719-7.709=0.010
σ	0.002
min	7.718-7.708=0.010
max	7.722-7.712=0.010

*mean*	431.000-438.000=-7.000
σ	0.000
min	431.000-438.000=-7.000
max	431.000-438.000=-7.000

*mean*	2.616-2.602=0.014
σ	0.090-0.088=0.002
min	2.480-2.402=0.078
max	2.958-2.855=0.103

name=record_render_large_syntax_err.art

*mean*	7.667-7.657=0.010
σ	0.002
min	7.666-7.656=0.010
max	7.670-7.660=0.010

*mean*	431.000-438.000=-7.000
σ	0.000
min	431.000-438.000=-7.000
max	431.000-438.000=-7.000

*mean*	2.587-2.592=-0.005
σ	0.107-0.099=0.009
min	2.445-2.460=-0.015
max	3.346-3.184=0.161

name=record_render_success.art

*mean*	2.290-2.289=0.001
σ	0.002
min	2.290-2.289=0.001
max	2.294-2.293=0.001

*mean*	431.000-438.000=-7.000
σ	0.000
min	431.000-438.000=-7.000
max	431.000-438.000=-7.000

*mean*	0.302-0.308=-0.006
σ	0.010-0.014=-0.004
min	0.289-0.291=-0.002
max	0.359-0.388=-0.029

name=record_render_syntax_err.art

*mean*	2.166-2.165=0.001
σ	0.002
min	2.165-2.164=0.001
max	2.169-2.168=0.001

*mean*	431.000-438.000=-7.000
σ	0.000
min	431.000-438.000=-7.000
max	431.000-438.000=-7.000

*mean*	0.289-0.291=-0.002
σ	0.007-0.009=-0.001
min	0.277-0.276=0.001
max	0.327-0.329=-0.002

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.785
σ	12.406
min	0.574
max	125.115

*mean*	459.393
σ	20.202
min	406.000
max	475.000

*mean*	0.027
σ	0.030
min	0.001
max	0.319

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	279.006-298.684=-19.678
σ	1.044-1.014=0.030
min	278.608-298.319=-19.711
max	281.976-301.569=-19.593

*mean*	444.400-441.600=2.800
σ	18.928-14.152=4.776
min	412.000-417.000=-5.000
max	476.000-465.000=11.000

*mean*	0.586-0.585=0.001
σ	0.013-0.031=-0.018
min	0.557-0.534=0.023
max	0.604-0.642=-0.038

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

*mean*	169.257-236.678=-67.420
σ	0.000-0.000=0.000
min	169.257-236.678=-67.420
max	169.257-236.678=-67.420

*mean*	848.500-923.375=-74.875
σ	0.535-10.253=-9.719
min	848.000-898.000=-50.000
max	849.000-927.000=-78.000

*mean*	210.538-210.268=0.270
σ	24.943-2.167=22.775
min	189.003-208.014=-19.011
max	249.465-213.383=36.082

phase=macro expansion

*mean*	5.899-6.130=-0.230
σ	0.000
min	5.899-6.130=-0.230
max	5.899-6.130=-0.230

*mean*	848.375-920.500=-72.125
σ	0.518-18.385=-17.867
min	848.000-875.000=-27.000
max	849.000-927.000=-78.000

*mean*	7.133-8.663=-1.531
σ	2.317-1.550=0.766
min	5.911-6.299=-0.387
max	12.226-10.000=2.226

phase=parser

*mean*	1042.130-1042.364=-0.233
σ	0.000-0.000=-0.000
min	1042.130-1042.364=-0.234
max	1042.131-1042.364=-0.234

*mean*	848.375-920.500=-72.125
σ	0.518-18.385=-17.867
min	848.000-875.000=-27.000
max	849.000-927.000=-78.000

*mean*	453.153-504.559=-51.406
σ	130.904-78.983=51.921
min	370.583-379.083=-8.500
max	718.994-638.844=80.150

phase=processProdDef

*mean*	2243.720-4850.763=-2607.043
σ	0.000-0.000=-0.000
min	2243.720-4850.763=-2607.043
max	2243.720-4850.763=-2607.043

*mean*	848.500-927.000=-78.500
σ	0.535-0.000=0.535
min	848.000-927.000=-79.000
max	849.000-927.000=-78.000

*mean*	2724.207-5325.675=-2601.468
σ	372.799-321.263=51.536
min	2234.681-4986.209=-2751.529
max	3201.065-6037.104=-2836.039

phase=renaming

*mean*	21.436-21.671=-0.235
σ	0.000
min	21.436-21.671=-0.235
max	21.436-21.671=-0.235

*mean*	848.375-920.500=-72.125
σ	0.518-18.385=-17.867
min	848.000-875.000=-27.000
max	849.000-927.000=-78.000

*mean*	39.367-32.891=6.476
σ	5.427-9.072=-3.645
min	30.222-20.674=9.548
max	47.381-41.204=6.177

phase=type checker

*mean*	958.596-990.450=-31.854
σ	0.047-0.071=-0.024
min	958.573-990.344=-31.772
max	958.698-990.563=-31.866

*mean*	848.375-923.250=-74.875
σ	0.518-10.607=-10.089
min	848.000-897.000=-49.000
max	849.000-927.000=-78.000

*mean*	699.630-707.808=-8.178
σ	69.878-71.294=-1.415
min	636.913-663.189=-26.276
max	845.992-882.041=-36.049

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	282.869-293.843=-10.973
σ	0.029-0.026=0.003
min	282.840-293.814=-10.974
max	282.917-293.882=-10.965

*mean*	440.600-443.000=-2.400
σ	3.209-0.000=3.209
min	437.000-443.000=-6.000
max	444.000-443.000=1.000

*mean*	0.379-0.395=-0.016
σ	0.006-0.006=0.000
min	0.374-0.391=-0.018
max	0.387-0.405=-0.019

iters=5

new-facts=1

prior-facts=6402

*mean*	1268.114-1320.252=-52.138
σ	0.105-0.057=0.048
min	1268.004-1320.180=-52.176
max	1268.282-1320.316=-52.035

*mean*	1110.400-1073.200=37.200
σ	184.260-168.721=15.539
min	889.000-844.000=45.000
max	1360.000-1275.000=85.000

*mean*	1.884-2.261=-0.377
σ	0.118-0.110=0.007
min	1.801-2.160=-0.358
max	2.092-2.441=-0.350

iters=5

new-facts=6402

prior-facts=1

*mean*	1507.100-1560.635=-53.535
σ	2.967-6.240=-3.273
min	1505.604-1557.670=-52.067
max	1512.399-1571.793=-59.394

*mean*	628.800-618.600=10.200
σ	91.026-83.146=7.880
min	504.000-493.000=11.000
max	728.000-717.000=11.000

*mean*	2.373-2.336=0.038
σ	0.280-0.210=0.070
min	2.128-2.212=-0.084
max	2.784-2.708=0.075

iters=5

new-facts=6402

prior-facts=6402

*mean*	1830.109-1882.152=-52.043
σ	0.069-0.039=0.030
min	1830.034-1882.097=-52.062
max	1830.185-1882.184=-51.999

*mean*	1757.600-1698.800=58.800
σ	212.713-247.193=-34.480
min	1476.000-1393.000=83.000
max	1960.000-2025.000=-65.000

*mean*	3.141-2.953=0.188
σ	0.282-0.111=0.172
min	2.818-2.840=-0.021
max	3.512-3.109=0.403

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.676-1.710=-0.035
σ	0.122-0.158=-0.036
min	1.549-1.441=0.109
max	1.844-1.819=0.025

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	406.197-452.081=-45.884
σ	509.796-582.723=-72.927
min	151.295-160.716=-9.421
max	1170.891-1326.166=-155.274

*mean*	101.750-102.250=-0.500
σ	7.500-8.500=-1.000
min	98.000
max	113.000-115.000=-2.000

*mean*	446.000-442.000=4.000
σ	0.000
min	446.000-442.000=4.000
max	446.000-442.000=4.000

*mean*	0.517-0.532=-0.015
σ	0.525-0.518=0.007
min	0.249-0.267=-0.018
max	1.304-1.308=-0.004

policies=20

*mean*	1513.141-1607.527=-94.386
σ	0.271-0.412=-0.140
min	1512.967-1607.248=-94.281
max	1513.543-1608.137=-94.594

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	448.250-446.250=2.000
σ	1.500-8.500=-7.000
min	446.000-442.000=4.000
max	449.000-459.000=-10.000

*mean*	2.495-2.690=-0.195
σ	0.006-0.019=-0.013
min	2.490-2.670=-0.180
max	2.503-2.714=-0.211

policies=200

*mean*	15140.032-16083.475=-943.444
σ	0.108-0.086=0.023
min	15139.914-16083.415=-943.501
max	15140.176-16083.602=-943.427

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	498.750-494.750=4.000
σ	6.702-3.862=2.840
min	492.000-491.000=1.000
max	508.000-499.000=9.000

*mean*	25.216-27.145=-1.929
σ	0.133-0.036=0.097
min	25.083-27.096=-2.013
max	25.390-27.184=-1.794