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.716-54.881=-0.165
σ	0.362-0.357=0.005
min	54.578-54.745=-0.167
max	55.745-55.895=-0.149

*mean*	418.000-417.000=1.000
σ	0.000
min	418.000-417.000=1.000
max	418.000-417.000=1.000

*mean*	0.141-0.141=0.000
σ	0.004-0.004=-0.000
min	0.137-0.137=-0.000
max	0.147-0.148=-0.001

cache=y

dps=1

iters=10

policies=100

*mean*	43.780-43.849=-0.069
σ	0.008-0.007=0.001
min	43.767-43.838=-0.071
max	43.792-43.861=-0.069

*mean*	418.000-417.000=1.000
σ	0.000
min	418.000-417.000=1.000
max	418.000-417.000=1.000

*mean*	0.124-0.124=0.000
σ	0.004-0.004=0.000
min	0.120-0.120=0.001
max	0.131-0.130=0.001

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.621=-0.016

*mean*	4586.500-4047.750=538.750
σ	2254.035-2006.644=247.392
min	1488.000-1232.000=256.000
max	7403.000-7150.000=253.000

*mean*	12.892-12.837=0.055
σ	2.035-0.347=1.688
min	11.853-12.355=-0.502
max	17.840-13.389=4.451

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

*mean*	4586.500-4047.750=538.750
σ	2254.035-2006.644=247.392
min	1488.000-1232.000=256.000
max	7403.000-7150.000=253.000

*mean*	13.011-12.645=0.366
σ	1.673-0.604=1.069
min	11.467-11.943=-0.476
max	16.941-13.474=3.467

op=table_records(), no indexes

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

*mean*	7403.000-7150.000=253.000
σ	0.000
min	7403.000-7150.000=253.000
max	7403.000-7150.000=253.000

*mean*	10.945-15.516=-4.571
σ	0.204-0.228=-0.024
min	10.701-15.124=-4.423
max	11.260-15.858=-4.598

op=table_records(), repeat

*mean*	41.924-41.929=-0.005
σ	0.000-0.002=-0.002
min	41.924-41.928=-0.004
max	41.925-41.932=-0.007

*mean*	4173.125-4047.750=125.375
σ	1945.897-2006.644=-60.746
min	1488.000-1232.000=256.000
max	7403.000-7150.000=253.000

*mean*	11.528-13.253=-1.724
σ	1.913-2.062=-0.149
min	10.667-10.967=-0.299
max	16.247-15.672=0.575

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

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

*mean*	4173.125-4047.750=125.375
σ	1945.897-2006.644=-60.746
min	1488.000-1232.000=256.000
max	7403.000-7150.000=253.000

*mean*	9.074-9.244=-0.170
σ	1.392-0.473=0.919
min	7.842-8.657=-0.815
max	12.408-9.805=2.603

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*	4173.125-4047.750=125.375
σ	1945.897-2006.644=-60.746
min	1488.000-1232.000=256.000
max	7403.000-7150.000=253.000

*mean*	7.086-6.614=0.472
σ	1.007-0.340=0.667
min	6.528-6.248=0.280
max	9.565-7.092=2.473

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*	4586.500-4047.750=538.750
σ	2254.035-2006.644=247.392
min	1488.000-1232.000=256.000
max	7403.000-7150.000=253.000

*mean*	6.135-5.946=0.189
σ	0.506-0.091=0.414
min	5.765-5.872=-0.107
max	7.346-6.144=1.202

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*	4586.500-4047.750=538.750
σ	2254.035-2006.644=247.392
min	1488.000-1232.000=256.000
max	7403.000-7150.000=253.000

*mean*	5.963-5.862=0.101
σ	0.562-0.095=0.467
min	5.513-5.746=-0.233
max	7.319-6.069=1.249

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*	7403.000-7150.000=253.000
σ	0.000
min	7403.000-7150.000=253.000
max	7403.000-7150.000=253.000

*mean*	375.646-363.398=12.248
σ	77.794-51.725=26.070
min	345.665-340.203=5.462
max	568.151-491.204=76.947

op=load_product(), with indexes

*mean*	3495.854-7917.793=-4421.938
σ	0.454-0.468=-0.015
min	3495.694-7917.625=-4421.931
max	3496.977-7918.952=-4421.975

*mean*	3751.125-3276.375=474.750
σ	2299.039-1826.683=472.356
min	720.000-814.000=-94.000
max	7403.000-5626.000=1777.000

*mean*	1576.849-3557.690=-1980.841
σ	422.643-957.574=-534.931
min	1386.592-3065.080=-1678.489
max	2608.919-5711.550=-3102.631

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*	4047.750
σ	2006.644
min	1232.000
max	7150.000

*mean*	81.766
σ	9.980
min	70.670
max	98.288

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

*mean*	107.841
σ	0.000
min	107.841
max	107.842

*mean*	4407.375
σ	2225.191
min	1488.000
max	7403.000

*mean*	248.462
σ	308.216
min	124.824
max	1009.907

op=column_set() on unindexed, dense, repeat

*mean*	62.068
σ	0.001
min	62.065
max	62.069

*mean*	4586.500
σ	2254.035
min	1488.000
max	7403.000

*mean*	166.222
σ	344.858
min	40.783
max	1019.676

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*	61.372
σ	0.307
min	60.720
max	61.684

op=vertical_lookup_list() repeated on unindexed missing Int

*mean*	40.926
σ	0.002
min	40.925
max	40.928

*mean*	7403.000
σ	0.000
min	7403.000
max	7403.000

*mean*	22.730
σ	1.897
min	21.495
max	26.126

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

*mean*	7403.000-7150.000=253.000
σ	0.000
min	7403.000-7150.000=253.000
max	7403.000-7150.000=253.000

*mean*	325.061-99.563=225.498
σ	758.714-0.623=758.091
min	55.130-98.854=-43.725
max	2202.771-100.577=2102.194

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	4646.842-14217.171=-9570.329
σ	0.014-4.303=-4.290
min	4646.837-14215.576=-9568.739
max	4646.876-14227.820=-9580.944

*mean*	4173.125-4047.750=125.375
σ	1945.897-2006.644=-60.746
min	1488.000-1232.000=256.000
max	7403.000-7150.000=253.000

*mean*	3217.533-7970.162=-4752.629
σ	834.525-1862.467=-1027.942
min	2553.044-5917.800=-3364.756
max	4837.729-10583.493=-5745.764

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.832-13159.110=-11185.278

*mean*	7403.000-7150.000=253.000
σ	0.000
min	7403.000-7150.000=253.000
max	7403.000-7150.000=253.000

*mean*	1160.414-5036.961=-3876.547
σ	372.484-202.488=169.996
min	927.860-4881.027=-3953.167
max	1785.777-5417.350=-3631.573

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

*mean*	905.083
σ	0.002
min	905.080
max	905.086

*mean*	7403.000
σ	0.000
min	7403.000
max	7403.000

*mean*	409.139
σ	39.218
min	390.483
max	505.562

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*	477.000-474.000=3.000
σ	0.000
min	477.000-474.000=3.000
max	477.000-474.000=3.000

*mean*	407.262-376.193=31.069
σ	17.885-25.536=-7.651
min	384.028-315.593=68.435
max	437.053-395.252=41.801

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*	559.875-559.000=0.875
σ	3.227-0.000=3.227
min	556.000-559.000=-3.000
max	563.000-559.000=4.000

*mean*	742.247-771.176=-28.930
σ	37.129-38.190=-1.061
min	688.152-707.663=-19.510
max	799.666-822.946=-23.280

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	964.565-1024.298=-59.734
σ	1.880-0.759=1.122
min	963.842-1023.824=-59.982
max	972.519-1027.435=-54.917

*mean*	1049.150-1053.100=-3.950
σ	314.390-308.142=6.248
min	554.000-563.000=-9.000
max	1500.000-1502.000=-2.000

*mean*	1.298-1.523=-0.224
σ	0.176-0.091=0.085
min	1.061-1.324=-0.263
max	1.798-1.745=0.053

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.376-0.297=0.079
σ	0.456-0.288=0.168
min	0.139-0.145=-0.006
max	1.189-0.808=0.381

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.481-0.472=0.009
σ	0.322-0.322=-0.001
min	0.322-0.318=0.003
max	1.056-1.048=0.008

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.217-0.222=-0.005
σ	0.022-0.026=-0.004
min	0.201-0.198=0.003
max	0.254-0.266=-0.012

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.338-0.330=0.008
σ	0.012-0.018=-0.006
min	0.330-0.315=0.015
max	0.359-0.361=-0.001

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-433.800=-2.800
σ	0.000-3.033=-3.033
min	431.000
max	431.000-437.000=-6.000

*mean*	0.529-0.581=-0.051
σ	0.044-0.029=0.015
min	0.486-0.541=-0.056
max	0.583-0.606=-0.023

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-437.000=-6.000
σ	0.000
min	431.000-437.000=-6.000
max	431.000-437.000=-6.000

*mean*	0.483-0.452=0.032
σ	0.033-0.072=-0.039
min	0.438-0.369=0.068
max	0.529-0.525=0.004

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-437.000=-6.000
σ	0.000
min	431.000-437.000=-6.000
max	431.000-437.000=-6.000

*mean*	2.659-2.649=0.010
σ	0.105-0.131=-0.026
min	2.507-2.444=0.063
max	3.001-3.419=-0.418

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-437.000=-6.000
σ	0.000
min	431.000-437.000=-6.000
max	431.000-437.000=-6.000

*mean*	2.725-2.632=0.093
σ	0.081-0.095=-0.013
min	2.537-2.446=0.091
max	3.001-2.955=0.046

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-437.000=-6.000
σ	0.000
min	431.000-437.000=-6.000
max	431.000-437.000=-6.000

*mean*	0.299-0.305=-0.006
σ	0.009-0.010=-0.001
min	0.284-0.290=-0.006
max	0.355-0.376=-0.021

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-437.000=-6.000
σ	0.000
min	431.000-437.000=-6.000
max	431.000-437.000=-6.000

*mean*	0.287-0.291=-0.004
σ	0.007-0.007=-0.000
min	0.274-0.276=-0.002
max	0.328-0.323=0.005

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.367
σ	12.291
min	0.574
max	101.426

*mean*	464.916
σ	18.357
min	406.000
max	477.000

*mean*	0.026
σ	0.030
min	0.001
max	0.241

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	278.971-298.617=-19.646
σ	1.046-0.990=0.056
min	278.578-298.216=-19.638
max	281.947-301.431=-19.484

*mean*	441.500-442.200=-0.700
σ	16.257-16.552=-0.295
min	414.000-417.000=-3.000
max	466.000-469.000=-3.000

*mean*	0.566-0.600=-0.034
σ	0.034-0.024=0.010
min	0.505-0.553=-0.048
max	0.614-0.640=-0.026

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

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

*mean*	852.000-924.250=-72.250
σ	0.000-10.607=-10.607
min	852.000-898.000=-46.000
max	852.000-928.000=-76.000

*mean*	220.649-203.949=16.700
σ	25.276-2.750=22.525
min	189.414-199.432=-10.018
max	249.807-207.993=41.813

phase=macro expansion

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

*mean*	852.000-923.875=-71.875
σ	0.000-11.667=-11.667
min	852.000-895.000=-43.000
max	852.000-928.000=-76.000

*mean*	8.640-8.928=-0.288
σ	1.020-2.251=-1.230
min	6.992-6.369=0.623
max	9.418-12.714=-3.296

phase=parser

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

*mean*	852.000-923.875=-71.875
σ	0.000-11.667=-11.667
min	852.000-895.000=-43.000
max	852.000-928.000=-76.000

*mean*	562.042-503.089=58.953
σ	74.664-122.766=-48.102
min	443.892-384.498=59.393
max	615.369-716.947=-101.578

phase=processProdDef

*mean*	2243.718-4850.766=-2607.048
σ	0.000-0.000=-0.000
min	2243.718-4850.766=-2607.048
max	2243.718-4850.767=-2607.049

*mean*	852.000-928.000=-76.000
σ	0.000
min	852.000-928.000=-76.000
max	852.000-928.000=-76.000

*mean*	2935.050-4829.806=-1894.757
σ	271.683-644.072=-372.389
min	2375.115-3584.534=-1209.419
max	3149.945-5468.936=-2318.990

phase=renaming

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

*mean*	852.000-923.875=-71.875
σ	0.000-11.667=-11.667
min	852.000-895.000=-43.000
max	852.000-928.000=-76.000

*mean*	46.089-33.580=12.509
σ	4.101-10.428=-6.327
min	39.182-20.653=18.529
max	49.346-47.935=1.411

phase=type checker

*mean*	958.596-990.453=-31.857
σ	0.047-0.071=-0.024
min	958.573-990.348=-31.775
max	958.698-990.567=-31.869

*mean*	852.000-924.125=-72.125
σ	0.000-10.960=-10.960
min	852.000-897.000=-45.000
max	852.000-928.000=-76.000

*mean*	669.014-746.352=-77.337
σ	10.781-89.234=-78.453
min	653.267-643.891=9.376
max	682.660-909.961=-227.301

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	282.856-293.820=-10.964
σ	0.036-0.038=-0.002
min	282.804-293.767=-10.963
max	282.891-293.859=-10.968

*mean*	443.000-443.400=-0.400
σ	2.739-0.548=2.191
min	441.000-443.000=-2.000
max	446.000-444.000=2.000

*mean*	0.376-0.392=-0.015
σ	0.001-0.002=-0.001
min	0.375-0.390=-0.015
max	0.377-0.396=-0.019

iters=5

new-facts=1

prior-facts=6402

*mean*	1268.054-1320.193=-52.139
σ	0.116-0.095=0.021
min	1267.945-1320.060=-52.115
max	1268.245-1320.324=-52.079

*mean*	1093.600-1066.200=27.400
σ	170.132-164.923=5.208
min	892.000-843.000=49.000
max	1326.000-1266.000=60.000

*mean*	1.992-2.148=-0.156
σ	0.109-0.204=-0.095
min	1.874-2.004=-0.130
max	2.120-2.501=-0.381

iters=5

new-facts=6402

prior-facts=1

*mean*	1507.019-1560.559=-53.540
σ	2.977-6.212=-3.235
min	1505.456-1557.546=-52.091
max	1512.333-1571.665=-59.333

*mean*	625.200-619.000=6.200
σ	87.102-82.716=4.385
min	495.000-494.000=1.000
max	727.000-717.000=10.000

*mean*	2.201-2.219=-0.018
σ	0.223-0.065=0.158
min	1.999-2.139=-0.139
max	2.582-2.319=0.263

iters=5

new-facts=6402

prior-facts=6402

*mean*	1830.063-1882.176=-52.113
σ	0.044-0.059=-0.015
min	1829.999-1882.114=-52.115
max	1830.111-1882.257=-52.146

*mean*	1720.200-1713.600=6.600
σ	189.915-261.998=-72.083
min	1458.000-1396.000=62.000
max	1893.000-2064.000=-171.000

*mean*	3.011-2.951=0.060
σ	0.262-0.101=0.160
min	2.807-2.836=-0.029
max	3.470-3.089=0.380

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.625-1.715=-0.091
σ	0.165-0.113=0.053
min	1.422-1.600=-0.178
max	1.795-1.873=-0.078

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	406.199-452.080=-45.881
σ	509.795-582.722=-72.927
min	151.299-160.717=-9.418
max	1170.892-1326.164=-155.272

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

*mean*	435.000-444.000=-9.000
σ	0.000
min	435.000-444.000=-9.000
max	435.000-444.000=-9.000

*mean*	0.511-0.539=-0.028
σ	0.512-0.534=-0.022
min	0.253-0.266=-0.013
max	1.279-1.340=-0.062

policies=20

*mean*	1513.142-1607.505=-94.363
σ	0.273-0.399=-0.126
min	1512.966-1607.231=-94.264
max	1513.548-1608.096=-94.548

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	444.000-451.000=-7.000
σ	6.000-8.083=-2.083
min	435.000-444.000=-9.000
max	447.000-458.000=-11.000

*mean*	2.509-2.670=-0.161
σ	0.006-0.012=-0.006
min	2.505-2.659=-0.154
max	2.518-2.688=-0.170

policies=200

*mean*	15140.035-16083.389=-943.354
σ	0.099-0.112=-0.013
min	15139.927-16083.241=-943.313
max	15140.166-16083.485=-943.318

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	500.500-498.750=1.750
σ	5.447-4.573=0.873
min	494.000-493.000=1.000
max	507.000-504.000=3.000

*mean*	25.279-27.076=-1.798
σ	0.112-0.022=0.090
min	25.141-27.054=-1.914
max	25.403-27.105=-1.702