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.716-54.833=-0.116
σ	0.362-0.368=-0.007
min	54.582-54.696=-0.114
max	55.745-55.881=-0.135

*mean*	419.000-416.000=3.000
σ	0.000
min	419.000-416.000=3.000
max	419.000-416.000=3.000

*mean*	0.141-0.137=0.005
σ	0.004-0.006=-0.002
min	0.139-0.131=0.008
max	0.150-0.147=0.003

cache=y

dps=1

iters=10

policies=100

*mean*	43.778-43.843=-0.065
σ	0.008-0.005=0.003
min	43.766-43.834=-0.068
max	43.793-43.850=-0.057

*mean*	419.000-416.000=3.000
σ	0.000
min	419.000-416.000=3.000
max	419.000-416.000=3.000

*mean*	0.122-0.120=0.002
σ	0.005-0.004=0.001
min	0.117-0.116=0.002
max	0.133-0.128=0.005

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*	4586.375
σ	2251.005-2249.853=1.152
min	1483.000-1487.000=-4.000
max	7386.000

*mean*	158.421-138.660=19.761
σ	413.367-356.988=56.379
min	11.882-11.464=0.418
max	1181.451-1022.145=159.306

op=column_set() on indexed, repeat

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

*mean*	4586.375
σ	2251.005-2249.853=1.152
min	1483.000-1487.000=-4.000
max	7386.000

*mean*	13.746-14.496=-0.749
σ	4.505-4.460=0.045
min	11.648-12.048=-0.400
max	24.821-24.386=0.435

op=table_records(), no indexes

*mean*	41.939-41.948=-0.008
σ	0.002-0.002=0.000
min	41.938-41.946=-0.008
max	41.942-41.950=-0.008

*mean*	7386.000
σ	0.000
min	7386.000
max	7386.000

*mean*	11.356-10.952=0.404
σ	1.114-1.784=-0.670
min	10.626-9.988=0.638
max	14.081-15.339=-1.258

op=table_records(), repeat

*mean*	41.924-41.933=-0.009
σ	0.000-0.000=-0.000
min	41.924-41.933=-0.009
max	41.925-41.934=-0.009

*mean*	4174.750-4174.625=0.125
σ	1946.396-1945.070=1.326
min	1483.000-1487.000=-4.000
max	7386.000

*mean*	11.554-11.294=0.260
σ	1.740-1.675=0.064
min	10.832-10.386=0.446
max	15.854-15.413=0.441

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

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

*mean*	4174.750-4174.625=0.125
σ	1946.396-1945.070=1.326
min	1483.000-1487.000=-4.000
max	7386.000

*mean*	9.023-8.356=0.667
σ	1.135-1.423=-0.287
min	7.952-7.595=0.356
max	11.719-11.844=-0.125

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

*mean*	26.384-26.406=-0.022
σ	0.001-0.000=0.001
min	26.384-26.406=-0.022
max	26.388-26.406=-0.018

*mean*	4174.750-4174.625=0.125
σ	1946.396-1945.070=1.326
min	1483.000-1487.000=-4.000
max	7386.000

*mean*	7.084-6.172=0.912
σ	0.929-1.138=-0.209
min	6.364-5.058=1.307
max	9.294-8.866=0.428

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*	4586.375
σ	2251.005-2249.853=1.152
min	1483.000-1487.000=-4.000
max	7386.000

*mean*	6.371-6.016=0.355
σ	1.060-1.043=0.017
min	5.637-5.406=0.231
max	8.940-8.259=0.680

op=vertical_lookup_row_list() on 3 (1 unindexed)

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

*mean*	4586.375
σ	2251.005-2249.853=1.152
min	1483.000-1487.000=-4.000
max	7386.000

*mean*	6.292-5.829=0.463
σ	1.120-1.026=0.093
min	5.602-5.082=0.520
max	8.943-8.177=0.766

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

*mean*	349.339-344.838=4.501
σ	2.874-1.323=1.551
min	345.208-343.153=2.055
max	352.783-347.281=5.502

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*	3753.250-3753.125=0.125
σ	2299.677-2298.738=0.939
min	721.000-720.000=1.000
max	7386.000

*mean*	1777.670-1795.836=-18.166
σ	692.206-679.329=12.877
min	1399.670-1391.495=8.176
max	2989.546-2988.781=0.765

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*	4404.500-4404.625=-0.125
σ	2220.786-2219.786=1.000
min	1483.000-1487.000=-4.000
max	7386.000

*mean*	244.137-253.952=-9.815
σ	307.869-334.759=-26.890
min	122.798-122.552=0.246
max	1004.891-1080.934=-76.043

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*	4404.500-4404.625=-0.125
σ	2220.786-2219.786=1.000
min	1483.000-1487.000=-4.000
max	7386.000

*mean*	43.842-43.901=-0.059
σ	3.029-8.070=-5.041
min	40.931-39.261=1.669
max	50.522-63.538=-13.016

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

*mean*	198.692-182.369=16.324
σ	496.990-452.467=44.524
min	21.587-20.770=0.817
max	1428.658-1302.156=126.502

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

*mean*	7386.000
σ	0.000
min	7386.000
max	7386.000

*mean*	64.888-64.621=0.266
σ	21.603-23.925=-2.323
min	55.702-54.915=0.787
max	117.718-123.530=-5.812

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	4646.842-4646.851=-0.009
σ	0.013-0.014=-0.000
min	4646.837-4646.845=-0.008
max	4646.875-4646.884=-0.009

*mean*	4174.750-4174.625=0.125
σ	1946.396-1945.070=1.326
min	1483.000-1487.000=-4.000
max	7386.000

*mean*	3272.222-3318.552=-46.330
σ	748.865-789.524=-40.659
min	2495.515-2517.911=-22.396
max	4518.940-4732.789=-213.849

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

*mean*	1058.433-1080.367=-21.934
σ	304.472-285.049=19.423
min	922.405-932.421=-10.016
max	1796.282-1693.836=102.445

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

*mean*	411.579-405.518=6.060
σ	48.275-35.574=12.701
min	382.250-387.617=-5.367
max	530.151-492.294=37.857

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.000-477.125=-0.125
σ	0.000-1.246=-1.246
min	477.000-475.000=2.000
max	477.000-478.000=-1.000

*mean*	372.613-373.075=-0.462
σ	46.372-28.821=17.550
min	319.106-304.591=14.515
max	431.580-393.545=38.035

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	562.000-568.000=-6.000
σ	0.000
min	562.000-568.000=-6.000
max	562.000-568.000=-6.000

*mean*	732.939-737.458=-4.519
σ	91.775-62.405=29.371
min	566.225-654.793=-88.568
max	821.620-831.232=-9.611

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	964.563-963.970=0.592
σ	1.881-1.821=0.060
min	963.843-963.265=0.578
max	972.517-971.671=0.846

*mean*	1036.200-1043.950=-7.750
σ	309.526-306.317=3.209
min	544.000-587.000=-43.000
max	1532.000-1493.000=39.000

*mean*	1.244-1.255=-0.011
σ	0.064-0.126=-0.062
min	1.183-1.172=0.010
max	1.416-1.759=-0.343

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.295-0.313=-0.018
σ	0.292-0.303=-0.011
min	0.141-0.151=-0.010
max	0.814-0.851=-0.038

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.472-0.496=-0.024
σ	0.322-0.312=0.009
min	0.320-0.334=-0.014
max	1.047-1.054=-0.008

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.215-0.217=-0.003
σ	0.018-0.022=-0.004
min	0.199-0.201=-0.002
max	0.245-0.255=-0.010

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.332-0.336=-0.004
σ	0.023-0.019=0.004
min	0.311-0.320=-0.008
max	0.367-0.368=-0.001

Parser: Real World

Factor

allocated MiB

peak allocated MiB

time (sec)

name=aon_gpf25_7k_loc.art

*mean*	964.979-964.971=0.008
σ	0.009-0.011=-0.001
min	964.974-964.965=0.008
max	964.996-964.989=0.006

*mean*	431.000-431.600=-0.600
σ	0.000-1.342=-1.342
min	431.000
max	431.000-434.000=-3.000

*mean*	0.590-0.575=0.015
σ	0.023-0.029=-0.006
min	0.551-0.524=0.026
max	0.607-0.591=0.015

name=cdr_enhanced_4k_loc.art

*mean*	886.001-885.898=0.103
σ	0.002-0.002=-0.000
min	886.000-885.897=0.103
max	886.004-885.901=0.103

*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.469-0.518=-0.049
σ	0.036-0.003=0.032
min	0.412-0.513=-0.101
max	0.502-0.522=-0.020

Parser: Record Parsing

Factor

allocated MiB

peak allocated MiB

time (ms)

name=record_render_large_success.art

*mean*	7.719-7.710=0.009
σ	0.002
min	7.718-7.709=0.009
max	7.722-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*	1.960-2.640=-0.680
σ	0.064-0.120=-0.056
min	1.858-2.412=-0.554
max	2.243-3.040=-0.796

name=record_render_large_syntax_err.art

*mean*	7.667-7.658=0.009
σ	0.002
min	7.666-7.657=0.009
max	7.670-7.661=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*	1.927-2.629=-0.702
σ	0.076-0.100=-0.024
min	1.744-2.458=-0.714
max	2.127-2.962=-0.834

name=record_render_success.art

*mean*	2.290-2.290=0.001
σ	0.002
min	2.290-2.289=0.001
max	2.294-2.293=0.001

*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.303-0.303=-0.000
σ	0.012-0.012=0.000
min	0.289-0.288=0.001
max	0.381-0.375=0.005

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

*mean*	0.289-0.288=0.001
σ	0.007-0.007=0.000
min	0.275-0.274=0.001
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.266-11.331=-0.065
σ	11.749-12.410=-0.661
min	0.573-0.574=-0.000
max	88.696-101.395=-12.699

*mean*	465.863-454.591=11.272
σ	21.062-18.515=2.547
min	408.000-407.000=1.000
max	484.000-472.000=12.000

*mean*	0.026-0.026=-0.000
σ	0.029-0.030=-0.002
min	0.001-0.001=0.000
max	0.226-0.244=-0.018

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	278.931-278.925=0.005
σ	1.018-1.039=-0.021
min	278.548-278.456=0.091
max	281.823-281.877=-0.054

*mean*	440.300-446.600=-6.300
σ	15.614-21.593=-5.979
min	416.000-415.000=1.000
max	466.000-476.000=-10.000

*mean*	0.575-0.590=-0.014
σ	0.020-0.011=0.010
min	0.539-0.577=-0.039
max	0.608-0.615=-0.007

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*	850.000-840.000=10.000
σ	0.000
min	850.000-840.000=10.000
max	850.000-840.000=10.000

*mean*	203.701-229.805=-26.103
σ	22.096-26.041=-3.945
min	186.188-192.698=-6.510
max	248.670-257.256=-8.586

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*	838.750-840.000=-1.250
σ	31.820-0.000=31.820
min	760.000-840.000=-80.000
max	850.000-840.000=10.000

*mean*	8.010-9.896=-1.886
σ	1.419-1.120=0.299
min	5.965-9.402=-3.437
max	9.117-12.650=-3.533

phase=parser

*mean*	1042.133-1042.431=-0.297
σ	0.000-0.000=0.000
min	1042.133-1042.431=-0.298
max	1042.134-1042.431=-0.297

*mean*	838.750-840.000=-1.250
σ	31.820-0.000=31.820
min	760.000-840.000=-80.000
max	850.000-840.000=10.000

*mean*	587.343-608.038=-20.695
σ	57.871-45.582=12.289
min	446.111-585.421=-139.310
max	618.131-720.358=-102.227

phase=processProdDef

*mean*	2243.715-2243.978=-0.263
σ	0.000
min	2243.715-2243.978=-0.263
max	2243.715-2243.978=-0.263

*mean*	850.000-840.000=10.000
σ	0.000
min	850.000-840.000=10.000
max	850.000-840.000=10.000

*mean*	2909.029-2227.161=681.869
σ	285.040-239.029=46.011
min	2381.854-2025.804=356.050
max	3231.880-2754.827=477.053

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*	838.750-840.000=-1.250
σ	31.820-0.000=31.820
min	760.000-840.000=-80.000
max	850.000-840.000=10.000

*mean*	42.509-40.982=1.527
σ	6.264-2.801=3.463
min	34.000-39.201=-5.201
max	48.958-47.769=1.189

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*	838.750-840.000=-1.250
σ	31.820-0.000=31.820
min	760.000-840.000=-80.000
max	850.000-840.000=10.000

*mean*	662.513-703.026=-40.513
σ	15.291-73.535=-58.244
min	636.634-673.815=-37.181
max	681.304-884.969=-203.665

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	282.855-282.394=0.461
σ	0.039-0.025=0.014
min	282.800-282.374=0.427
max	282.894-282.427=0.468

*mean*	441.400-444.400=-3.000
σ	3.286-0.548=2.739
min	439.000-444.000=-5.000
max	445.000

*mean*	0.376-0.381=-0.005
σ	0.000-0.006=-0.006
min	0.375-0.377=-0.002
max	0.376-0.392=-0.016

iters=5

new-facts=1

prior-facts=6402

*mean*	1268.058-1267.081=0.976
σ	0.111-0.095=0.016
min	1267.970-1267.005=0.965
max	1268.245-1267.242=1.003

*mean*	1093.000-1112.200=-19.200
σ	169.819-170.029=-0.210
min	892.000-897.000=-5.000
max	1325.000-1330.000=-5.000

*mean*	1.943-1.921=0.022
σ	0.070-0.094=-0.023
min	1.856-1.833=0.022
max	2.040-2.076=-0.036

iters=5

new-facts=6402

prior-facts=1

*mean*	1507.032-1506.135=0.897
σ	2.971-2.902=0.068
min	1505.479-1504.638=0.841
max	1512.334-1511.317=1.017

*mean*	625.400-629.000=-3.600
σ	87.248-90.119=-2.871
min	495.000-505.000=-10.000
max	727.000-729.000=-2.000

*mean*	2.231-2.335=-0.104
σ	0.206-0.249=-0.043
min	2.129-2.065=0.064
max	2.599-2.579=0.020

iters=5

new-facts=6402

prior-facts=6402

*mean*	1830.063-1829.117=0.946
σ	0.047-0.093=-0.047
min	1829.993-1829.018=0.975
max	1830.113-1829.261=0.852

*mean*	1719.800-1767.600=-47.800
σ	190.401-211.820=-21.419
min	1456.000-1490.000=-34.000
max	1893.000-1969.000=-76.000

*mean*	3.022-3.163=-0.141
σ	0.331-0.331=-0.000
min	2.815-2.832=-0.017
max	3.611-3.638=-0.027

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.814-1.660=0.153
σ	0.110-0.063=0.047
min	1.622-1.591=0.031
max	1.890-1.763=0.128

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	406.199-397.698=8.501
σ	509.796-518.052=-8.256
min	151.296-138.670=12.626
max	1170.893-1174.776=-3.883

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

*mean*	447.000-444.000=3.000
σ	0.000
min	447.000-444.000=3.000
max	447.000-444.000=3.000

*mean*	0.495-0.505=-0.010
σ	0.490-0.536=-0.045
min	0.241-0.235=0.006
max	1.231-1.309=-0.078

policies=20

*mean*	1513.148-1386.847=126.301
σ	0.272-0.178=0.094
min	1512.974-1386.727=126.247
max	1513.551-1387.112=126.439

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

*mean*	447.750-445.500=2.250
σ	0.500-1.732=-1.232
min	447.000-444.000=3.000
max	448.000-447.000=1.000

*mean*	2.508-2.375=0.133
σ	0.031-0.056=-0.025
min	2.469-2.318=0.151
max	2.539-2.453=0.086

policies=200

*mean*	15139.963-13876.817=1263.146
σ	0.117-0.129=-0.012
min	15139.807-13876.707=1263.100
max	15140.064-13876.994=1263.070

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

*mean*	498.750-494.500=4.250
σ	7.136-5.802=1.333
min	491.000-488.000=3.000
max	507.000-502.000=5.000

*mean*	25.351-23.501=1.850
σ	0.102-0.074=0.028
min	25.225-23.417=1.809
max	25.443-23.597=1.846