8682e3e88938c8bae88e62e89e3243fc6b0a4b64

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

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
σ	0.366
min	54.698
max	55.874

*mean*	417.800
σ	0.422
min	417.000
max	418.000

*mean*	0.139
σ	0.005
min	0.132
max	0.149

cache=y

dps=1

iters=10

policies=100

*mean*	43.842
σ	0.005
min	43.835
max	43.851

*mean*	418.000
σ	0.000
min	418.000
max	418.000

*mean*	0.120
σ	0.005
min	0.115
max	0.128

CSV - indexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on indexed

*mean*	36.617
σ	0.000
min	36.617
max	36.618

*mean*	4591.250
σ	2247.278
min	1481.000
max	7380.000

*mean*	178.153
σ	468.733
min	11.334
max	1338.197

op=column_set() on indexed, repeat

*mean*	36.617
σ	0.000
min	36.617
max	36.618

*mean*	4591.250
σ	2247.278
min	1481.000
max	7380.000

*mean*	14.331
σ	4.283
min	11.993
max	24.316

op=table_records(), no indexes

*mean*	41.948
σ	0.002
min	41.946
max	41.950

*mean*	7380.000
σ	0.000
min	7380.000
max	7380.000

*mean*	10.631
σ	0.107
min	10.457
max	10.771

op=table_records(), repeat

*mean*	41.933
σ	0.000
min	41.933
max	41.934

*mean*	4183.750
σ	1944.528
min	1481.000
max	7380.000

*mean*	11.162
σ	1.781
min	10.143
max	15.532

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

*mean*	27.655
σ	0.136
min	27.606
max	27.993

*mean*	4183.750
σ	1944.528
min	1481.000
max	7380.000

*mean*	8.540
σ	1.216
min	7.486
max	11.475

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

*mean*	26.406
σ	0.000
min	26.406
max	26.406

*mean*	4183.750
σ	1944.528
min	1481.000
max	7380.000

*mean*	6.190
σ	0.932
min	5.712
max	8.428

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.681
σ	0.003
min	25.680
max	25.688

*mean*	4591.250
σ	2247.278
min	1481.000
max	7380.000

*mean*	5.985
σ	1.069
min	5.368
max	8.439

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.984
σ	0.000
min	25.984
max	25.985

*mean*	4591.250
σ	2247.278
min	1481.000
max	7380.000

*mean*	5.899
σ	1.066
min	5.252
max	8.281

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.627
σ	0.002
min	1021.625
max	1021.629

*mean*	7380.000
σ	0.000
min	7380.000
max	7380.000

*mean*	370.598
σ	78.937
min	340.630
max	565.937

op=load_product(), with indexes

*mean*	3495.878
σ	0.468
min	3495.713
max	3497.036

*mean*	3758.625
σ	2299.779
min	719.000
max	7380.000

*mean*	1768.921
σ	683.267
min	1394.033
max	2962.768

CSV - unindexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

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

*mean*	107.854
σ	0.000
min	107.854
max	107.855

*mean*	4412.125
σ	2216.569
min	1481.000
max	7380.000

*mean*	242.889
σ	317.372
min	123.833
max	1027.924

op=column_set() on unindexed, dense, repeat

*mean*	62.081
σ	0.000
min	62.081
max	62.082

*mean*	4412.125
σ	2216.569
min	1481.000
max	7380.000

*mean*	43.719
σ	6.843
min	39.824
max	60.333

op=vertical_lookup_list() repeated on unindexed missing Int

*mean*	40.948
σ	0.002
min	40.947
max	40.950

*mean*	7380.000
σ	0.000
min	7380.000
max	7380.000

*mean*	21.903
σ	1.094
min	21.117
max	24.515

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	71.308
σ	0.002
min	71.307
max	71.311

*mean*	7380.000
σ	0.000
min	7380.000
max	7380.000

*mean*	269.275
σ	604.185
min	53.843
max	1764.552

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	4646.850
σ	0.013
min	4646.845
max	4646.883

*mean*	4183.750
σ	1944.528
min	1481.000
max	7380.000

*mean*	3358.311
σ	783.668
min	2507.049
max	4509.446

op=vertical_lookup_list() on indexed

*mean*	1973.851
σ	0.002
min	1973.849
max	1973.854

*mean*	7380.000
σ	0.000
min	7380.000
max	7380.000

*mean*	1030.977
σ	173.900
min	922.299
max	1426.814

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

*mean*	905.105
σ	0.002
min	905.102
max	905.108

*mean*	7380.000
σ	0.000
min	7380.000
max	7380.000

*mean*	388.522
σ	6.263
min	373.827
max	393.605

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

*mean*	380.963
σ	17.918
min	356.606
max	407.946

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	562.750
σ	0.463
min	562.000
max	563.000

*mean*	775.509
σ	28.555
min	731.599
max	807.968

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	963.973
σ	1.820
min	963.265
max	971.669

*mean*	1039.900
σ	291.513
min	574.000
max	1429.000

*mean*	1.263
σ	0.089
min	1.192
max	1.562

Parser: Comma Sep

Factor

allocated MiB

peak allocated MiB

time (ms)

name=ambiguous_item.art

*mean*	0.913
σ	0.020
min	0.903
max	0.949

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.314
σ	0.312
min	0.150
max	0.868

name=error_case.art

*mean*	2.340
σ	0.012
min	2.334
max	2.362

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.479
σ	0.316
min	0.325
max	1.044

name=heavy_item.art

*mean*	1.523
σ	0.002
min	1.521
max	1.525

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.220
σ	0.023
min	0.197
max	0.258

name=nested_use.art

*mean*	2.358
σ	0.002
min	2.357
max	2.361

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.335
σ	0.020
min	0.321
max	0.369

Parser: Real World

Factor

allocated MiB

peak allocated MiB

time (sec)

name=aon_gpf25_7k_loc.art

*mean*	964.971
σ	0.011
min	964.965
max	964.989

*mean*	431.000
σ	0.000
min	431.000
max	431.000

*mean*	0.547
σ	0.012
min	0.531
max	0.563

name=cdr_enhanced_4k_loc.art

*mean*	885.898
σ	0.002
min	885.897
max	885.901

*mean*	431.000
σ	0.000
min	431.000
max	431.000

*mean*	0.450
σ	0.068
min	0.382
max	0.520

Parser: Record Parsing

Factor

allocated MiB

peak allocated MiB

time (ms)

name=record_render_large_success.art

*mean*	7.710
σ	0.002
min	7.709
max	7.713

*mean*	431.000
σ	0.000
min	431.000
max	431.000

*mean*	2.611
σ	0.115
min	2.441
max	3.307

name=record_render_large_syntax_err.art

*mean*	7.658
σ	0.002
min	7.657
max	7.661

*mean*	431.000
σ	0.000
min	431.000
max	431.000

*mean*	2.588
σ	0.085
min	2.444
max	2.838

name=record_render_success.art

*mean*	2.290
σ	0.002
min	2.289
max	2.293

*mean*	431.000
σ	0.000
min	431.000
max	431.000

*mean*	0.300
σ	0.009
min	0.286
max	0.367

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	431.000
σ	0.000
min	431.000
max	431.000

*mean*	0.287
σ	0.007
min	0.272
max	0.328

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	12.105
σ	12.153
min	0.574
max	91.908

*mean*	464.403
σ	18.312
min	409.000
max	478.000

*mean*	0.028
σ	0.030
min	0.001
max	0.219

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	278.646
σ	1.101
min	278.220
max	281.773

*mean*	441.500
σ	17.187
min	414.000
max	465.000

*mean*	0.573
σ	0.029
min	0.508
max	0.605

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

*mean*	173.738
σ	0.000
min	173.738
max	173.738

*mean*	840.000
σ	0.000
min	840.000
max	840.000

*mean*	235.739
σ	18.422
min	209.741
max	262.404

phase=macro expansion

*mean*	6.130
σ	0.000
min	6.130
max	6.130

*mean*	840.000
σ	0.000
min	840.000
max	840.000

*mean*	9.331
σ	1.615
min	7.450
max	12.671

phase=parser

*mean*	1042.435
σ	0.000
min	1042.435
max	1042.435

*mean*	840.000
σ	0.000
min	840.000
max	840.000

*mean*	567.442
σ	97.123
min	426.635
max	719.579

phase=processProdDef

*mean*	2243.974
σ	0.000
min	2243.973
max	2243.974

*mean*	840.000
σ	0.000
min	840.000
max	840.000

*mean*	2519.010
σ	315.473
min	2125.351
max	3054.783

phase=renaming

*mean*	21.671
σ	0.000
min	21.671
max	21.671

*mean*	840.000
σ	0.000
min	840.000
max	840.000

*mean*	37.833
σ	7.306
min	26.803
max	47.872

phase=type checker

*mean*	989.755
σ	0.066
min	989.658
max	989.845

*mean*	840.000
σ	0.000
min	840.000
max	840.000

*mean*	697.219
σ	72.744
min	648.470
max	875.246

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	282.395
σ	0.024
min	282.373
max	282.426

*mean*	445.000
σ	0.000
min	445.000
max	445.000

*mean*	0.382
σ	0.007
min	0.377
max	0.390

iters=5

new-facts=1

prior-facts=6402

*mean*	1267.087
σ	0.105
min	1267.005
max	1267.266

*mean*	1113.200
σ	169.046
min	898.000
max	1325.000

*mean*	1.923
σ	0.096
min	1.835
max	2.088

iters=5

new-facts=6402

prior-facts=1

*mean*	1506.145
σ	2.961
min	1504.630
max	1511.431

*mean*	629.000
σ	90.019
min	505.000
max	728.000

*mean*	2.409
σ	0.342
min	2.074
max	2.891

iters=5

new-facts=6402

prior-facts=6402

*mean*	1829.112
σ	0.066
min	1829.032
max	1829.203

*mean*	1752.800
σ	208.767
min	1473.000
max	1950.000

*mean*	3.190
σ	0.313
min	2.818
max	3.632

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.697
σ	0.118
min	1.526
max	1.843

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	397.697
σ	518.052
min	138.670
max	1174.776

*mean*	97.750
σ	7.500
min	94.000
max	109.000

*mean*	444.000
σ	0.000
min	444.000
max	444.000

*mean*	0.515
σ	0.553
min	0.235
max	1.344

policies=20

*mean*	1386.843
σ	0.168
min	1386.730
max	1387.093

*mean*	940.000
σ	0.000
min	940.000
max	940.000

*mean*	448.000
σ	4.619
min	444.000
max	452.000

*mean*	2.335
σ	0.014
min	2.321
max	2.350

policies=200

*mean*	13876.909
σ	0.075
min	13876.825
max	13877.004

*mean*	9400.000
σ	0.000
min	9400.000
max	9400.000

*mean*	492.250
σ	2.500
min	489.000
max	495.000

*mean*	23.436
σ	0.148
min	23.289
max	23.626