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-5.301=-0.219
σ	0.000
min	5.082-5.301=-0.219
max	5.082-5.301=-0.219

AST compact size (parser)

Factor

compact size MiB

phase=parser

*mean*	4.988-5.176=-0.188
σ	0.000
min	4.988-5.176=-0.188
max	4.988-5.176=-0.188

AST compact size (processProdDef Decls)

Factor

compact size MiB

phase=processProdDef Decls

*mean*	5.395-5.676=-0.281
σ	0.000
min	5.395-5.676=-0.281
max	5.395-5.676=-0.281

AST compact size (processProdDef)

Factor

compact size MiB

phase=processProdDef

*mean*	446.633-446.883=-0.250
σ	0.000
min	446.633-446.883=-0.250
max	446.633-446.883=-0.250

AST compact size (renaming)

Factor

compact size MiB

phase=renaming

*mean*	5.238-5.488=-0.250
σ	0.000
min	5.238-5.488=-0.250
max	5.238-5.488=-0.250

AST compact size (type checker)

Factor

compact size MiB

phase=type checker

*mean*	6.395-6.645=-0.250
σ	0.000
min	6.395-6.645=-0.250
max	6.395-6.645=-0.250

Aggregation: measureAggregations

Factor

allocated MiB

peak allocated MiB

time_s

cache=n

dps=1

iters=10

policies=100

*mean*	54.717-54.772=-0.054
σ	0.366-0.363=0.004
min	54.580-54.615=-0.035
max	55.759-55.802=-0.043

*mean*	420.000-426.000=-6.000
σ	0.000
min	420.000-426.000=-6.000
max	420.000-426.000=-6.000

*mean*	0.140-0.140=0.000
σ	0.004-0.006=-0.002
min	0.133-0.134=-0.000
max	0.145-0.150=-0.004

cache=y

dps=1

iters=10

policies=100

*mean*	43.777-43.779=-0.002
σ	0.008-0.008=0.001
min	43.767-43.768=-0.001
max	43.793-43.792=0.001

*mean*	420.000-426.000=-6.000
σ	0.000
min	420.000-426.000=-6.000
max	420.000-426.000=-6.000

*mean*	0.123-0.123=-0.000
σ	0.006-0.003=0.003
min	0.116-0.121=-0.005
max	0.133-0.130=0.003

CSV - indexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on indexed

*mean*	36.604-36.617=-0.013
σ	0.000-0.000=-0.000
min	36.604-36.617=-0.013
max	36.605-36.618=-0.013

*mean*	4225.875-4587.750=-361.875
σ	1967.775-2245.180=-277.405
min	1482.000-1487.000=-5.000
max	7432.000-7373.000=59.000

*mean*	12.344-151.845=-139.502
σ	0.345-395.607=-395.262
min	12.036-11.755=0.281
max	13.139-1130.923=-1117.784

op=column_set() on indexed, repeat

*mean*	36.605-36.617=-0.013
σ	0.000-0.000=-0.000
min	36.604-36.617=-0.013
max	36.605-36.618=-0.013

*mean*	4451.625-4587.750=-136.125
σ	2236.584-2245.180=-8.596
min	1482.000-1487.000=-5.000
max	7432.000-7373.000=59.000

*mean*	13.016-13.948=-0.932
σ	0.269-4.397=-4.128
min	12.803-11.463=1.340
max	13.643-24.729=-11.085

op=table_records(), no indexes

*mean*	41.939-41.948=-0.008
σ	0.002-0.002=0.000
min	41.938-41.946=-0.009
max	41.942-41.950=-0.008

*mean*	7432.000-7373.000=59.000
σ	0.000
min	7432.000-7373.000=59.000
max	7432.000-7373.000=59.000

*mean*	11.140-10.684=0.456
σ	0.155-0.117=0.038
min	10.837-10.490=0.347
max	11.323-10.846=0.477

op=table_records(), repeat

*mean*	41.925-41.934=-0.008
σ	0.001-0.001=-0.000
min	41.924-41.933=-0.008
max	41.928-41.937=-0.008

*mean*	4225.875-4179.625=46.250
σ	1967.775-1942.967=24.808
min	1482.000-1487.000=-5.000
max	7432.000-7373.000=59.000

*mean*	11.568-11.440=0.128
σ	0.934-2.053=-1.119
min	11.050-10.506=0.544
max	13.814-16.508=-2.694

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

*mean*	27.633-27.655=-0.022
σ	0.137-0.137=0.000
min	27.584-27.606=-0.022
max	27.971-27.993=-0.022

*mean*	4225.875-4179.625=46.250
σ	1967.775-1942.967=24.808
min	1482.000-1487.000=-5.000
max	7432.000-7373.000=59.000

*mean*	8.883-9.126=-0.243
σ	0.651-1.147=-0.496
min	8.049-8.271=-0.223
max	10.140-11.895=-1.755

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

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

*mean*	4225.875-4179.625=46.250
σ	1967.775-1942.967=24.808
min	1482.000-1487.000=-5.000
max	7432.000-7373.000=59.000

*mean*	6.729-7.154=-0.425
σ	0.512-0.914=-0.401
min	5.980-6.632=-0.652
max	7.736-9.401=-1.665

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.662-25.681=-0.018
σ	0.004-0.003=0.001
min	25.661-25.680=-0.019
max	25.673-25.688=-0.015

*mean*	4451.625-4587.750=-136.125
σ	2236.584-2245.180=-8.596
min	1482.000-1487.000=-5.000
max	7432.000-7373.000=59.000

*mean*	6.426-6.341=0.085
σ	1.018-0.992=0.026
min	5.897-5.811=0.086
max	8.927-8.767=0.160

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.961-25.984=-0.024
σ	0.001-0.000=0.000
min	25.961-25.984=-0.024
max	25.962-25.985=-0.023

*mean*	4451.625-4587.750=-136.125
σ	2236.584-2245.180=-8.596
min	1482.000-1487.000=-5.000
max	7432.000-7373.000=59.000

*mean*	6.279-6.166=0.113
σ	0.988-1.065=-0.077
min	5.871-5.611=0.260
max	8.722-8.781=-0.059

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.608-1021.627=-0.019
σ	0.002
min	1021.606-1021.625=-0.019
max	1021.611-1021.629=-0.019

*mean*	7432.000-7373.000=59.000
σ	0.000
min	7432.000-7373.000=59.000
max	7432.000-7373.000=59.000

*mean*	361.710-370.483=-8.773
σ	42.165-90.053=-47.888
min	343.300-335.870=7.430
max	465.978-593.306=-127.328

op=load_product(), with indexes

*mean*	3495.855-3495.878=-0.024
σ	0.454-0.468=-0.014
min	3495.694-3495.713=-0.019
max	3496.978-3497.037=-0.059

*mean*	3794.000-3756.125=37.875
σ	2326.905-2297.667=29.239
min	720.000
max	7432.000-7373.000=59.000

*mean*	1983.144-1718.451=264.694
σ	907.456-673.280=234.176
min	1399.766-1348.893=50.873
max	3732.152-2888.162=843.990

CSV - unindexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

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

*mean*	107.841-107.854=-0.013
σ	0.000-0.000=-0.000
min	107.840-107.853=-0.013
max	107.841-107.855=-0.013

*mean*	4225.875-4407.000=-181.125
σ	1967.775-2214.272=-246.496
min	1482.000-1487.000=-5.000
max	7432.000-7373.000=59.000

*mean*	131.191-196.177=-64.986
σ	4.648-161.029=-156.381
min	126.084-125.228=0.856
max	139.028-591.602=-452.574

op=column_set() on unindexed, dense, repeat

*mean*	62.068-62.081=-0.013
σ	0.001-0.000=0.001
min	62.065-62.081=-0.017
max	62.068-62.082=-0.013

*mean*	4225.875-4407.000=-181.125
σ	1967.775-2214.272=-246.496
min	1482.000-1487.000=-5.000
max	7432.000-7373.000=59.000

*mean*	42.820-42.344=0.475
σ	1.282-1.369=-0.088
min	41.458-40.764=0.694
max	45.230-43.992=1.238

op=vertical_lookup_list() repeated on unindexed missing Int

*mean*	40.926-40.948=-0.022
σ	0.002
min	40.925-40.947=-0.022
max	40.928-40.950=-0.022

*mean*	7432.000-7373.000=59.000
σ	0.000
min	7432.000-7373.000=59.000
max	7432.000-7373.000=59.000

*mean*	22.521-23.189=-0.668
σ	1.148-2.869=-1.722
min	21.840-21.461=0.379
max	25.220-29.396=-4.177

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	71.294-71.308=-0.014
σ	0.002-0.002=-0.000
min	71.292-71.307=-0.014
max	71.296-71.311=-0.014

*mean*	7432.000-7373.000=59.000
σ	0.000
min	7432.000-7373.000=59.000
max	7432.000-7373.000=59.000

*mean*	155.028-57.189=97.839
σ	279.431-2.677=276.754
min	55.794-55.952=-0.158
max	846.584-63.753=782.830

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	4646.842-4646.850=-0.008
σ	0.013-0.013=-0.000
min	4646.837-4646.845=-0.008
max	4646.875-4646.883=-0.008

*mean*	4225.875-4179.625=46.250
σ	1967.775-1942.967=24.808
min	1482.000-1487.000=-5.000
max	7432.000-7373.000=59.000

*mean*	3185.995-3238.771=-52.775
σ	535.213-817.732=-282.520
min	2522.672-2448.643=74.028
max	3839.866-4609.738=-769.872

op=vertical_lookup_list() on indexed

*mean*	1973.829-1973.851=-0.022
σ	0.002-0.002=-0.000
min	1973.827-1973.849=-0.022
max	1973.831-1973.853=-0.022

*mean*	7432.000-7373.000=59.000
σ	0.000
min	7432.000-7373.000=59.000
max	7432.000-7373.000=59.000

*mean*	1337.097-999.209=337.888
σ	998.492-202.400=796.092
min	932.710-908.142=24.568
max	3801.423-1488.522=2312.901

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

*mean*	905.083-905.105=-0.022
σ	0.002-0.002=0.000
min	905.080-905.102=-0.022
max	905.086-905.108=-0.022

*mean*	7432.000-7373.000=59.000
σ	0.000
min	7432.000-7373.000=59.000
max	7432.000-7373.000=59.000

*mean*	425.146-501.967=-76.820
σ	42.904-292.703=-249.799
min	399.832-376.717=23.115
max	530.776-1217.797=-687.020

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*	475.625-476.000=-0.375
σ	0.518-0.000=0.518
min	475.000-476.000=-1.000
max	476.000

*mean*	385.039-390.109=-5.070
σ	43.780-32.226=11.555
min	292.429-344.738=-52.309
max	423.370-438.629=-15.259

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	563.750-563.125=0.625
σ	0.707-1.553=-0.846
min	562.000
max	564.000-565.000=-1.000

*mean*	727.748-716.314=11.434
σ	84.646-78.757=5.890
min	602.928-605.749=-2.821
max	836.334-813.270=23.064

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	964.543-963.986=0.557
σ	1.822-1.822=0.000
min	963.840-963.283=0.557
max	972.248-971.689=0.559

*mean*	1028.800-1043.650=-14.850
σ	301.074-306.341=-5.268
min	549.000-594.000=-45.000
max	1456.000-1493.000=-37.000

*mean*	1.286-1.271=0.015
σ	0.149-0.149=0.000
min	1.186-1.168=0.018
max	1.837-1.814=0.022

Parser: Comma Sep

Factor

allocated MiB

peak allocated MiB

time (ms)

name=ambiguous_item.art

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

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.412-0.405=0.007
σ	0.553-0.537=0.017
min	0.132-0.133=-0.002
max	1.399-1.362=0.038

name=error_case.art

*mean*	2.346-2.340=0.006
σ	0.012
min	2.340-2.334=0.006
max	2.368-2.362=0.006

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.473-0.476=-0.002
σ	0.327-0.322=0.005
min	0.317-0.317=-0.000
max	1.058-1.051=0.007

name=heavy_item.art

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

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.220-0.215=0.006
σ	0.021-0.021=-0.000
min	0.197-0.202=-0.005
max	0.255-0.252=0.003

name=nested_use.art

*mean*	2.364-2.358=0.006
σ	0.002
min	2.363-2.357=0.006
max	2.367-2.361=0.006

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.333-0.330=0.003
σ	0.021-0.015=0.006
min	0.312-0.316=-0.004
max	0.368-0.355=0.013

Parser: Real World

Factor

allocated MiB

peak allocated MiB

time (sec)

name=aon_gpf25_7k_loc.art

*mean*	964.979-964.971=0.008
σ	0.009-0.011=-0.001
min	964.974-964.965=0.008
max	964.996-964.989=0.006

*mean*	431.400-431.800=-0.400
σ	0.894-1.789=-0.894
min	431.000
max	433.000-435.000=-2.000

*mean*	0.570-0.575=-0.005
σ	0.032-0.031=0.001
min	0.527-0.537=-0.010
max	0.609-0.609=0.000

name=cdr_enhanced_4k_loc.art

*mean*	886.001-885.898=0.103
σ	0.002-0.002=-0.000
min	886.000-885.897=0.103
max	886.004-885.901=0.103

*mean*	440.000-443.000=-3.000
σ	0.000
min	440.000-443.000=-3.000
max	440.000-443.000=-3.000

*mean*	0.473-0.446=0.028
σ	0.042-0.074=-0.032
min	0.419-0.338=0.081
max	0.514-0.516=-0.002

Parser: Record Parsing

Factor

allocated MiB

peak allocated MiB

time (ms)

name=record_render_large_success.art

*mean*	7.719-7.710=0.009
σ	0.002
min	7.718-7.709=0.009
max	7.722-7.713=0.009

*mean*	440.000-443.000=-3.000
σ	0.000
min	440.000-443.000=-3.000
max	440.000-443.000=-3.000

*mean*	1.962-1.911=0.051
σ	0.071-0.083=-0.013
min	1.813-1.765=0.048
max	2.224-2.257=-0.033

name=record_render_large_syntax_err.art

*mean*	7.667-7.658=0.009
σ	0.002
min	7.666-7.657=0.009
max	7.670-7.661=0.009

*mean*	440.000-443.000=-3.000
σ	0.000
min	440.000-443.000=-3.000
max	440.000-443.000=-3.000

*mean*	1.957-1.908=0.048
σ	0.071-0.065=0.006
min	1.831-1.766=0.065
max	2.257-2.133=0.124

name=record_render_success.art

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

*mean*	440.000-443.000=-3.000
σ	0.000
min	440.000-443.000=-3.000
max	440.000-443.000=-3.000

*mean*	0.301-0.300=0.001
σ	0.008-0.009=-0.001
min	0.280-0.287=-0.007
max	0.344-0.359=-0.015

name=record_render_syntax_err.art

*mean*	2.166-2.165=0.001
σ	0.002
min	2.165-2.164=0.001
max	2.169-2.168=0.001

*mean*	440.000-443.000=-3.000
σ	0.000
min	440.000-443.000=-3.000
max	440.000-443.000=-3.000

*mean*	0.293-0.289=0.004
σ	0.010-0.007=0.003
min	0.279-0.275=0.004
max	0.337-0.320=0.017

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.985-11.489=0.496
σ	12.533-11.676=0.856
min	0.574-0.574=-0.000
max	110.921-102.949=7.972

*mean*	469.506-453.462=16.044
σ	20.153-16.451=3.702
min	408.000-410.000=-2.000
max	484.000-472.000=12.000

*mean*	0.027-0.026=0.001
σ	0.031-0.029=0.002
min	0.001-0.001=-0.000
max	0.270-0.270=-0.000

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	278.789-278.630=0.159
σ	1.053-1.095=-0.042
min	278.294-278.159=0.135
max	281.779-281.736=0.043

*mean*	441.300-440.900=0.400
σ	15.727-16.031=-0.304
min	417.000-414.000=3.000
max	467.000-465.000=2.000

*mean*	0.565-0.583=-0.018
σ	0.042-0.017=0.025
min	0.474-0.544=-0.071
max	0.619-0.613=0.006

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

*mean*	169.257-173.738=-4.481
σ	0.000-0.000=0.000
min	169.257-173.738=-4.481
max	169.257-173.738=-4.481

*mean*	874.000-841.000=33.000
σ	0.000-2.138=-2.138
min	874.000-839.000=35.000
max	874.000-843.000=31.000

*mean*	223.535-205.939=17.596
σ	23.658-22.008=1.649
min	190.524-181.115=9.409
max	242.867-239.725=3.142

phase=macro expansion

*mean*	5.900-6.130=-0.230
σ	0.000
min	5.900-6.130=-0.230
max	5.900-6.130=-0.230

*mean*	874.000-840.500=33.500
σ	0.000-2.070=-2.070
min	874.000-839.000=35.000
max	874.000-843.000=31.000

*mean*	7.431-9.116=-1.685
σ	1.604-1.058=0.546
min	5.851-7.345=-1.494
max	8.960-10.294=-1.335

phase=parser

*mean*	1042.134-1042.431=-0.297
σ	0.000-0.000=-0.000
min	1042.133-1042.430=-0.297
max	1042.134-1042.431=-0.297

*mean*	874.000-840.500=33.500
σ	0.000-2.070=-2.070
min	874.000-839.000=35.000
max	874.000-843.000=31.000

*mean*	511.219-553.462=-42.243
σ	110.165-69.241=40.924
min	374.372-420.662=-46.291
max	592.877-607.099=-14.222

phase=processProdDef

*mean*	2243.717-2243.978=-0.261
σ	0.000
min	2243.717-2243.978=-0.261
max	2243.717-2243.978=-0.261

*mean*	874.000-841.000=33.000
σ	0.000-2.138=-2.138
min	874.000-839.000=35.000
max	874.000-843.000=31.000

*mean*	2675.174-2512.858=162.315
σ	335.713-214.631=121.082
min	2308.432-2147.045=161.387
max	3207.502-2870.586=336.917

phase=renaming

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

*mean*	874.000-840.500=33.500
σ	0.000-2.070=-2.070
min	874.000-839.000=35.000
max	874.000-843.000=31.000

*mean*	37.418-36.630=0.788
σ	5.015-6.146=-1.131
min	28.922-26.523=2.399
max	41.869-40.521=1.348

phase=type checker

*mean*	958.596-989.755=-31.159
σ	0.047-0.066=-0.019
min	958.573-989.658=-31.085
max	958.698-989.845=-31.147

*mean*	874.000-840.500=33.500
σ	0.000-2.070=-2.070
min	874.000-839.000=35.000
max	874.000-843.000=31.000

*mean*	659.427-705.746=-46.319
σ	39.647-75.037=-35.390
min	636.684-640.137=-3.453
max	754.014-879.385=-125.371

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	282.589-282.617=-0.027
σ	0.036-0.034=0.002
min	282.537-282.568=-0.031
max	282.623-282.653=-0.029

*mean*	441.000-445.400=-4.400
σ	2.739-0.548=2.191
min	439.000-445.000=-6.000
max	444.000-446.000=-2.000

*mean*	0.381-0.388=-0.007
σ	0.009-0.011=-0.002
min	0.375-0.375=-0.001
max	0.393-0.397=-0.004

iters=5

new-facts=1

prior-facts=6402

*mean*	1267.800-1267.302=0.497
σ	0.091-0.080=0.011
min	1267.692-1267.230=0.462
max	1267.940-1267.430=0.510

*mean*	1076.800-1115.200=-38.400
σ	185.198-170.946=14.251
min	837.000-898.000=-61.000
max	1319.000-1329.000=-10.000

*mean*	2.064-1.891=0.173
σ	0.235-0.102=0.132
min	1.786-1.785=0.002
max	2.387-2.061=0.326

iters=5

new-facts=6402

prior-facts=1

*mean*	1506.813-1506.335=0.477
σ	2.960-2.945=0.015
min	1505.288-1504.837=0.451
max	1512.099-1511.595=0.504

*mean*	630.800-633.600=-2.800
σ	93.377-88.124=5.253
min	520.000-499.000=21.000
max	754.000-729.000=25.000

*mean*	2.330-2.251=0.079
σ	0.201-0.264=-0.063
min	2.078-2.042=0.036
max	2.622-2.660=-0.038

iters=5

new-facts=6402

prior-facts=6402

*mean*	1829.797-1829.323=0.474
σ	0.056-0.049=0.006
min	1829.733-1829.258=0.475
max	1829.855-1829.375=0.480

*mean*	1726.600-1757.400=-30.800
σ	169.100-222.416=-53.316
min	1489.000-1466.000=23.000
max	1885.000-1970.000=-85.000

*mean*	3.005-3.125=-0.120
σ	0.290-0.277=0.013
min	2.832-2.806=0.026
max	3.521-3.494=0.026

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.648-1.554=0.094
σ	0.154-0.037=0.116
min	1.521-1.513=0.008
max	1.898-1.608=0.290

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	405.597-409.435=-3.838
σ	509.661-518.108=-8.447
min	150.761-150.378=0.383
max	1170.088-1186.596=-16.508

*mean*	101.750-99.750=2.000
σ	7.500
min	98.000-96.000=2.000
max	113.000-111.000=2.000

*mean*	441.000-443.000=-2.000
σ	0.000
min	441.000-443.000=-2.000
max	441.000-443.000=-2.000

*mean*	0.508-0.509=-0.001
σ	0.503-0.487=0.017
min	0.252-0.255=-0.003
max	1.263-1.238=0.025

policies=20

*mean*	1507.805-1503.936=3.869
σ	0.269-0.255=0.015
min	1507.631-1503.766=3.865
max	1508.205-1504.313=3.891

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

*mean*	449.750-448.000=1.750
σ	11.087-5.774=5.313
min	441.000-443.000=-2.000
max	466.000-453.000=13.000

*mean*	2.502-2.488=0.014
σ	0.009-0.012=-0.003
min	2.495-2.474=0.021
max	2.514-2.503=0.010

policies=200

*mean*	15086.750-15047.881=38.869
σ	0.095-0.100=-0.005
min	15086.659-15047.809=38.850
max	15086.843-15048.029=38.814

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

*mean*	498.000-500.750=-2.750
σ	6.683-6.131=0.553
min	492.000-493.000=-1.000
max	507.000

*mean*	25.205-25.210=-0.005
σ	0.160-0.067=0.093
min	25.039-25.152=-0.113
max	25.421-25.285=0.136