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-447.664=-0.781
σ	0.000
min	446.883-447.664=-0.781
max	446.883-447.664=-0.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.882=-0.022
σ	0.359-0.357=0.002
min	54.718-54.747=-0.029
max	55.881-55.898=-0.017

*mean*	418.000-415.000=3.000
σ	0.000
min	418.000-415.000=3.000
max	418.000-415.000=3.000

*mean*	0.142-0.141=0.001
σ	0.006-0.007=-0.001
min	0.137-0.128=0.009
max	0.151-0.151=0.000

cache=y

dps=1

iters=10

policies=100

*mean*	43.847-43.849=-0.002
σ	0.006-0.006=0.000
min	43.839-43.840=-0.001
max	43.860-43.859=0.001

*mean*	418.000-415.700=2.300
σ	0.000-0.483=-0.483
min	418.000-415.000=3.000
max	418.000-416.000=2.000

*mean*	0.125-0.123=0.002
σ	0.006-0.004=0.002
min	0.119-0.118=0.000
max	0.135-0.131=0.005

CSV - indexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on indexed

*mean*	36.617-36.616=0.001
σ	0.000-0.000=0.000
min	36.617-36.616=0.001
max	36.618-36.616=0.002

*mean*	4594.250-4220.875=373.375
σ	2248.056-1972.328=275.728
min	1485.000-1484.000=1.000
max	7383.000-7442.000=-59.000

*mean*	144.686-12.127=132.559
σ	375.149-0.184=374.965
min	11.791-11.967=-0.177
max	1073.132-12.490=1060.642

op=column_set() on indexed, repeat

*mean*	36.617-36.616=0.001
σ	0.000-0.000=-0.000
min	36.617-36.616=0.001
max	36.618-36.617=0.000

*mean*	4594.250-4447.375=146.875
σ	2248.056-2242.771=5.285
min	1485.000-1484.000=1.000
max	7383.000-7442.000=-59.000

*mean*	13.369-131.489=-118.120
σ	2.862-336.799=-333.938
min	11.380-11.740=-0.360
max	20.373-965.023=-944.650

op=table_records(), no indexes

*mean*	41.948-41.948=0.000
σ	0.002-0.002=-0.000
min	41.946-41.945=0.001
max	41.950-41.950=0.001

*mean*	7383.000-7442.000=-59.000
σ	0.000
min	7383.000-7442.000=-59.000
max	7383.000-7442.000=-59.000

*mean*	11.596-11.221=0.375
σ	2.011-0.900=1.111
min	10.719-10.578=0.142
max	16.556-13.408=3.148

op=table_records(), repeat

*mean*	41.933-41.933=0.001
σ	0.000-0.000=-0.000
min	41.933-41.932=0.001
max	41.934-41.933=0.001

*mean*	4187.000-4220.875=-33.875
σ	1945.417-1972.328=-26.911
min	1485.000-1484.000=1.000
max	7383.000-7442.000=-59.000

*mean*	11.412-11.518=-0.106
σ	1.781-1.814=-0.033
min	10.553-10.743=-0.190
max	15.808-15.994=-0.187

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

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

*mean*	4187.000-4220.875=-33.875
σ	1945.417-1972.328=-26.911
min	1485.000-1484.000=1.000
max	7383.000-7442.000=-59.000

*mean*	9.014-8.859=0.155
σ	1.271-1.293=-0.022
min	8.080-8.109=-0.029
max	12.100-12.035=0.065

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

*mean*	26.406-26.404=0.002
σ	0.000-0.000=-0.000
min	26.406-26.404=0.002
max	26.406-26.404=0.002

*mean*	4187.000-4220.875=-33.875
σ	1945.417-1972.328=-26.911
min	1485.000-1484.000=1.000
max	7383.000-7442.000=-59.000

*mean*	7.001-6.861=0.141
σ	0.932-1.124=-0.192
min	6.390-5.745=0.646
max	9.279-9.438=-0.159

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.681-25.679=0.002
σ	0.003-0.003=-0.000
min	25.680-25.678=0.002
max	25.688-25.686=0.002

*mean*	4594.250-4447.375=146.875
σ	2248.056-2242.771=5.285
min	1485.000-1484.000=1.000
max	7383.000-7442.000=-59.000

*mean*	6.343-6.312=0.032
σ	1.091-1.114=-0.023
min	5.729-5.786=-0.057
max	9.010-9.053=-0.043

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.984-25.982=0.002
σ	0.000-0.000=-0.000
min	25.984-25.982=0.002
max	25.985-25.983=0.002

*mean*	4594.250-4447.375=146.875
σ	2248.056-2242.771=5.285
min	1485.000-1484.000=1.000
max	7383.000-7442.000=-59.000

*mean*	6.204-6.170=0.033
σ	1.091-1.157=-0.067
min	5.623-5.371=0.252
max	8.884-9.005=-0.122

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.627-1021.614=0.013
σ	0.002-0.002=-0.000
min	1021.625-1021.612=0.013
max	1021.629-1021.617=0.012

*mean*	7383.000-7442.000=-59.000
σ	0.000
min	7383.000-7442.000=-59.000
max	7383.000-7442.000=-59.000

*mean*	346.866-349.070=-2.204
σ	1.583-2.218=-0.635
min	343.691-344.641=-0.950
max	348.509-351.193=-2.685

op=load_product(), with indexes

*mean*	3495.878-3495.866=0.012
σ	0.468-0.468=-0.000
min	3495.713-3495.700=0.013
max	3497.036-3497.024=0.012

*mean*	3761.250-3791.875=-30.625
σ	2301.106-2330.224=-29.118
min	719.000-720.000=-1.000
max	7383.000-7442.000=-59.000

*mean*	1763.250-2087.292=-324.043
σ	684.477-985.230=-300.753
min	1386.995-1400.586=-13.591
max	2955.283-3885.773=-930.490

CSV - unindexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

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

*mean*	107.854-107.853=0.001
σ	0.000-0.000=0.000
min	107.853-107.852=0.001
max	107.855-107.853=0.001

*mean*	4415.125-4220.875=194.250
σ	2217.173-1972.328=244.845
min	1485.000-1484.000=1.000
max	7383.000-7442.000=-59.000

*mean*	195.924-132.888=63.036
σ	157.462-17.813=139.649
min	126.552-123.056=3.496
max	583.902-176.514=407.389

op=column_set() on unindexed, dense, repeat

*mean*	62.081-62.081=0.001
σ	0.000-0.001=-0.001
min	62.081-62.080=0.001
max	62.082-62.084=-0.003

*mean*	4415.125-4220.875=194.250
σ	2217.173-1972.328=244.845
min	1485.000-1484.000=1.000
max	7383.000-7442.000=-59.000

*mean*	41.902-42.680=-0.778
σ	1.405-0.950=0.455
min	39.600-41.505=-1.905
max	44.076-43.902=0.173

op=vertical_lookup_list() repeated on unindexed missing Int

*mean*	40.948-40.946=0.002
σ	0.002-0.002=-0.000
min	40.947-40.945=0.002
max	40.950-40.949=0.002

*mean*	7383.000-7442.000=-59.000
σ	0.000
min	7383.000-7442.000=-59.000
max	7383.000-7442.000=-59.000

*mean*	184.384-22.656=161.728
σ	458.364-2.615=455.749
min	21.312-21.369=-0.057
max	1318.765-29.064=1289.701

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	71.308-71.307=0.001
σ	0.002-0.002=0.000
min	71.307-71.306=0.001
max	71.311-71.310=0.001

*mean*	7383.000-7442.000=-59.000
σ	0.000
min	7383.000-7442.000=-59.000
max	7383.000-7442.000=-59.000

*mean*	64.384-112.713=-48.329
σ	24.709-156.835=-132.127
min	54.679-55.556=-0.877
max	125.437-500.820=-375.384

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	4646.850-4646.849=0.001
σ	0.013-0.013=0.000
min	4646.845-4646.844=0.001
max	4646.883-4646.882=0.002

*mean*	4187.000-4220.875=-33.875
σ	1945.417-1972.328=-26.911
min	1485.000-1484.000=1.000
max	7383.000-7442.000=-59.000

*mean*	3368.302-3365.679=2.623
σ	898.778-698.158=200.619
min	2513.046-2496.837=16.209
max	4705.653-4272.785=432.868

op=vertical_lookup_list() on indexed

*mean*	1973.851-1973.849=0.002
σ	0.002-0.002=0.000
min	1973.849-1973.847=0.002
max	1973.854-1973.851=0.003

*mean*	7383.000-7442.000=-59.000
σ	0.000
min	7383.000-7442.000=-59.000
max	7383.000-7442.000=-59.000

*mean*	1031.922-1130.259=-98.338
σ	240.452-522.936=-282.484
min	919.698-920.306=-0.608
max	1607.207-2418.918=-811.711

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

*mean*	905.105-905.103=0.002
σ	0.002
min	905.102-905.101=0.002
max	905.108-905.106=0.002

*mean*	7383.000-7442.000=-59.000
σ	0.000
min	7383.000-7442.000=-59.000
max	7383.000-7442.000=-59.000

*mean*	407.369-405.847=1.522
σ	39.723-40.545=-0.822
min	382.402-379.627=2.775
max	504.986-505.401=-0.415

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.000-479.000=-4.000
σ	0.000
min	475.000-479.000=-4.000
max	475.000-479.000=-4.000

*mean*	360.482-372.833=-12.352
σ	34.676-51.098=-16.421
min	307.027-306.068=0.959
max	419.317-434.247=-14.930

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	566.000-564.000=2.000
σ	0.000
min	566.000-564.000=2.000
max	566.000-564.000=2.000

*mean*	769.391-785.370=-15.979
σ	55.295-47.967=7.328
min	642.117-711.139=-69.022
max	823.939-849.759=-25.820

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1024.565-1024.566=-0.000
σ	0.760-0.759=0.000
min	1024.094-1024.095=-0.000
max	1027.704-1027.704=0.000

*mean*	1060.000-1047.350=12.650
σ	314.509-314.655=-0.147
min	590.000-572.000=18.000
max	1531.000-1513.000=18.000

*mean*	1.374-1.381=-0.007
σ	0.065-0.081=-0.016
min	1.315-1.308=0.007
max	1.561-1.590=-0.029

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

*mean*	0.378-0.308=0.070
σ	0.457-0.291=0.166
min	0.141-0.147=-0.006
max	1.194-0.820=0.374

name=error_case.art

*mean*	2.340-2.340=-0.000
σ	0.012
min	2.334-2.334=-0.000
max	2.362-2.362=-0.000

*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.415-0.479=-0.064
σ	0.187-0.326=-0.139
min	0.320-0.323=-0.003
max	0.750-1.063=-0.312

name=heavy_item.art

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

*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.222-0.223=-0.002
σ	0.024-0.021=0.003
min	0.198-0.207=-0.009
max	0.262-0.260=0.002

name=nested_use.art

*mean*	2.358-2.358=-0.000
σ	0.002
min	2.357-2.357=-0.000
max	2.361-2.361=-0.000

*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.333-0.337=-0.004
σ	0.019-0.021=-0.002
min	0.317-0.320=-0.003
max	0.366-0.374=-0.007

Parser: Real World

Factor

allocated MiB

peak allocated MiB

time (sec)

name=aon_gpf25_7k_loc.art

*mean*	964.971-965.024=-0.053
σ	0.011
min	964.965-965.018=-0.053
max	964.989-965.042=-0.053

*mean*	435.600-431.600=4.000
σ	6.066-1.342=4.725
min	430.000-431.000=-1.000
max	442.000-434.000=8.000

*mean*	0.540-0.582=-0.042
σ	0.063-0.025=0.038
min	0.481-0.543=-0.062
max	0.616-0.605=0.011

name=cdr_enhanced_4k_loc.art

*mean*	885.898-885.928=-0.029
σ	0.002
min	885.897-885.926=-0.029
max	885.901-885.930=-0.029

*mean*	442.000-441.000=1.000
σ	0.000
min	442.000-441.000=1.000
max	442.000-441.000=1.000

*mean*	0.501-0.498=0.003
σ	0.021-0.022=-0.000
min	0.465-0.460=0.004
max	0.515-0.515=-0.000

Parser: Record Parsing

Factor

allocated MiB

peak allocated MiB

time (ms)

name=record_render_large_success.art

*mean*	7.710-7.710=-0.000
σ	0.002
min	7.709-7.709=-0.000
max	7.713-7.713=-0.000

*mean*	442.000-441.000=1.000
σ	0.000
min	442.000-441.000=1.000
max	442.000-441.000=1.000

*mean*	1.968-2.621=-0.653
σ	0.078-0.112=-0.034
min	1.839-2.475=-0.637
max	2.222-3.080=-0.857

name=record_render_large_syntax_err.art

*mean*	7.658-7.658=-0.000
σ	0.002
min	7.657-7.657=-0.000
max	7.661-7.661=-0.000

*mean*	442.000-441.000=1.000
σ	0.000
min	442.000-441.000=1.000
max	442.000-441.000=1.000

*mean*	2.498-2.605=-0.108
σ	0.278-0.089=0.189
min	1.865-2.460=-0.595
max	2.947-2.931=0.016

name=record_render_success.art

*mean*	2.290-2.290=-0.000
σ	0.002
min	2.289-2.289=-0.000
max	2.293-2.293=-0.000

*mean*	442.000-441.000=1.000
σ	0.000
min	442.000-441.000=1.000
max	442.000-441.000=1.000

*mean*	0.314-0.317=-0.002
σ	0.034-0.052=-0.018
min	0.291-0.293=-0.002
max	0.597-0.759=-0.162

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

*mean*	0.292-0.290=0.002
σ	0.010-0.006=0.003
min	0.279-0.276=0.003
max	0.340-0.316=0.024

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.663-11.281=0.381
σ	11.397-11.095=0.302
min	0.574-0.574=-0.000
max	110.953-108.189=2.765

*mean*	466.537-459.529=7.008
σ	19.756-18.774=0.982
min	406.000
max	483.000-475.000=8.000

*mean*	0.027-0.026=0.001
σ	0.028-0.027=0.001
min	0.001-0.001=-0.000
max	0.264-0.267=-0.003

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.634-298.693=-0.059
σ	1.030-1.009=0.021
min	298.264-298.277=-0.013
max	301.564-301.556=0.008

*mean*	440.900-443.000=-2.100
σ	16.394-15.217=1.177
min	415.000-418.000=-3.000
max	467.000-468.000=-1.000

*mean*	0.606-0.594=0.012
σ	0.011-0.030=-0.019
min	0.594-0.522=0.072
max	0.634-0.633=0.001

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

*mean*	844.000-1013.500=-169.500
σ	0.000-66.468=-66.468
min	844.000-849.000=-5.000
max	844.000-1037.000=-193.000

*mean*	205.575-206.102=-0.527
σ	29.666-3.612=26.054
min	153.483-199.180=-45.697
max	248.606-211.547=37.059

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-1013.500=-170.125
σ	1.768-66.468=-64.700
min	839.000-849.000=-10.000
max	844.000-1037.000=-193.000

*mean*	9.299-11.322=-2.023
σ	0.716-1.817=-1.101
min	7.553-8.784=-1.231
max	9.781-13.171=-3.390

phase=parser

*mean*	1042.434-1042.452=-0.018
σ	0.000-0.000=-0.000
min	1042.434-1042.452=-0.018
max	1042.434-1042.453=-0.019

*mean*	843.375-1013.500=-170.125
σ	1.768-66.468=-64.700
min	839.000-849.000=-10.000
max	844.000-1037.000=-193.000

*mean*	583.341-623.025=-39.683
σ	48.837-170.193=-121.355
min	468.059-382.344=85.715
max	620.818-835.039=-214.221

phase=processProdDef

*mean*	2243.977-2232.167=11.810
σ	0.000
min	2243.977-2232.167=11.810
max	2243.977-2232.167=11.810

*mean*	844.000-1037.000=-193.000
σ	0.000
min	844.000-1037.000=-193.000
max	844.000-1037.000=-193.000

*mean*	2841.464-2700.827=140.636
σ	331.921-633.910=-301.989
min	2157.527-1679.381=478.146
max	3245.144-3347.438=-102.295

phase=renaming

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

*mean*	843.375-1013.500=-170.125
σ	1.768-66.468=-64.700
min	839.000-849.000=-10.000
max	844.000-1037.000=-193.000

*mean*	38.579-40.609=-2.031
σ	4.832-9.771=-4.939
min	26.676-27.063=-0.386
max	41.071-52.219=-11.148

phase=type checker

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

*mean*	843.375-1013.500=-170.125
σ	1.768-66.468=-64.700
min	839.000-849.000=-10.000
max	844.000-1037.000=-193.000

*mean*	728.401-858.755=-130.354
σ	62.261-88.623=-26.362
min	659.059-750.651=-91.592
max	865.907-963.345=-97.438

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.769=-0.001
max	293.858-293.862=-0.004

*mean*	444.400-443.000=1.400
σ	0.548-2.739=-2.191
min	444.000-441.000=3.000
max	445.000-446.000=-1.000

*mean*	0.392-0.399=-0.007
σ	0.006-0.008=-0.002
min	0.387-0.392=-0.005
max	0.401-0.409=-0.008

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.286-1320.290=-0.005
σ	0.123-0.144=-0.020
min	1320.164-1320.163=0.001
max	1320.492-1320.529=-0.037

*mean*	1089.800-1114.600=-24.800
σ	168.564-170.190=-1.627
min	890.000-897.000=-7.000
max	1320.000-1325.000=-5.000

*mean*	1.970-1.961=0.008
σ	0.182-0.046=0.136
min	1.836-1.890=-0.053
max	2.282-2.006=0.277

iters=5

new-facts=6402

prior-facts=1

*mean*	1559.286-1559.301=-0.015
σ	2.984-3.033=-0.049
min	1557.683-1557.698=-0.015
max	1564.611-1564.713=-0.102

*mean*	626.600-628.600=-2.000
σ	88.562-89.993=-1.431
min	495.000-505.000=-10.000
max	731.000-728.000=3.000

*mean*	2.207-2.428=-0.221
σ	0.218-0.348=-0.130
min	2.078-2.066=0.013
max	2.587-2.888=-0.301

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.343-1882.361=-0.018
σ	0.060-0.079=-0.019
min	1882.265-1882.270=-0.005
max	1882.428-1882.465=-0.037

*mean*	1730.600-1757.200=-26.600
σ	177.403-216.107=-38.704
min	1472.000-1466.000=6.000
max	1890.000-1961.000=-71.000

*mean*	3.035-3.191=-0.156
σ	0.325-0.340=-0.015
min	2.777-2.904=-0.127
max	3.599-3.598=0.000

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.662-1.655=0.007
σ	0.172-0.180=-0.008
min	1.438-1.413=0.025
max	1.877-1.853=0.024

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	419.944-416.908=3.036
σ	518.105-512.374=5.731
min	160.888-160.717=0.171
max	1197.102-1185.469=11.633

*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-448.000=-2.000
σ	0.000
min	446.000-448.000=-2.000
max	446.000-448.000=-2.000

*mean*	0.524-0.528=-0.004
σ	0.516-0.528=-0.013
min	0.262-0.261=0.001
max	1.297-1.320=-0.023

policies=20

*mean*	1609.202-1607.505=1.697
σ	0.342-0.357=-0.014
min	1608.961-1607.254=1.707
max	1609.710-1608.032=1.678

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	449.250-449.500=-0.250
σ	6.500-1.000=5.500
min	446.000-448.000=-2.000
max	459.000-450.000=9.000

*mean*	2.582-2.624=-0.043
σ	0.027-0.008=0.019
min	2.552-2.616=-0.064
max	2.606-2.635=-0.029

policies=200

*mean*	16100.689-16083.440=17.249
σ	0.094-0.108=-0.014
min	16100.603-16083.308=17.295
max	16100.818-16083.542=17.276

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	497.250-496.250=1.000
σ	3.500-4.113=-0.613
min	493.000-491.000=2.000
max	501.000-500.000=1.000

*mean*	26.040-26.556=-0.516
σ	0.145-0.209=-0.063
min	25.922-26.359=-0.437
max	26.247-26.757=-0.510