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.720-54.728=-0.008
σ	0.360-0.362=-0.003
min	54.579-54.590=-0.012
max	55.742-55.758=-0.016

*mean*	417.000-419.000=-2.000
σ	0.000
min	417.000-419.000=-2.000
max	417.000-419.000=-2.000

*mean*	0.139-0.142=-0.003
σ	0.005-0.005=-0.001
min	0.132-0.137=-0.006
max	0.144-0.150=-0.006

cache=y

dps=1

iters=10

policies=100

*mean*	43.773-43.773=0.000
σ	0.007-0.008=-0.001
min	43.766-43.760=0.007
max	43.788-43.792=-0.004

*mean*	417.900-419.000=-1.100
σ	0.316-0.000=0.316
min	417.000-419.000=-2.000
max	418.000-419.000=-1.000

*mean*	0.121-0.122=-0.001
σ	0.004-0.004=0.000
min	0.117-0.120=-0.002
max	0.129-0.130=-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*	4590.250-4579.000=11.250
σ	2248.520-2252.825=-4.304
min	1488.000-1486.000=2.000
max	7385.000-7399.000=-14.000

*mean*	144.753-13.551=131.202
σ	373.208-3.538=369.671
min	11.659-11.903=-0.244
max	1068.385-22.203=1046.182

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

*mean*	4590.250-4579.000=11.250
σ	2248.520-2252.825=-4.304
min	1488.000-1486.000=2.000
max	7385.000-7399.000=-14.000

*mean*	13.674-13.495=0.179
σ	3.688-3.885=-0.198
min	11.372-11.409=-0.037
max	21.104-23.001=-1.897

op=table_records(), no indexes

*mean*	41.939-41.939=0.000
σ	0.002-0.002=-0.000
min	41.938-41.938=0.000
max	41.942-41.942=-0.000

*mean*	7385.000-7399.000=-14.000
σ	0.000
min	7385.000-7399.000=-14.000
max	7385.000-7399.000=-14.000

*mean*	11.707-11.073=0.634
σ	1.696-0.244=1.452
min	10.878-10.879=-0.001
max	15.880-11.649=4.231

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

*mean*	4180.250-4163.500=16.750
σ	1944.624-1943.746=0.879
min	1488.000-1486.000=2.000
max	7385.000-7399.000=-14.000

*mean*	11.615-11.564=0.051
σ	1.911-1.866=0.045
min	10.751-10.660=0.091
max	16.341-16.101=0.240

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*	4180.250-4163.500=16.750
σ	1944.624-1943.746=0.879
min	1488.000-1486.000=2.000
max	7385.000-7399.000=-14.000

*mean*	9.113-9.136=-0.023
σ	1.315-1.410=-0.096
min	7.838-8.036=-0.198
max	12.223-12.497=-0.274

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*	4180.250-4163.500=16.750
σ	1944.624-1943.746=0.879
min	1488.000-1486.000=2.000
max	7385.000-7399.000=-14.000

*mean*	7.085-6.961=0.124
σ	0.840-1.024=-0.183
min	6.508-6.084=0.425
max	9.128-9.397=-0.269

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*	4590.250-4579.000=11.250
σ	2248.520-2252.825=-4.304
min	1488.000-1486.000=2.000
max	7385.000-7399.000=-14.000

*mean*	6.301-6.326=-0.025
σ	0.605-0.886=-0.281
min	5.888-5.616=0.272
max	7.347-8.445=-1.099

op=vertical_lookup_row_list() on 3 (1 unindexed)

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

*mean*	4590.250-4579.000=11.250
σ	2248.520-2252.825=-4.304
min	1488.000-1486.000=2.000
max	7385.000-7399.000=-14.000

*mean*	6.122-6.192=-0.070
σ	0.745-1.032=-0.287
min	5.329-5.554=-0.224
max	7.332-8.728=-1.396

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
min	1021.606-1021.608=-0.002
max	1021.611-1021.612=-0.002

*mean*	7385.000-7399.000=-14.000
σ	0.000
min	7385.000-7399.000=-14.000
max	7385.000-7399.000=-14.000

*mean*	351.161-362.276=-11.114
σ	1.894-44.610=-42.716
min	348.831-343.436=5.396
max	354.877-472.538=-117.660

op=load_product(), with indexes

*mean*	3495.855-3495.857=-0.002
σ	0.454-0.455=-0.001
min	3495.694-3495.696=-0.002
max	3496.978-3496.983=-0.005

*mean*	3757.125-3744.000=13.125
σ	2299.265-2295.833=3.432
min	720.000-719.000=1.000
max	7385.000-7399.000=-14.000

*mean*	1759.093-1615.913=143.180
σ	598.309-540.969=57.341
min	1402.480-1389.814=12.666
max	2766.146-2946.207=-180.062

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.841=-0.000
max	107.842-107.842=-0.000

*mean*	4409.500-4398.750=10.750
σ	2218.171-2224.564=-6.393
min	1488.000-1486.000=2.000
max	7385.000-7399.000=-14.000

*mean*	254.107-212.245=41.862
σ	334.091-214.054=120.037
min	125.321-125.070=0.251
max	1079.611-739.566=340.045

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.068-62.069=-0.001

*mean*	4409.500-4579.000=-169.500
σ	2218.171-2252.825=-34.654
min	1488.000-1486.000=2.000
max	7385.000-7399.000=-14.000

*mean*	44.605-211.729=-167.125
σ	7.147-475.864=-468.717
min	40.468-41.304=-0.836
max	61.892-1389.424=-1327.532

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.928-40.928=0.000

*mean*	7385.000-7399.000=-14.000
σ	0.000
min	7385.000-7399.000=-14.000
max	7385.000-7399.000=-14.000

*mean*	213.793-22.282=191.511
σ	543.163-2.144=541.019
min	21.174-21.331=-0.157
max	1558.051-27.581=1530.471

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	71.293-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*	7385.000-7399.000=-14.000
σ	0.000
min	7385.000-7399.000=-14.000
max	7385.000-7399.000=-14.000

*mean*	64.179-309.954=-245.775
σ	24.322-714.219=-689.897
min	55.092-55.370=-0.278
max	124.343-2077.537=-1953.195

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

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

*mean*	4180.250-4163.500=16.750
σ	1944.624-1943.746=0.879
min	1488.000-1486.000=2.000
max	7385.000-7399.000=-14.000

*mean*	3313.196-3050.904=262.292
σ	785.117-701.835=83.281
min	2497.885-2510.381=-12.496
max	4743.834-4364.540=379.294

op=vertical_lookup_list() on indexed

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

*mean*	7385.000-7399.000=-14.000
σ	0.000
min	7385.000-7399.000=-14.000
max	7385.000-7399.000=-14.000

*mean*	1041.656-1028.942=12.714
σ	270.616-160.880=109.736
min	913.633-921.251=-7.618
max	1694.211-1361.905=332.306

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*	7385.000-7399.000=-14.000
σ	0.000
min	7385.000-7399.000=-14.000
max	7385.000-7399.000=-14.000

*mean*	387.785-390.174=-2.390
σ	5.966-6.901=-0.935
min	375.071-381.164=-6.092
max	396.247-403.468=-7.221

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-478.250=-1.250
σ	1.690-1.035=0.655
min	475.000-477.000=-2.000
max	479.000

*mean*	382.548-357.499=25.049
σ	27.922-40.614=-12.692
min	321.284-307.917=13.367
max	410.168-426.607=-16.438

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	556.500-561.000=-4.500
σ	0.535-0.000=0.535
min	556.000-561.000=-5.000
max	557.000-561.000=-4.000

*mean*	782.008-748.741=33.267
σ	36.056-58.090=-22.034
min	714.008-647.429=66.579
max	828.454-839.800=-11.345

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	964.532-963.970=0.562
σ	1.821-1.821=-0.000
min	963.822-963.263=0.559
max	972.231-971.671=0.560

*mean*	1038.250-1034.350=3.900
σ	292.118-299.480=-7.362
min	551.000-556.000=-5.000
max	1427.000-1592.000=-165.000

*mean*	1.296-1.268=0.028
σ	0.159-0.133=0.026
min	1.173-1.164=0.009
max	1.762-1.653=0.109

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

*mean*	0.305-0.389=-0.084
σ	0.308-0.486=-0.178
min	0.141-0.142=-0.001
max	0.852-1.254=-0.402

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

*mean*	0.475-0.473=0.002
σ	0.322-0.318=0.004
min	0.319-0.321=-0.001
max	1.050-1.042=0.008

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

*mean*	0.227-0.214=0.014
σ	0.017-0.024=-0.006
min	0.211-0.194=0.017
max	0.251-0.253=-0.002

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

*mean*	0.370-0.335=0.035
σ	0.060-0.020=0.040
min	0.330-0.309=0.021
max	0.475-0.363=0.111

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.600-432.800=-2.200
σ	0.548-0.447=0.101
min	430.000-432.000=-2.000
max	431.000-433.000=-2.000

*mean*	0.563-0.580=-0.017
σ	0.038-0.024=0.013
min	0.513-0.551=-0.038
max	0.610-0.612=-0.002

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*	431.000-433.000=-2.000
σ	0.000
min	431.000-433.000=-2.000
max	431.000-433.000=-2.000

*mean*	0.469-0.480=-0.011
σ	0.048-0.038=0.010
min	0.407-0.430=-0.023
max	0.518-0.528=-0.010

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*	431.000-433.000=-2.000
σ	0.000
min	431.000-433.000=-2.000
max	431.000-433.000=-2.000

*mean*	2.644-2.612=0.032
σ	0.127-0.096=0.031
min	2.472-2.470=0.003
max	3.487-3.069=0.418

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*	431.000-433.000=-2.000
σ	0.000
min	431.000-433.000=-2.000
max	431.000-433.000=-2.000

*mean*	2.338-2.623=-0.285
σ	0.308-0.084=0.224
min	1.898-2.442=-0.544
max	2.802-2.849=-0.047

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*	431.000-433.000=-2.000
σ	0.000
min	431.000-433.000=-2.000
max	431.000-433.000=-2.000

*mean*	0.320-0.304=0.016
σ	0.062-0.008=0.054
min	0.291-0.290=0.001
max	0.770-0.346=0.425

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*	431.000-433.000=-2.000
σ	0.000
min	431.000-433.000=-2.000
max	431.000-433.000=-2.000

*mean*	0.289-0.293=-0.004
σ	0.008-0.011=-0.004
min	0.276-0.277=-0.001
max	0.332-0.366=-0.034

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.547-11.784=-0.238
σ	12.113-12.782=-0.669
min	0.574-0.574=-0.000
max	111.874-107.766=4.108

*mean*	463.507-457.003=6.504
σ	18.078-17.780=0.298
min	409.000-407.000=2.000
max	478.000-470.000=8.000

*mean*	0.026-0.027=-0.000
σ	0.030-0.031=-0.002
min	0.001-0.001=0.000
max	0.268-0.256=0.012

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	278.679-278.648=0.030
σ	1.032-1.056=-0.023
min	278.245-278.212=0.032
max	281.608-281.644=-0.036

*mean*	442.400-441.300=1.100
σ	17.102-17.030=0.073
min	415.000
max	468.000-465.000=3.000

*mean*	0.577-0.570=0.007
σ	0.029-0.028=0.001
min	0.500-0.503=-0.003
max	0.605-0.597=0.007

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*	693.000-728.500=-35.500
σ	0.000-7.071=-7.071
min	693.000-711.000=-18.000
max	693.000-731.000=-38.000

*mean*	226.236-206.865=19.372
σ	22.227-20.665=1.562
min	193.509-190.074=3.435
max	248.172-242.280=5.891

phase=macro expansion

*mean*	5.899-5.896=0.003
σ	0.000
min	5.899-5.896=0.003
max	5.899-5.896=0.003

*mean*	693.000-727.250=-34.250
σ	0.000-10.607=-10.607
min	693.000-701.000=-8.000
max	693.000-731.000=-38.000

*mean*	8.786-7.759=1.027
σ	0.694-1.036=-0.342
min	7.076-6.916=0.161
max	9.122-9.101=0.021

phase=parser

*mean*	1041.958-1043.355=-1.397
σ	0.000-0.000=0.000
min	1041.958-1043.355=-1.397
max	1041.959-1043.356=-1.397

*mean*	693.000-727.250=-34.250
σ	0.000-10.607=-10.607
min	693.000-701.000=-8.000
max	693.000-731.000=-38.000

*mean*	585.730-509.673=76.057
σ	59.672-83.044=-23.372
min	446.257-439.599=6.659
max	620.839-620.118=0.721

phase=processProdDef

*mean*	2243.721-2243.714=0.007
σ	0.000
min	2243.721-2243.714=0.007
max	2243.721-2243.714=0.007

*mean*	693.000-728.500=-35.500
σ	0.000-7.071=-7.071
min	693.000-711.000=-18.000
max	693.000-731.000=-38.000

*mean*	2960.055-2742.453=217.602
σ	274.189-465.547=-191.357
min	2635.140-2069.605=565.535
max	3264.735-3240.991=23.744

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*	693.000-727.250=-34.250
σ	0.000-10.607=-10.607
min	693.000-701.000=-8.000
max	693.000-731.000=-38.000

*mean*	46.271-39.579=6.691
σ	3.496-6.988=-3.492
min	38.296-26.358=11.938
max	49.143-49.492=-0.349

phase=type checker

*mean*	958.596-958.597=-0.001
σ	0.047
min	958.573-958.573=-0.001
max	958.698-958.698=-0.001

*mean*	693.000-727.250=-34.250
σ	0.000-10.607=-10.607
min	693.000-701.000=-8.000
max	693.000-731.000=-38.000

*mean*	670.470-653.859=16.611
σ	18.358-14.704=3.653
min	635.639-632.140=3.499
max	687.956-671.532=16.424

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	282.360-282.372=-0.012
σ	0.036-0.035=0.001
min	282.311-282.317=-0.006
max	282.401-282.403=-0.003

*mean*	442.000-444.000=-2.000
σ	2.739-0.000=2.739
min	440.000-444.000=-4.000
max	445.000-444.000=1.000

*mean*	0.383-0.374=0.008
σ	0.010-0.005=0.004
min	0.374-0.371=0.003
max	0.397-0.384=0.013

iters=5

new-facts=1

prior-facts=6402

*mean*	1267.592-1267.076=0.516
σ	0.105-0.089=0.017
min	1267.478-1266.959=0.519
max	1267.760-1267.205=0.555

*mean*	1114.600-1084.000=30.600
σ	171.134-190.739=-19.605
min	898.000-839.000=59.000
max	1334.000-1315.000=19.000

*mean*	2.019-1.969=0.050
σ	0.117-0.211=-0.094
min	1.874-1.710=0.164
max	2.125-2.191=-0.066

iters=5

new-facts=6402

prior-facts=1

*mean*	1506.532-1506.113=0.419
σ	2.949-2.846=0.103
min	1505.007-1504.675=0.332
max	1511.796-1511.196=0.600

*mean*	625.800-626.000=-0.200
σ	87.168-91.766=-4.598
min	496.000-513.000=-17.000
max	728.000-743.000=-15.000

*mean*	2.206-2.276=-0.070
σ	0.183-0.181=0.003
min	2.085-2.118=-0.034
max	2.522-2.481=0.041

iters=5

new-facts=6402

prior-facts=6402

*mean*	1829.592-1829.064=0.528
σ	0.072-0.029=0.043
min	1829.500-1829.026=0.474
max	1829.694-1829.092=0.602

*mean*	1770.800-1734.600=36.200
σ	212.002-193.579=18.423
min	1492.000-1467.000=25.000
max	1972.000-1916.000=56.000

*mean*	3.118-2.953=0.165
σ	0.298-0.172=0.126
min	2.825-2.829=-0.004
max	3.472-3.252=0.221

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.812-1.656=0.156
σ	0.101-0.157=-0.056
min	1.641-1.437=0.204
max	1.905-1.793=0.112

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	393.447-393.635=-0.188
σ	509.574-509.937=-0.363
min	138.657-138.664=-0.007
max	1157.808-1158.540=-0.732

*mean*	97.750
σ	7.500
min	94.000
max	109.000

*mean*	440.000-445.000=-5.000
σ	0.000
min	440.000-445.000=-5.000
max	440.000-445.000=-5.000

*mean*	0.493-0.491=0.002
σ	0.517-0.518=-0.001
min	0.232-0.229=0.002
max	1.268-1.268=-0.000

policies=20

*mean*	1386.707-1386.752=-0.045
σ	0.153-0.120=0.033
min	1386.600-1386.662=-0.062
max	1386.934-1386.929=0.005

*mean*	940.000
σ	0.000
min	940.000
max	940.000

*mean*	444.250-446.000=-1.750
σ	8.500-1.155=7.345
min	440.000-445.000=-5.000
max	457.000-447.000=10.000

*mean*	2.306-2.289=0.017
σ	0.006-0.015=-0.008
min	2.298-2.274=0.024
max	2.312-2.309=0.003

policies=200

*mean*	13875.544-13876.196=-0.652
σ	0.153-0.155=-0.002
min	13875.448-13876.003=-0.556
max	13875.771-13876.383=-0.612

*mean*	9400.000
σ	0.000
min	9400.000
max	9400.000

*mean*	496.250-493.000=3.250
σ	4.573-4.320=0.253
min	491.000-489.000=2.000
max	502.000-499.000=3.000

*mean*	23.263-23.188=0.075
σ	0.083-0.131=-0.048
min	23.191-23.061=0.130
max	23.360-23.353=0.007