a6a91afd5afc26ec230a624021011f56b382d930

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.664
σ	0.000
min	558.664
max	558.664

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.881
σ	0.358
min	54.743
max	55.900

*mean*	421.000
σ	0.000
min	421.000
max	421.000

*mean*	0.144
σ	0.005
min	0.138
max	0.153

cache=y

dps=1

iters=10

policies=100

*mean*	43.850
σ	0.007
min	43.835
max	43.858

*mean*	421.700
σ	0.483
min	421.000
max	422.000

*mean*	0.124
σ	0.005
min	0.118
max	0.133

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*	4039.750
σ	2009.227
min	1213.000
max	7143.000

*mean*	13.378
σ	1.862
min	12.337
max	17.905

op=column_set() on indexed, repeat

*mean*	36.618
σ	0.002
min	36.616
max	36.620

*mean*	4039.750
σ	2009.227
min	1213.000
max	7143.000

*mean*	13.893
σ	1.556
min	12.923
max	17.610

op=table_records(), no indexes

*mean*	41.930
σ	0.002
min	41.928
max	41.932

*mean*	7143.000
σ	0.000
min	7143.000
max	7143.000

*mean*	15.376
σ	0.178
min	15.190
max	15.643

op=table_records(), repeat

*mean*	41.930
σ	0.002
min	41.928
max	41.932

*mean*	4039.750
σ	2009.227
min	1213.000
max	7143.000

*mean*	13.965
σ	2.067
min	11.335
max	16.737

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

*mean*	27.654
σ	0.136
min	27.604
max	27.991

*mean*	4039.750
σ	2009.227
min	1213.000
max	7143.000

*mean*	9.863
σ	1.169
min	8.877
max	12.520

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

*mean*	26.401
σ	0.002
min	26.400
max	26.404

*mean*	4039.750
σ	2009.227
min	1213.000
max	7143.000

*mean*	6.922
σ	1.256
min	5.963
max	9.873

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.668
σ	0.004
min	25.665
max	25.678

*mean*	4039.750
σ	2009.227
min	1213.000
max	7143.000

*mean*	6.340
σ	0.529
min	5.795
max	7.518

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.970
σ	0.002
min	25.968
max	25.972

*mean*	4039.750
σ	2009.227
min	1213.000
max	7143.000

*mean*	5.889
σ	0.607
min	5.363
max	7.270

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

*mean*	352.257
σ	2.936
min	346.138
max	354.541

op=load_product(), with indexes

*mean*	7917.792
σ	0.469
min	7917.624
max	7918.953

*mean*	3272.125
σ	1824.432
min	808.000
max	5622.000

*mean*	3622.399
σ	1094.659
min	3084.892
max	6157.370

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*	4039.750
σ	2009.227
min	1213.000
max	7143.000

*mean*	81.110
σ	14.362
min	69.484
max	107.224

op=vertical_lookup_list() on unindexed missing Int

*mean*	40.946
σ	0.002
min	40.945
max	40.950

*mean*	7143.000
σ	0.000
min	7143.000
max	7143.000

*mean*	61.845
σ	1.613
min	60.576
max	64.735

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	66.688
σ	0.002
min	66.686
max	66.691

*mean*	7143.000
σ	0.000
min	7143.000
max	7143.000

*mean*	99.840
σ	0.991
min	98.702
max	101.672

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	14217.171
σ	4.303
min	14215.576
max	14227.820

*mean*	4039.750
σ	2009.227
min	1213.000
max	7143.000

*mean*	8108.131
σ	1892.427
min	5973.880
max	10874.333

op=vertical_lookup_list() on indexed

*mean*	13159.109
σ	0.002
min	13159.105
max	13159.111

*mean*	7143.000
σ	0.000
min	7143.000
max	7143.000

*mean*	5628.787
σ	1176.883
min	5007.110
max	8110.722

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

*mean*	369.765
σ	21.407
min	317.716
max	382.538

op=pointedIndexFromKvs

rows=400000

*mean*	357.322
σ	0.001
min	357.321
max	357.325

*mean*	559.000
σ	0.000
min	559.000
max	559.000

*mean*	750.863
σ	19.213
min	710.698
max	766.157

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1024.299
σ	0.759
min	1023.828
max	1027.438

*mean*	1038.600
σ	300.912
min	563.000
max	1461.000

*mean*	1.540
σ	0.062
min	1.449
max	1.642

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

*mean*	0.311
σ	0.317
min	0.146
max	0.877

name=error_case.art

*mean*	2.339
σ	0.012
min	2.333
max	2.361

*mean*	401.000
σ	0.000
min	401.000
max	401.000

*mean*	0.431
σ	0.183
min	0.326
max	0.757

name=heavy_item.art

*mean*	1.522
σ	0.002
min	1.521
max	1.525

*mean*	401.000
σ	0.000
min	401.000
max	401.000

*mean*	0.214
σ	0.024
min	0.194
max	0.255

name=nested_use.art

*mean*	2.357
σ	0.002
min	2.356
max	2.360

*mean*	401.000
σ	0.000
min	401.000
max	401.000

*mean*	0.332
σ	0.014
min	0.322
max	0.357

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.000
σ	6.595
min	430.000
max	443.000

*mean*	0.547
σ	0.071
min	0.430
max	0.603

name=cdr_enhanced_4k_loc.art

*mean*	885.820
σ	0.002
min	885.819
max	885.823

*mean*	443.000
σ	0.000
min	443.000
max	443.000

*mean*	0.466
σ	0.059
min	0.379
max	0.520

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

*mean*	2.716
σ	0.103
min	2.534
max	3.316

name=record_render_large_syntax_err.art

*mean*	7.657
σ	0.002
min	7.656
max	7.660

*mean*	443.000
σ	0.000
min	443.000
max	443.000

*mean*	2.610
σ	0.078
min	2.471
max	2.844

name=record_render_success.art

*mean*	2.289
σ	0.002
min	2.289
max	2.293

*mean*	443.000
σ	0.000
min	443.000
max	443.000

*mean*	0.309
σ	0.011
min	0.295
max	0.369

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	443.000
σ	0.000
min	443.000
max	443.000

*mean*	0.302
σ	0.038
min	0.269
max	0.640

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.657
σ	1.031
min	298.247
max	301.588

*mean*	443.500
σ	16.602
min	423.000
max	467.000

*mean*	0.598
σ	0.022
min	0.566
max	0.643

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*	1065.875
σ	34.295
min	981.000
max	1078.000

*mean*	213.436
σ	3.806
min	207.824
max	219.285

phase=macro expansion

*mean*	6.130
σ	0.000
min	6.130
max	6.130

*mean*	1065.875
σ	34.295
min	981.000
max	1078.000

*mean*	8.759
σ	2.279
min	6.345
max	13.004

phase=parser

*mean*	1042.366
σ	0.002
min	1042.362
max	1042.366

*mean*	1065.875
σ	34.295
min	981.000
max	1078.000

*mean*	506.924
σ	70.475
min	409.408
max	630.892

phase=processProdDef

*mean*	4850.765
σ	0.000
min	4850.765
max	4850.765

*mean*	1078.000
σ	0.000
min	1078.000
max	1078.000

*mean*	4737.656
σ	506.395
min	3619.543
max	5284.763

phase=renaming

*mean*	21.671
σ	0.000
min	21.671
max	21.671

*mean*	1065.875
σ	34.295
min	981.000
max	1078.000

*mean*	32.420
σ	11.477
min	20.452
max	48.415

phase=type checker

*mean*	990.453
σ	0.072
min	990.344
max	990.567

*mean*	1065.875
σ	34.295
min	981.000
max	1078.000

*mean*	727.078
σ	96.830
min	652.794
max	898.360

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	293.821
σ	0.038
min	293.769
max	293.861

*mean*	439.800
σ	1.095
min	439.000
max	441.000

*mean*	0.396
σ	0.009
min	0.390
max	0.412

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.213
σ	0.036
min	1320.165
max	1320.251

*mean*	1082.600
σ	171.534
min	877.000
max	1314.000

*mean*	2.262
σ	0.114
min	2.168
max	2.459

iters=5

new-facts=6402

prior-facts=1

*mean*	1560.612
σ	6.203
min	1557.657
max	1571.705

*mean*	609.600
σ	94.648
min	496.000
max	733.000

*mean*	2.274
σ	0.080
min	2.170
max	2.375

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.179
σ	0.060
min	1882.104
max	1882.262

*mean*	1722.600
σ	179.196
min	1466.000
max	1887.000

*mean*	3.060
σ	0.383
min	2.675
max	3.619

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.739
σ	0.128
min	1.595
max	1.884

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	452.080
σ	582.722
min	160.717
max	1326.164

*mean*	102.250
σ	8.500
min	98.000
max	115.000

*mean*	443.000
σ	0.000
min	443.000
max	443.000

*mean*	0.550
σ	0.548
min	0.272
max	1.372

policies=20

*mean*	1607.512
σ	0.416
min	1607.231
max	1608.129

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	451.000
σ	9.238
min	443.000
max	459.000

*mean*	2.691
σ	0.021
min	2.665
max	2.713

policies=200

*mean*	16083.438
σ	0.130
min	16083.296
max	16083.611

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	497.250
σ	4.573
min	492.000
max	503.000

*mean*	27.250
σ	0.043
min	27.223
max	27.314