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*	57.822-54.716=3.107
σ	0.361-0.364=-0.002
min	57.674-54.582=3.092
max	58.850-55.750=3.100

*mean*	422.000-415.000=7.000
σ	0.000
min	422.000-415.000=7.000
max	422.000-415.000=7.000

*mean*	0.143-0.141=0.002
σ	0.006-0.004=0.002
min	0.136-0.137=-0.001
max	0.156-0.147=0.008

cache=y

dps=1

iters=10

policies=100

*mean*	46.897-43.777=3.119
σ	0.004-0.009=-0.005
min	46.891-43.765=3.127
max	46.902-43.791=3.111

*mean*	422.700-415.000=7.700
σ	0.483-0.000=0.483
min	422.000-415.000=7.000
max	423.000-415.000=8.000

*mean*	0.128-0.121=0.006
σ	0.004-0.005=-0.001
min	0.122-0.116=0.006
max	0.134-0.132=0.002

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.606-36.605=0.001

*mean*	4581.000-4427.250=153.750
σ	2255.544-2223.828=31.716
min	1486.000-1484.000=2.000
max	7402.000-7401.000=1.000

*mean*	13.502-12.306=1.196
σ	2.708-0.525=2.183
min	11.908-11.791=0.117
max	18.397-13.078=5.319

op=column_set() on indexed, repeat

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

*mean*	4581.000-4606.125=-25.125
σ	2255.544-2255.030=0.513
min	1486.000-1484.000=2.000
max	7402.000-7401.000=1.000

*mean*	13.567-136.984=-123.417
σ	2.356-352.107=-349.750
min	11.243-11.914=-0.671
max	17.747-1008.403=-990.657

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

*mean*	7402.000-7401.000=1.000
σ	0.000
min	7402.000-7401.000=1.000
max	7402.000-7401.000=1.000

*mean*	11.197-11.249=-0.051
σ	0.287-0.495=-0.208
min	10.859-10.647=0.211
max	11.806-12.296=-0.490

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.926-41.925=0.000

*mean*	4165.125-4198.875=-33.750
σ	1946.672-1952.012=-5.341
min	1486.000-1484.000=2.000
max	7402.000-7401.000=1.000

*mean*	11.731-11.428=0.303
σ	1.899-0.830=1.069
min	10.777-10.903=-0.126
max	16.396-13.419=2.978

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*	4165.125-4198.875=-33.750
σ	1946.672-1952.012=-5.341
min	1486.000-1484.000=2.000
max	7402.000-7401.000=1.000

*mean*	9.180-8.681=0.499
σ	1.406-0.611=0.795
min	8.062-7.844=0.218
max	12.562-9.911=2.651

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*	4165.125-4198.875=-33.750
σ	1946.672-1952.012=-5.341
min	1486.000-1484.000=2.000
max	7402.000-7401.000=1.000

*mean*	6.998-6.491=0.507
σ	0.974-0.621=0.353
min	6.044-5.929=0.115
max	9.212-7.888=1.324

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*	4581.000-4606.125=-25.125
σ	2255.544-2255.030=0.513
min	1486.000-1484.000=2.000
max	7402.000-7401.000=1.000

*mean*	6.357-6.393=-0.036
σ	0.541-1.112=-0.571
min	5.941-5.796=0.146
max	7.348-9.111=-1.762

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*	4581.000-4606.125=-25.125
σ	2255.544-2255.030=0.513
min	1486.000-1484.000=2.000
max	7402.000-7401.000=1.000

*mean*	6.166-6.131=0.035
σ	0.621-1.110=-0.489
min	5.358-5.129=0.229
max	7.120-8.788=-1.668

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.597-1021.606=-0.009
max	1021.602-1021.611=-0.009

*mean*	7402.000-7401.000=1.000
σ	0.000
min	7402.000-7401.000=1.000
max	7402.000-7401.000=1.000

*mean*	364.699-345.903=18.796
σ	39.919-2.877=37.041
min	345.879-342.340=3.539
max	463.109-350.467=112.643

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.972-3496.978=-0.006

*mean*	3745.750-3771.125=-25.375
σ	2298.461-2308.407=-9.946
min	720.000-721.000=-1.000
max	7402.000-7401.000=1.000

*mean*	1636.580-1747.296=-110.715
σ	498.481-651.980=-153.500
min	1397.408-1378.125=19.283
max	2853.908-2823.346=30.562

CSV - unindexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

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

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

*mean*	4399.750-4198.875=200.875
σ	2226.927-1952.012=274.914
min	1486.000-1484.000=2.000
max	7402.000-7401.000=1.000

*mean*	268.078-128.569=139.509
σ	378.192-5.885=372.307
min	123.789-123.699=0.090
max	1202.914-141.403=1061.510

op=column_set() on unindexed, dense, repeat

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

*mean*	4581.000-4427.250=153.750
σ	2255.544-2223.828=31.716
min	1486.000-1484.000=2.000
max	7402.000-7401.000=1.000

*mean*	150.891-93.672=57.219
σ	295.416-144.737=150.679
min	41.195-40.837=0.358
max	881.698-451.860=429.838

op=vertical_lookup_list() repeated on unindexed missing Int

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

*mean*	7402.000-7401.000=1.000
σ	0.000
min	7402.000-7401.000=1.000
max	7402.000-7401.000=1.000

*mean*	22.101-106.713=-84.612
σ	1.193-236.411=-235.218
min	21.388-21.472=-0.084
max	24.997-691.770=-666.773

op=vertical_lookup_row_list() on unindexed small unique Int

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

*mean*	7402.000-7401.000=1.000
σ	0.000
min	7402.000-7401.000=1.000
max	7402.000-7401.000=1.000

*mean*	287.644-59.019=228.625
σ	653.017-9.514=643.503
min	55.234-54.774=0.460
max	1903.772-82.471=1821.302

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

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

*mean*	4165.125-4198.875=-33.750
σ	1946.672-1952.012=-5.341
min	1486.000-1484.000=2.000
max	7402.000-7401.000=1.000

*mean*	3150.523-3193.585=-43.062
σ	849.030-618.534=230.497
min	2485.317-2483.354=1.963
max	4352.816-4000.962=351.853

op=vertical_lookup_list() on indexed

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

*mean*	7402.000-7401.000=1.000
σ	0.000
min	7402.000-7401.000=1.000
max	7402.000-7401.000=1.000

*mean*	1065.484-1023.854=41.630
σ	256.178-204.588=51.590
min	914.905-916.948=-2.043
max	1664.499-1485.185=179.314

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*	7402.000-7401.000=1.000
σ	0.000
min	7402.000-7401.000=1.000
max	7402.000-7401.000=1.000

*mean*	392.123-408.246=-16.123
σ	3.720-42.436=-38.716
min	387.405-388.401=-0.996
max	399.953-512.970=-113.016

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

*mean*	386.208-404.486=-18.278
σ	30.082-21.718=8.364
min	362.893-381.511=-18.618
max	440.576-441.432=-0.856

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	562.750-559.250=3.500
σ	0.463-1.753=-1.290
min	562.000-558.000=4.000
max	563.000-562.000=1.000

*mean*	736.549-743.796=-7.247
σ	58.112-85.802=-27.690
min	623.846-615.602=8.244
max	799.298-886.201=-86.902

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	976.918-964.563=12.356
σ	2.437-1.880=0.557
min	976.074-963.842=12.232
max	987.245-972.517=14.728

*mean*	1045.750-1046.900=-1.150
σ	309.118-321.178=-12.060
min	540.000-545.000=-5.000
max	1543.000-1569.000=-26.000

*mean*	1.293-1.246=0.047
σ	0.167-0.078=0.089
min	1.201-1.179=0.022
max	1.970-1.505=0.464

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.284-0.389=-0.105
σ	0.291-0.460=-0.169
min	0.129-0.152=-0.023
max	0.800-1.209=-0.409

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.478-0.416=0.062
σ	0.334-0.194=0.139
min	0.323-0.323=-0.000
max	1.075-0.763=0.312

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.218-0.219=-0.001
σ	0.017-0.016=0.001
min	0.206-0.209=-0.003
max	0.247-0.248=-0.001

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.341-0.343=-0.002
σ	0.022-0.018=0.004
min	0.319-0.325=-0.006
max	0.375-0.371=0.004

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.532-0.525=0.008
σ	0.061-0.061=0.000
min	0.464-0.431=0.033
max	0.607-0.603=0.004

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.425-0.464=-0.039
σ	0.043-0.053=-0.010
min	0.378-0.387=-0.009
max	0.466-0.528=-0.062

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*	2.037-2.639=-0.602
σ	0.232-0.213=0.019
min	1.828-1.926=-0.097
max	2.734-2.982=-0.249

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.571-2.598=-0.027
σ	0.077-0.092=-0.016
min	2.442-2.419=0.023
max	2.837-2.999=-0.162

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.302-0.304=-0.002
σ	0.009-0.009=-0.000
min	0.288-0.290=-0.001
max	0.357-0.347=0.011

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.293-0.297=-0.004
σ	0.016-0.014=0.002
min	0.272-0.277=-0.005
max	0.415-0.369=0.046

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.681-11.543=0.138
σ	11.380-11.669=-0.289
min	0.714-0.574=0.140
max	90.366-106.199=-15.833

*mean*	468.351-458.430=9.921
σ	19.410-17.277=2.133
min	409.000-408.000=1.000
max	481.000-475.000=6.000

*mean*	0.027-0.027=0.000
σ	0.028-0.028=-0.001
min	0.001-0.001=0.000
max	0.216-0.253=-0.037

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	293.781-279.198=14.582
σ	1.066-1.026=0.040
min	293.281-278.812=14.469
max	296.788-282.118=14.670

*mean*	441.500-440.800=0.700
σ	20.266-12.865=7.401
min	414.000-426.000=-12.000
max	471.000-463.000=8.000

*mean*	0.594-0.580=0.014
σ	0.019-0.020=-0.001
min	0.557-0.542=0.015
max	0.625-0.621=0.004

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

*mean*	848.000-851.000=-3.000
σ	0.000
min	848.000-851.000=-3.000
max	848.000-851.000=-3.000

*mean*	143.160-201.723=-58.563
σ	23.350-16.639=6.711
min	92.854-188.992=-96.138
max	163.217-241.070=-77.853

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*	848.000-851.000=-3.000
σ	0.000
min	848.000-851.000=-3.000
max	848.000-851.000=-3.000

*mean*	6.634-9.082=-2.448
σ	2.106-0.124=1.982
min	5.837-8.960=-3.123
max	11.845-9.357=2.488

phase=parser

*mean*	1042.134-1042.131=0.003
σ	0.001-0.000=0.001
min	1042.131-1042.131=0.000
max	1042.134-1042.131=0.003

*mean*	848.000-851.000=-3.000
σ	0.000
min	848.000-851.000=-3.000
max	848.000-851.000=-3.000

*mean*	421.035-598.729=-177.694
σ	124.952-31.417=93.536
min	371.970-521.649=-149.679
max	730.166-617.962=112.204

phase=processProdDef

*mean*	2241.193-2243.718=-2.525
σ	0.000-0.000=0.000
min	2241.193-2243.718=-2.525
max	2241.194-2243.718=-2.524

*mean*	848.000-851.000=-3.000
σ	0.000
min	848.000-851.000=-3.000
max	848.000-851.000=-3.000

*mean*	2940.314-2795.574=144.740
σ	296.189-321.968=-25.779
min	2522.933-2272.752=250.181
max	3324.794-3205.126=119.668

phase=renaming

*mean*	21.430-21.440=-0.010
σ	0.001-0.000=0.001
min	21.430-21.440=-0.010
max	21.433-21.440=-0.006

*mean*	848.000-851.000=-3.000
σ	0.000
min	848.000-851.000=-3.000
max	848.000-851.000=-3.000

*mean*	40.566-47.876=-7.311
σ	3.680-0.934=2.745
min	36.304-46.730=-10.426
max	47.732-49.589=-1.857

phase=type checker

*mean*	958.466-958.596=-0.131
σ	0.047-0.047=0.000
min	958.439-958.573=-0.134
max	958.568-958.698=-0.130

*mean*	848.000-851.000=-3.000
σ	0.000
min	848.000-851.000=-3.000
max	848.000-851.000=-3.000

*mean*	686.828-675.036=11.792
σ	40.541-9.472=31.069
min	657.674-662.684=-5.009
max	781.799-686.693=95.107

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	327.853-282.856=44.998
σ	0.036-0.036=0.000
min	327.803-282.804=44.999
max	327.890-282.891=44.998

*mean*	442.000-440.000=2.000
σ	4.416-2.739=1.677
min	435.000-438.000=-3.000
max	447.000-443.000=4.000

*mean*	0.435-0.381=0.054
σ	0.006-0.010=-0.005
min	0.427-0.374=0.053
max	0.439-0.399=0.041

iters=5

new-facts=1

prior-facts=6402

*mean*	1313.056-1268.061=44.995
σ	0.142-0.105=0.037
min	1312.968-1267.964=45.003
max	1313.303-1268.230=45.073

*mean*	1107.600-1092.600=15.000
σ	182.815-169.042=13.773
min	881.000-893.000=-12.000
max	1327.000-1326.000=1.000

*mean*	1.966-2.035=-0.069
σ	0.151-0.086=0.065
min	1.879-1.897=-0.018
max	2.234-2.118=0.116

iters=5

new-facts=6402

prior-facts=1

*mean*	1552.072-1507.088=44.984
σ	3.038-2.954=0.084
min	1550.563-1505.569=44.995
max	1557.500-1512.363=45.137

*mean*	631.000-624.400=6.600
σ	90.907-88.124=2.783
min	504.000-493.000=11.000
max	740.000-727.000=13.000

*mean*	2.313-2.332=-0.019
σ	0.171-0.231=-0.060
min	2.131-2.119=0.012
max	2.558-2.607=-0.048

iters=5

new-facts=6402

prior-facts=6402

*mean*	1875.063-1830.063=45.001
σ	0.055-0.048=0.007
min	1874.997-1829.994=45.003
max	1875.134-1830.111=45.023

*mean*	1750.000-1724.600=25.400
σ	154.834-186.330=-31.496
min	1511.000-1464.000=47.000
max	1940.000-1894.000=46.000

*mean*	2.926-3.033=-0.107
σ	0.084-0.335=-0.251
min	2.848-2.828=0.019
max	3.064-3.630=-0.566

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.601-1.769=-0.168
σ	0.056-0.120=-0.064
min	1.512-1.648=-0.136
max	1.652-1.922=-0.269

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	419.405-406.200=13.204
σ	508.891-509.797=-0.907
min	164.958-151.298=13.660
max	1182.741-1170.897=11.844

*mean*	101.250-101.750=-0.500
σ	6.500-7.500=-1.000
min	98.000
max	111.000-113.000=-2.000

*mean*	433.000-436.000=-3.000
σ	0.000
min	433.000-436.000=-3.000
max	433.000-436.000=-3.000

*mean*	0.525-0.503=0.021
σ	0.502-0.498=0.004
min	0.271-0.249=0.022
max	1.278-1.250=0.028

policies=20

*mean*	1649.815-1513.152=136.663
σ	0.380-0.275=0.105
min	1649.598-1512.969=136.629
max	1650.384-1513.559=136.825

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	451.500-442.000=9.500
σ	10.755-6.928=3.827
min	440.000-436.000=4.000
max	466.000-448.000=18.000

*mean*	2.660-2.511=0.149
σ	0.019-0.010=0.009
min	2.635-2.503=0.131
max	2.676-2.525=0.150

policies=200

*mean*	16506.015-15139.943=1366.072
σ	0.082-0.105=-0.023
min	16505.939-15139.820=1366.119
max	16506.088-15140.035=1366.053

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	503.000-497.500=5.500
σ	4.397-5.508=-1.111
min	498.000-492.000=6.000
max	508.000-504.000=4.000

*mean*	26.785-25.239=1.546
σ	0.172-0.088=0.084
min	26.602-25.124=1.478
max	26.935-25.338=1.597