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.676=-0.281
σ	0.000
min	6.395-6.676=-0.281
max	6.395-6.676=-0.281

Aggregation: measureAggregations

Factor

allocated MiB

peak allocated MiB

time_s

cache=n

dps=1

iters=10

policies=100

*mean*	54.717-54.775=-0.058
σ	0.363-0.366=-0.003
min	54.582-54.633=-0.050
max	55.750-55.816=-0.066

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

*mean*	0.142-0.141=0.001
σ	0.005-0.004=0.001
min	0.137-0.138=-0.000
max	0.151-0.148=0.002

cache=y

dps=1

iters=10

policies=100

*mean*	43.779-43.773=0.006
σ	0.007-0.005=0.002
min	43.767-43.764=0.002
max	43.788-43.780=0.008

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

*mean*	0.124-0.124=0.000
σ	0.004-0.004=0.001
min	0.121-0.121=0.001
max	0.132-0.130=0.002

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*	4589.500-4592.750=-3.250
σ	2247.606-2248.965=-1.360
min	1486.000
max	7379.000-7382.000=-3.000

*mean*	152.166-141.847=10.319
σ	395.904-366.461=29.444
min	11.921-11.858=0.063
max	1131.979-1048.791=83.189

op=column_set() on indexed, repeat

*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*	4589.500-4592.750=-3.250
σ	2247.606-2248.965=-1.360
min	1486.000
max	7379.000-7382.000=-3.000

*mean*	14.063-13.571=0.492
σ	4.367-4.714=-0.347
min	11.770-11.085=0.685
max	24.818-25.111=-0.294

op=table_records(), no indexes

*mean*	41.940-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*	7379.000-7382.000=-3.000
σ	0.000
min	7379.000-7382.000=-3.000
max	7379.000-7382.000=-3.000

*mean*	11.610-11.170=0.440
σ	1.753-0.243=1.510
min	10.717-10.851=-0.134
max	15.929-11.575=4.353

op=table_records(), repeat

*mean*	41.925-41.933=-0.008
σ	0.002-0.000=0.001
min	41.924-41.933=-0.009
max	41.929-41.934=-0.005

*mean*	4180.375-4184.375=-4.000
σ	1944.792-1946.392=-1.600
min	1486.000
max	7379.000-7382.000=-3.000

*mean*	11.839-11.684=0.155
σ	1.840-1.678=0.162
min	10.837-10.713=0.124
max	16.326-15.815=0.510

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

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

*mean*	4180.375-4184.375=-4.000
σ	1944.792-1946.392=-1.600
min	1486.000
max	7379.000-7382.000=-3.000

*mean*	9.085-9.035=0.049
σ	1.232-1.333=-0.101
min	8.080-8.099=-0.019
max	12.048-12.251=-0.203

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*	4180.375-4184.375=-4.000
σ	1944.792-1946.392=-1.600
min	1486.000
max	7379.000-7382.000=-3.000

*mean*	6.787-6.671=0.115
σ	0.972-1.262=-0.290
min	6.008-5.777=0.232
max	9.056-9.621=-0.565

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*	4589.500-4592.750=-3.250
σ	2247.606-2248.965=-1.360
min	1486.000
max	7379.000-7382.000=-3.000

*mean*	6.331-6.243=0.089
σ	0.982-0.996=-0.014
min	5.860-5.826=0.034
max	8.745-8.699=0.046

op=vertical_lookup_row_list() on 3 (1 unindexed)

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

*mean*	4589.500-4592.750=-3.250
σ	2247.606-2248.965=-1.360
min	1486.000
max	7379.000-7382.000=-3.000

*mean*	6.252-6.190=0.062
σ	1.087-1.026=0.061
min	5.462-5.594=-0.132
max	8.902-8.704=0.198

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-0.002=0.000
min	1021.606-1021.625=-0.019
max	1021.611-1021.629=-0.019

*mean*	7379.000-7382.000=-3.000
σ	0.000
min	7379.000-7382.000=-3.000
max	7379.000-7382.000=-3.000

*mean*	344.088-362.486=-18.398
σ	1.848-41.765=-39.917
min	341.733-344.999=-3.265
max	348.068-465.771=-117.703

op=load_product(), with indexes

*mean*	3495.855-3495.878=-0.024
σ	0.454-0.469=-0.015
min	3495.694-3495.713=-0.019
max	3496.978-3497.038=-0.060

*mean*	3757.000-3760.000=-3.000
σ	2299.600-2301.410=-1.810
min	719.000-720.000=-1.000
max	7379.000-7382.000=-3.000

*mean*	1733.709-1776.557=-42.848
σ	626.324-695.379=-69.055
min	1386.028-1399.742=-13.714
max	2776.427-3000.132=-223.705

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.854=-0.013
max	107.842-107.855=-0.013

*mean*	4408.250-4412.000=-3.750
σ	2216.785-2217.923=-1.138
min	1486.000
max	7379.000-7382.000=-3.000

*mean*	189.263-245.400=-56.137
σ	151.375-317.196=-165.822
min	122.968-124.008=-1.040
max	561.792-1029.346=-467.554

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*	4408.250-4412.000=-3.750
σ	2216.785-2217.923=-1.138
min	1486.000
max	7379.000-7382.000=-3.000

*mean*	42.425-45.585=-3.160
σ	1.508-6.381=-4.873
min	40.671-41.117=-0.446
max	44.944-60.866=-15.922

op=vertical_lookup_list() repeated on unindexed missing Int

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

*mean*	7379.000-7382.000=-3.000
σ	0.000
min	7379.000-7382.000=-3.000
max	7379.000-7382.000=-3.000

*mean*	216.994-22.499=194.496
σ	550.319-1.150=549.170
min	21.771-21.704=0.067
max	1578.963-25.130=1553.833

op=vertical_lookup_row_list() on unindexed small unique Int

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

*mean*	7379.000-7382.000=-3.000
σ	0.000
min	7379.000-7382.000=-3.000
max	7379.000-7382.000=-3.000

*mean*	64.840-298.441=-233.601
σ	23.436-684.341=-660.904
min	55.245-55.493=-0.249
max	122.577-1992.094=-1869.517

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

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

*mean*	4180.375-4184.375=-4.000
σ	1944.792-1946.392=-1.600
min	1486.000
max	7379.000-7382.000=-3.000

*mean*	3241.555-3276.127=-34.571
σ	840.523-778.527=61.996
min	2472.741-2511.570=-38.828
max	4754.069-4539.401=214.668

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.832-1973.854=-0.022

*mean*	7379.000-7382.000=-3.000
σ	0.000
min	7379.000-7382.000=-3.000
max	7379.000-7382.000=-3.000

*mean*	1016.918-1173.288=-156.370
σ	217.923-501.344=-283.421
min	912.869-938.623=-25.754
max	1532.311-2394.836=-862.525

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

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

*mean*	7379.000-7382.000=-3.000
σ	0.000
min	7379.000-7382.000=-3.000
max	7379.000-7382.000=-3.000

*mean*	389.504-392.346=-2.842
σ	7.840-3.365=4.475
min	372.940-386.920=-13.979
max	401.818-396.768=5.050

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-476.875=-1.875
σ	0.000-1.246=-1.246
min	475.000
max	475.000-478.000=-3.000

*mean*	371.018-376.077=-5.059
σ	35.783-62.653=-26.870
min	306.224-296.742=9.482
max	418.602-446.077=-27.475

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	562.500-564.000=-1.500
σ	0.926-0.000=0.926
min	561.000-564.000=-3.000
max	563.000-564.000=-1.000

*mean*	744.982-779.351=-34.369
σ	71.027-63.951=7.076
min	612.414-645.597=-33.183
max	825.746-842.352=-16.607

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	964.563-963.972=0.591
σ	1.879-1.821=0.057
min	963.842-963.264=0.578
max	972.509-971.675=0.835

*mean*	1037.900-1030.000=7.900
σ	309.207-301.069=8.138
min	546.000-550.000=-4.000
max	1534.000-1457.000=77.000

*mean*	1.250-1.290=-0.039
σ	0.071-0.121=-0.050
min	1.174-1.192=-0.018
max	1.389-1.677=-0.288

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.298-0.300=-0.002
σ	0.296-0.305=-0.008
min	0.139-0.136=0.003
max	0.824-0.840=-0.016

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.475-0.475=-0.000
σ	0.315-0.318=-0.004
min	0.320-0.320=-0.000
max	1.037-1.045=-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.213-0.219=-0.006
σ	0.020-0.024=-0.004
min	0.197-0.201=-0.004
max	0.246-0.259=-0.012

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.335-0.331=0.003
σ	0.015-0.012=0.003
min	0.318-0.323=-0.004
max	0.356-0.352=0.004

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*	436.400-431.000=5.400
σ	6.148-0.000=6.148
min	431.000
max	443.000-431.000=12.000

*mean*	0.553-0.561=-0.008
σ	0.049-0.051=-0.002
min	0.480-0.483=-0.003
max	0.593-0.615=-0.022

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*	443.000-431.000=12.000
σ	0.000
min	443.000-431.000=12.000
max	443.000-431.000=12.000

*mean*	0.467-0.470=-0.004
σ	0.042-0.051=-0.009
min	0.424-0.394=0.030
max	0.520-0.521=-0.001

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*	443.000-431.000=12.000
σ	0.000
min	443.000-431.000=12.000
max	443.000-431.000=12.000

*mean*	2.677-2.635=0.042
σ	0.106-0.087=0.019
min	2.531-2.455=0.076
max	3.056-2.862=0.193

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*	443.000-431.000=12.000
σ	0.000
min	443.000-431.000=12.000
max	443.000-431.000=12.000

*mean*	2.666-2.603=0.064
σ	0.120-0.090=0.029
min	2.480-2.429=0.051
max	3.413-2.911=0.501

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*	443.000-431.000=12.000
σ	0.000
min	443.000-431.000=12.000
max	443.000-431.000=12.000

*mean*	0.310-0.311=-0.002
σ	0.025-0.010=0.015
min	0.291-0.294=-0.003
max	0.540-0.367=0.173

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*	443.000-431.000=12.000
σ	0.000
min	443.000-431.000=12.000
max	443.000-431.000=12.000

*mean*	0.294-0.298=-0.004
σ	0.008-0.010=-0.003
min	0.275-0.280=-0.005
max	0.331-0.365=-0.034

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.206-11.859=-0.652
σ	11.665-11.788=-0.123
min	0.574-0.718=-0.145
max	91.892-88.744=3.148

*mean*	467.413-465.442=1.971
σ	20.373-18.870=1.503
min	406.000-407.000=-1.000
max	484.000-481.000=3.000

*mean*	0.026-0.027=-0.001
σ	0.028-0.029=-0.000
min	0.001-0.001=-0.000
max	0.218-0.203=0.016

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	279.004-278.614=0.391
σ	1.055-1.051=0.004
min	278.606-278.212=0.394
max	282.002-281.603=0.400

*mean*	443.900-445.500=-1.600
σ	16.196-21.230=-5.034
min	426.000-416.000=10.000
max	469.000-475.000=-6.000

*mean*	0.580-0.582=-0.002
σ	0.013-0.021=-0.008
min	0.558-0.539=0.019
max	0.593-0.612=-0.019

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*	848.000-864.000=-16.000
σ	0.000
min	848.000-864.000=-16.000
max	848.000-864.000=-16.000

*mean*	202.481-233.430=-30.950
σ	15.433-26.918=-11.485
min	188.583-197.904=-9.321
max	237.333-259.144=-21.810

phase=macro expansion

*mean*	5.896-6.130=-0.234
σ	0.000-0.001=-0.001
min	5.896-6.130=-0.234
max	5.896-6.133=-0.237

*mean*	848.000-864.000=-16.000
σ	0.000
min	848.000-864.000=-16.000
max	848.000-864.000=-16.000

*mean*	6.233-9.078=-2.845
σ	1.053-1.165=-0.112
min	5.797-6.336=-0.539
max	8.834-9.710=-0.876

phase=parser

*mean*	1042.134-1042.435=-0.301
σ	0.000-0.001=-0.001
min	1042.134-1042.432=-0.298
max	1042.134-1042.436=-0.302

*mean*	848.000-864.000=-16.000
σ	0.000
min	848.000-864.000=-16.000
max	848.000-864.000=-16.000

*mean*	404.630-551.548=-146.918
σ	81.722-95.535=-13.812
min	371.799-377.900=-6.101
max	606.705-614.147=-7.441

phase=processProdDef

*mean*	2243.717-2243.976=-0.259
σ	0.000-0.001=-0.001
min	2243.717-2243.976=-0.258
max	2243.717-2243.979=-0.261

*mean*	848.000-864.000=-16.000
σ	0.000
min	848.000-864.000=-16.000
max	848.000-864.000=-16.000

*mean*	2877.529-2595.686=281.843
σ	349.611-521.480=-171.869
min	2322.665-1734.264=588.401
max	3230.083-3247.753=-17.671

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*	848.000-864.000=-16.000
σ	0.000
min	848.000-864.000=-16.000
max	848.000-864.000=-16.000

*mean*	34.986-35.966=-0.980
σ	4.371-7.817=-3.445
min	31.986-20.785=11.201
max	45.296-41.172=4.124

phase=type checker

*mean*	958.600-989.755=-31.155
σ	0.047-0.066=-0.020
min	958.576-989.654=-31.078
max	958.701-989.845=-31.144

*mean*	848.000-864.000=-16.000
σ	0.000
min	848.000-864.000=-16.000
max	848.000-864.000=-16.000

*mean*	644.923-732.371=-87.448
σ	15.168-86.308=-71.140
min	627.367-670.303=-42.936
max	673.192-873.506=-200.315

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	282.855-282.394=0.461
σ	0.039-0.025=0.014
min	282.800-282.372=0.428
max	282.894-282.425=0.469

*mean*	439.400-442.000=-2.600
σ	3.286-0.000=3.286
min	437.000-442.000=-5.000
max	443.000-442.000=1.000

*mean*	0.382-0.377=0.005
σ	0.008-0.002=0.006
min	0.377-0.375=0.002
max	0.397-0.380=0.017

iters=5

new-facts=1

prior-facts=6402

*mean*	1268.045-1267.112=0.933
σ	0.080-0.103=-0.023
min	1267.961-1267.001=0.959
max	1268.166-1267.278=0.889

*mean*	1082.400-1112.200=-29.800
σ	179.801-170.973=8.828
min	870.000-896.000=-26.000
max	1323.000-1331.000=-8.000

*mean*	1.949-1.989=-0.040
σ	0.115-0.121=-0.005
min	1.787-1.822=-0.035
max	2.109-2.106=0.003

iters=5

new-facts=6402

prior-facts=1

*mean*	1507.079-1506.111=0.968
σ	2.960-2.956=0.004
min	1505.585-1504.606=0.979
max	1512.366-1511.388=0.978

*mean*	633.400-628.200=5.200
σ	89.879-90.489=-0.609
min	497.000-504.000=-7.000
max	731.000-728.000=3.000

*mean*	2.339-2.303=0.035
σ	0.289-0.286=0.002
min	2.113-2.072=0.040
max	2.670-2.776=-0.106

iters=5

new-facts=6402

prior-facts=6402

*mean*	1830.067-1829.110=0.956
σ	0.038-0.070=-0.032
min	1830.008-1829.022=0.985
max	1830.096-1829.206=0.890

*mean*	1723.000-1765.600=-42.600
σ	168.210-209.681=-41.472
min	1486.000-1490.000=-4.000
max	1881.000-1965.000=-84.000

*mean*	2.968-3.051=-0.082
σ	0.208-0.180=0.028
min	2.816-2.829=-0.013
max	3.335-3.290=0.045

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.753-1.790=-0.037
σ	0.065-0.118=-0.053
min	1.680-1.581=0.100
max	1.821-1.855=-0.034

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	406.199-397.698=8.501
σ	509.798-518.051=-8.253
min	151.294-138.670=12.624
max	1170.895-1174.774=-3.879

*mean*	101.750-97.750=4.000
σ	7.500
min	98.000-94.000=4.000
max	113.000-109.000=4.000

*mean*	439.000
σ	0.000
min	439.000
max	439.000

*mean*	0.483-0.495=-0.012
σ	0.452-0.507=-0.055
min	0.249-0.240=0.009
max	1.160-1.255=-0.094

policies=20

*mean*	1513.142-1386.836=126.306
σ	0.277-0.159=0.118
min	1512.961-1386.727=126.234
max	1513.555-1387.072=126.483

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

*mean*	445.750-444.000=1.750
σ	4.500-5.774=-1.274
min	439.000
max	448.000-449.000=-1.000

*mean*	2.509-2.328=0.181
σ	0.010-0.015=-0.005
min	2.499-2.309=0.190
max	2.523-2.345=0.177

policies=200

*mean*	15140.031-13876.909=1263.122
σ	0.089-0.101=-0.012
min	15139.953-13876.828=1263.125
max	15140.158-13877.055=1263.103

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

*mean*	496.500-494.250=2.250
σ	5.196-4.856=0.340
min	491.000-488.000=3.000
max	503.000-499.000=4.000

*mean*	25.286-23.625=1.662
σ	0.098-0.187=-0.089
min	25.212-23.421=1.791
max	25.423-23.875=1.549