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

AST compact size (processProdDef)

Factor

compact size MiB

phase=processProdDef

*mean*	446.633
σ	0.000
min	446.633
max	446.633

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.718-54.729=-0.011
σ	0.366-0.360=0.006
min	54.573-54.580=-0.007
max	55.759-55.754=0.005

*mean*	416.000-418.000=-2.000
σ	0.000
min	416.000-418.000=-2.000
max	416.000-418.000=-2.000

*mean*	0.140-0.141=-0.002
σ	0.004-0.004=-0.001
min	0.136-0.137=-0.000
max	0.146-0.149=-0.004

cache=y

dps=1

iters=10

policies=100

*mean*	43.776-43.774=0.002
σ	0.008-0.006=0.001
min	43.765-43.762=0.003
max	43.793-43.781=0.011

*mean*	416.000-418.000=-2.000
σ	0.000
min	416.000-418.000=-2.000
max	416.000-418.000=-2.000

*mean*	0.123-0.122=0.001
σ	0.005-0.005=0.000
min	0.118-0.116=0.002
max	0.133-0.131=0.002

CSV - indexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on indexed

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

*mean*	4428.625-4589.500=-160.875
σ	2224.221-2251.114=-26.894
min	1483.000-1484.000=-1.000
max	7405.000-7388.000=17.000

*mean*	12.905-82.323=-69.417
σ	2.036-196.144=-194.107
min	11.951-11.837=0.114
max	17.859-567.731=-549.871

op=column_set() on indexed, repeat

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

*mean*	4607.000-4589.500=17.500
σ	2255.049-2251.114=3.935
min	1483.000-1484.000=-1.000
max	7405.000-7388.000=17.000

*mean*	103.269-14.100=89.169
σ	255.019-3.835=251.184
min	11.461-11.522=-0.061
max	734.387-22.139=712.248

op=table_records(), no indexes

*mean*	41.939-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*	7405.000-7388.000=17.000
σ	0.000
min	7405.000-7388.000=17.000
max	7405.000-7388.000=17.000

*mean*	11.128-11.357=-0.228
σ	0.300-0.207=0.093
min	10.861-11.115=-0.254
max	11.802-11.685=0.117

op=table_records(), repeat

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

*mean*	4199.250-4179.625=19.625
σ	1951.305-1946.715=4.589
min	1483.000-1484.000=-1.000
max	7405.000-7388.000=17.000

*mean*	11.489-12.037=-0.548
σ	1.413-1.637=-0.225
min	10.808-11.138=-0.330
max	14.976-16.056=-1.081

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

*mean*	27.633-27.633=-0.000
σ	0.137-0.137=0.000
min	27.584-27.584=0.000
max	27.971-27.971=0.000

*mean*	4199.250-4179.625=19.625
σ	1951.305-1946.715=4.589
min	1483.000-1484.000=-1.000
max	7405.000-7388.000=17.000

*mean*	8.759-9.051=-0.292
σ	0.506-1.319=-0.813
min	8.034-7.729=0.304
max	9.847-12.173=-2.325

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

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

*mean*	4199.250-4179.625=19.625
σ	1951.305-1946.715=4.589
min	1483.000-1484.000=-1.000
max	7405.000-7388.000=17.000

*mean*	6.922-6.621=0.301
σ	0.424-0.925=-0.501
min	6.521-6.052=0.468
max	7.917-8.854=-0.937

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.662-25.662=0.000
σ	0.004-0.004=0.000
min	25.661-25.661=0.000
max	25.673-25.673=0.000

*mean*	4607.000-4589.500=17.500
σ	2255.049-2251.114=3.935
min	1483.000-1484.000=-1.000
max	7405.000-7388.000=17.000

*mean*	6.469-6.521=-0.052
σ	0.730-1.089=-0.359
min	6.007-5.808=0.199
max	7.904-8.904=-0.999

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.961-25.961=0.000
σ	0.001
min	25.961-25.960=0.000
max	25.962-25.962=0.000

*mean*	4607.000-4589.500=17.500
σ	2255.049-2251.114=3.935
min	1483.000-1484.000=-1.000
max	7405.000-7388.000=17.000

*mean*	6.237-6.279=-0.042
σ	0.744-1.017=-0.273
min	5.782-5.522=0.260
max	7.711-8.455=-0.743

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.608-1021.610=-0.002
σ	0.002-0.002=0.000
min	1021.606-1021.608=-0.002
max	1021.611-1021.612=-0.001

*mean*	7405.000-7388.000=17.000
σ	0.000
min	7405.000-7388.000=17.000
max	7405.000-7388.000=17.000

*mean*	346.868-359.328=-12.460
σ	1.669-40.692=-39.023
min	344.069-340.524=3.545
max	348.905-459.888=-110.984

op=load_product(), with indexes

*mean*	3495.854-3495.857=-0.002
σ	0.454-0.456=-0.002
min	3495.694-3495.696=-0.002
max	3496.977-3496.985=-0.008

*mean*	3771.500-3756.000=15.500
σ	2307.888-2300.815=7.073
min	721.000-720.000=1.000
max	7405.000-7388.000=17.000

*mean*	1783.758-1720.414=63.344
σ	670.682-574.996=95.685
min	1384.863-1379.434=5.429
max	2959.082-2863.113=95.969

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.000
σ	0.000-0.000=-0.000
min	107.841-107.840=0.000
max	107.841-107.841=-0.000

*mean*	4199.250-4409.500=-210.250
σ	1951.305-2220.799=-269.495
min	1483.000-1484.000=-1.000
max	7405.000-7388.000=17.000

*mean*	134.643-240.183=-105.540
σ	8.455-299.161=-290.706
min	126.958-126.499=0.460
max	154.160-979.653=-825.493

op=column_set() on unindexed, dense, repeat

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

*mean*	4428.625-4409.500=19.125
σ	2224.221-2220.799=3.421
min	1483.000-1484.000=-1.000
max	7405.000-7388.000=17.000

*mean*	155.832-46.368=109.464
σ	322.009-9.526=312.484
min	40.474-41.306=-0.832
max	952.761-69.655=883.106

op=vertical_lookup_list() repeated on unindexed missing Int

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

*mean*	7405.000-7388.000=17.000
σ	0.000
min	7405.000-7388.000=17.000
max	7405.000-7388.000=17.000

*mean*	102.937-22.802=80.135
σ	227.949-1.430=226.519
min	21.660-21.884=-0.224
max	667.075-26.246=640.829

op=vertical_lookup_row_list() on unindexed small unique Int

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

*mean*	7405.000-7388.000=17.000
σ	0.000
min	7405.000-7388.000=17.000
max	7405.000-7388.000=17.000

*mean*	59.654-263.208=-203.554
σ	8.829-584.559=-575.730
min	56.004-54.697=1.307
max	81.458-1709.907=-1628.449

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	4646.842-4646.842=-0.000
σ	0.013-0.013=0.000
min	4646.837-4646.837=0.000
max	4646.875-4646.875=0.000

*mean*	4199.250-4179.625=19.625
σ	1951.305-1946.715=4.589
min	1483.000-1484.000=-1.000
max	7405.000-7388.000=17.000

*mean*	3255.070-3182.661=72.409
σ	703.223-701.240=1.984
min	2519.184-2522.232=-3.048
max	4482.820-4615.441=-132.621

op=vertical_lookup_list() on indexed

*mean*	1973.829-1973.829=-0.000
σ	0.002-0.002=-0.000
min	1973.827-1973.827=0.000
max	1973.831-1973.832=-0.000

*mean*	7405.000-7388.000=17.000
σ	0.000
min	7405.000-7388.000=17.000
max	7405.000-7388.000=17.000

*mean*	1011.767-1064.219=-52.452
σ	202.422-258.755=-56.333
min	919.832-927.050=-7.218
max	1500.307-1680.436=-180.129

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

*mean*	905.083-905.082=0.000
σ	0.002
min	905.080-905.080=0.000
max	905.086-905.086=0.000

*mean*	7405.000-7388.000=17.000
σ	0.000
min	7405.000-7388.000=17.000
max	7405.000-7388.000=17.000

*mean*	416.740-402.796=13.944
σ	43.487-7.293=36.194
min	388.321-385.556=2.764
max	523.436-407.314=116.123

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*	480.000-478.000=2.000
σ	0.000
min	480.000-478.000=2.000
max	480.000-478.000=2.000

*mean*	390.441-395.207=-4.766
σ	23.267-23.179=0.087
min	357.888-368.982=-11.094
max	421.611-444.355=-22.744

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	565.000-563.000=2.000
σ	0.000
min	565.000-563.000=2.000
max	565.000-563.000=2.000

*mean*	714.638-752.540=-37.902
σ	73.481-52.796=20.686
min	598.197-702.938=-104.741
max	820.270-876.669=-56.399

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	964.530-963.970=0.560
σ	1.820-1.822=-0.002
min	963.826-963.262=0.564
max	972.224-971.673=0.551

*mean*	1039.100-1053.700=-14.600
σ	310.219-318.822=-8.603
min	536.000-562.000=-26.000
max	1533.000-1522.000=11.000

*mean*	1.264-1.271=-0.007
σ	0.086-0.124=-0.038
min	1.174-1.069=0.105
max	1.500-1.572=-0.072

Parser: Comma Sep

Factor

allocated MiB

peak allocated MiB

time (ms)

name=ambiguous_item.art

*mean*	0.913-0.914=-0.001
σ	0.020-0.020=-0.000
min	0.903-0.904=-0.001
max	0.949-0.951=-0.001

*mean*	401.000-402.000=-1.000
σ	0.000
min	401.000-402.000=-1.000
max	401.000-402.000=-1.000

*mean*	0.491-0.277=0.214
σ	0.538-0.267=0.271
min	0.182-0.131=0.051
max	1.451-0.752=0.699

name=error_case.art

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

*mean*	401.000-402.000=-1.000
σ	0.000
min	401.000-402.000=-1.000
max	401.000-402.000=-1.000

*mean*	0.720-0.487=0.233
σ	0.301-0.306=-0.005
min	0.563-0.331=0.232
max	1.257-1.033=0.224

name=heavy_item.art

*mean*	1.523-1.525=-0.002
σ	0.002-0.002=-0.000
min	1.522-1.524=-0.002
max	1.526-1.528=-0.002

*mean*	401.000-402.000=-1.000
σ	0.000
min	401.000-402.000=-1.000
max	401.000-402.000=-1.000

*mean*	0.380-0.222=0.158
σ	0.036-0.021=0.015
min	0.346-0.204=0.142
max	0.439-0.258=0.181

name=nested_use.art

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

*mean*	401.000-402.000=-1.000
σ	0.000
min	401.000-402.000=-1.000
max	401.000-402.000=-1.000

*mean*	0.586-0.336=0.251
σ	0.033-0.014=0.019
min	0.564-0.323=0.240
max	0.644-0.358=0.286

Parser: Real World

Factor

allocated MiB

peak allocated MiB

time (sec)

name=aon_gpf25_7k_loc.art

*mean*	964.838-966.287=-1.448
σ	0.009
min	964.833-966.281=-1.448
max	964.855-966.303=-1.448

*mean*	430.000-433.000=-3.000
σ	0.000-0.707=-0.707
min	430.000-432.000=-2.000
max	430.000-434.000=-4.000

*mean*	0.712-0.572=0.140
σ	0.053-0.045=0.009
min	0.617-0.507=0.110
max	0.741-0.609=0.132

name=cdr_enhanced_4k_loc.art

*mean*	885.913-886.717=-0.805
σ	0.002
min	885.912-886.716=-0.805
max	885.915-886.720=-0.805

*mean*	430.000-441.000=-11.000
σ	0.000
min	430.000-441.000=-11.000
max	430.000-441.000=-11.000

*mean*	0.588-0.512=0.076
σ	0.040-0.024=0.016
min	0.529-0.471=0.058
max	0.642-0.532=0.110

Parser: Record Parsing

Factor

allocated MiB

peak allocated MiB

time (ms)

name=record_render_large_success.art

*mean*	7.718-7.722=-0.004
σ	0.002
min	7.717-7.721=-0.004
max	7.721-7.725=-0.004

*mean*	430.000-441.000=-11.000
σ	0.000
min	430.000-441.000=-11.000
max	430.000-441.000=-11.000

*mean*	3.547-2.664=0.882
σ	0.085-0.085=0.000
min	3.420-2.473=0.947
max	3.866-2.961=0.905

name=record_render_large_syntax_err.art

*mean*	7.667-7.670=-0.004
σ	0.002
min	7.666-7.670=-0.004
max	7.670-7.673=-0.004

*mean*	430.000-441.000=-11.000
σ	0.000
min	430.000-441.000=-11.000
max	430.000-441.000=-11.000

*mean*	3.531-2.663=0.868
σ	0.074-0.107=-0.033
min	3.393-2.500=0.894
max	3.788-3.040=0.749

name=record_render_success.art

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

*mean*	430.000-441.000=-11.000
σ	0.000
min	430.000-441.000=-11.000
max	430.000-441.000=-11.000

*mean*	0.535-0.325=0.210
σ	0.013-0.100=-0.087
min	0.516-0.295=0.221
max	0.616-1.160=-0.544

name=record_render_syntax_err.art

*mean*	2.165-2.169=-0.004
σ	0.002
min	2.164-2.168=-0.004
max	2.168-2.172=-0.004

*mean*	430.000-441.000=-11.000
σ	0.000
min	430.000-441.000=-11.000
max	430.000-441.000=-11.000

*mean*	0.521-0.299=0.221
σ	0.031-0.040=-0.009
min	0.489-0.276=0.213
max	0.701-0.586=0.115

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.609-11.646=-0.037
σ	12.346-11.861=0.484
min	0.574-0.574=0.000
max	102.977-98.246=4.730

*mean*	463.062-463.084=-0.022
σ	18.196-18.997=-0.801
min	406.000-407.000=-1.000
max	477.000-478.000=-1.000

*mean*	0.027-0.027=0.000
σ	0.030-0.029=0.001
min	0.001-0.001=-0.000
max	0.256-0.235=0.022

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	278.770-278.816=-0.046
σ	1.025-1.070=-0.045
min	278.347-278.431=-0.085
max	281.683-281.861=-0.178

*mean*	444.300-443.100=1.200
σ	15.129-16.326=-1.197
min	414.000-413.000=1.000
max	467.000-470.000=-3.000

*mean*	0.580-0.571=0.009
σ	0.018-0.031=-0.013
min	0.547-0.518=0.029
max	0.614-0.601=0.014

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

*mean*	169.257-169.258=-0.001
σ	0.000-0.000=0.000
min	169.257-169.258=-0.001
max	169.257-169.258=-0.001

*mean*	851.000-699.000=152.000
σ	0.000
min	851.000-699.000=152.000
max	851.000-699.000=152.000

*mean*	230.022-232.725=-2.702
σ	16.526-22.776=-6.250
min	201.699-187.020=14.679
max	246.643-250.626=-3.983

phase=macro expansion

*mean*	5.896-5.900=-0.004
σ	0.000
min	5.896-5.900=-0.004
max	5.896-5.900=-0.004

*mean*	851.000-699.000=152.000
σ	0.000
min	851.000-699.000=152.000
max	851.000-699.000=152.000

*mean*	6.335-5.975=0.361
σ	1.146-0.070=1.075
min	5.789-5.883=-0.094
max	9.131-6.103=3.028

phase=parser

*mean*	1041.966-1043.350=-1.384
σ	0.000-0.000=-0.000
min	1041.966-1043.350=-1.384
max	1041.966-1043.351=-1.385

*mean*	851.000-699.000=152.000
σ	0.000
min	851.000-699.000=152.000
max	851.000-699.000=152.000

*mean*	531.795-571.537=-39.742
σ	134.261-78.886=55.374
min	375.353-443.416=-68.063
max	724.788-618.566=106.223

phase=processProdDef

*mean*	2243.715-2243.722=-0.007
σ	0.000
min	2243.715-2243.722=-0.007
max	2243.715-2243.722=-0.007

*mean*	851.000-699.000=152.000
σ	0.000
min	851.000-699.000=152.000
max	851.000-699.000=152.000

*mean*	2711.583-3048.282=-336.699
σ	551.316-283.868=267.448
min	1933.759-2430.566=-496.807
max	3376.246-3315.741=60.505

phase=renaming

*mean*	21.436-21.438=-0.002
σ	0.000
min	21.436-21.438=-0.002
max	21.436-21.438=-0.002

*mean*	851.000-699.000=152.000
σ	0.000
min	851.000-699.000=152.000
max	851.000-699.000=152.000

*mean*	30.007-35.037=-5.030
σ	10.933-1.703=9.230
min	19.985-33.029=-13.044
max	42.682-37.429=5.254

phase=type checker

*mean*	958.600-958.597=0.003
σ	0.047
min	958.577-958.573=0.003
max	958.702-958.698=0.003

*mean*	851.000-699.000=152.000
σ	0.000
min	851.000-699.000=152.000
max	851.000-699.000=152.000

*mean*	659.592-668.778=-9.186
σ	56.295-16.822=39.474
min	609.182-637.373=-28.191
max	750.032-684.671=65.361

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	282.359-282.366=-0.007
σ	0.036-0.037=-0.001
min	282.308-282.317=-0.009
max	282.396-282.407=-0.011

*mean*	441.000-443.400=-2.400
σ	2.739-0.548=2.191
min	439.000-443.000=-4.000
max	444.000

*mean*	0.379-0.377=0.002
σ	0.006-0.006=-0.000
min	0.376-0.372=0.004
max	0.389-0.387=0.002

iters=5

new-facts=1

prior-facts=6402

*mean*	1267.586-1267.090=0.496
σ	0.087-0.090=-0.003
min	1267.482-1266.975=0.507
max	1267.721-1267.194=0.526

*mean*	1112.600-1057.400=55.200
σ	171.650-171.451=0.200
min	898.000-846.000=52.000
max	1336.000-1283.000=53.000

*mean*	1.957-1.953=0.004
σ	0.116-0.174=-0.057
min	1.852-1.740=0.112
max	2.083-2.139=-0.056

iters=5

new-facts=6402

prior-facts=1

*mean*	1506.582-1506.061=0.521
σ	2.907-2.952=-0.046
min	1505.075-1504.493=0.581
max	1511.770-1511.329=0.441

*mean*	628.800-623.200=5.600
σ	90.170-80.298=9.873
min	505.000-495.000=10.000
max	728.000-694.000=34.000

*mean*	2.318-2.239=0.079
σ	0.244-0.236=0.008
min	2.039-2.044=-0.005
max	2.554-2.626=-0.073

iters=5

new-facts=6402

prior-facts=6402

*mean*	1829.578-1829.072=0.507
σ	0.055-0.057=-0.001
min	1829.501-1829.006=0.495
max	1829.632-1829.143=0.489

*mean*	1766.600-1693.600=73.000
σ	214.091-237.452=-23.361
min	1492.000-1408.000=84.000
max	1972.000-2012.000=-40.000

*mean*	3.105-2.867=0.238
σ	0.337-0.136=0.201
min	2.765-2.789=-0.024
max	3.604-3.109=0.494

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.656-1.623=0.033
σ	0.167-0.100=0.067
min	1.492-1.527=-0.036
max	1.882-1.780=0.102

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	393.851-393.632=0.219
σ	509.574-509.937=-0.363
min	139.061-138.661=0.400
max	1158.212-1158.538=-0.325

*mean*	99.750-97.750=2.000
σ	7.500
min	96.000-94.000=2.000
max	111.000-109.000=2.000

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

*mean*	0.497-0.484=0.013
σ	0.523-0.504=0.019
min	0.233-0.230=0.003
max	1.281-1.239=0.042

policies=20

*mean*	1390.729-1386.749=3.981
σ	0.170-0.155=0.015
min	1390.609-1386.641=3.968
max	1390.980-1386.978=4.002

*mean*	960.000-940.000=20.000
σ	0.000
min	960.000-940.000=20.000
max	960.000-940.000=20.000

*mean*	447.750-448.000=-0.250
σ	7.500-2.309=5.191
min	444.000-446.000=-2.000
max	459.000-450.000=9.000

*mean*	2.317-2.308=0.009
σ	0.020-0.012=0.008
min	2.299-2.298=0.001
max	2.345-2.320=0.025

policies=200

*mean*	13915.886-13876.151=39.735
σ	0.060-0.108=-0.047
min	13915.804-13876.093=39.711
max	13915.948-13876.313=39.635

*mean*	9600.000-9400.000=200.000
σ	0.000
min	9600.000-9400.000=200.000
max	9600.000-9400.000=200.000

*mean*	495.750-496.000=-0.250
σ	4.031-4.967=-0.935
min	491.000
max	500.000-502.000=-2.000

*mean*	23.366-23.498=-0.132
σ	0.115-0.110=0.006
min	23.230-23.384=-0.154
max	23.488-23.593=-0.105