28bbc4a54a2d47bb7e5f7b3ca45b70ff6c5c9611

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.880
σ	0.358
min	54.746
max	55.899

*mean*	417.000
σ	0.000
min	417.000
max	417.000

*mean*	0.140
σ	0.005
min	0.136
max	0.148

cache=y

dps=1

iters=10

policies=100

*mean*	43.849
σ	0.007
min	43.839
max	43.864

*mean*	417.000
σ	0.000
min	417.000
max	417.000

*mean*	0.125
σ	0.004
min	0.120
max	0.132

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*	4045.375
σ	2008.760
min	1220.000
max	7142.000

*mean*	13.592
σ	2.417
min	11.874
max	17.476

op=column_set() on indexed, repeat

*mean*	36.618
σ	0.002
min	36.616
max	36.620

*mean*	4045.375
σ	2008.760
min	1220.000
max	7142.000

*mean*	13.165
σ	1.512
min	12.358
max	16.851

op=table_records(), no indexes

*mean*	41.930
σ	0.002
min	41.928
max	41.933

*mean*	7142.000
σ	0.000
min	7142.000
max	7142.000

*mean*	14.730
σ	0.301
min	14.452
max	15.255

op=table_records(), repeat

*mean*	41.930
σ	0.002
min	41.928
max	41.932

*mean*	4045.375
σ	2008.760
min	1220.000
max	7142.000

*mean*	14.214
σ	1.468
min	10.916
max	15.331

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

*mean*	27.653
σ	0.136
min	27.604
max	27.991

*mean*	4045.375
σ	2008.760
min	1220.000
max	7142.000

*mean*	9.385
σ	1.630
min	8.126
max	12.017

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

*mean*	26.401
σ	0.002
min	26.400
max	26.404

*mean*	4045.375
σ	2008.760
min	1220.000
max	7142.000

*mean*	7.090
σ	1.592
min	5.825
max	9.763

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.668
σ	0.004
min	25.665
max	25.677

*mean*	4045.375
σ	2008.760
min	1220.000
max	7142.000

*mean*	5.653
σ	0.508
min	5.328
max	6.874

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.970
σ	0.002
min	25.968
max	25.972

*mean*	4045.375
σ	2008.760
min	1220.000
max	7142.000

*mean*	5.473
σ	0.650
min	4.987
max	7.013

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

*mean*	374.868
σ	77.168
min	344.268
max	565.705

op=load_product(), with indexes

*mean*	7917.793
σ	0.469
min	7917.624
max	7918.954

*mean*	3276.500
σ	1828.498
min	811.000
max	5628.000

*mean*	3677.661
σ	1095.907
min	3078.370
max	6224.695

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*	4045.375
σ	2008.760
min	1220.000
max	7142.000

*mean*	86.857
σ	19.310
min	70.975
max	117.495

op=vertical_lookup_list() on unindexed missing Int

*mean*	40.946
σ	0.002
min	40.945
max	40.950

*mean*	7142.000
σ	0.000
min	7142.000
max	7142.000

*mean*	60.574
σ	0.271
min	60.164
max	60.949

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	66.688
σ	0.002
min	66.686
max	66.691

*mean*	7142.000
σ	0.000
min	7142.000
max	7142.000

*mean*	98.843
σ	1.527
min	97.069
max	101.572

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*	4045.375
σ	2008.760
min	1220.000
max	7142.000

*mean*	8186.281
σ	1927.331
min	6011.902
max	10913.296

op=vertical_lookup_list() on indexed

*mean*	13159.108
σ	0.002
min	13159.106
max	13159.110

*mean*	7142.000
σ	0.000
min	7142.000
max	7142.000

*mean*	5130.957
σ	286.190
min	4979.264
max	5788.462

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*	362.115
σ	33.361
min	294.530
max	395.001

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*	776.755
σ	11.327
min	765.019
max	796.465

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1024.300
σ	0.759
min	1023.826
max	1027.438

*mean*	1039.950
σ	300.224
min	553.000
max	1461.000

*mean*	1.533
σ	0.077
min	1.441
max	1.759

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.460
σ	0.464
min	0.243
max	1.289

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.822
σ	0.521
min	0.560
max	1.753

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.381
σ	0.042
min	0.352
max	0.452

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.585
σ	0.028
min	0.559
max	0.630

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*	436.200
σ	1.789
min	433.000
max	437.000

*mean*	0.694
σ	0.054
min	0.632
max	0.762

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.622
σ	0.029
min	0.570
max	0.639

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*	3.461
σ	0.073
min	3.222
max	3.660

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*	3.476
σ	0.097
min	3.348
max	3.869

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.539
σ	0.016
min	0.510
max	0.646

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.296
σ	0.031
min	0.278
max	0.592

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.732
σ	1.025
min	298.367
max	301.648

*mean*	440.700
σ	13.720
min	417.000
max	464.000

*mean*	0.594
σ	0.018
min	0.562
max	0.612

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

*mean*	236.681
σ	0.000
min	236.681
max	236.681

*mean*	1065.000
σ	33.941
min	981.000
max	1077.000

*mean*	202.838
σ	4.303
min	197.570
max	208.700

phase=macro expansion

*mean*	6.133
σ	0.000
min	6.133
max	6.133

*mean*	1065.000
σ	33.941
min	981.000
max	1077.000

*mean*	8.484
σ	1.702
min	6.374
max	10.101

phase=parser

*mean*	1042.359
σ	0.000
min	1042.359
max	1042.360

*mean*	1065.000
σ	33.941
min	981.000
max	1077.000

*mean*	454.776
σ	50.232
min	376.102
max	514.602

phase=processProdDef

*mean*	4850.767
σ	0.000
min	4850.767
max	4850.768

*mean*	1077.000
σ	0.000
min	1077.000
max	1077.000

*mean*	4997.214
σ	512.032
min	3863.848
max	5406.185

phase=renaming

*mean*	21.671
σ	0.000
min	21.671
max	21.671

*mean*	1065.000
σ	33.941
min	981.000
max	1077.000

*mean*	32.659
σ	10.315
min	19.671
max	40.369

phase=type checker

*mean*	990.450
σ	0.071
min	990.344
max	990.563

*mean*	1065.000
σ	33.941
min	981.000
max	1077.000

*mean*	711.457
σ	59.141
min	646.868
max	788.597

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	293.821
σ	0.038
min	293.767
max	293.861

*mean*	443.000
σ	0.000
min	443.000
max	443.000

*mean*	0.392
σ	0.001
min	0.391
max	0.394

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.214
σ	0.040
min	1320.155
max	1320.260

*mean*	1095.400
σ	186.063
min	838.000
max	1317.000

*mean*	2.263
σ	0.133
min	2.154
max	2.492

iters=5

new-facts=6402

prior-facts=1

*mean*	1560.616
σ	6.226
min	1557.621
max	1571.749

*mean*	618.000
σ	81.594
min	494.000
max	713.000

*mean*	2.321
σ	0.204
min	2.179
max	2.681

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.150
σ	0.051
min	1882.100
max	1882.233

*mean*	1722.400
σ	199.148
min	1453.000
max	1911.000

*mean*	3.055
σ	0.167
min	2.890
max	3.289

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.733
σ	0.211
min	1.357
max	1.859

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	452.079
σ	582.720
min	160.718
max	1326.159

*mean*	102.250
σ	8.500
min	98.000
max	115.000

*mean*	443.000
σ	0.000
min	443.000
max	443.000

*mean*	0.542
σ	0.523
min	0.272
max	1.327

policies=20

*mean*	1607.515
σ	0.420
min	1607.230
max	1608.137

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	450.000
σ	8.083
min	443.000
max	457.000

*mean*	2.708
σ	0.054
min	2.672
max	2.787

policies=200

*mean*	16083.397
σ	0.146
min	16083.214
max	16083.569

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	499.500
σ	4.933
min	494.000
max	505.000

*mean*	27.193
σ	0.129
min	27.096
max	27.380