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.133-446.633=-0.500
σ	0.000
min	446.133-446.633=-0.500
max	446.133-446.633=-0.500

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.697-54.717=-0.020
σ	0.362-0.364=-0.001
min	54.561-54.580=-0.018
max	55.728-55.751=-0.023

*mean*	420.000-418.700=1.300
σ	0.000-0.483=-0.483
min	420.000-418.000=2.000
max	420.000-419.000=1.000

*mean*	0.139-0.140=-0.000
σ	0.006-0.004=0.002
min	0.133-0.136=-0.004
max	0.148-0.147=0.001

cache=y

dps=1

iters=10

policies=100

*mean*	43.778-43.778=-0.001
σ	0.008-0.007=0.000
min	43.765-43.766=-0.001
max	43.790-43.790=-0.001

*mean*	420.000-419.000=1.000
σ	0.000
min	420.000-419.000=1.000
max	420.000-419.000=1.000

*mean*	0.122-0.124=-0.002
σ	0.004-0.004=0.001
min	0.118-0.121=-0.004
max	0.130-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.000
σ	0.000-0.000=0.000
min	36.605-36.604=0.001
max	36.605-36.605=0.000

*mean*	4516.250-4584.375=-68.125
σ	2230.217-2254.291=-24.074
min	1472.000-1485.000=-13.000
max	7338.000-7404.000=-66.000

*mean*	12.240-14.046=-1.807
σ	0.673-3.653=-2.981
min	11.695-12.032=-0.337
max	13.827-21.790=-7.963

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.604=0.001

*mean*	4516.250-4584.375=-68.125
σ	2230.217-2254.291=-24.074
min	1472.000-1485.000=-13.000
max	7338.000-7404.000=-66.000

*mean*	12.722-13.053=-0.331
σ	0.551-3.212=-2.661
min	11.628-11.458=0.169
max	13.618-20.883=-7.265

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.942-41.942=-0.000

*mean*	7338.000-7404.000=-66.000
σ	0.000
min	7338.000-7404.000=-66.000
max	7338.000-7404.000=-66.000

*mean*	11.162-11.201=-0.039
σ	0.171-0.140=0.031
min	10.972-10.945=0.027
max	11.466-11.401=0.065

op=table_records(), repeat

*mean*	41.925-41.925=0.000
σ	0.000-0.000=-0.000
min	41.924-41.924=0.000
max	41.925-41.925=0.000

*mean*	4516.250-4170.000=346.250
σ	2230.217-1945.480=284.736
min	1472.000-1485.000=-13.000
max	7338.000-7404.000=-66.000

*mean*	11.431-11.893=-0.462
σ	0.854-1.813=-0.958
min	10.882-11.027=-0.145
max	13.506-16.359=-2.853

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*	4516.250-4170.000=346.250
σ	2230.217-1945.480=284.736
min	1472.000-1485.000=-13.000
max	7338.000-7404.000=-66.000

*mean*	8.984-8.896=0.088
σ	0.831-1.273=-0.442
min	7.967-7.806=0.161
max	10.657-11.959=-1.303

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

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

*mean*	4516.250-4170.000=346.250
σ	2230.217-1945.480=284.736
min	1472.000-1485.000=-13.000
max	7338.000-7404.000=-66.000

*mean*	6.887-6.533=0.355
σ	0.607-1.125=-0.518
min	6.281-5.763=0.519
max	8.204-9.247=-1.043

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*	4516.250-4584.375=-68.125
σ	2230.217-2254.291=-24.074
min	1472.000-1485.000=-13.000
max	7338.000-7404.000=-66.000

*mean*	6.007-6.368=-0.361
σ	0.159-0.997=-0.837
min	5.809-5.566=0.243
max	6.239-8.787=-2.548

op=vertical_lookup_row_list() on 3 (1 unindexed)

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

*mean*	4516.250-4584.375=-68.125
σ	2230.217-2254.291=-24.074
min	1472.000-1485.000=-13.000
max	7338.000-7404.000=-66.000

*mean*	5.828-6.175=-0.348
σ	0.140-1.017=-0.876
min	5.626-5.514=0.112
max	6.110-8.666=-2.557

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*	7338.000-7404.000=-66.000
σ	0.000
min	7338.000-7404.000=-66.000
max	7338.000-7404.000=-66.000

*mean*	345.309-361.113=-15.804
σ	1.998-41.827=-39.829
min	341.343-340.626=0.717
max	347.693-464.346=-116.654

op=load_product(), with indexes

*mean*	3495.846-3495.854=-0.009
σ	0.455-0.453=0.001
min	3495.685-3495.694=-0.009
max	3496.971-3496.977=-0.006

*mean*	3689.500-3748.750=-59.250
σ	2260.462-2298.369=-37.906
min	724.000-719.000=5.000
max	7338.000-7404.000=-66.000

*mean*	1562.709-1614.463=-51.754
σ	463.821-546.985=-83.163
min	1386.364-1392.079=-5.715
max	2710.441-2959.261=-248.819

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.840=0.001
max	107.842-107.842=0.000

*mean*	4516.250-4405.000=111.250
σ	2230.217-2225.755=4.462
min	1472.000-1485.000=-13.000
max	7338.000-7404.000=-66.000

*mean*	137.718-225.372=-87.655
σ	8.649-257.083=-248.434
min	131.346-122.751=8.595
max	153.771-859.999=-706.228

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*	4516.250-4584.375=-68.125
σ	2230.217-2254.291=-24.074
min	1472.000-1485.000=-13.000
max	7338.000-7404.000=-66.000

*mean*	43.243-212.682=-169.439
σ	1.823-471.689=-469.866
min	40.678-41.555=-0.877
max	46.038-1379.940=-1333.902

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*	7338.000-7404.000=-66.000
σ	0.000
min	7338.000-7404.000=-66.000
max	7338.000-7404.000=-66.000

*mean*	21.701-23.084=-1.383
σ	0.227-2.731=-2.504
min	21.384-21.595=-0.210
max	22.165-29.792=-7.627

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*	7338.000-7404.000=-66.000
σ	0.000
min	7338.000-7404.000=-66.000
max	7338.000-7404.000=-66.000

*mean*	84.603-308.044=-223.441
σ	80.501-710.633=-630.132
min	55.437-54.850=0.587
max	283.828-2066.753=-1782.925

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

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

*mean*	4516.250-4170.000=346.250
σ	2230.217-1945.480=284.736
min	1472.000-1485.000=-13.000
max	7338.000-7404.000=-66.000

*mean*	3396.308-3101.792=294.516
σ	837.853-807.995=29.857
min	2508.284-2480.009=28.275
max	4837.000-4492.352=344.648

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*	7338.000-7404.000=-66.000
σ	0.000
min	7338.000-7404.000=-66.000
max	7338.000-7404.000=-66.000

*mean*	1006.779-1068.643=-61.864
σ	159.675-284.977=-125.303
min	913.986-910.885=3.100
max	1322.240-1739.227=-416.987

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*	7338.000-7404.000=-66.000
σ	0.000
min	7338.000-7404.000=-66.000
max	7338.000-7404.000=-66.000

*mean*	400.580-406.874=-6.294
σ	5.538-48.234=-42.696
min	388.764-384.750=4.015
max	405.019-526.071=-121.052

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*	478.000-475.875=2.125
σ	0.000-1.246=-1.246
min	478.000-474.000=4.000
max	478.000-477.000=1.000

*mean*	346.792-373.947=-27.154
σ	27.151-25.726=1.425
min	313.663-340.885=-27.222
max	389.785-402.019=-12.234

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	559.750-563.000=-3.250
σ	1.035-0.000=1.035
min	559.000-563.000=-4.000
max	561.000-563.000=-2.000

*mean*	691.585-741.089=-49.504
σ	85.886-51.809=34.077
min	570.730-624.184=-53.454
max	821.412-798.851=22.561

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	964.558-964.564=-0.006
σ	1.879-1.879=0.000
min	963.840-963.842=-0.001
max	972.505-972.509=-0.005

*mean*	1038.500-1034.050=4.450
σ	308.282-303.796=4.486
min	540.000
max	1536.000-1521.000=15.000

*mean*	1.251-1.257=-0.006
σ	0.076-0.095=-0.019
min	1.185-1.170=0.015
max	1.483-1.567=-0.084

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*	402.000-401.000=1.000
σ	0.000
min	402.000-401.000=1.000
max	402.000-401.000=1.000

*mean*	0.321-0.380=-0.059
σ	0.300-0.463=-0.163
min	0.143-0.144=-0.002
max	0.836-1.204=-0.367

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*	402.000-401.000=1.000
σ	0.000
min	402.000-401.000=1.000
max	402.000-401.000=1.000

*mean*	0.468-0.417=0.050
σ	0.318-0.190=0.128
min	0.313-0.322=-0.010
max	1.036-0.758=0.279

name=heavy_item.art

*mean*	1.523
σ	0.002
min	1.522
max	1.526

*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.220
σ	0.021-0.020=0.001
min	0.202-0.206=-0.004
max	0.257-0.255=0.002

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*	402.000-401.000=1.000
σ	0.000
min	402.000-401.000=1.000
max	402.000-401.000=1.000

*mean*	0.327-0.341=-0.014
σ	0.021-0.017=0.004
min	0.307-0.331=-0.024
max	0.357-0.372=-0.015

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*	431.000-430.000=1.000
σ	0.000
min	431.000-430.000=1.000
max	431.000-430.000=1.000

*mean*	0.566-0.556=0.010
σ	0.051-0.062=-0.011
min	0.478-0.447=0.031
max	0.609-0.595=0.014

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*	431.000-430.000=1.000
σ	0.000
min	431.000-430.000=1.000
max	431.000-430.000=1.000

*mean*	0.439-0.471=-0.032
σ	0.036-0.048=-0.012
min	0.384-0.398=-0.014
max	0.474-0.519=-0.045

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*	431.000-430.000=1.000
σ	0.000
min	431.000-430.000=1.000
max	431.000-430.000=1.000

*mean*	1.960-2.680=-0.719
σ	0.076-0.118=-0.042
min	1.820-2.421=-0.601
max	2.225-3.108=-0.883

name=record_render_large_syntax_err.art

*mean*	7.667
σ	0.002
min	7.666
max	7.670

*mean*	431.000-430.000=1.000
σ	0.000
min	431.000-430.000=1.000
max	431.000-430.000=1.000

*mean*	2.157-2.639=-0.481
σ	0.292-0.091=0.201
min	1.864-2.428=-0.564
max	2.783-2.847=-0.064

name=record_render_success.art

*mean*	2.290
σ	0.002
min	2.290
max	2.294

*mean*	431.000-430.000=1.000
σ	0.000
min	431.000-430.000=1.000
max	431.000-430.000=1.000

*mean*	0.305-0.315=-0.010
σ	0.019-0.043=-0.024
min	0.287-0.286=0.001
max	0.476-0.614=-0.138

name=record_render_syntax_err.art

*mean*	2.166
σ	0.002
min	2.165
max	2.169

*mean*	431.000-430.000=1.000
σ	0.000
min	431.000-430.000=1.000
max	431.000-430.000=1.000

*mean*	0.292-0.292=-0.001
σ	0.008-0.011=-0.003
min	0.277-0.274=0.003
max	0.333-0.357=-0.024

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.954-11.339=0.615
σ	12.006-10.920=1.086
min	0.574-0.574=0.000
max	118.767-87.129=31.639

*mean*	466.984-462.258=4.726
σ	19.365-20.482=-1.117
min	406.000-408.000=-2.000
max	483.000-480.000=3.000

*mean*	0.027-0.026=0.001
σ	0.029-0.027=0.002
min	0.001-0.001=0.000
max	0.283-0.212=0.071

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	279.087-279.237=-0.150
σ	1.044-1.043=0.001
min	278.662-278.836=-0.174
max	282.057-282.203=-0.146

*mean*	442.200-441.900=0.300
σ	13.975-15.387=-1.413
min	426.000-414.000=12.000
max	463.000-465.000=-2.000

*mean*	0.568-0.575=-0.007
σ	0.031-0.018=0.013
min	0.506-0.549=-0.043
max	0.615-0.615=-0.000

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.257=-62.712

*mean*	729.000-837.000=-108.000
σ	0.000-31.113=-31.113
min	729.000-760.000=-31.000
max	729.000-848.000=-119.000

*mean*	146.211-219.635=-73.424
σ	11.370-22.238=-10.868
min	134.696-195.118=-60.422
max	162.711-242.985=-80.273

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*	729.000-822.750=-93.750
σ	0.000-49.971=-49.971
min	729.000-714.000=15.000
max	729.000-848.000=-119.000

*mean*	8.044-8.268=-0.224
σ	1.200-1.050=0.150
min	5.920-6.951=-1.031
max	8.910-9.307=-0.397

phase=parser

*mean*	1042.130-1042.133=-0.003
σ	0.000-0.000=0.000
min	1042.130-1042.133=-0.003
max	1042.131-1042.134=-0.003

*mean*	729.000-822.750=-93.750
σ	0.000-49.971=-49.971
min	729.000-714.000=15.000
max	729.000-848.000=-119.000

*mean*	541.640-541.755=-0.115
σ	93.425-85.307=8.118
min	400.783-433.251=-32.468
max	615.185-616.652=-1.467

phase=processProdDef

*mean*	2241.195-2243.715=-2.520
σ	0.000
min	2241.195-2243.715=-2.520
max	2241.195-2243.715=-2.520

*mean*	729.000-837.000=-108.000
σ	0.000-31.113=-31.113
min	729.000-760.000=-31.000
max	729.000-848.000=-119.000

*mean*	2837.216-2880.087=-42.871
σ	362.071-388.786=-26.716
min	2315.947-2245.472=70.475
max	3293.720-3298.161=-4.441

phase=renaming

*mean*	21.433-21.436=-0.003
σ	0.000
min	21.433-21.436=-0.003
max	21.433-21.436=-0.003

*mean*	729.000-822.750=-93.750
σ	0.000-49.971=-49.971
min	729.000-714.000=15.000
max	729.000-848.000=-119.000

*mean*	43.412-42.093=1.320
σ	5.141-4.158=0.983
min	35.431-37.746=-2.315
max	49.192-48.316=0.876

phase=type checker

*mean*	958.462-958.600=-0.137
σ	0.047
min	958.439-958.577=-0.137
max	958.564-958.702=-0.137

*mean*	729.000-822.750=-93.750
σ	0.000-49.971=-49.971
min	729.000-714.000=15.000
max	729.000-848.000=-119.000

*mean*	664.718-671.956=-7.238
σ	16.995-39.724=-22.729
min	638.243-638.993=-0.751
max	682.468-767.279=-84.811

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	282.856-282.856=-0.000
σ	0.035-0.038=-0.003
min	282.805-282.801=0.004
max	282.890-282.893=-0.002

*mean*	443.400-441.800=1.600
σ	0.548-3.834=-3.286
min	443.000-439.000=4.000
max	444.000-446.000=-2.000

*mean*	0.379-0.377=0.001
σ	0.003-0.000=0.002
min	0.374-0.377=-0.003
max	0.381-0.378=0.003

iters=5

new-facts=1

prior-facts=6402

*mean*	1268.048-1268.050=-0.001
σ	0.088-0.117=-0.029
min	1267.961-1267.950=0.010
max	1268.179-1268.243=-0.063

*mean*	1061.800-1092.400=-30.600
σ	168.783-172.349=-3.566
min	829.000-884.000=-55.000
max	1272.000-1326.000=-54.000

*mean*	1.889-2.023=-0.134
σ	0.127-0.120=0.007
min	1.782-1.881=-0.099
max	2.096-2.126=-0.030

iters=5

new-facts=6402

prior-facts=1

*mean*	1507.051-1507.052=-0.001
σ	2.941-2.927=0.014
min	1505.543-1505.550=-0.007
max	1512.300-1512.276=0.024

*mean*	616.600-626.000=-9.400
σ	79.730-89.034=-9.304
min	494.000-495.000=-1.000
max	708.000-735.000=-27.000

*mean*	2.301-2.248=0.053
σ	0.181-0.135=0.046
min	2.102-2.112=-0.009
max	2.537-2.446=0.092

iters=5

new-facts=6402

prior-facts=6402

*mean*	1830.062-1830.072=-0.010
σ	0.036-0.048=-0.012
min	1830.011-1830.003=0.007
max	1830.104-1830.112=-0.008

*mean*	1709.800-1717.200=-7.400
σ	249.951-186.868=63.083
min	1436.000-1455.000=-19.000
max	2066.000-1886.000=180.000

*mean*	2.859-3.086=-0.227
σ	0.086-0.388=-0.301
min	2.774-2.874=-0.099
max	2.960-3.776=-0.816

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.710-1.669=0.041
σ	0.149-0.192=-0.043
min	1.591-1.362=0.230
max	1.888-1.825=0.063

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	405.943-406.199=-0.255
σ	509.285-509.798=-0.513
min	151.299-151.296=0.002
max	1169.871-1170.896=-1.025

*mean*	101.750
σ	7.500
min	98.000
max	113.000

*mean*	444.000-439.000=5.000
σ	0.000
min	444.000-439.000=5.000
max	444.000-439.000=5.000

*mean*	0.503-0.515=-0.013
σ	0.492-0.516=-0.024
min	0.253-0.254=-0.000
max	1.240-1.288=-0.048

policies=20

*mean*	1513.133-1513.148=-0.014
σ	0.262-0.269=-0.007
min	1512.962-1512.967=-0.005
max	1513.522-1513.545=-0.024

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	452.000-444.000=8.000
σ	10.832-5.774=5.059
min	444.000-439.000=5.000
max	468.000-449.000=19.000

*mean*	2.491-2.501=-0.010
σ	0.019-0.018=0.001
min	2.466-2.478=-0.012
max	2.513-2.523=-0.010

policies=200

*mean*	15140.018-15140.031=-0.013
σ	0.150-0.086=0.065
min	15139.816-15139.922=-0.107
max	15140.153-15140.132=0.022

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	500.000-495.250=4.750
σ	5.164-5.058=0.106
min	494.000-489.000=5.000
max	506.000-501.000=5.000

*mean*	25.127-25.293=-0.166
σ	0.310-0.132=0.178
min	24.936-25.178=-0.242
max	25.588-25.475=0.113