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
σ	0.000
min	5.082
max	5.082

AST compact size (parser)

Factor

compact size MiB

phase=parser

*mean*	4.988
σ	0.000
min	4.988
max	4.988

AST compact size (processProdDef Decls)

Factor

compact size MiB

phase=processProdDef Decls

*mean*	4.863-5.395=-0.531
σ	0.000
min	4.863-5.395=-0.531
max	4.863-5.395=-0.531

AST compact size (processProdDef)

Factor

compact size MiB

phase=processProdDef

*mean*	446.102-446.633=-0.531
σ	0.000
min	446.102-446.633=-0.531
max	446.102-446.633=-0.531

AST compact size (renaming)

Factor

compact size MiB

phase=renaming

*mean*	5.238
σ	0.000
min	5.238
max	5.238

AST compact size (type checker)

Factor

compact size MiB

phase=type checker

*mean*	6.395
σ	0.000
min	6.395
max	6.395

Aggregation: measureAggregations

Factor

allocated MiB

peak allocated MiB

time_s

cache=n

dps=1

iters=10

policies=100

*mean*	54.698-54.718=-0.019
σ	0.363-0.367=-0.004
min	54.562-54.582=-0.020
max	55.730-55.761=-0.031

*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.142-0.141=0.002
σ	0.005-0.005=0.000
min	0.136-0.134=0.001
max	0.151-0.149=0.002

cache=y

dps=1

iters=10

policies=100

*mean*	43.778-43.777=0.002
σ	0.008-0.008=-0.000
min	43.765-43.767=-0.002
max	43.789-43.793=-0.003

*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.122=0.002
σ	0.004-0.004=0.000
min	0.119-0.116=0.003
max	0.132-0.131=0.001

CSV - indexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on indexed

*mean*	36.605-36.604=0.001
σ	0.000-0.000=0.000
min	36.605-36.604=0.001
max	36.605-36.605=0.001

*mean*	4473.375-4586.875=-113.500
σ	2207.820-2255.352=-47.532
min	1472.000-1487.000=-15.000
max	7282.000-7409.000=-127.000

*mean*	12.133-14.097=-1.964
σ	0.179-3.840=-3.660
min	11.863-11.887=-0.024
max	12.430-22.085=-9.655

op=column_set() on indexed, repeat

*mean*	36.605-36.604=0.001
σ	0.000-0.000=-0.000
min	36.605-36.604=0.001
max	36.605-36.605=0.001

*mean*	4473.375-4586.875=-113.500
σ	2207.820-2255.352=-47.532
min	1472.000-1487.000=-15.000
max	7282.000-7409.000=-127.000

*mean*	11.743-14.130=-2.388
σ	0.282-3.594=-3.312
min	11.338-11.614=-0.276
max	12.334-21.251=-8.917

op=table_records(), no indexes

*mean*	41.940-41.940=0.000
σ	0.002-0.002=-0.000
min	41.938-41.938=0.000
max	41.943-41.943=-0.000

*mean*	7282.000-7409.000=-127.000
σ	0.000
min	7282.000-7409.000=-127.000
max	7282.000-7409.000=-127.000

*mean*	11.714-11.171=0.543
σ	1.898-0.183=1.715
min	10.835-10.979=-0.144
max	16.393-11.378=5.015

op=table_records(), repeat

*mean*	41.925-41.925=0.001
σ	0.001-0.000=0.001
min	41.924-41.924=0.000
max	41.928-41.925=0.003

*mean*	4473.375-4172.125=301.250
σ	2207.820-1946.119=261.701
min	1472.000-1487.000=-15.000
max	7282.000-7409.000=-127.000

*mean*	11.547-11.675=-0.128
σ	0.892-1.866=-0.974
min	11.016-10.758=0.259
max	13.728-16.270=-2.542

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

*mean*	27.634-27.633=0.001
σ	0.137-0.136=0.000
min	27.585-27.584=0.001
max	27.972-27.971=0.001

*mean*	4473.375-4172.125=301.250
σ	2207.820-1946.119=261.701
min	1472.000-1487.000=-15.000
max	7282.000-7409.000=-127.000

*mean*	8.657-9.185=-0.528
σ	0.672-1.272=-0.599
min	7.815-8.283=-0.468
max	9.884-12.282=-2.398

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

*mean*	26.385-26.384=0.001
σ	0.000-0.000=0.000
min	26.385-26.384=0.001
max	26.385-26.384=0.001

*mean*	4473.375-4172.125=301.250
σ	2207.820-1946.119=261.701
min	1472.000-1487.000=-15.000
max	7282.000-7409.000=-127.000

*mean*	6.353-7.139=-0.785
σ	0.666-0.916=-0.251
min	5.763-6.437=-0.674
max	7.882-9.358=-1.476

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.663-25.662=0.001
σ	0.004-0.004=0.000
min	25.662-25.661=0.001
max	25.674-25.673=0.001

*mean*	4473.375-4586.875=-113.500
σ	2207.820-2255.352=-47.532
min	1472.000-1487.000=-15.000
max	7282.000-7409.000=-127.000

*mean*	5.963-6.506=-0.543
σ	0.313-1.056=-0.743
min	5.652-5.854=-0.202
max	6.679-8.814=-2.134

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.962-25.961=0.002
σ	0.001-0.000=0.000
min	25.962-25.961=0.002
max	25.964-25.962=0.002

*mean*	4473.375-4586.875=-113.500
σ	2207.820-2255.352=-47.532
min	1472.000-1487.000=-15.000
max	7282.000-7409.000=-127.000

*mean*	5.631-6.394=-0.763
σ	0.205-1.063=-0.859
min	5.387-5.689=-0.302
max	5.928-8.723=-2.796

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.599-1021.608=-0.009
σ	0.002-0.002=-0.000
min	1021.598-1021.606=-0.009
max	1021.602-1021.611=-0.009

*mean*	7282.000-7409.000=-127.000
σ	0.000
min	7282.000-7409.000=-127.000
max	7282.000-7409.000=-127.000

*mean*	361.358-363.940=-2.581
σ	39.916-42.643=-2.727
min	343.773-346.765=-2.991
max	459.906-469.346=-9.440

op=load_product(), with indexes

*mean*	3495.846-3495.855=-0.009
σ	0.455-0.454=0.001
min	3495.685-3495.694=-0.009
max	3496.971-3496.978=-0.007

*mean*	3653.625-3750.875=-97.250
σ	2233.345-2298.935=-65.590
min	724.000-721.000=3.000
max	7282.000-7409.000=-127.000

*mean*	1606.871-1653.880=-47.009
σ	561.748-528.015=33.732
min	1396.260-1416.265=-20.005
max	2997.005-2945.883=51.121

CSV - unindexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

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

*mean*	107.841-107.841=0.000
σ	0.000-0.000=-0.000
min	107.841-107.841=0.000
max	107.842-107.842=0.000

*mean*	4473.375-4407.625=65.750
σ	2207.820-2226.947=-19.127
min	1472.000-1487.000=-15.000
max	7282.000-7409.000=-127.000

*mean*	129.493-279.785=-150.292
σ	8.431-397.229=-388.798
min	121.271-126.475=-5.204
max	148.348-1261.763=-1113.414

op=column_set() on unindexed, dense, repeat

*mean*	62.069-62.068=0.000
σ	0.001-0.001=-0.000
min	62.065-62.065=0.001
max	62.069-62.069=-0.000

*mean*	4473.375-4586.875=-113.500
σ	2207.820-2255.352=-47.532
min	1472.000-1487.000=-15.000
max	7282.000-7409.000=-127.000

*mean*	43.018-202.683=-159.665
σ	1.409-442.241=-440.832
min	41.441-40.728=0.714
max	45.694-1297.004=-1251.310

op=vertical_lookup_list() repeated on unindexed missing Int

*mean*	40.927-40.926=0.001
σ	0.002
min	40.926-40.925=0.001
max	40.930-40.928=0.001

*mean*	7282.000-7409.000=-127.000
σ	0.000
min	7282.000-7409.000=-127.000
max	7282.000-7409.000=-127.000

*mean*	50.789-22.104=28.684
σ	80.736-0.678=80.058
min	21.515-21.632=-0.117
max	250.581-23.720=226.861

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	71.294-71.294=0.001
σ	0.002-0.002=0.000
min	71.293-71.292=0.001
max	71.297-71.296=0.001

*mean*	7282.000-7409.000=-127.000
σ	0.000
min	7282.000-7409.000=-127.000
max	7282.000-7409.000=-127.000

*mean*	63.330-278.063=-214.733
σ	20.802-627.692=-606.890
min	54.996-55.258=-0.262
max	114.782-1831.519=-1716.738

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	4646.842-4646.842=0.000
σ	0.013-0.014=-0.000
min	4646.837-4646.837=0.000
max	4646.875-4646.876=-0.000

*mean*	4473.375-4172.125=301.250
σ	2207.820-1946.119=261.701
min	1472.000-1487.000=-15.000
max	7282.000-7409.000=-127.000

*mean*	3429.223-3174.964=254.258
σ	677.395-807.559=-130.164
min	2509.552-2507.595=1.957
max	4382.082-4622.570=-240.488

op=vertical_lookup_list() on indexed

*mean*	1973.830-1973.829=0.001
σ	0.002
min	1973.829-1973.827=0.001
max	1973.833-1973.832=0.001

*mean*	7282.000-7409.000=-127.000
σ	0.000
min	7282.000-7409.000=-127.000
max	7282.000-7409.000=-127.000

*mean*	1082.997-1065.130=17.867
σ	322.224-251.928=70.296
min	915.505-920.346=-4.841
max	1856.215-1645.923=210.291

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

*mean*	905.084-905.083=0.001
σ	0.002
min	905.082-905.080=0.001
max	905.087-905.086=0.001

*mean*	7282.000-7409.000=-127.000
σ	0.000
min	7282.000-7409.000=-127.000
max	7282.000-7409.000=-127.000

*mean*	413.023-391.785=21.238
σ	37.942-4.010=33.932
min	397.869-384.441=13.428
max	506.845-395.576=111.269

CSV internal benchmark: pointedIndexFromKvs

Factor

allocated MiB

peak allocated MiB

time (ms)

op=pointedIndexFromKvs

rows=200000

*mean*	148.144
σ	0.001
min	148.144
max	148.148

*mean*	477.750-476.875=0.875
σ	0.707-0.354=0.354
min	476.000
max	478.000-477.000=1.000

*mean*	379.003-369.166=9.838
σ	25.263-14.559=10.704
min	334.083-345.242=-11.158
max	415.592-394.574=21.018

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	561.750-562.875=-1.125
σ	2.315-0.354=1.961
min	558.000-562.000=-4.000
max	563.000

*mean*	762.756-725.954=36.803
σ	33.785-62.282=-28.497
min	715.206-614.599=100.606
max	822.008-799.278=22.729

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	964.557-964.565=-0.009
σ	1.881-1.879=0.002
min	963.837-963.843=-0.006
max	972.514-972.512=0.002

*mean*	1030.950-1048.600=-17.650
σ	302.857-313.660=-10.803
min	537.000-556.000=-19.000
max	1517.000-1499.000=18.000

*mean*	1.234-1.273=-0.040
σ	0.097-0.105=-0.008
min	1.071-1.183=-0.112
max	1.476-1.538=-0.062

Parser: Comma Sep

Factor

allocated MiB

peak allocated MiB

time (ms)

name=ambiguous_item.art

*mean*	0.913
σ	0.020
min	0.903
max	0.949

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

*mean*	0.338-0.300=0.038
σ	0.371-0.302=0.069
min	0.139-0.142=-0.003
max	0.998-0.834=0.163

name=error_case.art

*mean*	2.346-2.346=-0.000
σ	0.012
min	2.340-2.340=-0.000
max	2.368-2.368=-0.000

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

*mean*	0.427-0.482=-0.055
σ	0.198-0.322=-0.124
min	0.332-0.323=0.009
max	0.781-1.057=-0.276

name=heavy_item.art

*mean*	1.523
σ	0.002
min	1.522
max	1.526

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

*mean*	0.223-0.213=0.011
σ	0.027-0.021=0.006
min	0.202-0.198=0.004
max	0.266-0.249=0.017

name=nested_use.art

*mean*	2.364-2.364=-0.000
σ	0.002
min	2.363-2.363=-0.000
max	2.367-2.367=-0.000

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

*mean*	0.380-0.332=0.049
σ	0.084-0.017=0.067
min	0.322-0.320=0.002
max	0.527-0.360=0.167

Parser: Real World

Factor

allocated MiB

peak allocated MiB

time (sec)

name=aon_gpf25_7k_loc.art

*mean*	964.978-964.979=-0.001
σ	0.009
min	964.973-964.974=-0.001
max	964.995-964.996=-0.001

*mean*	430.400-431.800=-1.400
σ	0.894-1.789=-0.894
min	430.000-431.000=-1.000
max	432.000-435.000=-3.000

*mean*	0.537-0.555=-0.018
σ	0.044-0.047=-0.003
min	0.485-0.498=-0.013
max	0.592-0.614=-0.021

name=cdr_enhanced_4k_loc.art

*mean*	886.000-886.001=-0.001
σ	0.002
min	885.999-886.000=-0.001
max	886.003-886.004=-0.001

*mean*	438.000-444.000=-6.000
σ	0.000
min	438.000-444.000=-6.000
max	438.000-444.000=-6.000

*mean*	0.495-0.472=0.024
σ	0.026-0.052=-0.026
min	0.467-0.390=0.077
max	0.518-0.523=-0.006

Parser: Record Parsing

Factor

allocated MiB

peak allocated MiB

time (ms)

name=record_render_large_success.art

*mean*	7.719
σ	0.002
min	7.718
max	7.722

*mean*	438.000-444.000=-6.000
σ	0.000
min	438.000-444.000=-6.000
max	438.000-444.000=-6.000

*mean*	1.918-1.979=-0.061
σ	0.110-0.064=0.045
min	1.715-1.856=-0.142
max	2.278-2.173=0.105

name=record_render_large_syntax_err.art

*mean*	7.667
σ	0.002
min	7.666
max	7.670

*mean*	438.000-444.000=-6.000
σ	0.000
min	438.000-444.000=-6.000
max	438.000-444.000=-6.000

*mean*	1.843-2.389=-0.547
σ	0.095-0.356=-0.261
min	1.714-1.839=-0.125
max	2.152-3.049=-0.897

name=record_render_success.art

*mean*	2.290
σ	0.002
min	2.290
max	2.294

*mean*	438.000-444.000=-6.000
σ	0.000
min	438.000-444.000=-6.000
max	438.000-444.000=-6.000

*mean*	0.303-0.304=-0.002
σ	0.008-0.008=-0.000
min	0.291-0.292=-0.001
max	0.349-0.354=-0.005

name=record_render_syntax_err.art

*mean*	2.166
σ	0.002
min	2.165
max	2.169

*mean*	438.000-444.000=-6.000
σ	0.000
min	438.000-444.000=-6.000
max	438.000-444.000=-6.000

*mean*	0.288-0.289=-0.001
σ	0.008-0.008=-0.000
min	0.276-0.277=-0.001
max	0.324-0.323=0.001

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.706-11.805=-0.099
σ	11.475-11.236=0.239
min	0.715-0.780=-0.065
max	121.992-95.079=26.913

*mean*	465.461-459.780=5.681
σ	18.525-16.867=1.658
min	408.000-406.000=2.000
max	479.000-474.000=5.000

*mean*	0.027-0.027=-0.000
σ	0.028-0.027=0.000
min	0.001-0.001=0.000
max	0.289-0.227=0.062

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	279.113-279.342=-0.229
σ	1.048-1.032=0.016
min	278.666-278.971=-0.305
max	282.090-282.277=-0.188

*mean*	443.500-439.800=3.700
σ	18.118-16.505=1.614
min	417.000-414.000=3.000
max	469.000-464.000=5.000

*mean*	0.572-0.567=0.004
σ	0.022-0.031=-0.010
min	0.537-0.501=0.036
max	0.612-0.613=-0.001

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

*mean*	106.546-169.257=-62.711
σ	0.000-0.000=-0.000
min	106.546-169.257=-62.711
max	106.546-169.258=-62.712

*mean*	819.625-851.000=-31.375
σ	56.485-0.000=56.485
min	703.000-851.000=-148.000
max	849.000-851.000=-2.000

*mean*	143.210-227.959=-84.749
σ	8.981-26.685=-17.704
min	134.666-191.942=-57.276
max	163.236-253.543=-90.307

phase=macro expansion

*mean*	5.894-5.896=-0.002
σ	0.000
min	5.894-5.896=-0.002
max	5.894-5.896=-0.002

*mean*	803.750-851.000=-47.250
σ	64.393-0.000=64.393
min	702.000-851.000=-149.000
max	849.000-851.000=-2.000

*mean*	8.801-7.553=1.248
σ	1.812-1.141=0.671
min	6.883-5.973=0.910
max	11.862-8.901=2.961

phase=parser

*mean*	1042.130-1042.131=-0.001
σ	0.000-0.000=-0.000
min	1042.130-1042.131=-0.001
max	1042.131-1042.131=-0.001

*mean*	803.750-851.000=-47.250
σ	64.393-0.000=64.393
min	702.000-851.000=-149.000
max	849.000-851.000=-2.000

*mean*	545.063-504.211=40.852
σ	103.854-91.299=12.554
min	439.656-407.095=32.561
max	722.714-617.832=104.881

phase=processProdDef

*mean*	2241.195-2243.718=-2.523
σ	0.000
min	2241.195-2243.718=-2.523
max	2241.195-2243.718=-2.523

*mean*	819.625-851.000=-31.375
σ	56.485-0.000=56.485
min	703.000-851.000=-148.000
max	849.000-851.000=-2.000

*mean*	2902.346-2861.657=40.689
σ	275.767-460.254=-184.487
min	2493.871-2084.146=409.725
max	3312.336-3317.291=-4.954

phase=renaming

*mean*	21.433-21.440=-0.007
σ	0.000
min	21.433-21.440=-0.007
max	21.433-21.440=-0.007

*mean*	803.750-851.000=-47.250
σ	64.393-0.000=64.393
min	702.000-851.000=-149.000
max	849.000-851.000=-2.000

*mean*	41.412-41.874=-0.462
σ	7.554-5.108=2.446
min	26.152-33.923=-7.771
max	48.442-47.564=0.878

phase=type checker

*mean*	958.462-958.596=-0.134
σ	0.047
min	958.439-958.573=-0.134
max	958.564-958.698=-0.134

*mean*	803.750-851.000=-47.250
σ	64.393-0.000=64.393
min	702.000-851.000=-149.000
max	849.000-851.000=-2.000

*mean*	695.702-680.218=15.484
σ	75.534-13.133=62.401
min	639.953-655.035=-15.082
max	849.652-692.220=157.432

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	282.855-282.856=-0.002
σ	0.039-0.036=0.003
min	282.800-282.804=-0.004
max	282.893-282.891=0.002

*mean*	444.000-441.400=2.600
σ	0.000-3.286=-3.286
min	444.000-439.000=5.000
max	444.000-445.000=-1.000

*mean*	0.386-0.377=0.009
σ	0.002-0.001=0.000
min	0.384-0.375=0.009
max	0.389-0.379=0.010

iters=5

new-facts=1

prior-facts=6402

*mean*	1268.052-1268.058=-0.006
σ	0.113-0.113=-0.000
min	1267.956-1267.963=-0.007
max	1268.241-1268.246=-0.006

*mean*	1091.200-1091.400=-0.200
σ	167.574-167.710=-0.136
min	892.000
max	1320.000

*mean*	1.929-1.974=-0.045
σ	0.112-0.114=-0.002
min	1.793-1.875=-0.081
max	2.055-2.131=-0.076

iters=5

new-facts=6402

prior-facts=1

*mean*	1507.033-1507.054=-0.021
σ	2.981-2.960=0.021
min	1505.473-1505.526=-0.053
max	1512.353-1512.334=0.019

*mean*	624.800-613.200=11.600
σ	87.537-89.676=-2.139
min	494.000-508.000=-14.000
max	727.000

*mean*	2.233-2.276=-0.043
σ	0.189-0.206=-0.017
min	2.128-2.113=0.016
max	2.570-2.597=-0.027

iters=5

new-facts=6402

prior-facts=6402

*mean*	1830.055-1830.069=-0.014
σ	0.049-0.042=0.007
min	1829.997-1830.015=-0.018
max	1830.100-1830.109=-0.010

*mean*	1720.600-1721.600=-1.000
σ	190.774-189.447=1.327
min	1453.000-1454.000=-1.000
max	1896.000-1893.000=3.000

*mean*	2.945-2.948=-0.003
σ	0.310-0.184=0.126
min	2.671-2.805=-0.133
max	3.480-3.270=0.210

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.674-1.754=-0.079
σ	0.255-0.100=0.155
min	1.249-1.629=-0.379
max	1.884-1.884=-0.000

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	405.941-406.200=-0.259
σ	509.285-509.798=-0.513
min	151.294-151.296=-0.002
max	1169.869-1170.896=-1.028

*mean*	101.750
σ	7.500
min	98.000
max	113.000

*mean*	444.000-440.000=4.000
σ	0.000
min	444.000-440.000=4.000
max	444.000-440.000=4.000

*mean*	0.495-0.496=-0.001
σ	0.480-0.478=0.001
min	0.247-0.255=-0.008
max	1.215-1.214=0.001

policies=20

*mean*	1513.115-1513.143=-0.028
σ	0.256-0.264=-0.009
min	1512.937-1512.971=-0.034
max	1513.493-1513.537=-0.044

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	447.750-443.500=4.250
σ	2.500-4.041=-1.541
min	444.000-440.000=4.000
max	449.000-447.000=2.000

*mean*	2.469-2.505=-0.036
σ	0.009-0.012=-0.003
min	2.460-2.490=-0.030
max	2.482-2.520=-0.037

policies=200

*mean*	15139.964-15140.024=-0.060
σ	0.187-0.126=0.061
min	15139.774-15139.873=-0.099
max	15140.218-15140.172=0.046

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	501.250-494.500=6.750
σ	4.787-5.972=-1.185
min	496.000-487.000=9.000
max	507.000-501.000=6.000

*mean*	25.137-25.302=-0.165
σ	0.223-0.124=0.099
min	24.909-25.190=-0.280
max	25.425-25.479=-0.054