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

AST compact size (processProdDef)

Factor

compact size MiB

phase=processProdDef

*mean*	446.633
σ	0.000
min	446.633
max	446.633

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.716-54.729=-0.013
σ	0.363-0.363=0.000
min	54.581-54.587=-0.006
max	55.748-55.760=-0.012

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

*mean*	0.141-0.141=-0.000
σ	0.005-0.005=0.000
min	0.135-0.137=-0.002
max	0.150-0.150=0.000

cache=y

dps=1

iters=10

policies=100

*mean*	43.777-43.774=0.003
σ	0.009-0.008=0.001
min	43.763-43.763=-0.001
max	43.788-43.789=-0.000

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

*mean*	0.121-0.122=-0.002
σ	0.005-0.004=0.000
min	0.116-0.117=-0.000
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.604=0.000
σ	0.000-0.000=-0.000
min	36.604-36.604=0.000
max	36.605-36.605=0.000

*mean*	4591.875-4591.750=0.125
σ	2248.670-2247.782=0.888
min	1485.000-1483.000=2.000
max	7386.000-7383.000=3.000

*mean*	165.110-139.098=26.012
σ	432.571-356.996=75.575
min	11.937-11.732=0.205
max	1235.668-1022.607=213.061

op=column_set() on indexed, repeat

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

*mean*	4591.875-4591.750=0.125
σ	2248.670-2247.782=0.888
min	1485.000-1483.000=2.000
max	7386.000-7383.000=3.000

*mean*	13.504-14.328=-0.824
σ	2.930-3.700=-0.770
min	11.750-11.505=0.244
max	20.651-22.193=-1.542

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

*mean*	7386.000-7383.000=3.000
σ	0.000
min	7386.000-7383.000=3.000
max	7386.000-7383.000=3.000

*mean*	12.185-11.822=0.362
σ	2.118-1.943=0.175
min	11.011-10.782=0.229
max	16.877-16.614=0.263

op=table_records(), repeat

*mean*	41.925-41.925=0.000
σ	0.002-0.000=0.001
min	41.924-41.924=-0.000
max	41.929-41.925=0.004

*mean*	4182.625-4183.250=-0.625
σ	1944.916-1944.549=0.366
min	1485.000-1483.000=2.000
max	7386.000-7383.000=3.000

*mean*	11.879-11.773=0.105
σ	1.819-1.465=0.355
min	10.932-10.777=0.155
max	16.350-15.297=1.053

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

*mean*	27.633-27.632=0.000
σ	0.137-0.137=-0.000
min	27.584-27.584=0.000
max	27.971-27.971=0.000

*mean*	4182.625-4183.250=-0.625
σ	1944.916-1944.549=0.366
min	1485.000-1483.000=2.000
max	7386.000-7383.000=3.000

*mean*	8.934-8.849=0.085
σ	1.312-0.392=0.920
min	7.913-8.469=-0.556
max	12.118-9.734=2.383

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

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

*mean*	4182.625-4183.250=-0.625
σ	1944.916-1944.549=0.366
min	1485.000-1483.000=2.000
max	7386.000-7383.000=3.000

*mean*	6.826-6.619=0.207
σ	1.027-0.464=0.563
min	6.127-6.076=0.051
max	9.338-7.588=1.750

op=vertical_lookup_row_list() on 2 indexed

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

*mean*	4591.875-4591.750=0.125
σ	2248.670-2247.782=0.888
min	1485.000-1483.000=2.000
max	7386.000-7383.000=3.000

*mean*	6.236-6.512=-0.275
σ	0.509-1.010=-0.501
min	5.880-5.864=0.016
max	7.450-8.785=-1.335

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.961-25.961=0.000
σ	0.001-0.000=0.000
min	25.961-25.960=0.000
max	25.962-25.962=0.000

*mean*	4591.875-4591.750=0.125
σ	2248.670-2247.782=0.888
min	1485.000-1483.000=2.000
max	7386.000-7383.000=3.000

*mean*	6.025-6.350=-0.325
σ	0.606-0.987=-0.380
min	5.627-5.708=-0.081
max	7.504-8.535=-1.031

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.608-1021.610=-0.002
σ	0.002
min	1021.606-1021.608=-0.002
max	1021.611-1021.612=-0.002

*mean*	7386.000-7383.000=3.000
σ	0.000
min	7386.000-7383.000=3.000
max	7386.000-7383.000=3.000

*mean*	348.092-345.551=2.542
σ	0.970-2.742=-1.773
min	345.800-342.200=3.600
max	348.846-349.515=-0.669

op=load_product(), with indexes

*mean*	3495.855-3495.857=-0.002
σ	0.454-0.456=-0.002
min	3495.694-3495.696=-0.002
max	3496.978-3496.985=-0.007

*mean*	3758.750-3758.875=-0.125
σ	2299.670-2299.615=0.055
min	721.000-720.000=1.000
max	7386.000-7383.000=3.000

*mean*	1777.415-1712.352=65.063
σ	689.901-577.398=112.503
min	1401.806-1374.101=27.705
max	3001.659-2937.106=64.553

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.000
max	107.841-107.842=-0.000

*mean*	4411.875-4412.000=-0.125
σ	2218.264-2217.221=1.043
min	1485.000-1483.000=2.000
max	7386.000-7383.000=3.000

*mean*	232.156-265.840=-33.684
σ	273.006-368.571=-95.566
min	123.070-123.829=-0.759
max	906.487-1177.524=-271.036

op=column_set() on unindexed, dense, repeat

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

*mean*	4411.875-4412.000=-0.125
σ	2218.264-2217.221=1.043
min	1485.000-1483.000=2.000
max	7386.000-7383.000=3.000

*mean*	43.246-46.231=-2.985
σ	2.718-8.709=-5.991
min	40.758-41.685=-0.927
max	49.217-67.530=-18.314

op=vertical_lookup_list() repeated on unindexed missing Int

*mean*	40.926-40.926=0.000
σ	0.002
min	40.925-40.925=0.000
max	40.928-40.928=0.000

*mean*	7386.000-7383.000=3.000
σ	0.000
min	7386.000-7383.000=3.000
max	7386.000-7383.000=3.000

*mean*	203.158-175.152=28.006
σ	508.483-431.280=77.202
min	21.649-21.380=0.269
max	1461.574-1242.510=219.064

op=vertical_lookup_row_list() on unindexed small unique Int

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

*mean*	7386.000-7383.000=3.000
σ	0.000
min	7386.000-7383.000=3.000
max	7386.000-7383.000=3.000

*mean*	65.735-64.630=1.105
σ	24.458-23.809=0.649
min	55.178-54.599=0.580
max	125.867-123.358=2.509

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

*mean*	4182.625-4183.250=-0.625
σ	1944.916-1944.549=0.366
min	1485.000-1483.000=2.000
max	7386.000-7383.000=3.000

*mean*	3289.353-3334.882=-45.529
σ	793.720-837.365=-43.645
min	2478.984-2501.014=-22.030
max	4600.423-4821.258=-220.835

op=vertical_lookup_list() on indexed

*mean*	1973.829-1973.829=0.000
σ	0.002
min	1973.827-1973.827=0.000
max	1973.832-1973.832=0.000

*mean*	7386.000-7383.000=3.000
σ	0.000
min	7386.000-7383.000=3.000
max	7386.000-7383.000=3.000

*mean*	1038.076-1011.523=26.553
σ	216.159-205.981=10.177
min	917.976-909.959=8.017
max	1443.828-1501.477=-57.649

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

*mean*	905.083-905.082=0.000
σ	0.002
min	905.080-905.080=0.000
max	905.086-905.086=0.000

*mean*	7386.000-7383.000=3.000
σ	0.000
min	7386.000-7383.000=3.000
max	7386.000-7383.000=3.000

*mean*	408.966-389.835=19.131
σ	36.274-7.571=28.703
min	389.106-372.407=16.699
max	498.278-398.181=100.096

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*	476.250-476.625=-0.375
σ	1.035-0.518=0.518
min	475.000-476.000=-1.000
max	477.000

*mean*	362.920-389.826=-26.905
σ	43.117-23.336=19.781
min	303.259-372.695=-69.436
max	422.050-442.565=-20.516

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	561.375-557.500=3.875
σ	1.768-1.414=0.354
min	557.000-554.000=3.000
max	562.000-558.000=4.000

*mean*	740.855-763.304=-22.449
σ	71.166-57.994=13.172
min	617.341-678.344=-61.003
max	822.508-844.111=-21.604

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	964.563-963.968=0.595
σ	1.879-1.821=0.058
min	963.843-963.261=0.582
max	972.510-971.668=0.842

*mean*	1040.750-1057.850=-17.100
σ	306.329-314.907=-8.577
min	590.000-560.000=30.000
max	1490.000-1523.000=-33.000

*mean*	1.258-1.297=-0.040
σ	0.077-0.163=-0.086
min	1.160-1.168=-0.008
max	1.493-1.793=-0.300

Parser: Comma Sep

Factor

allocated MiB

peak allocated MiB

time (ms)

name=ambiguous_item.art

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

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.429-0.339=0.089
σ	0.438-0.289=0.149
min	0.138-0.148=-0.010
max	1.201-0.843=0.358

name=error_case.art

*mean*	2.346-2.347=-0.001
σ	0.012
min	2.340-2.341=-0.001
max	2.368-2.369=-0.001

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.833-0.471=0.362
σ	0.528-0.317=0.211
min	0.578-0.316=0.262
max	1.776-1.037=0.740

name=heavy_item.art

*mean*	1.523-1.525=-0.002
σ	0.002-0.002=-0.000
min	1.522-1.524=-0.002
max	1.526-1.528=-0.002

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.373-0.215=0.158
σ	0.040-0.020=0.021
min	0.343-0.198=0.145
max	0.442-0.248=0.194

name=nested_use.art

*mean*	2.364-2.365=-0.001
σ	0.002
min	2.363-2.364=-0.001
max	2.367-2.368=-0.001

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.551-0.321=0.229
σ	0.108-0.016=0.093
min	0.363-0.308=0.056
max	0.639-0.347=0.292

Parser: Real World

Factor

allocated MiB

peak allocated MiB

time (sec)

name=aon_gpf25_7k_loc.art

*mean*	964.979-966.287=-1.308
σ	0.009
min	964.974-966.281=-1.308
max	964.996-966.303=-1.308

*mean*	431.000-432.800=-1.800
σ	0.000-0.447=-0.447
min	431.000-432.000=-1.000
max	431.000-433.000=-2.000

*mean*	0.580-0.578=0.002
σ	0.099-0.021=0.077
min	0.494-0.553=-0.059
max	0.744-0.603=0.142

name=cdr_enhanced_4k_loc.art

*mean*	886.001-886.717=-0.716
σ	0.002
min	886.000-886.716=-0.716
max	886.004-886.720=-0.716

*mean*	431.000-433.000=-2.000
σ	0.000
min	431.000-433.000=-2.000
max	431.000-433.000=-2.000

*mean*	0.442-0.504=-0.062
σ	0.043-0.032=0.011
min	0.378-0.450=-0.072
max	0.488-0.528=-0.039

Parser: Record Parsing

Factor

allocated MiB

peak allocated MiB

time (ms)

name=record_render_large_success.art

*mean*	7.719-7.722=-0.003
σ	0.002
min	7.718-7.721=-0.003
max	7.722-7.725=-0.003

*mean*	431.000-433.000=-2.000
σ	0.000
min	431.000-433.000=-2.000
max	431.000-433.000=-2.000

*mean*	2.607-1.977=0.630
σ	0.119-0.084=0.036
min	2.450-1.852=0.597
max	3.324-2.274=1.050

name=record_render_large_syntax_err.art

*mean*	7.667-7.670=-0.003
σ	0.002
min	7.666-7.670=-0.003
max	7.670-7.673=-0.003

*mean*	431.000-433.000=-2.000
σ	0.000
min	431.000-433.000=-2.000
max	431.000-433.000=-2.000

*mean*	2.561-2.596=-0.036
σ	0.062-0.121=-0.059
min	2.420-2.025=0.395
max	2.754-2.803=-0.049

name=record_render_success.art

*mean*	2.290-2.294=-0.003
σ	0.002
min	2.290-2.293=-0.003
max	2.294-2.297=-0.003

*mean*	431.000-433.000=-2.000
σ	0.000
min	431.000-433.000=-2.000
max	431.000-433.000=-2.000

*mean*	0.307-0.308=-0.001
σ	0.031-0.009=0.022
min	0.291-0.295=-0.005
max	0.603-0.361=0.242

name=record_render_syntax_err.art

*mean*	2.166-2.169=-0.003
σ	0.002
min	2.165-2.168=-0.003
max	2.169-2.172=-0.003

*mean*	431.000-433.000=-2.000
σ	0.000
min	431.000-433.000=-2.000
max	431.000-433.000=-2.000

*mean*	0.295-0.293=0.002
σ	0.011-0.011=0.000
min	0.280-0.276=0.004
max	0.364-0.369=-0.005

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	12.021-11.604=0.417
σ	12.042-11.176=0.866
min	0.714-0.720=-0.006
max	91.885-82.387=9.498

*mean*	468.121-456.416=11.705
σ	20.029-15.385=4.644
min	408.000-409.000=-1.000
max	480.000-468.000=12.000

*mean*	0.027-0.027=0.001
σ	0.029-0.027=0.002
min	0.001-0.001=0.000
max	0.221-0.205=0.017

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	279.224-278.696=0.527
σ	1.028-1.028=-0.000
min	278.741-278.315=0.426
max	282.140-281.621=0.519

*mean*	442.100-443.100=-1.000
σ	16.162-18.657=-2.495
min	413.000-417.000=-4.000
max	468.000-471.000=-3.000

*mean*	0.567-0.582=-0.015
σ	0.030-0.019=0.011
min	0.507-0.553=-0.046
max	0.610-0.620=-0.010

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

*mean*	169.257-169.258=-0.001
σ	0.000-0.000=-0.000
min	169.257-169.258=-0.001
max	169.257-169.258=-0.001

*mean*	848.000-848.500=-0.500
σ	0.000-0.535=-0.535
min	848.000
max	848.000-849.000=-1.000

*mean*	210.487-225.602=-15.115
σ	25.044-26.231=-1.187
min	186.390-185.065=1.325
max	241.853-251.048=-9.195

phase=macro expansion

*mean*	5.896-5.900=-0.004
σ	0.000
min	5.896-5.900=-0.004
max	5.896-5.900=-0.004

*mean*	848.000-848.375=-0.375
σ	0.000-0.518=-0.518
min	848.000
max	848.000-849.000=-1.000

*mean*	8.179-7.498=0.682
σ	1.056-1.651=-0.595
min	6.889-5.886=1.004
max	9.001-9.190=-0.189

phase=parser

*mean*	1042.131-1043.355=-1.225
σ	0.000-0.000=0.000
min	1042.130-1043.355=-1.224
max	1042.131-1043.355=-1.224

*mean*	848.000-848.375=-0.375
σ	0.000-0.518=-0.518
min	848.000
max	848.000-849.000=-1.000

*mean*	542.665-492.612=50.053
σ	75.821-110.831=-35.010
min	441.112-374.439=66.673
max	615.167-600.638=14.529

phase=processProdDef

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

*mean*	848.000-848.500=-0.500
σ	0.000-0.535=-0.535
min	848.000
max	848.000-849.000=-1.000

*mean*	2956.776-2784.765=172.012
σ	231.098-294.789=-63.691
min	2598.635-2434.940=163.695
max	3218.553-3281.860=-63.307

phase=renaming

*mean*	21.440-21.438=0.002
σ	0.000
min	21.440-21.438=0.002
max	21.440-21.438=0.002

*mean*	848.000-848.375=-0.375
σ	0.000-0.518=-0.518
min	848.000
max	848.000-849.000=-1.000

*mean*	44.240-37.821=6.419
σ	3.967-4.856=-0.889
min	39.267-29.879=9.388
max	49.179-41.240=7.939

phase=type checker

*mean*	958.596-958.597=-0.001
σ	0.047
min	958.573-958.573=-0.001
max	958.698-958.698=-0.001

*mean*	848.000-848.375=-0.375
σ	0.000-0.518=-0.518
min	848.000
max	848.000-849.000=-1.000

*mean*	660.602-653.498=7.104
σ	16.922-36.362=-19.440
min	630.254-631.465=-1.210
max	680.182-742.321=-62.139

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	282.855-282.374=0.481
σ	0.037-0.036=0.002
min	282.800-282.318=0.482
max	282.890-282.403=0.487

*mean*	441.400-443.600=-2.200
σ	3.286-0.548=2.739
min	439.000-443.000=-4.000
max	445.000-444.000=1.000

*mean*	0.383-0.379=0.005
σ	0.009-0.009=0.000
min	0.377-0.373=0.004
max	0.398-0.394=0.004

iters=5

new-facts=1

prior-facts=6402

*mean*	1268.045-1267.075=0.971
σ	0.090-0.092=-0.002
min	1267.971-1266.966=1.005
max	1268.190-1267.215=0.975

*mean*	1112.600-1081.000=31.600
σ	170.160-191.562=-21.402
min	897.000-840.000=57.000
max	1325.000-1320.000=5.000

*mean*	1.902-2.013=-0.111
σ	0.106-0.192=-0.087
min	1.818-1.799=0.018
max	2.087-2.169=-0.082

iters=5

new-facts=6402

prior-facts=1

*mean*	1507.051-1506.151=0.899
σ	2.979-2.832=0.147
min	1505.519-1504.735=0.784
max	1512.370-1511.210=1.160

*mean*	632.200-624.000=8.200
σ	87.862-89.006=-1.144
min	498.000-513.000=-15.000
max	727.000-738.000=-11.000

*mean*	2.266-2.360=-0.094
σ	0.238-0.319=-0.081
min	2.070-2.115=-0.045
max	2.569-2.892=-0.322

iters=5

new-facts=6402

prior-facts=6402

*mean*	1830.095-1829.064=1.031
σ	0.091-0.042=0.049
min	1829.992-1829.016=0.976
max	1830.223-1829.117=1.106

*mean*	1745.200-1724.600=20.600
σ	212.429-199.774=12.655
min	1459.000-1455.000=4.000
max	1945.000-1914.000=31.000

*mean*	3.167-2.966=0.201
σ	0.434-0.160=0.273
min	2.661-2.816=-0.155
max	3.627-3.172=0.455

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.778-1.680=0.097
σ	0.114-0.122=-0.008
min	1.574-1.498=0.076
max	1.844-1.782=0.062

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	406.198-393.633=12.565
σ	509.796-509.936=-0.140
min	151.294-138.662=12.632
max	1170.892-1158.538=12.354

*mean*	101.750-97.750=4.000
σ	7.500
min	98.000-94.000=4.000
max	113.000-109.000=4.000

*mean*	442.000-434.000=8.000
σ	0.000
min	442.000-434.000=8.000
max	442.000-434.000=8.000

*mean*	0.490-0.485=0.005
σ	0.469-0.501=-0.033
min	0.250-0.230=0.020
max	1.193-1.237=-0.044

policies=20

*mean*	1513.149-1386.755=126.394
σ	0.277-0.154=0.123
min	1512.967-1386.649=126.318
max	1513.559-1386.983=126.576

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

*mean*	445.000-443.000=2.000
σ	3.464-10.392=-6.928
min	442.000-434.000=8.000
max	448.000-452.000=-4.000

*mean*	2.509-2.302=0.207
σ	0.016-0.022=-0.006
min	2.497-2.283=0.213
max	2.532-2.326=0.205

policies=200

*mean*	15140.028-13876.235=1263.793
σ	0.122-0.130=-0.008
min	15139.875-13876.157=1263.718
max	15140.172-13876.429=1263.743

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

*mean*	496.500-500.000=-3.500
σ	5.568-4.967=0.601
min	491.000-495.000=-4.000
max	504.000-506.000=-2.000

*mean*	25.288-23.232=2.056
σ	0.126-0.223=-0.097
min	25.145-23.048=2.097
max	25.450-23.554=1.896