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*	54.701-54.715=-0.014
σ	0.363-0.365=-0.002
min	54.564-54.575=-0.011
max	55.734-55.754=-0.020

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

*mean*	0.140-0.139=0.001
σ	0.003-0.004=-0.001
min	0.136-0.136=-0.000
max	0.146-0.148=-0.002

cache=y

dps=1

iters=10

policies=100

*mean*	43.779-43.778=0.001
σ	0.008-0.006=0.002
min	43.768-43.764=0.004
max	43.793-43.784=0.009

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

*mean*	0.124-0.121=0.002
σ	0.004-0.004=-0.000
min	0.121-0.116=0.005
max	0.132-0.128=0.004

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*	4591.750-4430.125=161.625
σ	2245.893-2224.026=21.867
min	1483.000
max	7381.000-7402.000=-21.000

*mean*	130.807-12.314=118.493
σ	334.597-0.663=333.934
min	11.979-11.811=0.168
max	958.890-13.834=945.057

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*	4591.750-4608.875=-17.125
σ	2245.893-2255.538=-9.645
min	1483.000
max	7381.000-7402.000=-21.000

*mean*	13.497-143.594=-130.097
σ	3.706-370.979=-367.273
min	11.604-11.456=0.148
max	22.605-1061.719=-1039.113

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

*mean*	7381.000-7402.000=-21.000
σ	0.000
min	7381.000-7402.000=-21.000
max	7381.000-7402.000=-21.000

*mean*	11.533-11.423=0.110
σ	1.393-0.912=0.481
min	10.609-10.785=-0.176
max	14.900-13.531=1.369

op=table_records(), repeat

*mean*	41.925-41.925=0.000
σ	0.001-0.001=0.000
min	41.925-41.924=0.000
max	41.928-41.928=0.000

*mean*	4184.000-4202.375=-18.375
σ	1942.816-1952.992=-10.176
min	1483.000
max	7381.000-7402.000=-21.000

*mean*	11.322-11.293=0.029
σ	1.031-0.837=0.194
min	10.718-10.593=0.125
max	13.828-13.310=0.519

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

*mean*	27.634-27.633=0.001
σ	0.137-0.137=0.000
min	27.585-27.584=0.001
max	27.973-27.971=0.001

*mean*	4184.000-4202.375=-18.375
σ	1942.816-1952.992=-10.176
min	1483.000
max	7381.000-7402.000=-21.000

*mean*	8.718-8.703=0.015
σ	0.531-0.673=-0.142
min	7.891-7.702=0.189
max	9.726-10.135=-0.409

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*	4184.000-4202.375=-18.375
σ	1942.816-1952.992=-10.176
min	1483.000
max	7381.000-7402.000=-21.000

*mean*	6.752-6.779=-0.027
σ	0.448-0.486=-0.038
min	6.351-6.227=0.124
max	7.779-7.876=-0.097

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*	4591.750-4608.875=-17.125
σ	2245.893-2255.538=-9.645
min	1483.000
max	7381.000-7402.000=-21.000

*mean*	6.466-6.432=0.034
σ	1.154-1.103=0.051
min	5.980-5.738=0.242
max	9.317-9.141=0.176

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.962-25.961=0.002
σ	0.000-0.001=-0.000
min	25.962-25.961=0.001
max	25.964-25.962=0.001

*mean*	4591.750-4608.875=-17.125
σ	2245.893-2255.538=-9.645
min	1483.000
max	7381.000-7402.000=-21.000

*mean*	6.208-6.191=0.017
σ	1.034-1.042=-0.007
min	5.725-5.438=0.287
max	8.757-8.675=0.083

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*	7381.000-7402.000=-21.000
σ	0.000
min	7381.000-7402.000=-21.000
max	7381.000-7402.000=-21.000

*mean*	347.451-347.548=-0.098
σ	3.040-2.947=0.092
min	342.030-342.516=-0.486
max	350.572-351.544=-0.972

op=load_product(), with indexes

*mean*	3495.846-3495.855=-0.009
σ	0.456-0.455=0.001
min	3495.685-3495.694=-0.009
max	3496.976-3496.982=-0.006

*mean*	3759.000-3773.625=-14.625
σ	2298.408-2310.004=-11.596
min	719.000-720.000=-1.000
max	7381.000-7402.000=-21.000

*mean*	1703.735-1760.952=-57.217
σ	575.846-679.655=-103.809
min	1393.856-1386.178=7.678
max	2848.787-2949.925=-101.138

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.001
σ	0.000-0.000=0.000
min	107.841-107.841=0.000
max	107.842-107.841=0.001

*mean*	4412.875-4202.375=210.500
σ	2215.450-1952.992=262.458
min	1483.000
max	7381.000-7402.000=-21.000

*mean*	196.244-130.776=65.467
σ	174.893-4.365=170.528
min	126.203-127.030=-0.827
max	628.623-139.103=489.519

op=column_set() on unindexed, dense, repeat

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

*mean*	4412.875-4430.125=-17.250
σ	2215.450-2224.026=-8.576
min	1483.000
max	7381.000-7402.000=-21.000

*mean*	43.402-100.028=-56.626
σ	1.410-161.778=-160.367
min	41.330-41.458=-0.127
max	45.243-500.401=-455.158

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*	7381.000-7402.000=-21.000
σ	0.000
min	7381.000-7402.000=-21.000
max	7381.000-7402.000=-21.000

*mean*	22.243-134.106=-111.863
σ	1.445-313.919=-312.473
min	21.534-21.593=-0.059
max	25.769-910.990=-885.221

op=vertical_lookup_row_list() on unindexed small unique Int

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

*mean*	7381.000-7402.000=-21.000
σ	0.000
min	7381.000-7402.000=-21.000
max	7381.000-7402.000=-21.000

*mean*	62.906-59.020=3.887
σ	18.812-5.870=12.941
min	55.061-55.408=-0.347
max	109.100-71.969=37.131

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	4646.842-4646.842=0.000
σ	0.014-0.014=-0.000
min	4646.837-4646.837=0.000
max	4646.876-4646.876=0.000

*mean*	4184.000-4202.375=-18.375
σ	1942.816-1952.992=-10.176
min	1483.000
max	7381.000-7402.000=-21.000

*mean*	3399.087-3202.542=196.545
σ	825.835-718.046=107.789
min	2486.269-2520.807=-34.537
max	4477.482-4318.583=158.899

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*	7381.000-7402.000=-21.000
σ	0.000
min	7381.000-7402.000=-21.000
max	7381.000-7402.000=-21.000

*mean*	1028.019-1017.822=10.198
σ	272.197-205.704=66.493
min	902.383-922.359=-19.976
max	1690.855-1514.653=176.203

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*	7381.000-7402.000=-21.000
σ	0.000
min	7381.000-7402.000=-21.000
max	7381.000-7402.000=-21.000

*mean*	387.297-402.390=-15.093
σ	9.477-42.196=-32.719
min	367.164-381.035=-13.870
max	398.350-506.551=-108.201

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-479.000=-2.000
σ	0.000
min	477.000-479.000=-2.000
max	477.000-479.000=-2.000

*mean*	378.082-368.416=9.667
σ	28.895-24.207=4.688
min	312.712-323.188=-10.477
max	399.446-398.693=0.753

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	562.000-563.250=-1.250
σ	0.000-1.035=-1.035
min	562.000
max	562.000-564.000=-2.000

*mean*	717.662-750.274=-32.612
σ	41.618-64.358=-22.739
min	663.057-667.536=-4.479
max	788.289-838.881=-50.592

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	964.557-964.563=-0.006
σ	1.880-1.879=0.002
min	963.833-963.843=-0.010
max	972.512-972.511=0.001

*mean*	1040.650-1042.950=-2.300
σ	310.939-318.051=-7.112
min	535.000-557.000=-22.000
max	1535.000-1512.000=23.000

*mean*	1.269-1.313=-0.045
σ	0.097-0.171=-0.074
min	1.175-1.191=-0.016
max	1.583-1.823=-0.240

Parser: Comma Sep

Factor

allocated MiB

peak allocated MiB

time (ms)

name=ambiguous_item.art

*mean*	0.931-0.913=0.018
σ	0.020-0.020=0.000
min	0.921-0.903=0.018
max	0.967-0.949=0.018

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.301-0.357=-0.056
σ	0.291-0.313=-0.022
min	0.144-0.142=0.002
max	0.818-0.852=-0.033

name=error_case.art

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

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.472-0.475=-0.003
σ	0.318-0.319=-0.001
min	0.320-0.320=0.000
max	1.040-1.044=-0.004

name=heavy_item.art

*mean*	1.524-1.523=0.001
σ	0.002
min	1.523-1.522=0.001
max	1.526-1.526=0.001

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.219-0.219=0.000
σ	0.022-0.024=-0.002
min	0.199-0.199=0.001
max	0.256-0.260=-0.004

name=nested_use.art

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

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.336-0.335=0.000
σ	0.025-0.017=0.009
min	0.317-0.318=-0.001
max	0.380-0.362=0.018

Parser: Real World

Factor

allocated MiB

peak allocated MiB

time (sec)

name=aon_gpf25_7k_loc.art

*mean*	965.657-964.979=0.678
σ	0.009
min	965.652-964.974=0.678
max	965.674-964.996=0.678

*mean*	433.800-431.000=2.800
σ	4.764-0.000=4.764
min	431.000
max	442.000-431.000=11.000

*mean*	0.561-0.589=-0.027
σ	0.052-0.034=0.017
min	0.479-0.529=-0.050
max	0.607-0.610=-0.004

name=cdr_enhanced_4k_loc.art

*mean*	886.765-886.001=0.763
σ	0.002
min	886.764-886.000=0.763
max	886.767-886.004=0.763

*mean*	442.000-431.000=11.000
σ	0.000
min	442.000-431.000=11.000
max	442.000-431.000=11.000

*mean*	0.520-0.450=0.069
σ	0.014-0.073=-0.059
min	0.498-0.372=0.126
max	0.536-0.529=0.007

Parser: Record Parsing

Factor

allocated MiB

peak allocated MiB

time (ms)

name=record_render_large_success.art

*mean*	7.720-7.719=0.001
σ	0.002
min	7.719-7.718=0.001
max	7.723-7.722=0.001

*mean*	442.000-431.000=11.000
σ	0.000
min	442.000-431.000=11.000
max	442.000-431.000=11.000

*mean*	2.178-2.646=-0.468
σ	0.386-0.129=0.257
min	1.756-2.506=-0.751
max	2.934-3.353=-0.419

name=record_render_large_syntax_err.art

*mean*	7.668-7.667=0.001
σ	0.002
min	7.668-7.666=0.001
max	7.671-7.670=0.001

*mean*	442.000-431.000=11.000
σ	0.000
min	442.000-431.000=11.000
max	442.000-431.000=11.000

*mean*	2.507-2.632=-0.125
σ	0.311-0.099=0.211
min	1.847-2.447=-0.600
max	3.289-2.923=0.367

name=record_render_success.art

*mean*	2.292-2.290=0.001
σ	0.002
min	2.291-2.290=0.001
max	2.295-2.294=0.001

*mean*	442.000-431.000=11.000
σ	0.000
min	442.000-431.000=11.000
max	442.000-431.000=11.000

*mean*	0.308-0.305=0.003
σ	0.009-0.010=-0.001
min	0.290-0.288=0.002
max	0.362-0.356=0.005

name=record_render_syntax_err.art

*mean*	2.167-2.166=0.001
σ	0.002
min	2.166-2.165=0.001
max	2.170-2.169=0.001

*mean*	442.000-431.000=11.000
σ	0.000
min	442.000-431.000=11.000
max	442.000-431.000=11.000

*mean*	0.296-0.290=0.006
σ	0.007-0.011=-0.004
min	0.282-0.276=0.006
max	0.335-0.367=-0.032

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.830-11.589=0.240
σ	12.271-11.739=0.532
min	0.574-0.574=0.001
max	91.873-98.285=-6.411

*mean*	462.543-468.592=-6.049
σ	20.380-20.217=0.163
min	406.000-408.000=-2.000
max	479.000-483.000=-4.000

*mean*	0.027-0.027=0.000
σ	0.030-0.029=0.001
min	0.001-0.001=-0.000
max	0.221-0.235=-0.013

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	278.942-279.066=-0.123
σ	1.001-1.045=-0.044
min	278.575-278.675=-0.100
max	281.789-282.038=-0.249

*mean*	444.500-443.400=1.100
σ	18.650-15.457=3.193
min	413.000-426.000=-13.000
max	476.000-472.000=4.000

*mean*	0.587-0.558=0.029
σ	0.015-0.040=-0.025
min	0.562-0.492=0.069
max	0.621-0.620=0.001

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*	819.000-873.000=-54.000
σ	55.744-0.000=55.744
min	704.000-873.000=-169.000
max	848.000-873.000=-25.000

*mean*	146.180-239.293=-93.114
σ	9.883-16.195=-6.312
min	136.621-203.071=-66.450
max	162.895-249.764=-86.869

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*	803.250-873.000=-69.750
σ	63.713-0.000=63.713
min	702.000-873.000=-171.000
max	848.000-873.000=-25.000

*mean*	9.244-6.303=2.941
σ	0.501-1.084=-0.584
min	8.884-5.812=3.071
max	10.441-8.981=1.460

phase=parser

*mean*	1042.876-1042.134=0.742
σ	0.000-0.000=0.000
min	1042.876-1042.134=0.742
max	1042.876-1042.134=0.742

*mean*	803.250-873.000=-69.750
σ	63.713-0.000=63.713
min	702.000-873.000=-171.000
max	848.000-873.000=-25.000

*mean*	607.396-402.305=205.091
σ	10.533-75.767=-65.234
min	590.041-372.987=217.054
max	615.479-589.765=25.715

phase=processProdDef

*mean*	2241.195-2243.717=-2.523
σ	0.000
min	2241.195-2243.717=-2.523
max	2241.195-2243.717=-2.523

*mean*	819.000-873.000=-54.000
σ	55.744-0.000=55.744
min	704.000-873.000=-169.000
max	848.000-873.000=-25.000

*mean*	3095.339-2828.154=267.185
σ	209.868-406.980=-197.111
min	2617.327-2223.557=393.770
max	3284.003-3220.049=63.954

phase=renaming

*mean*	21.433-21.436=-0.003
σ	0.000
min	21.433-21.436=-0.003
max	21.433-21.436=-0.003

*mean*	803.250-873.000=-69.750
σ	63.713-0.000=63.713
min	702.000-873.000=-171.000
max	848.000-873.000=-25.000

*mean*	44.897-35.341=9.555
σ	3.936-2.473=1.463
min	39.383-32.144=7.239
max	49.515-39.688=9.827

phase=type checker

*mean*	958.820-958.958=-0.137
σ	0.047
min	958.797-958.934=-0.137
max	958.922-959.059=-0.137

*mean*	803.250-873.000=-69.750
σ	63.713-0.000=63.713
min	702.000-873.000=-171.000
max	848.000-873.000=-25.000

*mean*	679.499-649.472=30.027
σ	37.814-10.153=27.661
min	641.709-636.144=5.565
max	766.942-661.337=105.606

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	282.854-282.856=-0.002
σ	0.039-0.036=0.004
min	282.800-282.804=-0.004
max	282.894-282.891=0.003

*mean*	439.400-442.800=-3.400
σ	3.286-1.095=2.191
min	437.000-442.000=-5.000
max	443.000-444.000=-1.000

*mean*	0.375-0.379=-0.004
σ	0.005-0.004=0.000
min	0.371-0.376=-0.005
max	0.384-0.387=-0.003

iters=5

new-facts=1

prior-facts=6402

*mean*	1268.049-1268.051=-0.002
σ	0.085-0.107=-0.023
min	1267.954-1267.952=0.002
max	1268.170-1268.226=-0.056

*mean*	1088.400-1091.200=-2.800
σ	175.164-169.655=5.509
min	850.000-890.000=-40.000
max	1298.000-1323.000=-25.000

*mean*	1.878-2.010=-0.132
σ	0.117-0.100=0.017
min	1.786-1.886=-0.100
max	2.070-2.127=-0.057

iters=5

new-facts=6402

prior-facts=1

*mean*	1507.015-1507.027=-0.013
σ	2.977-2.950=0.028
min	1505.437-1505.475=-0.038
max	1512.327-1512.291=0.036

*mean*	613.600-623.200=-9.600
σ	78.236-86.791=-8.556
min	493.000-494.000=-1.000
max	701.000-725.000=-24.000

*mean*	2.220-2.192=0.027
σ	0.237-0.114=0.123
min	2.076-2.095=-0.019
max	2.637-2.375=0.262

iters=5

new-facts=6402

prior-facts=6402

*mean*	1830.062-1830.070=-0.009
σ	0.057-0.044=0.013
min	1829.993-1830.012=-0.019
max	1830.119-1830.116=0.004

*mean*	1739.400-1714.200=25.200
σ	249.675-189.297=60.379
min	1424.000-1455.000=-31.000
max	2054.000-1889.000=165.000

*mean*	2.816-2.980=-0.164
σ	0.168-0.325=-0.156
min	2.607-2.636=-0.029
max	3.041-3.517=-0.477

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.633-1.754=-0.122
σ	0.187-0.082=0.105
min	1.307-1.669=-0.362
max	1.772-1.873=-0.102

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	406.198-406.391=-0.193
σ	509.799-510.178=-0.379
min	151.295-151.299=-0.004
max	1170.897-1171.659=-0.762

*mean*	101.750
σ	7.500
min	98.000
max	113.000

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

*mean*	0.511-0.509=0.002
σ	0.524-0.509=0.015
min	0.244-0.249=-0.005
max	1.297-1.273=0.024

policies=20

*mean*	1513.141-1513.165=-0.024
σ	0.264-0.305=-0.041
min	1512.963-1512.974=-0.010
max	1513.531-1513.618=-0.087

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	443.500-442.750=0.750
σ	5.000-6.500=-1.500
min	436.000-433.000=3.000
max	446.000

*mean*	2.486-2.549=-0.062
σ	0.016-0.056=-0.040
min	2.474-2.511=-0.037
max	2.510-2.631=-0.122

policies=200

*mean*	15140.026-15139.950=0.076
σ	0.110-0.177=-0.067
min	15139.897-15139.800=0.097
max	15140.164-15140.180=-0.017

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	494.750-496.500=-1.750
σ	3.862-3.873=-0.011
min	491.000-492.000=-1.000
max	500.000-501.000=-1.000

*mean*	25.081-25.331=-0.250
σ	0.106-0.094=0.012
min	24.992-25.231=-0.238
max	25.233-25.449=-0.216