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

AST compact size (processProdDef)

Factor

compact size MiB

phase=processProdDef

*mean*	446.633-558.633=-112.000
σ	0.000
min	446.633-558.633=-112.000
max	446.633-558.633=-112.000

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.880=-0.163
σ	0.365-0.358=0.006
min	54.584-54.741=-0.157
max	55.754-55.900=-0.145

*mean*	416.000-416.700=-0.700
σ	0.000-0.483=-0.483
min	416.000
max	416.000-417.000=-1.000

*mean*	0.140-0.139=0.000
σ	0.005-0.004=0.001
min	0.133-0.136=-0.003
max	0.147-0.147=-0.001

cache=y

dps=1

iters=10

policies=100

*mean*	43.778-43.848=-0.070
σ	0.008-0.007=0.000
min	43.767-43.838=-0.072
max	43.789-43.861=-0.072

*mean*	416.000-417.000=-1.000
σ	0.000
min	416.000-417.000=-1.000
max	416.000-417.000=-1.000

*mean*	0.125-0.124=0.001
σ	0.004-0.004=-0.000
min	0.122-0.120=0.002
max	0.132-0.132=0.000

CSV - indexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on indexed

*mean*	36.604-36.618=-0.014
σ	0.000-0.002=-0.002
min	36.604-36.616=-0.012
max	36.605-36.621=-0.016

*mean*	4581.625-4042.500=539.125
σ	2257.603-2007.721=249.882
min	1485.000-1216.000=269.000
max	7406.000-7139.000=267.000

*mean*	14.000-12.720=1.279
σ	3.967-0.212=3.755
min	11.740-12.457=-0.716
max	22.618-13.107=9.510

op=column_set() on indexed, repeat

*mean*	36.604-36.618=-0.014
σ	0.000-0.002=-0.002
min	36.604-36.616=-0.012
max	36.605-36.620=-0.016

*mean*	4581.625-4042.500=539.125
σ	2257.603-2007.721=249.882
min	1485.000-1216.000=269.000
max	7406.000-7139.000=267.000

*mean*	14.324-12.576=1.748
σ	3.927-0.628=3.298
min	11.728-11.760=-0.033
max	22.695-13.367=9.328

op=table_records(), no indexes

*mean*	41.939-41.930=0.009
σ	0.002-0.002=0.001
min	41.938-41.928=0.009
max	41.943-41.932=0.010

*mean*	7406.000-7139.000=267.000
σ	0.000
min	7406.000-7139.000=267.000
max	7406.000-7139.000=267.000

*mean*	10.976-15.087=-4.111
σ	0.174-0.219=-0.046
min	10.652-14.807=-4.155
max	11.127-15.536=-4.408

op=table_records(), repeat

*mean*	41.925-41.930=-0.005
σ	0.000-0.002=-0.002
min	41.924-41.927=-0.003
max	41.925-41.932=-0.007

*mean*	4165.500-4042.500=123.000
σ	1948.247-2007.721=-59.474
min	1485.000-1216.000=269.000
max	7406.000-7139.000=267.000

*mean*	11.624-14.176=-2.552
σ	1.871-2.455=-0.584
min	10.747-10.932=-0.185
max	16.239-18.798=-2.559

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

*mean*	27.633-27.654=-0.021
σ	0.136-0.136=0.000
min	27.584-27.604=-0.020
max	27.971-27.991=-0.020

*mean*	4165.500-4042.500=123.000
σ	1948.247-2007.721=-59.474
min	1485.000-1216.000=269.000
max	7406.000-7139.000=267.000

*mean*	9.094-9.491=-0.397
σ	1.290-1.388=-0.097
min	8.303-8.515=-0.211
max	12.251-12.833=-0.582

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

*mean*	26.384-26.401=-0.017
σ	0.000-0.002=-0.002
min	26.384-26.400=-0.016
max	26.384-26.404=-0.020

*mean*	4165.500-4042.500=123.000
σ	1948.247-2007.721=-59.474
min	1485.000-1216.000=269.000
max	7406.000-7139.000=267.000

*mean*	7.224-7.344=-0.120
σ	0.912-1.280=-0.368
min	6.570-6.578=-0.007
max	9.423-10.430=-1.006

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.662-25.668=-0.006
σ	0.004-0.004=0.000
min	25.661-25.666=-0.005
max	25.673-25.678=-0.005

*mean*	4581.625-4042.500=539.125
σ	2257.603-2007.721=249.882
min	1485.000-1216.000=269.000
max	7406.000-7139.000=267.000

*mean*	6.483-6.030=0.453
σ	1.033-0.064=0.969
min	5.740-5.921=-0.181
max	8.646-6.127=2.519

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.961-25.970=-0.009
σ	0.001-0.002=-0.001
min	25.961-25.969=-0.008
max	25.962-25.972=-0.010

*mean*	4581.625-4042.500=539.125
σ	2257.603-2007.721=249.882
min	1485.000-1216.000=269.000
max	7406.000-7139.000=267.000

*mean*	6.316-5.801=0.515
σ	1.039-0.180=0.859
min	5.613-5.405=0.208
max	8.684-6.000=2.685

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.608-1021.613=-0.005
σ	0.002-0.002=0.000
min	1021.606-1021.612=-0.006
max	1021.611-1021.616=-0.005

*mean*	7406.000-7139.000=267.000
σ	0.000
min	7406.000-7139.000=267.000
max	7406.000-7139.000=267.000

*mean*	376.150-375.181=0.969
σ	80.883-85.018=-4.135
min	344.729-343.332=1.396
max	576.283-585.559=-9.276

op=load_product(), with indexes

*mean*	3495.854-7917.792=-4421.938
σ	0.453-0.469=-0.016
min	3495.694-7917.624=-4421.930
max	3496.977-7918.954=-4421.977

*mean*	3745.875-3275.250=470.625
σ	2299.833-1825.405=474.428
min	720.000-810.000=-90.000
max	7406.000-5622.000=1784.000

*mean*	1646.193-3583.393=-1937.200
σ	536.376-1007.733=-471.357
min	1400.207-3077.694=-1677.487
max	2958.324-5901.757=-2943.434

CSV - unindexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on unindexed, dense

*mean*	62.077
σ	0.002
min	62.076
max	62.080

*mean*	4042.500
σ	2007.721
min	1216.000
max	7139.000

*mean*	85.557
σ	19.829
min	70.831
max	123.287

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

*mean*	107.841
σ	0.000
min	107.841
max	107.842

*mean*	4400.625
σ	2229.029
min	1485.000
max	7406.000

*mean*	284.551
σ	420.422
min	125.262
max	1324.427

op=column_set() on unindexed, dense, repeat

*mean*	62.068
σ	0.001
min	62.065
max	62.069

*mean*	4581.625
σ	2257.603
min	1485.000
max	7406.000

*mean*	193.075
σ	414.152
min	41.184
max	1217.804

op=vertical_lookup_list() on unindexed missing Int

*mean*	40.946
σ	0.002
min	40.945
max	40.949

*mean*	7139.000
σ	0.000
min	7139.000
max	7139.000

*mean*	60.509
σ	0.388
min	59.995
max	60.979

op=vertical_lookup_list() repeated on unindexed missing Int

*mean*	40.926
σ	0.002
min	40.925
max	40.928

*mean*	7406.000
σ	0.000
min	7406.000
max	7406.000

*mean*	22.566
σ	1.911
min	21.414
max	26.098

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	71.294-66.688=4.606
σ	0.002-0.002=-0.000
min	71.292-66.686=4.606
max	71.296-66.691=4.605

*mean*	7406.000-7139.000=267.000
σ	0.000
min	7406.000-7139.000=267.000
max	7406.000-7139.000=267.000

*mean*	277.129-98.910=178.218
σ	621.623-0.717=620.906
min	55.590-97.984=-42.394
max	1815.553-100.069=1715.484

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	4646.842-14217.171=-9570.329
σ	0.014-4.304=-4.290
min	4646.837-14215.575=-9568.738
max	4646.876-14227.820=-9580.944

*mean*	4165.500-4042.500=123.000
σ	1948.247-2007.721=-59.474
min	1485.000-1216.000=269.000
max	7406.000-7139.000=267.000

*mean*	3137.392-7956.007=-4818.615
σ	835.535-1865.162=-1029.627
min	2521.886-5954.659=-3432.773
max	4759.232-10475.838=-5716.606

op=vertical_lookup_list() on indexed

*mean*	1973.829-13159.108=-11185.279
σ	0.002-0.002=0.000
min	1973.827-13159.106=-11185.279
max	1973.832-13159.110=-11185.278

*mean*	7406.000-7139.000=267.000
σ	0.000
min	7406.000-7139.000=267.000
max	7406.000-7139.000=267.000

*mean*	1104.768-5103.603=-3998.834
σ	300.592-197.871=102.721
min	923.950-4969.090=-4045.140
max	1765.458-5440.038=-3674.580

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

*mean*	905.082
σ	0.002
min	905.080
max	905.086

*mean*	7406.000
σ	0.000
min	7406.000
max	7406.000

*mean*	408.702
σ	39.596
min	387.139
max	505.495

CSV internal benchmark: pointedIndexFromKvs

Factor

allocated MiB

peak allocated MiB

time (ms)

op=pointedIndexFromKvs

rows=200000

*mean*	148.144-172.559=-24.414
σ	0.001
min	148.144-172.558=-24.414
max	148.148-172.562=-24.414

*mean*	478.000
σ	0.000
min	478.000
max	478.000

*mean*	387.799-370.675=17.124
σ	22.775-35.110=-12.335
min	361.714-291.912=69.801
max	423.452-390.663=32.789

op=pointedIndexFromKvs

rows=400000

*mean*	308.493-357.322=-48.828
σ	0.001
min	308.493-357.321=-48.828
max	308.497-357.325=-48.828

*mean*	563.500-560.000=3.500
σ	0.926-0.000=0.926
min	562.000-560.000=2.000
max	564.000-560.000=4.000

*mean*	777.704-751.837=25.866
σ	42.358-45.070=-2.712
min	721.580-642.716=78.863
max	841.741-780.601=61.141

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	964.562-1024.299=-59.737
σ	1.879-0.759=1.120
min	963.843-1023.827=-59.984
max	972.510-1027.437=-54.927

*mean*	1041.900-1040.150=1.750
σ	305.833-291.001=14.833
min	587.000-561.000=26.000
max	1490.000-1434.000=56.000

*mean*	1.275-1.541=-0.266
σ	0.145-0.076=0.069
min	1.082-1.480=-0.398
max	1.740-1.767=-0.027

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

*mean*	0.292-0.463=-0.171
σ	0.289-0.489=-0.200
min	0.136-0.162=-0.026
max	0.804-1.330=-0.527

name=error_case.art

*mean*	2.346-2.339=0.007
σ	0.012
min	2.340-2.333=0.007
max	2.368-2.361=0.007

*mean*	402.000-401.000=1.000
σ	0.000
min	402.000-401.000=1.000
max	402.000-401.000=1.000

*mean*	0.472-0.820=-0.348
σ	0.317-0.508=-0.192
min	0.316-0.571=-0.255
max	1.038-1.729=-0.690

name=heavy_item.art

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

*mean*	0.214-0.391=-0.177
σ	0.021-0.029=-0.009
min	0.199-0.368=-0.170
max	0.250-0.441=-0.191

name=nested_use.art

*mean*	2.364-2.357=0.007
σ	0.002
min	2.363-2.356=0.007
max	2.367-2.360=0.007

*mean*	402.000-401.000=1.000
σ	0.000
min	402.000-401.000=1.000
max	402.000-401.000=1.000

*mean*	0.331-0.586=-0.255
σ	0.020-0.029=-0.009
min	0.312-0.562=-0.251
max	0.362-0.636=-0.274

Parser: Real World

Factor

allocated MiB

peak allocated MiB

time (sec)

name=aon_gpf25_7k_loc.art

*mean*	964.979-964.840=0.139
σ	0.009-0.011=-0.001
min	964.974-964.835=0.139
max	964.996-964.859=0.137

*mean*	431.000-429.000=2.000
σ	0.000
min	431.000-429.000=2.000
max	431.000-429.000=2.000

*mean*	0.542-0.572=-0.030
σ	0.041-0.074=-0.033
min	0.492-0.483=0.009
max	0.582-0.679=-0.097

name=cdr_enhanced_4k_loc.art

*mean*	886.001-885.820=0.181
σ	0.002-0.002=-0.000
min	886.000-885.819=0.181
max	886.004-885.823=0.181

*mean*	431.000-429.000=2.000
σ	0.000
min	431.000-429.000=2.000
max	431.000-429.000=2.000

*mean*	0.473-0.453=0.020
σ	0.028-0.035=-0.007
min	0.456-0.416=0.040
max	0.523-0.501=0.022

Parser: Record Parsing

Factor

allocated MiB

peak allocated MiB

time (ms)

name=record_render_large_success.art

*mean*	7.719-7.709=0.010
σ	0.002
min	7.718-7.708=0.010
max	7.722-7.712=0.010

*mean*	431.000-429.000=2.000
σ	0.000
min	431.000-429.000=2.000
max	431.000-429.000=2.000

*mean*	2.696-2.634=0.063
σ	0.110-0.093=0.017
min	2.465-2.466=-0.000
max	2.959-2.991=-0.032

name=record_render_large_syntax_err.art

*mean*	7.667-7.657=0.010
σ	0.002
min	7.666-7.656=0.010
max	7.670-7.660=0.010

*mean*	431.000-429.000=2.000
σ	0.000
min	431.000-429.000=2.000
max	431.000-429.000=2.000

*mean*	2.621-2.635=-0.014
σ	0.081-0.107=-0.026
min	2.465-2.432=0.033
max	2.915-3.140=-0.225

name=record_render_success.art

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

*mean*	431.000-429.000=2.000
σ	0.000
min	431.000-429.000=2.000
max	431.000-429.000=2.000

*mean*	0.306-0.307=-0.001
σ	0.015-0.009=0.005
min	0.283-0.292=-0.009
max	0.359-0.367=-0.008

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

*mean*	0.295-0.297=-0.001
σ	0.042-0.008=0.034
min	0.277-0.282=-0.005
max	0.692-0.339=0.354

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.801
σ	11.829
min	0.574
max	109.330

*mean*	456.713
σ	17.129
min	408.000
max	479.000

*mean*	0.027
σ	0.029
min	0.001
max	0.259

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	279.028-298.637=-19.610
σ	1.064-1.000=0.065
min	278.592-298.190=-19.598
max	282.051-301.469=-19.417

*mean*	441.700-441.500=0.200
σ	15.464-12.295=3.169
min	417.000-425.000=-8.000
max	467.000-462.000=5.000

*mean*	0.573-0.606=-0.032
σ	0.028-0.018=0.011
min	0.513-0.587=-0.074
max	0.611-0.644=-0.032

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

*mean*	169.257-236.678=-67.420
σ	0.000-0.000=0.000
min	169.257-236.678=-67.420
max	169.257-236.678=-67.420

*mean*	851.000-1065.000=-214.000
σ	0.000-33.941=-33.941
min	851.000-981.000=-130.000
max	851.000-1077.000=-226.000

*mean*	245.626-206.949=38.677
σ	10.794-3.538=7.256
min	221.507-198.643=22.864
max	253.232-209.726=43.506

phase=macro expansion

*mean*	5.896-6.130=-0.234
σ	0.000
min	5.896-6.130=-0.234
max	5.896-6.130=-0.234

*mean*	842.125-1065.000=-222.875
σ	25.102-33.941=-8.839
min	780.000-981.000=-201.000
max	851.000-1077.000=-226.000

*mean*	7.905-8.065=-0.160
σ	1.321-2.148=-0.827
min	5.984-6.360=-0.376
max	9.170-12.704=-3.534

phase=parser

*mean*	1042.133-1042.363=-0.230
σ	0.000-0.000=-0.000
min	1042.133-1042.362=-0.229
max	1042.134-1042.363=-0.229

*mean*	842.125-1065.000=-222.875
σ	25.102-33.941=-8.839
min	780.000-981.000=-201.000
max	851.000-1077.000=-226.000

*mean*	518.771-491.964=26.807
σ	96.205-109.474=-13.269
min	407.941-371.833=36.108
max	619.212-725.292=-106.080

phase=processProdDef

*mean*	2243.715-4850.764=-2607.049
σ	0.000-0.000=-0.000
min	2243.715-4850.764=-2607.049
max	2243.715-4850.765=-2607.050

*mean*	851.000-1077.000=-226.000
σ	0.000
min	851.000-1077.000=-226.000
max	851.000-1077.000=-226.000

*mean*	3030.714-4568.491=-1537.777
σ	256.071-489.623=-233.553
min	2681.535-3784.059=-1102.524
max	3333.293-5302.566=-1969.272

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*	842.125-1065.000=-222.875
σ	25.102-33.941=-8.839
min	780.000-981.000=-201.000
max	851.000-1077.000=-226.000

*mean*	40.764-28.840=11.924
σ	5.589-10.416=-4.827
min	32.717-20.279=12.438
max	47.465-48.638=-1.173

phase=type checker

*mean*	958.600-990.450=-31.850
σ	0.047-0.071=-0.024
min	958.577-990.344=-31.768
max	958.702-990.563=-31.862

*mean*	842.125-1065.000=-222.875
σ	25.102-33.941=-8.839
min	780.000-981.000=-201.000
max	851.000-1077.000=-226.000

*mean*	659.624-732.040=-72.416
σ	14.675-114.030=-99.354
min	637.524-640.846=-3.322
max	680.044-887.069=-207.025

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	282.856-293.820=-10.964
σ	0.036-0.038=-0.002
min	282.804-293.767=-10.963
max	282.891-293.860=-10.969

*mean*	438.800-441.200=-2.400
σ	3.834-1.643=2.191
min	436.000-440.000=-4.000
max	443.000

*mean*	0.378-0.393=-0.015
σ	0.002-0.002=-0.000
min	0.376-0.392=-0.016
max	0.381-0.397=-0.016

iters=5

new-facts=1

prior-facts=6402

*mean*	1268.147-1320.197=-52.050
σ	0.080-0.040=0.041
min	1268.080-1320.160=-52.080
max	1268.270-1320.243=-51.973

*mean*	1092.600-1096.800=-4.200
σ	170.132-196.710=-26.578
min	891.000-841.000=50.000
max	1325.000-1357.000=-32.000

*mean*	2.229-2.259=-0.030
σ	0.131-0.085=0.046
min	2.094-2.155=-0.061
max	2.399-2.367=0.032

iters=5

new-facts=6402

prior-facts=1

*mean*	1507.012-1560.681=-53.669
σ	2.979-6.187=-3.209
min	1505.459-1557.771=-52.313
max	1512.327-1571.747=-59.420

*mean*	624.200-631.800=-7.600
σ	87.622-96.552=-8.929
min	493.000-519.000=-26.000
max	726.000-756.000=-30.000

*mean*	2.185-2.461=-0.276
σ	0.257-0.233=0.024
min	1.939-2.191=-0.252
max	2.606-2.681=-0.075

iters=5

new-facts=6402

prior-facts=6402

*mean*	1830.067-1882.169=-52.102
σ	0.060-0.066=-0.006
min	1830.000-1882.097=-52.097
max	1830.130-1882.251=-52.121

*mean*	1715.200-1732.000=-16.800
σ	186.868-186.744=0.124
min	1453.000-1488.000=-35.000
max	1884.000-1909.000=-25.000

*mean*	3.031-3.144=-0.113
σ	0.337-0.347=-0.010
min	2.749-2.889=-0.141
max	3.510-3.744=-0.234

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.756-1.859=-0.103
σ	0.110-0.049=0.061
min	1.647-1.800=-0.153
max	1.900-1.937=-0.037

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	406.199-452.079=-45.880
σ	509.796-582.724=-72.928
min	151.295-160.713=-9.418
max	1170.892-1326.165=-155.273

*mean*	101.750-102.250=-0.500
σ	7.500-8.500=-1.000
min	98.000
max	113.000-115.000=-2.000

*mean*	444.000-442.000=2.000
σ	0.000
min	444.000-442.000=2.000
max	444.000-442.000=2.000

*mean*	0.516-0.522=-0.007
σ	0.520-0.503=0.017
min	0.250-0.264=-0.014
max	1.296-1.277=0.020

policies=20

*mean*	1513.152-1607.501=-94.348
σ	0.276-0.413=-0.137
min	1512.975-1607.221=-94.246
max	1513.561-1608.112=-94.551

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	446.000-450.000=-4.000
σ	2.309-9.238=-6.928
min	444.000-442.000=2.000
max	448.000-458.000=-10.000

*mean*	2.512-2.683=-0.171
σ	0.014-0.017=-0.003
min	2.498-2.666=-0.168
max	2.530-2.705=-0.175

policies=200

*mean*	15139.936-16083.400=-943.464
σ	0.137-0.186=-0.049
min	15139.749-16083.212=-943.463
max	15140.044-16083.642=-943.598

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	496.500-498.000=-1.500
σ	6.608-3.367=3.242
min	489.000-494.000=-5.000
max	503.000-502.000=1.000

*mean*	25.380-27.069=-1.689
σ	0.118-0.065=0.053
min	25.258-26.987=-1.729
max	25.542-27.146=-1.604