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.833-54.881=-0.048
σ	0.368-0.359=0.009
min	54.696-54.742=-0.046
max	55.881-55.902=-0.021

*mean*	416.000-421.400=-5.400
σ	0.000-0.966=-0.966
min	416.000-420.000=-4.000
max	416.000-422.000=-6.000

*mean*	0.137-0.140=-0.003
σ	0.006-0.004=0.002
min	0.131-0.137=-0.006
max	0.147-0.148=-0.001

cache=y

dps=1

iters=10

policies=100

*mean*	43.843-43.849=-0.007
σ	0.005-0.006=-0.001
min	43.834-43.838=-0.004
max	43.850-43.856=-0.006

*mean*	416.000-422.000=-6.000
σ	0.000
min	416.000-422.000=-6.000
max	416.000-422.000=-6.000

*mean*	0.120-0.124=-0.004
σ	0.004-0.004=0.000
min	0.116-0.121=-0.005
max	0.128-0.133=-0.004

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.617=0.001

*mean*	4586.375-4429.000=157.375
σ	2249.853-2225.476=24.377
min	1487.000-1483.000=4.000
max	7386.000-7406.000=-20.000

*mean*	138.660-13.196=125.464
σ	356.988-2.374=354.614
min	11.464-11.975=-0.511
max	1022.145-18.960=1003.185

op=column_set() on indexed, repeat

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

*mean*	4586.375-4608.500=-22.125
σ	2249.853-2256.622=-6.769
min	1487.000-1483.000=4.000
max	7386.000-7406.000=-20.000

*mean*	14.496-167.160=-152.664
σ	4.460-434.850=-430.390
min	12.048-11.546=0.501
max	24.386-1243.345=-1218.959

op=table_records(), no indexes

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

*mean*	7386.000-7406.000=-20.000
σ	0.000
min	7386.000-7406.000=-20.000
max	7386.000-7406.000=-20.000

*mean*	10.952-11.023=-0.071
σ	1.784-0.115=1.670
min	9.988-10.812=-0.824
max	15.339-11.193=4.146

op=table_records(), repeat

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

*mean*	4174.625-4200.375=-25.750
σ	1945.070-1953.255=-8.185
min	1487.000-1483.000=4.000
max	7386.000-7406.000=-20.000

*mean*	11.294-11.486=-0.193
σ	1.675-1.340=0.335
min	10.386-10.797=-0.411
max	15.413-14.774=0.639

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

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

*mean*	4174.625-4200.375=-25.750
σ	1945.070-1953.255=-8.185
min	1487.000-1483.000=4.000
max	7386.000-7406.000=-20.000

*mean*	8.356-8.763=-0.406
σ	1.423-0.581=0.842
min	7.595-8.055=-0.460
max	11.844-10.012=1.832

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*	4174.625-4200.375=-25.750
σ	1945.070-1953.255=-8.185
min	1487.000-1483.000=4.000
max	7386.000-7406.000=-20.000

*mean*	6.172-6.896=-0.724
σ	1.138-0.514=0.623
min	5.058-6.314=-1.256
max	8.866-7.998=0.868

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*	4586.375-4608.500=-22.125
σ	2249.853-2256.622=-6.769
min	1487.000-1483.000=4.000
max	7386.000-7406.000=-20.000

*mean*	6.016-6.628=-0.612
σ	1.043-1.081=-0.038
min	5.406-5.909=-0.503
max	8.259-9.048=-0.788

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*	4586.375-4608.500=-22.125
σ	2249.853-2256.622=-6.769
min	1487.000-1483.000=4.000
max	7386.000-7406.000=-20.000

*mean*	5.829-6.403=-0.574
σ	1.026-1.111=-0.084
min	5.082-5.778=-0.696
max	8.177-8.948=-0.770

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*	7386.000-7406.000=-20.000
σ	0.000
min	7386.000-7406.000=-20.000
max	7386.000-7406.000=-20.000

*mean*	344.838-350.151=-5.313
σ	1.323-2.533=-1.210
min	343.153-346.481=-3.328
max	347.281-352.751=-5.470

op=load_product(), with indexes

*mean*	3495.878-3495.866=0.013
σ	0.469-0.469=-0.000
min	3495.713-3495.700=0.013
max	3497.038-3497.025=0.012

*mean*	3753.125-3772.750=-19.625
σ	2298.738-2310.010=-11.271
min	720.000
max	7386.000-7406.000=-20.000

*mean*	1795.836-1796.714=-0.877
σ	679.329-670.759=8.570
min	1391.495-1397.500=-6.006
max	2988.781-2977.810=10.971

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.854-107.852=0.001
max	107.855-107.853=0.001

*mean*	4404.625-4200.375=204.250
σ	2219.786-1953.255=266.531
min	1487.000-1483.000=4.000
max	7386.000-7406.000=-20.000

*mean*	253.952-134.659=119.292
σ	334.759-10.344=324.416
min	122.552-125.356=-2.804
max	1080.934-158.704=922.230

op=column_set() on unindexed, dense, repeat

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

*mean*	4404.625-4429.000=-24.375
σ	2219.786-2225.476=-5.691
min	1487.000-1483.000=4.000
max	7386.000-7406.000=-20.000

*mean*	43.901-164.687=-120.786
σ	8.070-342.355=-334.284
min	39.261-41.777=-2.516
max	63.538-1011.964=-948.425

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

*mean*	7386.000-7406.000=-20.000
σ	0.000
min	7386.000-7406.000=-20.000
max	7386.000-7406.000=-20.000

*mean*	182.369-74.387=107.981
σ	452.467-147.012=305.455
min	20.770-21.496=-0.726
max	1302.156-438.208=863.948

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.305=0.001
max	71.311-71.310=0.001

*mean*	7386.000-7406.000=-20.000
σ	0.000
min	7386.000-7406.000=-20.000
max	7386.000-7406.000=-20.000

*mean*	64.621-58.948=5.673
σ	23.925-6.541=17.384
min	54.915-55.782=-0.867
max	123.530-75.045=48.485

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	4646.851-4646.849=0.002
σ	0.014-0.013=0.000
min	4646.845-4646.844=0.001
max	4646.884-4646.882=0.002

*mean*	4174.625-4200.375=-25.750
σ	1945.070-1953.255=-8.185
min	1487.000-1483.000=4.000
max	7386.000-7406.000=-20.000

*mean*	3318.552-3307.264=11.288
σ	789.524-706.389=83.136
min	2517.911-2528.485=-10.574
max	4732.789-4261.279=471.510

op=vertical_lookup_list() on indexed

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

*mean*	7386.000-7406.000=-20.000
σ	0.000
min	7386.000-7406.000=-20.000
max	7386.000-7406.000=-20.000

*mean*	1080.367-1030.923=49.444
σ	285.049-200.866=84.183
min	932.421-936.401=-3.980
max	1693.836-1516.450=177.386

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*	7386.000-7406.000=-20.000
σ	0.000
min	7386.000-7406.000=-20.000
max	7386.000-7406.000=-20.000

*mean*	405.518-405.026=0.492
σ	35.574-42.658=-7.085
min	387.617-377.201=10.416
max	492.294-509.732=-17.438

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.125-476.750=0.375
σ	1.246-2.188=-0.941
min	475.000
max	478.000-480.000=-2.000

*mean*	373.075-381.713=-8.638
σ	28.821-30.425=-1.604
min	304.591-321.177=-16.586
max	393.545-430.649=-37.104

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	568.000-562.375=5.625
σ	0.000-3.623=-3.623
min	568.000-558.000=10.000
max	568.000-565.000=3.000

*mean*	737.458-750.531=-13.072
σ	62.405-80.100=-17.695
min	654.793-619.893=34.900
max	831.232-838.710=-7.478

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	963.970-1024.566=-60.595
σ	1.821-0.759=1.062
min	963.265-1024.095=-60.830
max	971.671-1027.704=-56.033

*mean*	1043.950-1050.600=-6.650
σ	306.317-312.741=-6.424
min	587.000-594.000=-7.000
max	1493.000-1515.000=-22.000

*mean*	1.255-1.400=-0.145
σ	0.126-0.077=0.048
min	1.172-1.319=-0.147
max	1.759-1.589=0.169

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

*mean*	0.313-0.304=0.008
σ	0.303-0.283=0.020
min	0.151-0.144=0.007
max	0.851-0.807=0.045

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

*mean*	0.496-0.480=0.016
σ	0.312-0.325=-0.013
min	0.334-0.326=0.008
max	1.054-1.062=-0.007

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

*mean*	0.217-0.219=-0.002
σ	0.022-0.020=0.002
min	0.201-0.204=-0.003
max	0.255-0.253=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*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.336-0.341=-0.005
σ	0.019-0.022=-0.003
min	0.320-0.324=-0.004
max	0.368-0.380=-0.011

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*	431.600-431.000=0.600
σ	1.342-0.000=1.342
min	431.000
max	434.000-431.000=3.000

*mean*	0.575-0.558=0.017
σ	0.029-0.062=-0.033
min	0.524-0.487=0.037
max	0.591-0.612=-0.020

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*	441.000-431.000=10.000
σ	0.000
min	441.000-431.000=10.000
max	441.000-431.000=10.000

*mean*	0.518-0.502=0.016
σ	0.003-0.024=-0.021
min	0.513-0.466=0.047
max	0.522-0.521=0.001

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*	441.000-431.000=10.000
σ	0.000
min	441.000-431.000=10.000
max	441.000-431.000=10.000

*mean*	2.640-2.579=0.061
σ	0.120-0.251=-0.131
min	2.412-1.952=0.461
max	3.040-3.020=0.020

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*	441.000-431.000=10.000
σ	0.000
min	441.000-431.000=10.000
max	441.000-431.000=10.000

*mean*	2.629-2.619=0.010
σ	0.100-0.067=0.033
min	2.458-2.454=0.004
max	2.962-2.764=0.198

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*	441.000-431.000=10.000
σ	0.000
min	441.000-431.000=10.000
max	441.000-431.000=10.000

*mean*	0.303-0.308=-0.005
σ	0.012-0.010=0.001
min	0.288-0.290=-0.002
max	0.375-0.360=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-431.000=10.000
σ	0.000
min	441.000-431.000=10.000
max	441.000-431.000=10.000

*mean*	0.288-0.300=-0.012
σ	0.007-0.041=-0.034
min	0.274-0.277=-0.003
max	0.323-0.696=-0.373

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.331-11.929=-0.598
σ	12.410-12.303=0.107
min	0.574-0.574=0.000
max	101.395-117.262=-15.867

*mean*	454.591-455.433=-0.842
σ	18.515-17.748=0.767
min	407.000-406.000=1.000
max	472.000-474.000=-2.000

*mean*	0.026-0.027=-0.001
σ	0.030-0.030=0.000
min	0.001-0.001=-0.000
max	0.244-0.285=-0.041

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	278.925-298.875=-19.949
σ	1.039-0.965=0.075
min	278.456-298.454=-19.998
max	281.877-301.613=-19.736

*mean*	446.600-445.900=0.700
σ	21.593-16.656=4.937
min	415.000-425.000=-10.000
max	476.000-470.000=6.000

*mean*	0.590-0.601=-0.012
σ	0.011-0.024=-0.013
min	0.577-0.555=0.022
max	0.615-0.647=-0.032

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

*mean*	173.738-236.681=-62.943
σ	0.000-0.000=0.000
min	173.738-236.681=-62.943
max	173.738-236.681=-62.943

*mean*	840.000-1014.375=-174.375
σ	0.000-63.993=-63.993
min	840.000-856.000=-16.000
max	840.000-1037.000=-197.000

*mean*	229.805-206.661=23.144
σ	26.041-3.298=22.743
min	192.698-202.536=-9.838
max	257.256-213.956=43.300

phase=macro expansion

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

*mean*	840.000-1014.375=-174.375
σ	0.000-63.993=-63.993
min	840.000-856.000=-16.000
max	840.000-1037.000=-197.000

*mean*	9.896-12.044=-2.148
σ	1.120-2.797=-1.677
min	9.402-6.406=2.996
max	12.650-16.020=-3.370

phase=parser

*mean*	1042.431-1042.451=-0.020
σ	0.000-0.000=0.000
min	1042.431-1042.451=-0.021
max	1042.431-1042.452=-0.021

*mean*	840.000-1014.375=-174.375
σ	0.000-63.993=-63.993
min	840.000-856.000=-16.000
max	840.000-1037.000=-197.000

*mean*	608.038-660.406=-52.368
σ	45.582-156.532=-110.950
min	585.421-380.858=204.563
max	720.358-832.868=-112.510

phase=processProdDef

*mean*	2243.978-2232.166=11.811
σ	0.000
min	2243.978-2232.166=11.811
max	2243.978-2232.166=11.811

*mean*	840.000-1037.000=-197.000
σ	0.000
min	840.000-1037.000=-197.000
max	840.000-1037.000=-197.000

*mean*	2227.161-2717.412=-490.251
σ	239.029-427.216=-188.187
min	2025.804-1765.656=260.148
max	2754.827-3187.407=-432.580

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*	840.000-1014.375=-174.375
σ	0.000-63.993=-63.993
min	840.000-856.000=-16.000
max	840.000-1037.000=-197.000

*mean*	40.982-44.915=-3.933
σ	2.801-7.984=-5.183
min	39.201-30.810=8.391
max	47.769-55.648=-7.879

phase=type checker

*mean*	989.755-990.450=-0.695
σ	0.066-0.071=-0.005
min	989.658-990.345=-0.687
max	989.845-990.563=-0.718

*mean*	840.000-1014.375=-174.375
σ	0.000-63.993=-63.993
min	840.000-856.000=-16.000
max	840.000-1037.000=-197.000

*mean*	703.026-938.864=-235.838
σ	73.535-81.635=-8.101
min	673.815-834.858=-161.043
max	884.969-1075.027=-190.057

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	282.394-293.821=-11.426
σ	0.025-0.038=-0.013
min	282.374-293.767=-11.394
max	282.427-293.860=-11.433

*mean*	444.400-441.000=3.400
σ	0.548-3.000=-2.452
min	444.000-438.000=6.000
max	445.000

*mean*	0.381-0.398=-0.017
σ	0.006-0.008=-0.002
min	0.377-0.392=-0.015
max	0.392-0.410=-0.018

iters=5

new-facts=1

prior-facts=6402

*mean*	1267.081-1320.293=-53.212
σ	0.095-0.138=-0.043
min	1267.005-1320.166=-53.161
max	1267.242-1320.520=-53.278

*mean*	1112.200-1113.800=-1.600
σ	170.029-169.549=0.480
min	897.000
max	1330.000-1324.000=6.000

*mean*	1.921-1.928=-0.006
σ	0.094-0.027=0.067
min	1.833-1.903=-0.070
max	2.076-1.969=0.107

iters=5

new-facts=6402

prior-facts=1

*mean*	1506.135-1559.293=-53.158
σ	2.902-2.966=-0.064
min	1504.638-1557.726=-53.087
max	1511.317-1564.584=-53.267

*mean*	629.000-637.200=-8.200
σ	90.119-74.045=16.074
min	505.000-539.000=-34.000
max	729.000-727.000=2.000

*mean*	2.335-2.334=0.001
σ	0.249-0.249=0.000
min	2.065-2.064=0.001
max	2.579-2.622=-0.042

iters=5

new-facts=6402

prior-facts=6402

*mean*	1829.117-1882.375=-53.257
σ	0.093-0.075=0.018
min	1829.018-1882.291=-53.273
max	1829.261-1882.474=-53.213

*mean*	1767.600-1753.400=14.200
σ	211.820-208.905=2.915
min	1490.000-1474.000=16.000
max	1969.000-1951.000=18.000

*mean*	3.163-3.272=-0.109
σ	0.331-0.392=-0.061
min	2.832-2.893=-0.060
max	3.638-3.806=-0.168

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.660-1.805=-0.145
σ	0.063-0.137=-0.074
min	1.591-1.581=0.010
max	1.763-1.919=-0.157

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	397.698-416.906=-19.208
σ	518.052-512.374=5.678
min	138.670-160.715=-22.044
max	1174.776-1185.467=-10.691

*mean*	97.750-102.250=-4.500
σ	7.500-8.500=-1.000
min	94.000-98.000=-4.000
max	109.000-115.000=-6.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.505-0.512=-0.007
σ	0.536-0.492=0.044
min	0.235-0.265=-0.030
max	1.309-1.250=0.058

policies=20

*mean*	1386.847-1607.478=-220.630
σ	0.178-0.359=-0.181
min	1386.727-1607.222=-220.495
max	1387.112-1608.007=-220.895

*mean*	940.000-980.000=-40.000
σ	0.000
min	940.000-980.000=-40.000
max	940.000-980.000=-40.000

*mean*	445.500-448.000=-2.500
σ	1.732-2.309=-0.577
min	444.000-446.000=-2.000
max	447.000-450.000=-3.000

*mean*	2.375-2.612=-0.236
σ	0.056-0.010=0.047
min	2.318-2.601=-0.283
max	2.453-2.624=-0.171

policies=200

*mean*	13876.817-16083.303=-2206.486
σ	0.129-0.125=0.004
min	13876.707-16083.148=-2206.441
max	13876.994-16083.432=-2206.438

*mean*	9400.000-9800.000=-400.000
σ	0.000
min	9400.000-9800.000=-400.000
max	9400.000-9800.000=-400.000

*mean*	494.500-500.250=-5.750
σ	5.802-5.560=0.242
min	488.000-494.000=-6.000
max	502.000-507.000=-5.000

*mean*	23.501-26.446=-2.945
σ	0.074-0.220=-0.145
min	23.417-26.166=-2.749
max	23.597-26.702=-3.105