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.301
σ	0.000
min	5.301
max	5.301

AST compact size (parser)

Factor

compact size MiB

phase=parser

*mean*	5.176
σ	0.000
min	5.176
max	5.176

AST compact size (processProdDef Decls)

Factor

compact size MiB

phase=processProdDef Decls

*mean*	5.676
σ	0.000
min	5.676
max	5.676

AST compact size (processProdDef)

Factor

compact size MiB

phase=processProdDef

*mean*	446.883-558.633=-111.750
σ	0.000
min	446.883-558.633=-111.750
max	446.883-558.633=-111.750

AST compact size (renaming)

Factor

compact size MiB

phase=renaming

*mean*	5.488
σ	0.000
min	5.488
max	5.488

AST compact size (type checker)

Factor

compact size MiB

phase=type checker

*mean*	6.645
σ	0.000
min	6.645
max	6.645

Aggregation: measureAggregations

Factor

allocated MiB

peak allocated MiB

time_s

cache=n

dps=1

iters=10

policies=100

*mean*	54.775-54.882=-0.107
σ	0.364-0.361=0.003
min	54.634-54.744=-0.110
max	55.810-55.908=-0.098

*mean*	417.700-419.000=-1.300
σ	0.483-0.000=0.483
min	417.000-419.000=-2.000
max	418.000-419.000=-1.000

*mean*	0.139-0.145=-0.005
σ	0.004-0.003=0.000
min	0.136-0.142=-0.006
max	0.147-0.152=-0.005

cache=y

dps=1

iters=10

policies=100

*mean*	43.773-43.852=-0.079
σ	0.005-0.006=-0.000
min	43.763-43.843=-0.080
max	43.783-43.861=-0.078

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

*mean*	0.123-0.132=-0.009
σ	0.004-0.011=-0.007
min	0.119-0.123=-0.005
max	0.130-0.155=-0.025

CSV - indexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on indexed

*mean*	36.617-36.618=-0.001
σ	0.000-0.002=-0.002
min	36.617-36.616=0.001
max	36.618-36.620=-0.003

*mean*	4427.750-4042.000=385.750
σ	2228.626-2007.759=220.867
min	1483.000-1218.000=265.000
max	7411.000-7146.000=265.000

*mean*	12.993-13.669=-0.676
σ	3.599-1.879=1.720
min	11.393-12.351=-0.958
max	21.859-18.119=3.740

op=column_set() on indexed, repeat

*mean*	36.618-36.618=-0.001
σ	0.000-0.002=-0.002
min	36.617-36.616=0.001
max	36.618-36.620=-0.002

*mean*	4608.750-4042.000=566.750
σ	2259.849-2007.759=252.091
min	1483.000-1218.000=265.000
max	7411.000-7146.000=265.000

*mean*	155.853-13.635=142.218
σ	403.230-2.000=401.230
min	10.946-12.065=-1.119
max	1153.769-18.381=1135.388

op=table_records(), no indexes

*mean*	41.948-41.930=0.018
σ	0.002-0.002=0.000
min	41.946-41.928=0.018
max	41.950-41.933=0.017

*mean*	7411.000-7146.000=265.000
σ	0.000
min	7411.000-7146.000=265.000
max	7411.000-7146.000=265.000

*mean*	10.430-15.157=-4.726
σ	0.152-0.227=-0.075
min	10.222-14.929=-4.708
max	10.700-15.524=-4.824

op=table_records(), repeat

*mean*	41.934-41.929=0.004
σ	0.001-0.002=-0.001
min	41.933-41.927=0.005
max	41.937-41.932=0.004

*mean*	4199.000-4042.000=157.000
σ	1955.907-2007.759=-51.851
min	1483.000-1218.000=265.000
max	7411.000-7146.000=265.000

*mean*	10.978-14.632=-3.654
σ	1.783-1.477=0.306
min	10.154-11.189=-1.035
max	15.362-15.737=-0.375

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

*mean*	27.655-27.654=0.001
σ	0.137-0.136=0.000
min	27.606-27.604=0.002
max	27.993-27.991=0.002

*mean*	4199.000-4042.000=157.000
σ	1955.907-2007.759=-51.851
min	1483.000-1218.000=265.000
max	7411.000-7146.000=265.000

*mean*	8.456-9.771=-1.315
σ	1.295-1.583=-0.288
min	7.479-8.609=-1.129
max	11.605-12.458=-0.853

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

*mean*	26.406-26.401=0.005
σ	0.000-0.002=-0.002
min	26.406-26.400=0.006
max	26.406-26.404=0.002

*mean*	4199.000-4042.000=157.000
σ	1955.907-2007.759=-51.851
min	1483.000-1218.000=265.000
max	7411.000-7146.000=265.000

*mean*	6.467-7.545=-1.078
σ	1.028-1.658=-0.630
min	5.699-6.209=-0.510
max	8.911-10.415=-1.504

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.681-25.668=0.013
σ	0.003-0.004=-0.001
min	25.680-25.665=0.014
max	25.688-25.677=0.010

*mean*	4608.750-4042.000=566.750
σ	2259.849-2007.759=252.091
min	1483.000-1218.000=265.000
max	7411.000-7146.000=265.000

*mean*	6.229-6.167=0.062
σ	1.228-0.468=0.760
min	5.510-5.772=-0.262
max	8.543-7.289=1.254

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.984-25.970=0.015
σ	0.000-0.002=-0.001
min	25.984-25.968=0.016
max	25.985-25.972=0.013

*mean*	4608.750-4042.000=566.750
σ	2259.849-2007.759=252.091
min	1483.000-1218.000=265.000
max	7411.000-7146.000=265.000

*mean*	5.939-5.997=-0.057
σ	1.010-0.572=0.438
min	5.341-5.556=-0.215
max	8.191-7.366=0.825

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.627-1021.613=0.014
σ	0.002-0.002=0.000
min	1021.625-1021.612=0.013
max	1021.630-1021.616=0.014

*mean*	7411.000-7146.000=265.000
σ	0.000
min	7411.000-7146.000=265.000
max	7411.000-7146.000=265.000

*mean*	346.170-377.761=-31.592
σ	2.263-81.319=-79.055
min	342.843-345.313=-2.471
max	349.571-578.933=-229.363

op=load_product(), with indexes

*mean*	3495.878-7917.793=-4421.915
σ	0.469-0.469=-0.000
min	3495.713-7917.625=-4421.913
max	3497.038-7918.954=-4421.916

*mean*	3772.375-3273.375=499.000
σ	2312.143-1823.701=488.442
min	720.000-810.000=-90.000
max	7411.000-5619.000=1792.000

*mean*	1772.865-3600.469=-1827.605
σ	640.512-1037.694=-397.182
min	1388.090-3088.426=-1700.336
max	2825.989-5989.479=-3163.490

CSV - unindexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on unindexed, dense

*mean*	62.077
σ	0.002
min	62.076
max	62.080

*mean*	4042.000
σ	2007.759
min	1218.000
max	7146.000

*mean*	90.916
σ	20.690
min	71.628
max	121.571

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

*mean*	107.854
σ	0.000
min	107.853
max	107.854

*mean*	4199.000
σ	1955.907
min	1483.000
max	7411.000

*mean*	133.962
σ	13.328
min	125.713
max	166.277

op=column_set() on unindexed, dense, repeat

*mean*	62.082
σ	0.000
min	62.081
max	62.082

*mean*	4427.750
σ	2228.626
min	1483.000
max	7411.000

*mean*	123.211
σ	228.142
min	40.862
max	687.824

op=vertical_lookup_list() on unindexed missing Int

*mean*	40.946
σ	0.002
min	40.945
max	40.950

*mean*	7146.000
σ	0.000
min	7146.000
max	7146.000

*mean*	62.091
σ	2.262
min	60.621
max	67.641

op=vertical_lookup_list() repeated on unindexed missing Int

*mean*	40.948
σ	0.002
min	40.947
max	40.951

*mean*	7411.000
σ	0.000
min	7411.000
max	7411.000

*mean*	92.014
σ	198.420
min	21.009
max	583.066

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	71.308-66.688=4.620
σ	0.002-0.002=-0.000
min	71.307-66.686=4.621
max	71.311-66.691=4.620

*mean*	7411.000-7146.000=265.000
σ	0.000
min	7411.000-7146.000=265.000
max	7411.000-7146.000=265.000

*mean*	58.751-98.955=-40.204
σ	8.876-0.859=8.017
min	54.077-97.801=-43.725
max	80.592-100.687=-20.095

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	4646.850-14217.171=-9570.320
σ	0.013-4.304=-4.290
min	4646.845-14215.575=-9568.730
max	4646.883-14227.820=-9580.937

*mean*	4199.000-4042.000=157.000
σ	1955.907-2007.759=-51.851
min	1483.000-1218.000=265.000
max	7411.000-7146.000=265.000

*mean*	3274.374-8258.907=-4984.533
σ	728.289-1494.462=-766.173
min	2515.867-6021.207=-3505.339
max	4381.406-10234.269=-5852.863

op=vertical_lookup_list() on indexed

*mean*	1973.851-13159.109=-11185.257
σ	0.002-0.002=0.000
min	1973.849-13159.106=-11185.256
max	1973.853-13159.110=-11185.256

*mean*	7411.000-7146.000=265.000
σ	0.000
min	7411.000-7146.000=265.000
max	7411.000-7146.000=265.000

*mean*	1029.230-5463.826=-4434.597
σ	213.677-1081.275=-867.598
min	927.478-4997.942=-4070.464
max	1538.372-8110.175=-6571.803

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

*mean*	905.105
σ	0.002
min	905.102
max	905.108

*mean*	7411.000
σ	0.000
min	7411.000
max	7411.000

*mean*	402.463
σ	43.560
min	380.415
max	510.021

CSV internal benchmark: pointedIndexFromKvs

Factor

allocated MiB

peak allocated MiB

time (ms)

op=pointedIndexFromKvs

rows=200000

*mean*	148.144-172.559=-24.414
σ	0.001
min	148.144-172.558=-24.414
max	148.148-172.562=-24.414

*mean*	476.000-478.000=-2.000
σ	0.000
min	476.000-478.000=-2.000
max	476.000-478.000=-2.000

*mean*	399.755-382.123=17.631
σ	21.259-13.516=7.744
min	371.136-350.167=20.969
max	425.834-393.091=32.744

op=pointedIndexFromKvs

rows=400000

*mean*	308.493-357.322=-48.828
σ	0.001
min	308.493-357.321=-48.828
max	308.497-357.325=-48.828

*mean*	562.000
σ	0.000
min	562.000
max	562.000

*mean*	731.527-758.928=-27.400
σ	81.501-53.702=27.800
min	611.090-636.887=-25.797
max	832.276-797.773=34.503

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	963.972-1024.297=-60.325
σ	1.820-0.759=1.061
min	963.263-1023.822=-60.558
max	971.667-1027.437=-55.770

*mean*	1049.300-1049.350=-0.050
σ	296.214-316.583=-20.369
min	576.000-571.000=5.000
max	1467.000-1518.000=-51.000

*mean*	1.298-1.574=-0.276
σ	0.119-0.094=0.025
min	1.196-1.494=-0.299
max	1.566-1.779=-0.213

Parser: Comma Sep

Factor

allocated MiB

peak allocated MiB

time (ms)

name=ambiguous_item.art

*mean*	0.913-0.913=0.000
σ	0.020
min	0.903-0.903=0.000
max	0.949-0.949=0.000

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.391-0.403=-0.012
σ	0.502-0.519=-0.017
min	0.136-0.146=-0.010
max	1.286-1.329=-0.043

name=error_case.art

*mean*	2.340-2.339=0.001
σ	0.012
min	2.334-2.333=0.001
max	2.362-2.361=0.001

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.476-0.477=-0.002
σ	0.326-0.321=0.005
min	0.323-0.316=0.007
max	1.058-1.051=0.007

name=heavy_item.art

*mean*	1.523-1.522=0.000
σ	0.002
min	1.521-1.521=0.000
max	1.525-1.525=0.000

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.223-0.292=-0.069
σ	0.021-0.187=-0.166
min	0.206-0.193=0.013
max	0.260-0.625=-0.366

name=nested_use.art

*mean*	2.358-2.357=0.001
σ	0.002
min	2.357-2.356=0.001
max	2.361-2.360=0.001

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.332-0.330=0.002
σ	0.022-0.021=0.001
min	0.313-0.312=0.000
max	0.362-0.366=-0.004

Parser: Real World

Factor

allocated MiB

peak allocated MiB

time (sec)

name=aon_gpf25_7k_loc.art

*mean*	964.971-964.840=0.130
σ	0.011
min	964.965-964.835=0.130
max	964.989-964.859=0.130

*mean*	436.000-437.000=-1.000
σ	2.236-6.595=-4.359
min	432.000-431.000=1.000
max	437.000-444.000=-7.000

*mean*	0.581-0.547=0.034
σ	0.028-0.062=-0.034
min	0.534-0.447=0.087
max	0.606-0.607=-0.001

name=cdr_enhanced_4k_loc.art

*mean*	885.898-885.820=0.078
σ	0.002
min	885.897-885.819=0.078
max	885.901-885.823=0.078

*mean*	443.000-444.000=-1.000
σ	0.000
min	443.000-444.000=-1.000
max	443.000-444.000=-1.000

*mean*	0.494-0.456=0.037
σ	0.030-0.041=-0.012
min	0.465-0.416=0.049
max	0.530-0.518=0.012

Parser: Record Parsing

Factor

allocated MiB

peak allocated MiB

time (ms)

name=record_render_large_success.art

*mean*	7.710-7.709=0.001
σ	0.002
min	7.709-7.708=0.001
max	7.713-7.712=0.001

*mean*	443.000-444.000=-1.000
σ	0.000
min	443.000-444.000=-1.000
max	443.000-444.000=-1.000

*mean*	2.523-1.931=0.593
σ	0.217-0.063=0.154
min	1.842-1.799=0.043
max	2.887-2.122=0.765

name=record_render_large_syntax_err.art

*mean*	7.658-7.657=0.001
σ	0.002
min	7.657-7.656=0.001
max	7.661-7.660=0.001

*mean*	443.000-444.000=-1.000
σ	0.000
min	443.000-444.000=-1.000
max	443.000-444.000=-1.000

*mean*	2.582-1.938=0.644
σ	0.079-0.070=0.009
min	2.458-1.802=0.656
max	2.904-2.221=0.683

name=record_render_success.art

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

*mean*	443.000-444.000=-1.000
σ	0.000
min	443.000-444.000=-1.000
max	443.000-444.000=-1.000

*mean*	0.315-0.304=0.011
σ	0.015-0.010=0.005
min	0.295-0.288=0.008
max	0.399-0.351=0.048

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*	443.000-444.000=-1.000
σ	0.000
min	443.000-444.000=-1.000
max	443.000-444.000=-1.000

*mean*	0.296-0.289=0.006
σ	0.006-0.007=-0.001
min	0.281-0.276=0.005
max	0.326-0.318=0.008

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.590
σ	11.908
min	0.574
max	85.110

*mean*	466.995
σ	20.157
min	408.000
max	482.000

*mean*	0.027
σ	0.029
min	0.001
max	0.195

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	278.650-298.915=-20.265
σ	1.055-1.010=0.045
min	278.277-298.546=-20.268
max	281.650-301.787=-20.137

*mean*	443.600-441.500=2.100
σ	17.709-14.034=3.675
min	417.000-420.000=-3.000
max	470.000-463.000=7.000

*mean*	0.584-0.585=-0.000
σ	0.029-0.029=0.001
min	0.527-0.534=-0.007
max	0.644-0.612=0.032

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

*mean*	173.738-236.681=-62.943
σ	0.000-0.000=0.000
min	173.738-236.681=-62.943
max	173.738-236.681=-62.943

*mean*	843.000-1065.000=-222.000
σ	0.000-33.941=-33.941
min	843.000-981.000=-138.000
max	843.000-1077.000=-234.000

*mean*	219.029-204.569=14.460
σ	28.318-4.270=24.048
min	189.235-198.898=-9.663
max	252.638-211.470=41.168

phase=macro expansion

*mean*	6.130-6.133=-0.004
σ	0.000
min	6.130-6.133=-0.004
max	6.130-6.133=-0.004

*mean*	842.375-1065.000=-222.625
σ	1.768-33.941=-32.173
min	838.000-981.000=-143.000
max	843.000-1077.000=-234.000

*mean*	9.513-9.659=-0.146
σ	0.130-3.211=-3.081
min	9.272-6.462=2.810
max	9.685-15.380=-5.695

phase=parser

*mean*	1042.434-1042.359=0.074
σ	0.000-0.000=-0.000
min	1042.434-1042.359=0.075
max	1042.434-1042.360=0.074

*mean*	842.375-1065.000=-222.625
σ	1.768-33.941=-32.173
min	838.000-981.000=-143.000
max	843.000-1077.000=-234.000

*mean*	601.466-520.555=80.911
σ	4.875-147.409=-142.534
min	594.661-380.056=214.606
max	607.223-835.238=-228.015

phase=processProdDef

*mean*	2243.975-4850.767=-2606.792
σ	0.000-0.000=-0.000
min	2243.975-4850.767=-2606.792
max	2243.975-4850.768=-2606.793

*mean*	843.000-1077.000=-234.000
σ	0.000
min	843.000-1077.000=-234.000
max	843.000-1077.000=-234.000

*mean*	2616.447-5026.806=-2410.358
σ	419.285-530.666=-111.381
min	1898.950-3936.469=-2037.519
max	3209.709-5545.691=-2335.982

phase=renaming

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

*mean*	842.375-1065.000=-222.625
σ	1.768-33.941=-32.173
min	838.000-981.000=-143.000
max	843.000-1077.000=-234.000

*mean*	40.263-36.294=3.969
σ	0.300-13.910=-13.610
min	39.713-20.197=19.517
max	40.593-56.227=-15.634

phase=type checker

*mean*	989.755-990.450=-0.694
σ	0.066-0.071=-0.005
min	989.658-990.344=-0.687
max	989.845-990.563=-0.718

*mean*	842.375-1065.000=-222.625
σ	1.768-33.941=-32.173
min	838.000-981.000=-143.000
max	843.000-1077.000=-234.000

*mean*	688.265-794.193=-105.928
σ	15.794-183.525=-167.731
min	670.414-649.296=21.118
max	720.712-1151.536=-430.824

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	282.393-293.821=-11.428
σ	0.025-0.038=-0.013
min	282.372-293.768=-11.396
max	282.426-293.860=-11.434

*mean*	442.400-441.800=0.600
σ	0.548-1.095=-0.548
min	442.000-441.000=1.000
max	443.000

*mean*	0.384-0.401=-0.018
σ	0.010-0.009=0.001
min	0.374-0.393=-0.019
max	0.398-0.416=-0.018

iters=5

new-facts=1

prior-facts=6402

*mean*	1267.098-1320.214=-53.116
σ	0.085-0.042=0.043
min	1267.002-1320.153=-53.151
max	1267.232-1320.257=-53.025

*mean*	1110.800-1095.400=15.400
σ	171.491-185.784=-14.293
min	896.000-838.000=58.000
max	1334.000-1316.000=18.000

*mean*	1.965-2.272=-0.307
σ	0.123-0.136=-0.013
min	1.859-2.171=-0.312
max	2.100-2.509=-0.410

iters=5

new-facts=6402

prior-facts=1

*mean*	1506.144-1560.621=-54.477
σ	2.956-6.223=-3.266
min	1504.638-1557.641=-53.003
max	1511.422-1571.748=-60.326

*mean*	628.000-618.400=9.600
σ	89.499-81.678=7.821
min	505.000-494.000=11.000
max	727.000-713.000=14.000

*mean*	2.407-2.305=0.102
σ	0.379-0.133=0.246
min	1.959-2.213=-0.254
max	2.810-2.527=0.283

iters=5

new-facts=6402

prior-facts=6402

*mean*	1829.117-1882.168=-53.052
σ	0.075-0.048=0.027
min	1829.032-1882.113=-53.082
max	1829.229-1882.230=-53.002

*mean*	1756.000-1723.200=32.800
σ	210.912-200.282=10.631
min	1486.000-1452.000=34.000
max	1958.000-1913.000=45.000

*mean*	3.216-3.028=0.188
σ	0.323-0.100=0.224
min	2.836-2.895=-0.058
max	3.577-3.167=0.410

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.651-1.804=-0.153
σ	0.175-0.119=0.055
min	1.489-1.673=-0.184
max	1.855-1.938=-0.083

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	397.698-452.080=-54.382
σ	518.051-582.721=-64.670
min	138.670-160.718=-22.048
max	1174.774-1326.161=-151.387

*mean*	97.750-102.250=-4.500
σ	7.500-8.500=-1.000
min	94.000-98.000=-4.000
max	109.000-115.000=-6.000

*mean*	444.000-442.000=2.000
σ	0.000
min	444.000-442.000=2.000
max	444.000-442.000=2.000

*mean*	0.468-0.535=-0.066
σ	0.459-0.533=-0.074
min	0.236-0.252=-0.016
max	1.157-1.334=-0.177

policies=20

*mean*	1386.834-1607.510=-220.675
σ	0.158-0.415=-0.257
min	1386.727-1607.224=-220.497
max	1387.070-1608.124=-221.055

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

*mean*	444.000-450.000=-6.000
σ	0.000-9.238=-9.238
min	444.000-442.000=2.000
max	444.000-458.000=-14.000

*mean*	2.326-2.688=-0.362
σ	0.006-0.008=-0.002
min	2.319-2.680=-0.361
max	2.333-2.696=-0.363

policies=200

*mean*	13876.899-16083.437=-2206.538
σ	0.116-0.106=0.010
min	13876.790-16083.329=-2206.539
max	13877.063-16083.581=-2206.517

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

*mean*	493.500-499.250=-5.750
σ	5.000-4.113=0.887
min	488.000-494.000=-6.000
max	500.000-504.000=-4.000

*mean*	23.522-27.147=-3.624
σ	0.140-0.102=0.038
min	23.397-27.040=-3.643
max	23.645-27.283=-3.638