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-5.676=-0.281
σ	0.000
min	5.395-5.676=-0.281
max	5.395-5.676=-0.281

AST compact size (processProdDef)

Factor

compact size MiB

phase=processProdDef

*mean*	446.633-446.883=-0.250
σ	0.000
min	446.633-446.883=-0.250
max	446.633-446.883=-0.250

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.718-54.776=-0.058
σ	0.367-0.364=0.003
min	54.568-54.632=-0.064
max	55.760-55.810=-0.050

*mean*	416.300-417.000=-0.700
σ	0.483-0.000=0.483
min	416.000-417.000=-1.000
max	417.000

*mean*	0.139-0.143=-0.004
σ	0.005-0.008=-0.003
min	0.135-0.138=-0.003
max	0.148-0.163=-0.015

cache=y

dps=1

iters=10

policies=100

*mean*	43.777-43.779=-0.003
σ	0.009-0.007=0.002
min	43.759-43.768=-0.008
max	43.795-43.791=0.003

*mean*	417.000
σ	0.000
min	417.000
max	417.000

*mean*	0.123-0.139=-0.016
σ	0.004-0.011=-0.006
min	0.119-0.120=-0.001
max	0.130-0.151=-0.021

CSV - indexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on indexed

*mean*	36.604-36.617=-0.013
σ	0.000-0.000=0.000
min	36.604-36.617=-0.013
max	36.605-36.618=-0.013

*mean*	4591.125-4590.375=0.750
σ	2248.114-2249.453=-1.339
min	1487.000-1486.000=1.000
max	7385.000

*mean*	120.517-149.392=-28.875
σ	306.172-385.929=-79.757
min	11.840-11.912=-0.072
max	878.253-1104.505=-226.252

op=column_set() on indexed, repeat

*mean*	36.604-36.617=-0.013
σ	0.000-0.000=0.000
min	36.604-36.617=-0.013
max	36.605-36.618=-0.013

*mean*	4591.125-4590.375=0.750
σ	2248.114-2249.453=-1.339
min	1487.000-1486.000=1.000
max	7385.000

*mean*	13.749-14.601=-0.852
σ	3.365-4.801=-1.436
min	11.574-11.434=0.140
max	21.994-25.272=-3.277

op=table_records(), no indexes

*mean*	41.940-41.948=-0.008
σ	0.002-0.002=-0.000
min	41.938-41.946=-0.008
max	41.942-41.951=-0.009

*mean*	7385.000
σ	0.000
min	7385.000
max	7385.000

*mean*	11.042-11.274=-0.232
σ	0.113-1.134=-1.020
min	10.938-10.631=0.307
max	11.271-14.059=-2.788

op=table_records(), repeat

*mean*	41.925-41.933=-0.008
σ	0.001-0.000=0.001
min	41.924-41.933=-0.009
max	41.928-41.934=-0.005

*mean*	4182.250-4180.250=2.000
σ	1944.318-1945.738=-1.420
min	1487.000-1486.000=1.000
max	7385.000

*mean*	11.658-11.825=-0.168
σ	1.722-1.680=0.042
min	10.765-10.885=-0.120
max	15.877-15.939=-0.062

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

*mean*	27.633-27.655=-0.023
σ	0.137-0.136=0.000
min	27.584-27.606=-0.022
max	27.971-27.993=-0.022

*mean*	4182.250-4180.250=2.000
σ	1944.318-1945.738=-1.420
min	1487.000-1486.000=1.000
max	7385.000

*mean*	9.041-8.953=0.088
σ	1.289-1.328=-0.039
min	8.298-7.670=0.628
max	12.196-12.104=0.092

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

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

*mean*	4182.250-4180.250=2.000
σ	1944.318-1945.738=-1.420
min	1487.000-1486.000=1.000
max	7385.000

*mean*	7.054-6.750=0.303
σ	0.988-1.081=-0.094
min	6.210-6.146=0.064
max	9.422-9.397=0.025

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.662-25.681=-0.018
σ	0.004-0.003=0.001
min	25.661-25.680=-0.019
max	25.673-25.688=-0.015

*mean*	4591.125-4590.375=0.750
σ	2248.114-2249.453=-1.339
min	1487.000-1486.000=1.000
max	7385.000

*mean*	6.433-6.493=-0.060
σ	1.049-1.028=0.020
min	5.847-5.815=0.031
max	9.013-8.798=0.214

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.961-25.984=-0.023
σ	0.001-0.000=0.000
min	25.961-25.984=-0.023
max	25.962-25.985=-0.023

*mean*	4591.125-4590.375=0.750
σ	2248.114-2249.453=-1.339
min	1487.000-1486.000=1.000
max	7385.000

*mean*	6.276-6.438=-0.162
σ	1.080-1.023=0.057
min	5.777-5.824=-0.047
max	8.932-8.711=0.221

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.608-1021.627=-0.019
σ	0.002
min	1021.606-1021.625=-0.019
max	1021.611-1021.629=-0.019

*mean*	7385.000
σ	0.000
min	7385.000
max	7385.000

*mean*	363.197-363.568=-0.371
σ	42.355-43.364=-1.009
min	345.954-345.268=0.686
max	467.946-470.823=-2.877

op=load_product(), with indexes

*mean*	3495.855-3495.878=-0.024
σ	0.454-0.469=-0.015
min	3495.694-3495.713=-0.019
max	3496.978-3497.038=-0.060

*mean*	3758.000-3757.250=0.750
σ	2299.230-2300.229=-0.998
min	720.000
max	7385.000

*mean*	1707.234-1776.147=-68.913
σ	573.624-614.401=-40.777
min	1397.364-1406.013=-8.649
max	2831.830-2806.898=24.933

CSV - unindexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

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

*mean*	107.841-107.854=-0.013
σ	0.000-0.000=0.000
min	107.841-107.854=-0.013
max	107.842-107.855=-0.013

*mean*	4411.625-4409.125=2.500
σ	2217.739-2218.927=-1.187
min	1487.000-1486.000=1.000
max	7385.000

*mean*	268.489-263.354=5.135
σ	369.917-360.253=9.664
min	127.104-125.057=2.047
max	1182.945-1153.737=29.208

op=column_set() on unindexed, dense, repeat

*mean*	62.068-62.081=-0.013
σ	0.001-0.000=0.001
min	62.065-62.081=-0.017
max	62.068-62.082=-0.013

*mean*	4411.625-4409.125=2.500
σ	2217.739-2218.927=-1.187
min	1487.000-1486.000=1.000
max	7385.000

*mean*	43.714-46.930=-3.216
σ	2.632-9.640=-7.007
min	41.186-41.441=-0.255
max	49.055-70.303=-21.248

op=vertical_lookup_list() repeated on unindexed missing Int

*mean*	40.926-40.948=-0.022
σ	0.002
min	40.925-40.947=-0.022
max	40.928-40.950=-0.022

*mean*	7385.000
σ	0.000
min	7385.000
max	7385.000

*mean*	22.782-23.551=-0.769
σ	2.657-3.120=-0.463
min	21.610-21.649=-0.038
max	29.334-29.599=-0.265

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	71.294-71.308=-0.014
σ	0.002-0.002=-0.000
min	71.292-71.307=-0.014
max	71.296-71.311=-0.014

*mean*	7385.000
σ	0.000
min	7385.000
max	7385.000

*mean*	233.401-284.900=-51.498
σ	499.995-642.015=-142.020
min	55.220-54.903=0.317
max	1470.811-1873.776=-402.964

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	4646.842-4646.850=-0.008
σ	0.013-0.013=-0.000
min	4646.837-4646.845=-0.008
max	4646.875-4646.883=-0.008

*mean*	4182.250-4180.250=2.000
σ	1944.318-1945.738=-1.420
min	1487.000-1486.000=1.000
max	7385.000

*mean*	3274.550-3243.843=30.708
σ	746.869-731.020=15.849
min	2497.456-2517.674=-20.218
max	4395.059-4455.597=-60.538

op=vertical_lookup_list() on indexed

*mean*	1973.829-1973.851=-0.022
σ	0.002
min	1973.827-1973.849=-0.022
max	1973.832-1973.854=-0.022

*mean*	7385.000
σ	0.000
min	7385.000
max	7385.000

*mean*	1049.890-1057.977=-8.087
σ	247.250-191.960=55.290
min	915.435-928.569=-13.134
max	1633.603-1390.260=243.343

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

*mean*	905.083-905.105=-0.022
σ	0.002
min	905.080-905.102=-0.022
max	905.086-905.108=-0.022

*mean*	7385.000
σ	0.000
min	7385.000
max	7385.000

*mean*	406.848-409.064=-2.216
σ	48.623-38.539=10.084
min	376.355-391.771=-15.416
max	526.353-503.659=22.694

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.500-476.000=1.500
σ	0.535-0.000=0.535
min	477.000-476.000=1.000
max	478.000-476.000=2.000

*mean*	393.475-380.687=12.788
σ	19.067-34.091=-15.024
min	364.756-316.909=47.847
max	427.725-438.815=-11.090

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	558.250-560.000=-1.750
σ	3.732-0.000=3.732
min	554.000-560.000=-6.000
max	562.000-560.000=2.000

*mean*	745.838-792.372=-46.535
σ	80.636-27.863=52.773
min	602.467-752.692=-150.225
max	870.497-823.885=46.612

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	964.531-963.971=0.560
σ	1.819-1.820=-0.001
min	963.826-963.263=0.563
max	972.223-971.666=0.557

*mean*	1041.650-1036.050=5.600
σ	316.474-304.714=11.760
min	542.000-546.000=-4.000
max	1553.000-1527.000=26.000

*mean*	1.287-1.251=0.035
σ	0.131-0.068=0.063
min	1.183-1.179=0.004
max	1.727-1.423=0.304

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.334-0.298=0.035
σ	0.298-0.294=0.003
min	0.139-0.137=0.002
max	0.827-0.821=0.007

name=error_case.art

*mean*	2.346-2.340=0.006
σ	0.012
min	2.340-2.334=0.006
max	2.368-2.362=0.006

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.494-0.484=0.009
σ	0.344-0.325=0.019
min	0.330-0.321=0.010
max	1.109-1.065=0.043

name=heavy_item.art

*mean*	1.523-1.523=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.220-0.225=-0.005
σ	0.027-0.023=0.003
min	0.198-0.206=-0.008
max	0.263-0.264=-0.000

name=nested_use.art

*mean*	2.364-2.358=0.006
σ	0.002
min	2.363-2.357=0.006
max	2.367-2.361=0.006

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.327-0.354=-0.027
σ	0.017-0.016=0.001
min	0.313-0.342=-0.030
max	0.356-0.372=-0.016

Parser: Real World

Factor

allocated MiB

peak allocated MiB

time (sec)

name=aon_gpf25_7k_loc.art

*mean*	964.839-964.971=-0.132
σ	0.009-0.011=-0.001
min	964.834-964.965=-0.132
max	964.855-964.989=-0.134

*mean*	430.600-431.600=-1.000
σ	0.548-1.342=-0.794
min	430.000-431.000=-1.000
max	431.000-434.000=-3.000

*mean*	0.579-0.547=0.032
σ	0.034-0.052=-0.018
min	0.538-0.479=0.058
max	0.612-0.618=-0.006

name=cdr_enhanced_4k_loc.art

*mean*	885.913-885.898=0.015
σ	0.002-0.002=-0.000
min	885.912-885.897=0.015
max	885.915-885.901=0.015

*mean*	431.000-441.000=-10.000
σ	0.000
min	431.000-441.000=-10.000
max	431.000-441.000=-10.000

*mean*	0.454-0.461=-0.007
σ	0.055-0.064=-0.010
min	0.373-0.388=-0.015
max	0.505-0.529=-0.023

Parser: Record Parsing

Factor

allocated MiB

peak allocated MiB

time (ms)

name=record_render_large_success.art

*mean*	7.718-7.710=0.009
σ	0.002
min	7.717-7.709=0.009
max	7.721-7.713=0.009

*mean*	431.000-441.000=-10.000
σ	0.000
min	431.000-441.000=-10.000
max	431.000-441.000=-10.000

*mean*	2.643-2.702=-0.059
σ	0.112-0.100=0.013
min	2.467-2.510=-0.044
max	3.041-3.059=-0.018

name=record_render_large_syntax_err.art

*mean*	7.667-7.658=0.008
σ	0.002
min	7.666-7.657=0.008
max	7.670-7.661=0.008

*mean*	431.000-441.000=-10.000
σ	0.000
min	431.000-441.000=-10.000
max	431.000-441.000=-10.000

*mean*	2.582-2.677=-0.095
σ	0.081-0.085=-0.003
min	2.457-2.477=-0.020
max	2.910-2.945=-0.035

name=record_render_success.art

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

*mean*	431.000-441.000=-10.000
σ	0.000
min	431.000-441.000=-10.000
max	431.000-441.000=-10.000

*mean*	0.302-0.316=-0.014
σ	0.010-0.011=-0.001
min	0.290-0.303=-0.013
max	0.364-0.407=-0.043

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-441.000=-10.000
σ	0.000
min	431.000-441.000=-10.000
max	431.000-441.000=-10.000

*mean*	0.290-0.302=-0.012
σ	0.008-0.008=-0.000
min	0.276-0.288=-0.013
max	0.325-0.341=-0.016

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.575-11.642=-0.068
σ	12.313-11.796=0.517
min	0.573-0.574=-0.000
max	114.079-91.935=22.144

*mean*	469.623-460.302=9.321
σ	19.732-19.766=-0.034
min	407.000
max	483.000-476.000=7.000

*mean*	0.026-0.027=-0.000
σ	0.030-0.029=0.001
min	0.001-0.001=-0.000
max	0.269-0.236=0.034

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	278.957-278.598=0.359
σ	1.019-1.074=-0.055
min	278.559-278.093=0.465
max	281.856-281.644=0.211

*mean*	443.500-447.800=-4.300
σ	17.778-20.088=-2.310
min	415.000-417.000=-2.000
max	473.000-471.000=2.000

*mean*	0.585-0.588=-0.004
σ	0.013-0.012=0.000
min	0.568-0.576=-0.007
max	0.612-0.613=-0.000

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

*mean*	169.257-173.738=-4.481
σ	0.000-0.000=0.000
min	169.257-173.738=-4.481
max	169.257-173.738=-4.481

*mean*	851.000-844.000=7.000
σ	0.000
min	851.000-844.000=7.000
max	851.000-844.000=7.000

*mean*	222.372-239.682=-17.309
σ	23.005-19.235=3.769
min	194.022-197.531=-3.509
max	245.821-254.117=-8.296

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*	851.000-843.375=7.625
σ	0.000-1.768=-1.768
min	851.000-839.000=12.000
max	851.000-844.000=7.000

*mean*	7.371-9.062=-1.692
σ	2.223-0.978=1.245
min	5.893-7.335=-1.442
max	11.833-9.703=2.130

phase=parser

*mean*	1041.967-1042.434=-0.467
σ	0.000-0.000=0.000
min	1041.967-1042.433=-0.466
max	1041.967-1042.434=-0.467

*mean*	851.000-843.375=7.625
σ	0.000-1.768=-1.768
min	851.000-839.000=12.000
max	851.000-844.000=7.000

*mean*	545.060-565.747=-20.687
σ	122.904-75.086=47.818
min	376.022-417.869=-41.847
max	725.940-618.704=107.236

phase=processProdDef

*mean*	2243.715-2243.975=-0.260
σ	0.000
min	2243.715-2243.975=-0.260
max	2243.715-2243.975=-0.260

*mean*	851.000-844.000=7.000
σ	0.000
min	851.000-844.000=7.000
max	851.000-844.000=7.000

*mean*	2572.608-2999.984=-427.376
σ	433.615-425.591=8.024
min	1951.136-2421.614=-470.478
max	3259.534-3421.270=-161.736

phase=renaming

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

*mean*	851.000-843.375=7.625
σ	0.000-1.768=-1.768
min	851.000-839.000=12.000
max	851.000-844.000=7.000

*mean*	29.414-36.775=-7.361
σ	10.264-6.460=3.804
min	20.112-26.254=-6.142
max	47.999-41.249=6.750

phase=type checker

*mean*	958.600-989.755=-31.156
σ	0.047-0.066=-0.019
min	958.577-989.658=-31.081
max	958.702-989.845=-31.144

*mean*	851.000-843.375=7.625
σ	0.000-1.768=-1.768
min	851.000-839.000=12.000
max	851.000-844.000=7.000

*mean*	685.806-714.014=-28.208
σ	88.206-41.405=46.801
min	608.041-644.363=-36.322
max	840.675-787.700=52.975

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	282.361-282.394=-0.033
σ	0.034-0.024=0.010
min	282.313-282.373=-0.060
max	282.397-282.425=-0.028

*mean*	439.000-444.400=-5.400
σ	2.739-0.548=2.191
min	437.000-444.000=-7.000
max	442.000-445.000=-3.000

*mean*	0.383-0.381=0.001
σ	0.007-0.005=0.002
min	0.373-0.376=-0.003
max	0.388-0.389=-0.001

iters=5

new-facts=1

prior-facts=6402

*mean*	1267.580-1267.114=0.466
σ	0.074-0.101=-0.028
min	1267.472-1266.993=0.479
max	1267.676-1267.270=0.406

*mean*	1111.400-1113.200=-1.800
σ	170.789-169.525=1.264
min	895.000-898.000=-3.000
max	1329.000-1328.000=1.000

*mean*	2.002-2.017=-0.015
σ	0.145-0.110=0.035
min	1.777-1.872=-0.094
max	2.122-2.137=-0.015

iters=5

new-facts=6402

prior-facts=1

*mean*	1506.605-1506.123=0.482
σ	2.958-2.939=0.019
min	1505.099-1504.603=0.497
max	1511.886-1511.369=0.517

*mean*	626.800-629.000=-2.200
σ	89.843-90.019=-0.177
min	503.000-505.000=-2.000
max	726.000-728.000=-2.000

*mean*	2.428-2.338=0.090
σ	0.364-0.251=0.113
min	2.032-2.072=-0.040
max	2.864-2.628=0.236

iters=5

new-facts=6402

prior-facts=6402

*mean*	1829.569-1829.095=0.474
σ	0.053-0.055=-0.003
min	1829.491-1829.015=0.476
max	1829.619-1829.161=0.458

*mean*	1764.600-1756.600=8.000
σ	209.681-211.213=-1.531
min	1489.000-1473.000=16.000
max	1964.000-1956.000=8.000

*mean*	3.128-3.119=0.009
σ	0.256-0.255=0.001
min	2.845-2.829=0.016
max	3.448-3.491=-0.043

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.710-1.737=-0.027
σ	0.172-0.126=0.046
min	1.467-1.542=-0.075
max	1.872-1.838=0.034

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	393.852-397.699=-3.846
σ	509.576-518.050=-8.474
min	139.061-138.672=0.388
max	1158.217-1174.774=-16.557

*mean*	99.750-97.750=2.000
σ	7.500
min	96.000-94.000=2.000
max	111.000-109.000=2.000

*mean*	441.000-448.000=-7.000
σ	0.000
min	441.000-448.000=-7.000
max	441.000-448.000=-7.000

*mean*	0.474-0.503=-0.029
σ	0.471-0.524=-0.054
min	0.234-0.237=-0.003
max	1.180-1.290=-0.110

policies=20

*mean*	1390.729-1386.840=3.889
σ	0.163-0.168=-0.005
min	1390.644-1386.725=3.919
max	1390.973-1387.089=3.883

*mean*	960.000-940.000=20.000
σ	0.000
min	960.000-940.000=20.000
max	960.000-940.000=20.000

*mean*	446.000-449.000=-3.000
σ	10.000-1.155=8.845
min	441.000-448.000=-7.000
max	461.000-450.000=11.000

*mean*	2.312-2.321=-0.008
σ	0.011-0.025=-0.014
min	2.302-2.286=0.017
max	2.325-2.340=-0.015

policies=200

*mean*	13915.790-13876.884=38.906
σ	0.137-0.111=0.025
min	13915.698-13876.805=38.893
max	13915.993-13877.048=38.945

*mean*	9600.000-9400.000=200.000
σ	0.000
min	9600.000-9400.000=200.000
max	9600.000-9400.000=200.000

*mean*	497.000-495.250=1.750
σ	4.690-4.787=-0.097
min	492.000-491.000=1.000
max	503.000-502.000=1.000

*mean*	23.371-23.478=-0.107
σ	0.144-0.102=0.041
min	23.207-23.407=-0.200
max	23.543-23.627=-0.084