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.664=-111.781
σ	0.000
min	446.883-558.664=-111.781
max	446.883-558.664=-111.781

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.860-54.890=-0.030
σ	0.357-0.357=0.001
min	54.724-54.754=-0.030
max	55.876-55.905=-0.029

*mean*	416.000-415.000=1.000
σ	0.000
min	416.000-415.000=1.000
max	416.000-415.000=1.000

*mean*	0.137-0.150=-0.013
σ	0.006-0.011=-0.004
min	0.131-0.135=-0.005
max	0.149-0.160=-0.011

cache=y

dps=1

iters=10

policies=100

*mean*	43.847-43.858=-0.011
σ	0.007-0.006=0.001
min	43.834-43.848=-0.014
max	43.859-43.866=-0.007

*mean*	416.000-415.000=1.000
σ	0.000
min	416.000-415.000=1.000
max	416.000-415.000=1.000

*mean*	0.125-0.133=-0.008
σ	0.005-0.009=-0.004
min	0.118-0.122=-0.004
max	0.133-0.147=-0.014

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*	4419.500-4041.625=377.875
σ	2227.590-2006.816=220.774
min	1487.000-1219.000=268.000
max	7405.000-7140.000=265.000

*mean*	12.868-13.475=-0.607
σ	3.446-1.750=1.696
min	11.386-12.445=-1.060
max	21.391-17.748=3.642

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*	4601.125-4041.625=559.500
σ	2258.516-2006.816=251.699
min	1487.000-1219.000=268.000
max	7405.000-7140.000=265.000

*mean*	179.920-13.690=166.230
σ	471.166-1.836=469.330
min	11.248-12.223=-0.975
max	1345.971-18.075=1327.896

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*	7405.000-7140.000=265.000
σ	0.000
min	7405.000-7140.000=265.000
max	7405.000-7140.000=265.000

*mean*	10.539-15.090=-4.551
σ	0.124-0.115=0.010
min	10.334-14.962=-4.628
max	10.760-15.296=-4.536

op=table_records(), repeat

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

*mean*	4190.250-4041.625=148.625
σ	1954.021-2006.816=-52.795
min	1487.000-1219.000=268.000
max	7405.000-7140.000=265.000

*mean*	11.022-14.648=-3.626
σ	1.780-1.372=0.408
min	10.214-11.965=-1.751
max	15.416-16.282=-0.866

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

*mean*	27.655-27.653=0.002
σ	0.136-0.136=0.000
min	27.606-27.604=0.002
max	27.993-27.991=0.002

*mean*	4190.250-4041.625=148.625
σ	1954.021-2006.816=-52.795
min	1487.000-1219.000=268.000
max	7405.000-7140.000=265.000

*mean*	8.534-9.893=-1.358
σ	1.258-1.525=-0.267
min	7.585-8.630=-1.045
max	11.598-12.544=-0.946

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*	4190.250-4041.625=148.625
σ	1954.021-2006.816=-52.795
min	1487.000-1219.000=268.000
max	7405.000-7140.000=265.000

*mean*	6.563-7.648=-1.085
σ	0.932-1.306=-0.374
min	5.953-6.681=-0.728
max	8.844-10.506=-1.663

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.678=0.010

*mean*	4601.125-4041.625=559.500
σ	2258.516-2006.816=251.699
min	1487.000-1219.000=268.000
max	7405.000-7140.000=265.000

*mean*	6.062-6.219=-0.158
σ	0.975-0.570=0.405
min	5.438-5.652=-0.213
max	7.967-7.576=0.391

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*	4601.125-4041.625=559.500
σ	2258.516-2006.816=251.699
min	1487.000-1219.000=268.000
max	7405.000-7140.000=265.000

*mean*	5.881-6.021=-0.139
σ	1.015-0.587=0.427
min	5.266-5.607=-0.342
max	8.119-7.452=0.667

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*	7405.000-7140.000=265.000
σ	0.000
min	7405.000-7140.000=265.000
max	7405.000-7140.000=265.000

*mean*	346.308-362.790=-16.482
σ	1.850-42.668=-40.818
min	342.373-345.159=-2.786
max	348.289-468.301=-120.012

op=load_product(), with indexes

*mean*	3495.878-7917.793=-4421.914
σ	0.469-0.469=-0.001
min	3495.713-7917.624=-4421.912
max	3497.038-7918.954=-4421.916

*mean*	3765.625-3274.500=491.125
σ	2308.847-1823.440=485.407
min	721.000-810.000=-89.000
max	7405.000-5622.000=1783.000

*mean*	1763.119-3686.639=-1923.520
σ	629.015-1083.458=-454.444
min	1388.788-3086.782=-1697.995
max	2793.689-6179.639=-3385.950

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*	4041.625
σ	2006.816
min	1219.000
max	7140.000

*mean*	88.802
σ	18.457
min	71.172
max	113.883

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

*mean*	107.854
σ	0.000
min	107.854
max	107.854

*mean*	4190.250
σ	1954.021
min	1487.000
max	7405.000

*mean*	134.913
σ	17.303
min	124.710
max	177.349

op=column_set() on unindexed, dense, repeat

*mean*	62.082
σ	0.000
min	62.081
max	62.082

*mean*	4419.500
σ	2227.590
min	1487.000
max	7405.000

*mean*	181.375
σ	390.860
min	41.103
max	1148.696

op=vertical_lookup_list() on unindexed missing Int

*mean*	40.946
σ	0.002
min	40.945
max	40.950

*mean*	7140.000
σ	0.000
min	7140.000
max	7140.000

*mean*	61.562
σ	2.476
min	60.314
max	67.633

op=vertical_lookup_list() repeated on unindexed missing Int

*mean*	40.948
σ	0.002
min	40.947
max	40.951

*mean*	7405.000
σ	0.000
min	7405.000
max	7405.000

*mean*	113.468
σ	261.077
min	20.856
max	759.601

op=vertical_lookup_row_list() on unindexed small unique Int

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

*mean*	7405.000-7140.000=265.000
σ	0.000
min	7405.000-7140.000=265.000
max	7405.000-7140.000=265.000

*mean*	57.301-262.855=-205.554
σ	6.320-366.960=-360.639
min	54.868-97.886=-43.018
max	72.939-1141.187=-1068.248

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	4646.850-14217.171=-9570.321
σ	0.014-4.303=-4.289
min	4646.845-14215.576=-9568.731
max	4646.884-14227.820=-9580.936

*mean*	4190.250-4041.625=148.625
σ	1954.021-2006.816=-52.795
min	1487.000-1219.000=268.000
max	7405.000-7140.000=265.000

*mean*	3146.092-7651.513=-4505.421
σ	782.769-1952.033=-1169.263
min	2518.774-6010.842=-3492.067
max	4607.487-11234.867=-6627.381

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*	7405.000-7140.000=265.000
σ	0.000
min	7405.000-7140.000=265.000
max	7405.000-7140.000=265.000

*mean*	965.172-5425.132=-4459.960
σ	71.421-1008.866=-937.445
min	922.783-4997.880=-4075.097
max	1099.293-7890.995=-6791.702

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

*mean*	905.105
σ	0.002
min	905.102
max	905.108

*mean*	7405.000
σ	0.000
min	7405.000
max	7405.000

*mean*	386.579
σ	4.502
min	376.939
max	391.770

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-477.000=-1.000
σ	0.000
min	476.000-477.000=-1.000
max	476.000-477.000=-1.000

*mean*	361.498-390.133=-28.635
σ	44.082-5.849=38.233
min	301.525-380.224=-78.699
max	434.412-396.695=37.717

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*	565.000-562.000=3.000
σ	0.000
min	565.000-562.000=3.000
max	565.000-562.000=3.000

*mean*	768.285-743.496=24.789
σ	41.236-66.306=-25.070
min	703.012-591.985=111.027
max	819.336-799.223=20.113

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1024.564-1024.299=0.264
σ	0.761-0.758=0.002
min	1024.092-1023.826=0.265
max	1027.706-1027.435=0.270

*mean*	1035.150-1053.450=-18.300
σ	298.917-312.440=-13.523
min	552.000-570.000=-18.000
max	1438.000-1511.000=-73.000

*mean*	1.366-1.550=-0.184
σ	0.069-0.060=0.009
min	1.293-1.480=-0.188
max	1.573-1.733=-0.160

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-401.000=1.000
σ	0.000
min	402.000-401.000=1.000
max	402.000-401.000=1.000

*mean*	0.446-0.326=0.120
σ	0.468-0.342=0.126
min	0.172-0.142=0.030
max	1.280-0.932=0.348

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-401.000=1.000
σ	0.000
min	402.000-401.000=1.000
max	402.000-401.000=1.000

*mean*	0.825-0.414=0.410
σ	0.520-0.190=0.330
min	0.576-0.319=0.257
max	1.754-0.754=1.000

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-401.000=1.000
σ	0.000
min	402.000-401.000=1.000
max	402.000-401.000=1.000

*mean*	0.376-0.221=0.155
σ	0.032-0.020=0.012
min	0.349-0.205=0.144
max	0.430-0.255=0.175

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-401.000=1.000
σ	0.000
min	402.000-401.000=1.000
max	402.000-401.000=1.000

*mean*	0.589-0.332=0.258
σ	0.027-0.022=0.005
min	0.564-0.314=0.250
max	0.634-0.369=0.265

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*	431.600-433.600=-2.000
σ	1.342-4.099=-2.757
min	431.000-430.000=1.000
max	434.000-438.000=-4.000

*mean*	0.571-0.530=0.041
σ	0.109-0.065=0.044
min	0.466-0.442=0.025
max	0.749-0.602=0.147

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*	441.000-440.000=1.000
σ	0.000
min	441.000-440.000=1.000
max	441.000-440.000=1.000

*mean*	0.466-0.514=-0.048
σ	0.060-0.022=0.038
min	0.372-0.477=-0.105
max	0.521-0.528=-0.008

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*	441.000-440.000=1.000
σ	0.000
min	441.000-440.000=1.000
max	441.000-440.000=1.000

*mean*	1.977-2.620=-0.643
σ	0.068-0.117=-0.049
min	1.847-2.487=-0.640
max	2.278-3.399=-1.121

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*	441.000-440.000=1.000
σ	0.000
min	441.000-440.000=1.000
max	441.000-440.000=1.000

*mean*	1.955-2.598=-0.643
σ	0.064-0.102=-0.037
min	1.839-2.450=-0.611
max	2.202-2.996=-0.795

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*	441.000-440.000=1.000
σ	0.000
min	441.000-440.000=1.000
max	441.000-440.000=1.000

*mean*	0.303-0.303=-0.000
σ	0.008-0.012=-0.004
min	0.287-0.289=-0.001
max	0.351-0.368=-0.016

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*	441.000-440.000=1.000
σ	0.000
min	441.000-440.000=1.000
max	441.000-440.000=1.000

*mean*	0.290-0.292=-0.002
σ	0.006-0.008=-0.002
min	0.277-0.279=-0.002
max	0.319-0.341=-0.022

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.610
σ	11.416
min	0.574
max	87.127

*mean*	467.563
σ	21.142
min	408.000
max	483.000

*mean*	0.027
σ	0.028
min	0.001
max	0.222

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.720-298.730=-0.010
σ	0.989-1.035=-0.045
min	298.298-298.299=-0.000
max	301.524-301.666=-0.142

*mean*	442.800-445.800=-3.000
σ	17.831-17.850=-0.019
min	415.000-417.000=-2.000
max	462.000-469.000=-7.000

*mean*	0.602-0.601=0.001
σ	0.021-0.025=-0.004
min	0.559-0.553=0.006
max	0.641-0.639=0.002

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

*mean*	173.738-236.678=-62.940
σ	0.000-0.000=0.000
min	173.738-236.678=-62.940
max	173.738-236.678=-62.940

*mean*	844.000-1067.625=-223.625
σ	0.000-26.517=-26.517
min	844.000-1002.000=-158.000
max	844.000-1077.000=-233.000

*mean*	224.416-201.791=22.625
σ	28.197-4.104=24.093
min	193.725-197.078=-3.353
max	263.615-206.945=56.670

phase=macro expansion

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

*mean*	843.375-1067.625=-224.250
σ	1.768-26.517=-24.749
min	839.000-1002.000=-163.000
max	844.000-1077.000=-233.000

*mean*	6.812-8.459=-1.647
σ	1.089-2.138=-1.049
min	6.260-6.411=-0.151
max	9.496-12.875=-3.380

phase=parser

*mean*	1042.431-1042.361=0.071
σ	0.000-0.000=0.000
min	1042.431-1042.360=0.070
max	1042.431-1042.361=0.071

*mean*	843.375-1067.625=-224.250
σ	1.768-26.517=-24.749
min	839.000-1002.000=-163.000
max	844.000-1077.000=-233.000

*mean*	571.450-509.787=61.663
σ	52.343-107.912=-55.570
min	449.199-413.877=35.322
max	607.833-755.118=-147.284

phase=processProdDef

*mean*	2243.980-4850.768=-2606.788
σ	0.000
min	2243.980-4850.768=-2606.788
max	2243.980-4850.768=-2606.788

*mean*	844.000-1077.000=-233.000
σ	0.000
min	844.000-1077.000=-233.000
max	844.000-1077.000=-233.000

*mean*	2650.825-4702.815=-2051.990
σ	402.780-683.401=-280.620
min	2288.236-3517.916=-1229.680
max	3470.878-5496.386=-2025.508

phase=renaming

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

*mean*	843.375-1067.625=-224.250
σ	1.768-26.517=-24.749
min	839.000-1002.000=-163.000
max	844.000-1077.000=-233.000

*mean*	23.157-31.199=-8.042
σ	6.781-10.319=-3.537
min	20.479-20.735=-0.256
max	39.933-48.841=-8.908

phase=type checker

*mean*	989.752-990.450=-0.698
σ	0.066-0.071=-0.005
min	989.654-990.344=-0.690
max	989.841-990.563=-0.722

*mean*	843.375-1067.625=-224.250
σ	1.768-26.517=-24.749
min	839.000-1002.000=-163.000
max	844.000-1077.000=-233.000

*mean*	690.386-710.609=-20.224
σ	56.258-105.444=-49.186
min	642.812-638.885=3.927
max	820.836-906.354=-85.518

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	293.821-293.822=-0.001
σ	0.037-0.038=-0.001
min	293.768-293.770=-0.001
max	293.859-293.862=-0.003

*mean*	443.000-439.800=3.200
σ	0.000-1.095=-1.095
min	443.000-439.000=4.000
max	443.000-441.000=2.000

*mean*	0.392-0.393=-0.001
σ	0.005-0.001=0.004
min	0.389-0.391=-0.003
max	0.400-0.394=0.006

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.290-1320.222=0.067
σ	0.139-0.034=0.104
min	1320.167-1320.166=0.001
max	1320.519-1320.254=0.265

*mean*	1115.000-1081.400=33.600
σ	178.027-170.866=7.160
min	896.000-877.000=19.000
max	1349.000-1311.000=38.000

*mean*	1.958-2.255=-0.297
σ	0.036-0.097=-0.061
min	1.928-2.158=-0.230
max	2.012-2.413=-0.402

iters=5

new-facts=6402

prior-facts=1

*mean*	1559.279-1560.592=-1.313
σ	2.967-6.213=-3.245
min	1557.709-1557.611=0.098
max	1564.574-1571.701=-7.127

*mean*	623.600-609.000=14.600
σ	87.540-93.995=-6.454
min	493.000-496.000=-3.000
max	726.000-732.000=-6.000

*mean*	2.210-2.225=-0.015
σ	0.127-0.125=0.002
min	2.086-2.023=0.063
max	2.416-2.353=0.063

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.369-1882.171=0.198
σ	0.075-0.059=0.016
min	1882.265-1882.097=0.168
max	1882.459-1882.248=0.211

*mean*	1754.600-1722.000=32.600
σ	210.681-174.452=36.229
min	1473.000-1464.000=9.000
max	1954.000-1875.000=79.000

*mean*	3.204-3.096=0.109
σ	0.469-0.254=0.215
min	2.776-2.890=-0.114
max	3.800-3.491=0.309

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.808-1.805=0.002
σ	0.054-0.106=-0.053
min	1.761-1.632=0.129
max	1.879-1.920=-0.041

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	419.944-452.082=-32.138
σ	518.103-582.723=-64.619
min	160.888-160.719=0.169
max	1197.099-1326.166=-129.067

*mean*	101.750-102.250=-0.500
σ	7.500-8.500=-1.000
min	98.000
max	113.000-115.000=-2.000

*mean*	446.000-442.000=4.000
σ	0.000
min	446.000-442.000=4.000
max	446.000-442.000=4.000

*mean*	0.506-0.550=-0.044
σ	0.486-0.546=-0.060
min	0.256-0.273=-0.018
max	1.234-1.368=-0.134

policies=20

*mean*	1609.209-1607.534=1.675
σ	0.367-0.428=-0.061
min	1608.960-1607.242=1.717
max	1609.754-1608.168=1.585

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	449.250-450.500=-1.250
σ	6.500-9.815=-3.315
min	446.000-442.000=4.000
max	459.000

*mean*	2.599-2.705=-0.106
σ	0.014-0.017=-0.003
min	2.588-2.691=-0.102
max	2.619-2.723=-0.104

policies=200

*mean*	16100.656-16083.545=17.112
σ	0.061-0.079=-0.018
min	16100.581-16083.497=17.084
max	16100.723-16083.663=17.060

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	497.750-500.000=-2.250
σ	4.573-4.690=-0.117
min	492.000-495.000=-3.000
max	503.000-506.000=-3.000

*mean*	26.057-27.226=-1.170
σ	0.071-0.074=-0.003
min	25.972-27.158=-1.186
max	26.145-27.302=-1.157