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.664=-112.031
σ	0.000
min	446.633-558.664=-112.031
max	446.633-558.664=-112.031

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.720-54.881=-0.161
σ	0.361-0.359=0.002
min	54.577-54.745=-0.168
max	55.746-55.902=-0.156

*mean*	420.000-417.000=3.000
σ	0.000
min	420.000-417.000=3.000
max	420.000-417.000=3.000

*mean*	0.138-0.141=-0.003
σ	0.004-0.004=0.000
min	0.131-0.137=-0.006
max	0.145-0.148=-0.003

cache=y

dps=1

iters=10

policies=100

*mean*	43.774-43.849=-0.075
σ	0.006-0.007=-0.001
min	43.764-43.836=-0.072
max	43.782-43.858=-0.076

*mean*	420.000-417.000=3.000
σ	0.000
min	420.000-417.000=3.000
max	420.000-417.000=3.000

*mean*	0.120-0.125=-0.005
σ	0.004-0.004=-0.001
min	0.116-0.121=-0.005
max	0.126-0.132=-0.006

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.016

*mean*	4427.375-4041.250=386.125
σ	2226.908-2008.838=218.070
min	1483.000-1216.000=267.000
max	7408.000-7148.000=260.000

*mean*	12.799-12.922=-0.122
σ	1.978-0.315=1.662
min	11.737-12.554=-0.817
max	17.577-13.399=4.178

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.605-36.620=-0.015

*mean*	4607.125-4041.250=565.875
σ	2257.941-2008.838=249.103
min	1483.000-1216.000=267.000
max	7408.000-7148.000=260.000

*mean*	143.670-12.723=130.947
σ	368.162-0.673=367.489
min	11.591-11.824=-0.233
max	1054.810-13.784=1041.026

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*	7408.000-7148.000=260.000
σ	0.000
min	7408.000-7148.000=260.000
max	7408.000-7148.000=260.000

*mean*	11.145-15.374=-4.230
σ	0.183-0.184=-0.001
min	10.830-15.153=-4.322
max	11.375-15.642=-4.266

op=table_records(), repeat

*mean*	41.925-41.929=-0.004
σ	0.000-0.002=-0.002
min	41.924-41.927=-0.003
max	41.925-41.932=-0.007

*mean*	4198.250-4041.250=157.000
σ	1953.999-2008.838=-54.839
min	1483.000-1216.000=267.000
max	7408.000-7148.000=260.000

*mean*	11.602-13.615=-2.012
σ	1.765-1.889=-0.124
min	10.688-10.758=-0.070
max	15.933-16.383=-0.450

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

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

*mean*	4198.250-4041.250=157.000
σ	1953.999-2008.838=-54.839
min	1483.000-1216.000=267.000
max	7408.000-7148.000=260.000

*mean*	9.100-9.605=-0.505
σ	1.293-1.283=0.011
min	7.989-8.591=-0.601
max	12.220-12.677=-0.457

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*	4198.250-4041.250=157.000
σ	1953.999-2008.838=-54.839
min	1483.000-1216.000=267.000
max	7408.000-7148.000=260.000

*mean*	7.211-8.017=-0.806
σ	1.003-1.500=-0.496
min	6.280-6.994=-0.713
max	9.609-10.704=-1.095

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.678=-0.005

*mean*	4607.125-4041.250=565.875
σ	2257.941-2008.838=249.103
min	1483.000-1216.000=267.000
max	7408.000-7148.000=260.000

*mean*	6.639-6.038=0.600
σ	1.114-0.108=1.006
min	6.012-5.866=0.146
max	9.119-6.163=2.955

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*	4607.125-4041.250=565.875
σ	2257.941-2008.838=249.103
min	1483.000-1216.000=267.000
max	7408.000-7148.000=260.000

*mean*	6.448-5.855=0.592
σ	1.117-0.100=1.017
min	5.779-5.674=0.106
max	8.866-5.989=2.877

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.610-1021.613=-0.003
σ	0.002-0.002=0.000
min	1021.608-1021.612=-0.004
max	1021.613-1021.616=-0.003

*mean*	7408.000-7148.000=260.000
σ	0.000
min	7408.000-7148.000=260.000
max	7408.000-7148.000=260.000

*mean*	346.211-366.098=-19.887
σ	3.825-53.388=-49.564
min	341.251-344.524=-3.272
max	354.793-498.137=-143.344

op=load_product(), with indexes

*mean*	3495.857-7917.792=-4421.935
σ	0.455-0.469=-0.014
min	3495.696-7917.624=-4421.929
max	3496.983-7918.954=-4421.970

*mean*	3771.125-3272.875=498.250
σ	2310.280-1823.353=486.927
min	720.000-809.000=-89.000
max	7408.000-5619.000=1789.000

*mean*	1719.999-3806.810=-2086.811
σ	560.280-1320.083=-759.804
min	1387.621-3082.815=-1695.194
max	2811.418-6199.142=-3387.724

CSV - unindexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on unindexed, dense

*mean*	62.077
σ	0.002
min	62.076
max	62.080

*mean*	4041.250
σ	2008.838
min	1216.000
max	7148.000

*mean*	91.506
σ	19.702
min	75.383
max	127.516

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

*mean*	107.841
σ	0.000
min	107.840
max	107.841

*mean*	4198.250
σ	1953.999
min	1483.000
max	7408.000

*mean*	136.261
σ	12.792
min	126.249
max	166.958

op=column_set() on unindexed, dense, repeat

*mean*	62.068
σ	0.001
min	62.065
max	62.069

*mean*	4427.375
σ	2226.908
min	1483.000
max	7408.000

*mean*	166.759
σ	353.262
min	40.527
max	1041.034

op=vertical_lookup_list() on unindexed missing Int

*mean*	40.946
σ	0.002
min	40.945
max	40.950

*mean*	7148.000
σ	0.000
min	7148.000
max	7148.000

*mean*	61.265
σ	0.323
min	60.918
max	61.671

op=vertical_lookup_list() repeated on unindexed missing Int

*mean*	40.926
σ	0.002
min	40.924
max	40.929

*mean*	7408.000
σ	0.000
min	7408.000
max	7408.000

*mean*	104.012
σ	230.460
min	21.622
max	674.365

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*	7408.000-7148.000=260.000
σ	0.000
min	7408.000-7148.000=260.000
max	7408.000-7148.000=260.000

*mean*	59.773-100.160=-40.387
σ	9.223-0.693=8.529
min	55.757-99.234=-43.477
max	82.533-101.288=-18.754

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	4646.842-14217.171=-9570.328
σ	0.013-4.304=-4.291
min	4646.837-14215.575=-9568.738
max	4646.875-14227.821=-9580.946

*mean*	4198.250-4041.250=157.000
σ	1953.999-2008.838=-54.839
min	1483.000-1216.000=267.000
max	7408.000-7148.000=260.000

*mean*	3156.464-8175.550=-5019.085
σ	601.794-2157.102=-1555.308
min	2520.646-6002.891=-3482.245
max	4118.876-11067.801=-6948.925

op=vertical_lookup_list() on indexed

*mean*	1973.829-13159.109=-11185.279
σ	0.002-0.002=0.000
min	1973.827-13159.106=-11185.279
max	1973.831-13159.110=-11185.279

*mean*	7408.000-7148.000=260.000
σ	0.000
min	7408.000-7148.000=260.000
max	7408.000-7148.000=260.000

*mean*	1034.237-5090.331=-4056.094
σ	194.501-172.373=22.128
min	924.593-4962.508=-4037.915
max	1496.686-5381.260=-3884.574

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

*mean*	905.082
σ	0.002
min	905.080
max	905.086

*mean*	7408.000
σ	0.000
min	7408.000
max	7408.000

*mean*	404.649
σ	40.779
min	381.279
max	505.132

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.875-477.000=-1.125
σ	0.991-0.000=0.991
min	475.000-477.000=-2.000
max	477.000

*mean*	375.353-382.309=-6.956
σ	31.720-19.092=12.628
min	314.831-350.784=-35.952
max	425.647-394.179=31.468

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*	560.000-561.000=-1.000
σ	0.000
min	560.000-561.000=-1.000
max	560.000-561.000=-1.000

*mean*	747.186-704.380=42.806
σ	47.890-73.371=-25.480
min	664.840-591.987=72.853
max	813.614-790.846=22.769

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	964.530-1024.299=-59.770
σ	1.822-0.759=1.063
min	963.823-1023.827=-60.004
max	972.234-1027.437=-55.204

*mean*	1039.850-1037.800=2.050
σ	293.473-301.078=-7.606
min	552.000-562.000=-10.000
max	1432.000-1460.000=-28.000

*mean*	1.265-1.536=-0.272
σ	0.102-0.068=0.034
min	1.174-1.361=-0.187
max	1.511-1.642=-0.131

Parser: Comma Sep

Factor

allocated MiB

peak allocated MiB

time (ms)

name=ambiguous_item.art

*mean*	0.914-0.913=0.002
σ	0.020
min	0.904-0.903=0.002
max	0.951-0.949=0.002

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.392-0.442=-0.050
σ	0.495-0.625=-0.130
min	0.138-0.132=0.006
max	1.272-1.557=-0.285

name=error_case.art

*mean*	2.347-2.339=0.008
σ	0.012
min	2.341-2.333=0.008
max	2.369-2.361=0.008

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.486-0.719=-0.233
σ	0.322-0.292=0.030
min	0.331-0.562=-0.231
max	1.061-1.239=-0.177

name=heavy_item.art

*mean*	1.525-1.522=0.003
σ	0.002-0.002=-0.000
min	1.524-1.521=0.003
max	1.528-1.525=0.003

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.219-0.381=-0.163
σ	0.027-0.041=-0.014
min	0.201-0.356=-0.154
max	0.266-0.451=-0.186

name=nested_use.art

*mean*	2.365-2.357=0.008
σ	0.002
min	2.364-2.356=0.008
max	2.368-2.360=0.008

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.451-0.584=-0.133
σ	0.248-0.030=0.218
min	0.326-0.560=-0.234
max	0.895-0.634=0.261

Parser: Real World

Factor

allocated MiB

peak allocated MiB

time (sec)

name=aon_gpf25_7k_loc.art

*mean*	966.287-964.840=1.446
σ	0.009-0.011=-0.001
min	966.281-964.835=1.447
max	966.303-964.859=1.444

*mean*	432.600-435.200=-2.600
σ	0.894-4.550=-3.655
min	431.000
max	433.000-440.000=-7.000

*mean*	0.553-0.608=-0.055
σ	0.073-0.075=-0.002
min	0.454-0.548=-0.094
max	0.613-0.739=-0.126

name=cdr_enhanced_4k_loc.art

*mean*	886.717-885.820=0.897
σ	0.002-0.002=-0.000
min	886.716-885.819=0.897
max	886.720-885.823=0.897

*mean*	433.000-440.000=-7.000
σ	0.000
min	433.000-440.000=-7.000
max	433.000-440.000=-7.000

*mean*	0.485-0.463=0.022
σ	0.035-0.032=0.003
min	0.434-0.426=0.009
max	0.520-0.495=0.025

Parser: Record Parsing

Factor

allocated MiB

peak allocated MiB

time (ms)

name=record_render_large_success.art

*mean*	7.722-7.709=0.013
σ	0.002
min	7.721-7.708=0.013
max	7.725-7.712=0.013

*mean*	433.000-440.000=-7.000
σ	0.000
min	433.000-440.000=-7.000
max	433.000-440.000=-7.000

*mean*	2.654-2.634=0.019
σ	0.100-0.123=-0.023
min	2.488-2.457=0.031
max	3.002-3.248=-0.246

name=record_render_large_syntax_err.art

*mean*	7.670-7.657=0.013
σ	0.002
min	7.670-7.656=0.013
max	7.673-7.660=0.013

*mean*	433.000-440.000=-7.000
σ	0.000
min	433.000-440.000=-7.000
max	433.000-440.000=-7.000

*mean*	2.617-2.605=0.011
σ	0.090-0.094=-0.004
min	2.466-2.428=0.038
max	2.876-2.841=0.035

name=record_render_success.art

*mean*	2.294-2.289=0.004
σ	0.002
min	2.293-2.289=0.004
max	2.297-2.293=0.004

*mean*	433.000-440.000=-7.000
σ	0.000
min	433.000-440.000=-7.000
max	433.000-440.000=-7.000

*mean*	0.303-0.303=-0.000
σ	0.009-0.011=-0.002
min	0.287-0.286=0.001
max	0.356-0.372=-0.015

name=record_render_syntax_err.art

*mean*	2.169-2.165=0.004
σ	0.002
min	2.168-2.164=0.004
max	2.172-2.168=0.004

*mean*	433.000-440.000=-7.000
σ	0.000
min	433.000-440.000=-7.000
max	433.000-440.000=-7.000

*mean*	0.290-0.303=-0.013
σ	0.008-0.070=-0.061
min	0.276-0.274=0.002
max	0.331-0.757=-0.426

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.219
σ	11.625
min	0.573
max	90.260

*mean*	467.711
σ	18.963
min	408.000
max	483.000

*mean*	0.026
σ	0.028
min	0.001
max	0.222

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	278.777-298.896=-20.119
σ	1.032-1.002=0.031
min	278.383-298.502=-20.119
max	281.712-301.743=-20.031

*mean*	441.300-441.200=0.100
σ	17.250-14.359=2.891
min	414.000-418.000=-4.000
max	465.000-467.000=-2.000

*mean*	0.568-0.598=-0.030
σ	0.028-0.024=0.003
min	0.527-0.546=-0.019
max	0.610-0.621=-0.011

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

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

*mean*	698.000-1065.000=-367.000
σ	0.000-33.941=-33.941
min	698.000-981.000=-283.000
max	698.000-1077.000=-379.000

*mean*	231.524-204.754=26.770
σ	21.844-2.560=19.284
min	194.421-200.470=-6.049
max	250.121-208.766=41.355

phase=macro expansion

*mean*	5.900-6.130=-0.229
σ	0.000
min	5.900-6.130=-0.229
max	5.900-6.130=-0.229

*mean*	698.000-1065.000=-367.000
σ	0.000-33.941=-33.941
min	698.000-981.000=-283.000
max	698.000-1077.000=-379.000

*mean*	5.862-10.272=-4.410
σ	0.063-2.103=-2.040
min	5.780-6.365=-0.584
max	5.976-13.111=-7.135

phase=parser

*mean*	1043.350-1042.363=0.987
σ	0.000-0.000=-0.000
min	1043.350-1042.362=0.988
max	1043.351-1042.363=0.988

*mean*	698.000-1065.000=-367.000
σ	0.000-33.941=-33.941
min	698.000-981.000=-283.000
max	698.000-1077.000=-379.000

*mean*	498.648-534.641=-35.993
σ	94.950-108.425=-13.475
min	407.183-379.637=27.545
max	613.643-708.169=-94.526

phase=processProdDef

*mean*	2243.722-4850.764=-2607.042
σ	0.000
min	2243.722-4850.764=-2607.042
max	2243.722-4850.764=-2607.042

*mean*	698.000-1077.000=-379.000
σ	0.000
min	698.000-1077.000=-379.000
max	698.000-1077.000=-379.000

*mean*	2949.579-4957.461=-2007.882
σ	335.370-326.121=9.249
min	2208.441-4349.627=-2141.186
max	3279.957-5330.964=-2051.006

phase=renaming

*mean*	21.438-21.671=-0.233
σ	0.000
min	21.438-21.671=-0.233
max	21.438-21.671=-0.233

*mean*	698.000-1065.000=-367.000
σ	0.000-33.941=-33.941
min	698.000-981.000=-283.000
max	698.000-1077.000=-379.000

*mean*	34.531-39.943=-5.411
σ	1.695-8.042=-6.347
min	32.254-21.633=10.621
max	36.938-48.137=-11.198

phase=type checker

*mean*	958.597-990.450=-31.853
σ	0.047-0.071=-0.024
min	958.573-990.344=-31.771
max	958.698-990.563=-31.865

*mean*	698.000-1065.000=-367.000
σ	0.000-33.941=-33.941
min	698.000-981.000=-283.000
max	698.000-1077.000=-379.000

*mean*	664.546-745.459=-80.914
σ	12.819-82.410=-69.590
min	645.561-643.765=1.796
max	679.296-894.559=-215.263

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	282.367-293.821=-11.455
σ	0.035-0.038=-0.003
min	282.312-293.768=-11.456
max	282.397-293.860=-11.463

*mean*	443.600-443.000=0.600
σ	0.548-0.000=0.548
min	443.000
max	444.000-443.000=1.000

*mean*	0.391-0.400=-0.009
σ	0.010-0.005=0.005
min	0.374-0.394=-0.020
max	0.398-0.406=-0.008

iters=5

new-facts=1

prior-facts=6402

*mean*	1267.620-1320.211=-52.591
σ	0.126-0.047=0.080
min	1267.437-1320.137=-52.700
max	1267.776-1320.257=-52.481

*mean*	1092.400-1067.600=24.800
σ	169.214-164.483=4.730
min	890.000-845.000=45.000
max	1322.000-1268.000=54.000

*mean*	2.172-2.249=-0.077
σ	0.277-0.124=0.153
min	1.954-2.147=-0.193
max	2.654-2.456=0.197

iters=5

new-facts=6402

prior-facts=1

*mean*	1506.545-1560.617=-54.072
σ	2.924-6.226=-3.302
min	1505.037-1557.635=-52.599
max	1511.763-1571.750=-59.987

*mean*	611.600-619.600=-8.000
σ	92.985-82.984=10.002
min	499.000-494.000=5.000
max	731.000-717.000=14.000

*mean*	2.223-2.304=-0.081
σ	0.135-0.188=-0.053
min	2.076-2.181=-0.105
max	2.389-2.623=-0.234

iters=5

new-facts=6402

prior-facts=6402

*mean*	1829.568-1882.168=-52.600
σ	0.051-0.056=-0.005
min	1829.510-1882.105=-52.595
max	1829.615-1882.241=-52.626

*mean*	1722.000-1708.600=13.400
σ	190.604-258.907=-68.303
min	1458.000-1396.000=62.000
max	1898.000-2056.000=-158.000

*mean*	2.927-2.929=-0.002
σ	0.275-0.076=0.199
min	2.605-2.842=-0.237
max	3.361-3.013=0.348

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.657-1.841=-0.184
σ	0.207-0.050=0.157
min	1.316-1.755=-0.439
max	1.845-1.874=-0.029

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	393.630-452.082=-58.451
σ	509.937-582.721=-72.784
min	138.659-160.720=-22.061
max	1158.536-1326.164=-167.628

*mean*	97.750-102.250=-4.500
σ	7.500-8.500=-1.000
min	94.000-98.000=-4.000
max	109.000-115.000=-6.000

*mean*	435.000-441.000=-6.000
σ	0.000
min	435.000-441.000=-6.000
max	435.000-441.000=-6.000

*mean*	0.479-0.541=-0.062
σ	0.492-0.542=-0.050
min	0.229-0.268=-0.039
max	1.217-1.354=-0.136

policies=20

*mean*	1386.719-1607.527=-220.808
σ	0.134-0.413=-0.278
min	1386.622-1607.247=-220.625
max	1386.918-1608.139=-221.221

*mean*	940.000-980.000=-40.000
σ	0.000
min	940.000-980.000=-40.000
max	940.000-980.000=-40.000

*mean*	443.000-445.000=-2.000
σ	9.238-4.619=4.619
min	435.000-441.000=-6.000
max	451.000-449.000=2.000

*mean*	2.282-2.694=-0.412
σ	0.007-0.017=-0.010
min	2.272-2.677=-0.405
max	2.289-2.714=-0.424

policies=200

*mean*	13875.869-16083.364=-2207.495
σ	0.104-0.167=-0.062
min	13875.773-16083.200=-2207.426
max	13876.017-16083.533=-2207.516

*mean*	9400.000-9800.000=-400.000
σ	0.000
min	9400.000-9800.000=-400.000
max	9400.000-9800.000=-400.000

*mean*	493.250-493.750=-0.500
σ	4.425-4.031=0.394
min	489.000
max	498.000

*mean*	23.252-27.146=-3.894
σ	0.149-0.033=0.115
min	23.120-27.115=-3.995
max	23.394-27.193=-3.799