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.301
σ	0.000
min	5.301
max	5.301

AST compact size (parser)

Factor

compact size MiB

phase=parser

*mean*	5.176
σ	0.000
min	5.176
max	5.176

AST compact size (processProdDef Decls)

Factor

compact size MiB

phase=processProdDef Decls

*mean*	5.676
σ	0.000
min	5.676
max	5.676

AST compact size (processProdDef)

Factor

compact size MiB

phase=processProdDef

*mean*	446.883-558.664=-111.781
σ	0.000
min	446.883-558.664=-111.781
max	446.883-558.664=-111.781

AST compact size (renaming)

Factor

compact size MiB

phase=renaming

*mean*	5.488
σ	0.000
min	5.488
max	5.488

AST compact size (type checker)

Factor

compact size MiB

phase=type checker

*mean*	6.645
σ	0.000
min	6.645
max	6.645

Aggregation: measureAggregations

Factor

allocated MiB

peak allocated MiB

time_s

cache=n

dps=1

iters=10

policies=100

*mean*	54.774-54.880=-0.107
σ	0.365-0.361=0.004
min	54.633-54.743=-0.110
max	55.810-55.906=-0.096

*mean*	416.000-420.000=-4.000
σ	0.000
min	416.000-420.000=-4.000
max	416.000-420.000=-4.000

*mean*	0.137-0.141=-0.004
σ	0.005-0.006=-0.001
min	0.131-0.134=-0.003
max	0.145-0.153=-0.008

cache=y

dps=1

iters=10

policies=100

*mean*	43.780-43.849=-0.068
σ	0.008-0.005=0.003
min	43.769-43.842=-0.072
max	43.795-43.858=-0.063

*mean*	416.000-420.000=-4.000
σ	0.000
min	416.000-420.000=-4.000
max	416.000-420.000=-4.000

*mean*	0.141-0.122=0.019
σ	0.008-0.005=0.003
min	0.121-0.115=0.005
max	0.151-0.132=0.019

CSV - indexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on indexed

*mean*	36.617-36.618=-0.001
σ	0.000-0.002=-0.002
min	36.617-36.616=0.001
max	36.618-36.620=-0.002

*mean*	4594.375-4028.375=566.000
σ	2248.860-2000.321=248.539
min	1484.000-1217.000=267.000
max	7385.000-7129.000=256.000

*mean*	166.318-12.875=153.443
σ	433.605-0.479=433.126
min	11.949-12.322=-0.373
max	1239.424-13.581=1225.843

op=column_set() on indexed, repeat

*mean*	36.617-36.618=-0.001
σ	0.000-0.002=-0.002
min	36.617-36.616=0.001
max	36.618-36.620=-0.003

*mean*	4594.375-4028.375=566.000
σ	2248.860-2000.321=248.539
min	1484.000-1217.000=267.000
max	7385.000-7129.000=256.000

*mean*	14.775-12.586=2.189
σ	4.536-0.563=3.973
min	11.412-11.899=-0.487
max	24.753-13.341=11.412

op=table_records(), no indexes

*mean*	41.948-41.930=0.018
σ	0.002-0.002=0.000
min	41.946-41.928=0.018
max	41.951-41.933=0.018

*mean*	7385.000-7129.000=256.000
σ	0.000
min	7385.000-7129.000=256.000
max	7385.000-7129.000=256.000

*mean*	11.111-14.734=-3.624
σ	0.189-1.304=-1.115
min	10.883-11.845=-0.962
max	11.463-15.639=-4.176

op=table_records(), repeat

*mean*	41.934-41.929=0.004
σ	0.001-0.002=-0.001
min	41.933-41.927=0.005
max	41.937-41.931=0.005

*mean*	4186.625-4028.375=158.250
σ	1945.915-2000.321=-54.405
min	1484.000-1217.000=267.000
max	7385.000-7129.000=256.000

*mean*	11.604-13.601=-1.997
σ	1.460-1.947=-0.488
min	10.813-11.115=-0.302
max	15.167-15.664=-0.497

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

*mean*	27.655-27.654=0.001
σ	0.137-0.136=0.001
min	27.606-27.604=0.002
max	27.993-27.991=0.002

*mean*	4186.625-4028.375=158.250
σ	1945.915-2000.321=-54.405
min	1484.000-1217.000=267.000
max	7385.000-7129.000=256.000

*mean*	8.828-9.005=-0.177
σ	0.548-0.273=0.274
min	7.968-8.473=-0.505
max	9.923-9.388=0.535

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

*mean*	26.406-26.401=0.005
σ	0.000-0.002=-0.002
min	26.406-26.400=0.006
max	26.406-26.404=0.002

*mean*	4186.625-4028.375=158.250
σ	1945.915-2000.321=-54.405
min	1484.000-1217.000=267.000
max	7385.000-7129.000=256.000

*mean*	6.743-6.880=-0.137
σ	0.516-0.200=0.317
min	6.253-6.522=-0.270
max	7.842-7.115=0.727

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.681-25.668=0.013
σ	0.003-0.004=-0.001
min	25.680-25.665=0.014
max	25.688-25.678=0.010

*mean*	4594.375-4028.375=566.000
σ	2248.860-2000.321=248.539
min	1484.000-1217.000=267.000
max	7385.000-7129.000=256.000

*mean*	6.642-5.815=0.827
σ	1.157-0.147=1.010
min	5.743-5.655=0.088
max	9.075-6.069=3.006

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.984-25.970=0.015
σ	0.000-0.002=-0.001
min	25.984-25.969=0.016
max	25.985-25.972=0.013

*mean*	4594.375-4028.375=566.000
σ	2248.860-2000.321=248.539
min	1484.000-1217.000=267.000
max	7385.000-7129.000=256.000

*mean*	6.466-5.709=0.757
σ	1.034-0.140=0.894
min	5.834-5.558=0.276
max	8.802-5.973=2.828

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.627-1021.613=0.014
σ	0.002-0.002=0.000
min	1021.625-1021.612=0.013
max	1021.629-1021.616=0.013

*mean*	7385.000-7129.000=256.000
σ	0.000
min	7385.000-7129.000=256.000
max	7385.000-7129.000=256.000

*mean*	362.374-346.449=15.925
σ	43.053-2.796=40.257
min	339.483-341.809=-2.327
max	468.566-349.152=119.414

op=load_product(), with indexes

*mean*	3495.878-7917.793=-4421.914
σ	0.468-0.469=-0.001
min	3495.713-7917.625=-4421.913
max	3497.037-7918.954=-4421.917

*mean*	3761.250-3262.625=498.625
σ	2301.304-1813.210=488.094
min	720.000-810.000=-90.000
max	7385.000-5596.000=1789.000

*mean*	1774.723-3599.841=-1825.118
σ	671.620-1071.242=-399.622
min	1371.378-3061.564=-1690.186
max	2938.682-6062.403=-3123.722

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*	4028.375
σ	2000.321
min	1217.000
max	7129.000

*mean*	83.571
σ	14.691
min	70.426
max	108.082

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

*mean*	107.854
σ	0.000
min	107.853
max	107.854

*mean*	4415.000
σ	2218.037
min	1484.000
max	7385.000

*mean*	262.215
σ	358.564
min	125.160
max	1149.042

op=column_set() on unindexed, dense, repeat

*mean*	62.081
σ	0.000
min	62.081
max	62.082

*mean*	4415.000
σ	2218.037
min	1484.000
max	7385.000

*mean*	45.922
σ	7.435
min	41.644
max	64.055

op=vertical_lookup_list() on unindexed missing Int

*mean*	40.946
σ	0.002
min	40.945
max	40.950

*mean*	7129.000
σ	0.000
min	7129.000
max	7129.000

*mean*	174.027
σ	316.765
min	61.022
max	957.976

op=vertical_lookup_list() repeated on unindexed missing Int

*mean*	40.948
σ	0.002
min	40.947
max	40.950

*mean*	7385.000
σ	0.000
min	7385.000
max	7385.000

*mean*	23.069
σ	2.175
min	21.608
max	26.702

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	71.308-66.688=4.620
σ	0.002-0.002=-0.000
min	71.307-66.686=4.621
max	71.311-66.691=4.620

*mean*	7385.000-7129.000=256.000
σ	0.000
min	7385.000-7129.000=256.000
max	7385.000-7129.000=256.000

*mean*	300.907-103.335=197.572
σ	689.201-8.777=680.424
min	55.667-98.909=-43.241
max	2006.576-124.408=1882.168

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	4646.850-14217.171=-9570.320
σ	0.013-4.304=-4.290
min	4646.845-14215.576=-9568.731
max	4646.883-14227.820=-9580.937

*mean*	4186.625-4028.375=158.250
σ	1945.915-2000.321=-54.405
min	1484.000-1217.000=267.000
max	7385.000-7129.000=256.000

*mean*	3300.382-8049.131=-4748.749
σ	834.351-1918.237=-1083.886
min	2488.693-5939.215=-3450.521
max	4515.260-10687.230=-6171.970

op=vertical_lookup_list() on indexed

*mean*	1973.851-13159.109=-11185.257
σ	0.002-0.002=0.000
min	1973.849-13159.106=-11185.256
max	1973.854-13159.110=-11185.256

*mean*	7385.000-7129.000=256.000
σ	0.000
min	7385.000-7129.000=256.000
max	7385.000-7129.000=256.000

*mean*	1104.137-5234.096=-4129.960
σ	344.583-639.869=-295.286
min	909.277-4963.511=-4054.234
max	1891.935-6812.923=-4920.988

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

*mean*	905.105
σ	0.002
min	905.102
max	905.108

*mean*	7385.000
σ	0.000
min	7385.000
max	7385.000

*mean*	405.669
σ	39.064
min	385.958
max	501.190

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*	476.125-478.000=-1.875
σ	0.354-0.000=0.354
min	476.000-478.000=-2.000
max	477.000-478.000=-1.000

*mean*	381.000-385.635=-4.635
σ	16.133-17.467=-1.334
min	360.454-342.550=17.904
max	401.541-392.832=8.709

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*	562.500-560.000=2.500
σ	1.414-0.000=1.414
min	559.000-560.000=-1.000
max	563.000-560.000=3.000

*mean*	759.316-737.608=21.708
σ	50.458-79.977=-29.519
min	660.985-580.030=80.955
max	820.434-793.321=27.113

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	963.971-1024.300=-60.329
σ	1.820-0.759=1.061
min	963.263-1023.826=-60.564
max	971.667-1027.437=-55.771

*mean*	1049.950-1062.300=-12.350
σ	297.566-316.279=-18.714
min	575.000-597.000=-22.000
max	1472.000-1567.000=-95.000

*mean*	1.289-1.596=-0.307
σ	0.119-0.127=-0.008
min	1.181-1.516=-0.335
max	1.559-2.084=-0.525

Parser: Comma Sep

Factor

allocated MiB

peak allocated MiB

time (ms)

name=ambiguous_item.art

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

*mean*	402.000-401.000=1.000
σ	0.000
min	402.000-401.000=1.000
max	402.000-401.000=1.000

*mean*	0.503-0.319=0.185
σ	0.464-0.335=0.130
min	0.264-0.149=0.115
max	1.329-0.915=0.414

name=error_case.art

*mean*	2.340-2.339=0.001
σ	0.012
min	2.334-2.333=0.001
max	2.362-2.361=0.001

*mean*	402.000-401.000=1.000
σ	0.000
min	402.000-401.000=1.000
max	402.000-401.000=1.000

*mean*	0.826-0.422=0.403
σ	0.527-0.199=0.328
min	0.564-0.319=0.245
max	1.768-0.778=0.990

name=heavy_item.art

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

*mean*	402.000-401.000=1.000
σ	0.000
min	402.000-401.000=1.000
max	402.000-401.000=1.000

*mean*	0.384-0.277=0.108
σ	0.037-0.133=-0.096
min	0.363-0.206=0.157
max	0.449-0.514=-0.064

name=nested_use.art

*mean*	2.358-2.357=0.001
σ	0.002
min	2.357-2.356=0.001
max	2.361-2.360=0.001

*mean*	402.000-401.000=1.000
σ	0.000
min	402.000-401.000=1.000
max	402.000-401.000=1.000

*mean*	0.580-0.346=0.235
σ	0.029-0.019=0.009
min	0.556-0.328=0.228
max	0.620-0.375=0.245

Parser: Real World

Factor

allocated MiB

peak allocated MiB

time (sec)

name=aon_gpf25_7k_loc.art

*mean*	964.971-964.840=0.130
σ	0.011
min	964.965-964.835=0.130
max	964.989-964.859=0.130

*mean*	431.000-430.800=0.200
σ	0.000-1.789=-1.789
min	431.000-430.000=1.000
max	431.000-434.000=-3.000

*mean*	0.587-0.538=0.049
σ	0.102-0.058=0.044
min	0.482-0.484=-0.002
max	0.746-0.606=0.140

name=cdr_enhanced_4k_loc.art

*mean*	885.898-885.820=0.078
σ	0.002
min	885.897-885.819=0.078
max	885.901-885.823=0.078

*mean*	431.000-442.000=-11.000
σ	0.000
min	431.000-442.000=-11.000
max	431.000-442.000=-11.000

*mean*	0.453-0.490=-0.037
σ	0.029-0.048=-0.019
min	0.418-0.409=0.009
max	0.489-0.523=-0.035

Parser: Record Parsing

Factor

allocated MiB

peak allocated MiB

time (ms)

name=record_render_large_success.art

*mean*	7.710-7.709=0.001
σ	0.002
min	7.709-7.708=0.001
max	7.713-7.712=0.001

*mean*	431.000-442.000=-11.000
σ	0.000
min	431.000-442.000=-11.000
max	431.000-442.000=-11.000

*mean*	2.627-2.637=-0.010
σ	0.259-0.102=0.157
min	1.969-2.439=-0.470
max	3.117-2.991=0.126

name=record_render_large_syntax_err.art

*mean*	7.658-7.657=0.001
σ	0.002
min	7.657-7.656=0.001
max	7.661-7.660=0.001

*mean*	431.000-442.000=-11.000
σ	0.000
min	431.000-442.000=-11.000
max	431.000-442.000=-11.000

*mean*	2.520-2.582=-0.062
σ	0.322-0.068=0.254
min	1.860-2.471=-0.611
max	3.086-2.800=0.287

name=record_render_success.art

*mean*	2.290-2.289=0.000
σ	0.002
min	2.289-2.289=0.000
max	2.293-2.293=0.000

*mean*	431.000-442.000=-11.000
σ	0.000
min	431.000-442.000=-11.000
max	431.000-442.000=-11.000

*mean*	0.343-0.313=0.030
σ	0.116-0.047=0.069
min	0.300-0.293=0.007
max	1.243-0.762=0.480

name=record_render_syntax_err.art

*mean*	2.165-2.165=0.000
σ	0.002
min	2.164-2.164=0.000
max	2.168-2.168=0.000

*mean*	431.000-442.000=-11.000
σ	0.000
min	431.000-442.000=-11.000
max	431.000-442.000=-11.000

*mean*	0.315-0.296=0.019
σ	0.081-0.011=0.071
min	0.279-0.284=-0.005
max	0.956-0.372=0.585

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.576
σ	11.677
min	0.868
max	104.109

*mean*	458.096
σ	19.167
min	408.000
max	476.000

*mean*	0.027
σ	0.029
min	0.001
max	0.250

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	278.842-298.672=-19.830
σ	1.026-0.996=0.031
min	278.451-298.277=-19.826
max	281.759-301.501=-19.742

*mean*	444.600-445.100=-0.500
σ	20.576-18.021=2.555
min	415.000-418.000=-3.000
max	470.000-469.000=1.000

*mean*	0.575-0.606=-0.031
σ	0.032-0.014=0.018
min	0.515-0.576=-0.061
max	0.624-0.632=-0.009

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

*mean*	173.738-236.678=-62.940
σ	0.000-0.000=0.000
min	173.738-236.678=-62.940
max	173.738-236.678=-62.940

*mean*	839.000-956.875=-117.875
σ	0.000-20.153=-20.153
min	839.000-907.000=-68.000
max	839.000-964.000=-125.000

*mean*	227.070-211.762=15.309
σ	27.330-3.722=23.608
min	188.784-208.305=-19.521
max	252.303-219.749=32.554

phase=macro expansion

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

*mean*	839.000-956.875=-117.875
σ	0.000-20.153=-20.153
min	839.000-907.000=-68.000
max	839.000-964.000=-125.000

*mean*	9.197-8.882=0.315
σ	0.782-1.995=-1.212
min	7.272-6.468=0.804
max	9.580-12.698=-3.118

phase=parser

*mean*	1042.431-1042.363=0.067
σ	0.000-0.000=0.000
min	1042.430-1042.363=0.067
max	1042.431-1042.363=0.068

*mean*	839.000-956.875=-117.875
σ	0.000-20.153=-20.153
min	839.000-907.000=-68.000
max	839.000-964.000=-125.000

*mean*	570.739-523.047=47.692
σ	60.610-114.885=-54.275
min	421.136-409.792=11.344
max	599.193-730.417=-131.225

phase=processProdDef

*mean*	2243.978-4850.768=-2606.790
σ	0.000-0.000=0.000
min	2243.978-4850.768=-2606.790
max	2243.978-4850.768=-2606.789

*mean*	839.000-964.000=-125.000
σ	0.000
min	839.000-964.000=-125.000
max	839.000-964.000=-125.000

*mean*	2557.582-4910.370=-2352.788
σ	485.470-502.277=-16.806
min	2133.647-4235.382=-2101.735
max	3353.451-5483.510=-2130.059

phase=renaming

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

*mean*	839.000-956.875=-117.875
σ	0.000-20.153=-20.153
min	839.000-907.000=-68.000
max	839.000-964.000=-125.000

*mean*	38.499-33.459=5.039
σ	4.889-9.904=-5.015
min	26.452-19.989=6.463
max	40.830-47.264=-6.434

phase=type checker

*mean*	989.755-990.454=-0.699
σ	0.066-0.071=-0.005
min	989.658-990.348=-0.691
max	989.845-990.567=-0.722

*mean*	839.000-956.875=-117.875
σ	0.000-20.153=-20.153
min	839.000-907.000=-68.000
max	839.000-964.000=-125.000

*mean*	673.030-773.084=-100.053
σ	21.815-127.390=-105.575
min	630.952-649.600=-18.647
max	702.845-1011.851=-309.005

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	282.393-293.817=-11.424
σ	0.024-0.038=-0.014
min	282.372-293.767=-11.394
max	282.424-293.857=-11.433

*mean*	444.400-439.800=4.600
σ	0.548-1.095=-0.548
min	444.000-439.000=5.000
max	445.000-441.000=4.000

*mean*	0.382-0.394=-0.012
σ	0.010-0.003=0.007
min	0.374-0.391=-0.017
max	0.395-0.399=-0.004

iters=5

new-facts=1

prior-facts=6402

*mean*	1267.103-1320.171=-53.067
σ	0.076-0.089=-0.013
min	1267.010-1320.091=-53.081
max	1267.214-1320.313=-53.099

*mean*	1112.800-1084.600=28.200
σ	169.845-198.827=-28.983
min	897.000-837.000=60.000
max	1325.000-1335.000=-10.000

*mean*	1.951-2.090=-0.139
σ	0.132-0.035=0.098
min	1.835-2.034=-0.199
max	2.096-2.126=-0.030

iters=5

new-facts=6402

prior-facts=1

*mean*	1506.155-1560.623=-54.469
σ	2.949-6.173=-3.225
min	1504.664-1557.660=-52.996
max	1511.420-1571.662=-60.242

*mean*	629.200-623.800=5.400
σ	89.676-87.391=2.284
min	506.000-518.000=-12.000
max	728.000-736.000=-8.000

*mean*	2.446-2.302=0.144
σ	0.364-0.213=0.151
min	2.053-2.143=-0.090
max	2.875-2.658=0.217

iters=5

new-facts=6402

prior-facts=6402

*mean*	1829.116-1882.180=-53.064
σ	0.096-0.068=0.028
min	1829.010-1882.095=-53.085
max	1829.263-1882.261=-52.999

*mean*	1752.000-1731.000=21.000
σ	211.510-174.395=37.115
min	1469.000-1487.000=-18.000
max	1952.000-1894.000=58.000

*mean*	3.169-3.158=0.011
σ	0.329-0.277=0.051
min	2.777-2.944=-0.167
max	3.636-3.615=0.021

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.680-1.680=-0.000
σ	0.131-0.232=-0.102
min	1.533-1.339=0.195
max	1.851-1.847=0.004

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	397.697-452.083=-54.386
σ	518.051-582.725=-64.674
min	138.669-160.716=-22.047
max	1174.773-1326.171=-151.398

*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*	446.000-441.000=5.000
σ	0.000
min	446.000-441.000=5.000
max	446.000-441.000=5.000

*mean*	0.493-0.537=-0.043
σ	0.508-0.520=-0.012
min	0.236-0.269=-0.033
max	1.255-1.316=-0.061

policies=20

*mean*	1386.826-1607.483=-220.657
σ	0.164-0.405=-0.241
min	1386.713-1607.220=-220.507
max	1387.070-1608.086=-221.016

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

*mean*	446.000-444.500=1.500
σ	0.000-7.000=-7.000
min	446.000-441.000=5.000
max	446.000-455.000=-9.000

*mean*	2.322-2.678=-0.355
σ	0.009-0.022=-0.013
min	2.310-2.658=-0.348
max	2.331-2.710=-0.379

policies=200

*mean*	13876.854-16083.277=-2206.423
σ	0.151-0.107=0.044
min	13876.731-16083.183=-2206.452
max	13877.051-16083.430=-2206.379

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

*mean*	496.250-495.500=0.750
σ	5.909-4.123=1.786
min	489.000-490.000=-1.000
max	502.000-500.000=2.000

*mean*	23.535-26.987=-3.452
σ	0.160-0.044=0.116
min	23.349-26.940=-3.590
max	23.698-27.045=-3.347