df6ea32e32b47805b7e6c505b4a72e75c033c83f

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)

Factor

compact size MiB

phase=processProdDef

*mean*	558.633
σ	0.000
min	558.633
max	558.633

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.884
σ	0.359
min	54.742
max	55.906

*mean*	416.000
σ	0.000
min	416.000
max	416.000

*mean*	0.152
σ	0.011
min	0.138
max	0.170

cache=y

dps=1

iters=10

policies=100

*mean*	43.849
σ	0.005
min	43.842
max	43.856

*mean*	416.000
σ	0.000
min	416.000
max	416.000

*mean*	0.125
σ	0.004
min	0.118
max	0.131

CSV - indexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on indexed

*mean*	36.618
σ	0.002
min	36.616
max	36.620

*mean*	4041.750
σ	2008.661
min	1217.000
max	7151.000

*mean*	13.583
σ	1.838
min	12.337
max	18.022

op=column_set() on indexed, repeat

*mean*	36.618
σ	0.002
min	36.616
max	36.620

*mean*	4041.750
σ	2008.661
min	1217.000
max	7151.000

*mean*	13.456
σ	2.156
min	11.992
max	18.503

op=table_records(), no indexes

*mean*	41.930
σ	0.002
min	41.928
max	41.933

*mean*	7151.000
σ	0.000
min	7151.000
max	7151.000

*mean*	15.032
σ	0.102
min	14.836
max	15.174

op=table_records(), repeat

*mean*	41.930
σ	0.002
min	41.927
max	41.932

*mean*	4041.750
σ	2008.661
min	1217.000
max	7151.000

*mean*	14.631
σ	1.611
min	11.155
max	16.308

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

*mean*	27.654
σ	0.136
min	27.604
max	27.991

*mean*	4041.750
σ	2008.661
min	1217.000
max	7151.000

*mean*	9.773
σ	1.317
min	8.615
max	12.611

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

*mean*	26.401
σ	0.002
min	26.400
max	26.404

*mean*	4041.750
σ	2008.661
min	1217.000
max	7151.000

*mean*	7.666
σ	1.222
min	6.695
max	10.231

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.668
σ	0.004
min	25.665
max	25.678

*mean*	4041.750
σ	2008.661
min	1217.000
max	7151.000

*mean*	6.251
σ	0.597
min	5.781
max	7.658

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.970
σ	0.002
min	25.969
max	25.972

*mean*	4041.750
σ	2008.661
min	1217.000
max	7151.000

*mean*	5.957
σ	0.592
min	5.382
max	7.330

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.613
σ	0.002
min	1021.612
max	1021.616

*mean*	7151.000
σ	0.000
min	7151.000
max	7151.000

*mean*	429.460
σ	217.042
min	351.156
max	966.596

op=load_product(), with indexes

*mean*	7917.792
σ	0.469
min	7917.624
max	7918.954

*mean*	3272.500
σ	1823.041
min	810.000
max	5617.000

*mean*	3686.430
σ	1070.831
min	3102.449
max	6165.861

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*	4041.750
σ	2008.661
min	1217.000
max	7151.000

*mean*	86.254
σ	17.789
min	71.024
max	116.718

op=vertical_lookup_list() on unindexed missing Int

*mean*	40.946
σ	0.002
min	40.945
max	40.950

*mean*	7151.000
σ	0.000
min	7151.000
max	7151.000

*mean*	62.060
σ	2.574
min	60.526
max	68.068

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	66.688
σ	0.002
min	66.686
max	66.691

*mean*	7151.000
σ	0.000
min	7151.000
max	7151.000

*mean*	100.048
σ	0.784
min	99.256
max	101.487

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	14217.171
σ	4.303
min	14215.575
max	14227.820

*mean*	4041.750
σ	2008.661
min	1217.000
max	7151.000

*mean*	7771.848
σ	1988.138
min	6003.071
max	10863.020

op=vertical_lookup_list() on indexed

*mean*	13159.108
σ	0.002
min	13159.105
max	13159.110

*mean*	7151.000
σ	0.000
min	7151.000
max	7151.000

*mean*	5721.638
σ	1158.504
min	5015.595
max	7953.333

CSV internal benchmark: pointedIndexFromKvs

Factor

allocated MiB

peak allocated MiB

time (ms)

op=pointedIndexFromKvs

rows=200000

*mean*	172.559
σ	0.001
min	172.558
max	172.562

*mean*	477.000
σ	0.000
min	477.000
max	477.000

*mean*	383.506
σ	17.291
min	355.610
max	399.659

op=pointedIndexFromKvs

rows=400000

*mean*	357.322
σ	0.001
min	357.321
max	357.325

*mean*	561.000
σ	0.000
min	561.000
max	561.000

*mean*	755.762
σ	50.774
min	641.708
max	790.956

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1024.299
σ	0.759
min	1023.826
max	1027.437

*mean*	1038.400
σ	299.090
min	554.000
max	1461.000

*mean*	1.540
σ	0.059
min	1.467
max	1.687

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.301
σ	0.293
min	0.145
max	0.821

name=error_case.art

*mean*	2.339
σ	0.012
min	2.333
max	2.361

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.473
σ	0.322
min	0.317
max	1.049

name=heavy_item.art

*mean*	1.522
σ	0.002
min	1.521
max	1.525

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.213
σ	0.018
min	0.200
max	0.244

name=nested_use.art

*mean*	2.357
σ	0.002
min	2.356
max	2.360

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.328
σ	0.015
min	0.315
max	0.354

Parser: Real World

Factor

allocated MiB

peak allocated MiB

time (sec)

name=aon_gpf25_7k_loc.art

*mean*	964.840
σ	0.011
min	964.835
max	964.859

*mean*	433.600
σ	3.130
min	431.000
max	437.000

*mean*	0.601
σ	0.010
min	0.589
max	0.614

name=cdr_enhanced_4k_loc.art

*mean*	885.820
σ	0.002
min	885.819
max	885.823

*mean*	437.000
σ	0.000
min	437.000
max	437.000

*mean*	0.460
σ	0.057
min	0.370
max	0.525

Parser: Record Parsing

Factor

allocated MiB

peak allocated MiB

time (ms)

name=record_render_large_success.art

*mean*	7.709
σ	0.002
min	7.708
max	7.712

*mean*	437.000
σ	0.000
min	437.000
max	437.000

*mean*	2.598
σ	0.094
min	2.462
max	3.112

name=record_render_large_syntax_err.art

*mean*	7.657
σ	0.002
min	7.656
max	7.660

*mean*	437.000
σ	0.000
min	437.000
max	437.000

*mean*	2.585
σ	0.099
min	2.463
max	3.272

name=record_render_success.art

*mean*	2.289
σ	0.002
min	2.289
max	2.293

*mean*	437.000
σ	0.000
min	437.000
max	437.000

*mean*	0.307
σ	0.039
min	0.289
max	0.691

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	437.000
σ	0.000
min	437.000
max	437.000

*mean*	0.292
σ	0.007
min	0.279
max	0.332

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.636
σ	1.029
min	298.242
max	301.564

*mean*	442.800
σ	15.519
min	420.000
max	464.000

*mean*	0.604
σ	0.021
min	0.571
max	0.637

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

*mean*	236.678
σ	0.000
min	236.678
max	236.678

*mean*	1064.125
σ	33.588
min	981.000
max	1076.000

*mean*	205.001
σ	2.757
min	200.945
max	210.014

phase=macro expansion

*mean*	6.130
σ	0.000
min	6.130
max	6.130

*mean*	1064.125
σ	33.588
min	981.000
max	1076.000

*mean*	8.541
σ	1.619
min	6.555
max	9.763

phase=parser

*mean*	1042.366
σ	0.001
min	1042.363
max	1042.366

*mean*	1064.125
σ	33.588
min	981.000
max	1076.000

*mean*	546.755
σ	33.445
min	516.663
max	617.354

phase=processProdDef

*mean*	4850.765
σ	0.000
min	4850.764
max	4850.765

*mean*	1076.000
σ	0.000
min	1076.000
max	1076.000

*mean*	4527.067
σ	572.824
min	3454.623
max	5170.350

phase=renaming

*mean*	21.671
σ	0.000
min	21.671
max	21.671

*mean*	1064.125
σ	33.588
min	981.000
max	1076.000

*mean*	33.249
σ	10.247
min	20.781
max	41.199

phase=type checker

*mean*	990.453
σ	0.072
min	990.344
max	990.567

*mean*	1064.125
σ	33.588
min	981.000
max	1076.000

*mean*	708.070
σ	79.826
min	636.498
max	872.364

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	293.820
σ	0.039
min	293.765
max	293.860

*mean*	443.400
σ	0.548
min	443.000
max	444.000

*mean*	0.396
σ	0.006
min	0.391
max	0.406

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.210
σ	0.048
min	1320.130
max	1320.249

*mean*	1067.200
σ	165.400
min	844.000
max	1270.000

*mean*	2.292
σ	0.184
min	2.151
max	2.614

iters=5

new-facts=6402

prior-facts=1

*mean*	1560.603
σ	6.203
min	1557.647
max	1571.696

*mean*	619.200
σ	82.687
min	494.000
max	716.000

*mean*	2.280
σ	0.068
min	2.201
max	2.376

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.172
σ	0.057
min	1882.111
max	1882.249

*mean*	1701.400
σ	259.527
min	1398.000
max	2063.000

*mean*	2.947
σ	0.056
min	2.883
max	3.005

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.864
σ	0.089
min	1.712
max	1.932

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	452.080
σ	582.722
min	160.716
max	1326.163

*mean*	102.250
σ	8.500
min	98.000
max	115.000

*mean*	441.000
σ	0.000
min	441.000
max	441.000

*mean*	0.545
σ	0.542
min	0.268
max	1.359

policies=20

*mean*	1607.527
σ	0.412
min	1607.244
max	1608.136

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	447.500
σ	7.506
min	441.000
max	454.000

*mean*	2.700
σ	0.028
min	2.676
max	2.733

policies=200

*mean*	16083.446
σ	0.118
min	16083.353
max	16083.613

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	497.500
σ	4.435
min	493.000
max	503.000

*mean*	27.120
σ	0.063
min	27.065
max	27.210