09f22d2f8b36724ec8e9ad514fac9b6caf6fe55f

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.870
σ	0.360
min	54.734
max	55.893

*mean*	414.000
σ	0.000
min	414.000
max	414.000

*mean*	0.142
σ	0.007
min	0.137
max	0.157

cache=y

dps=1

iters=10

policies=100

*mean*	43.839
σ	0.007
min	43.829
max	43.852

*mean*	414.000
σ	0.000
min	414.000
max	414.000

*mean*	0.123
σ	0.008
min	0.118
max	0.139

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*	4029.875
σ	2001.038
min	1216.000
max	7125.000

*mean*	12.953
σ	0.265
min	12.622
max	13.343

op=column_set() on indexed, repeat

*mean*	36.618
σ	0.002
min	36.616
max	36.620

*mean*	4029.875
σ	2001.038
min	1216.000
max	7125.000

*mean*	12.936
σ	0.487
min	11.930
max	13.378

op=table_records(), no indexes

*mean*	41.930
σ	0.002
min	41.929
max	41.933

*mean*	7125.000
σ	0.000
min	7125.000
max	7125.000

*mean*	14.903
σ	1.467
min	11.518
max	16.605

op=table_records(), repeat

*mean*	41.930
σ	0.002
min	41.927
max	41.932

*mean*	4029.875
σ	2001.038
min	1216.000
max	7125.000

*mean*	13.392
σ	1.954
min	11.003
max	15.640

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

*mean*	27.654
σ	0.136
min	27.604
max	27.991

*mean*	4029.875
σ	2001.038
min	1216.000
max	7125.000

*mean*	8.962
σ	0.474
min	8.643
max	10.088

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

*mean*	26.401
σ	0.002
min	26.400
max	26.404

*mean*	4029.875
σ	2001.038
min	1216.000
max	7125.000

*mean*	6.847
σ	0.291
min	6.375
max	7.213

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.668
σ	0.004
min	25.666
max	25.678

*mean*	4029.875
σ	2001.038
min	1216.000
max	7125.000

*mean*	5.943
σ	0.206
min	5.491
max	6.168

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.970
σ	0.002
min	25.968
max	25.972

*mean*	4029.875
σ	2001.038
min	1216.000
max	7125.000

*mean*	5.733
σ	0.121
min	5.463
max	5.855

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

*mean*	350.658
σ	3.062
min	346.014
max	355.397

op=load_product(), with indexes

*mean*	7917.792
σ	0.469
min	7917.624
max	7918.954

*mean*	3264.750
σ	1815.826
min	809.000
max	5602.000

*mean*	3724.996
σ	1120.687
min	3097.965
max	5736.673

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*	4029.875
σ	2001.038
min	1216.000
max	7125.000

*mean*	84.975
σ	13.674
min	70.844
max	102.974

op=vertical_lookup_list() on unindexed missing Int

*mean*	40.946
σ	0.002
min	40.945
max	40.950

*mean*	7125.000
σ	0.000
min	7125.000
max	7125.000

*mean*	174.331
σ	317.201
min	60.810
max	959.328

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	66.688
σ	0.002
min	66.686
max	66.691

*mean*	7125.000
σ	0.000
min	7125.000
max	7125.000

*mean*	105.541
σ	14.980
min	98.036
max	140.947

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	14217.171
σ	4.304
min	14215.576
max	14227.820

*mean*	4029.875
σ	2001.038
min	1216.000
max	7125.000

*mean*	8085.668
σ	2001.585
min	6012.141
max	11122.937

op=vertical_lookup_list() on indexed

*mean*	13159.109
σ	0.002
min	13159.106
max	13159.110

*mean*	7125.000
σ	0.000
min	7125.000
max	7125.000

*mean*	5098.752
σ	155.016
min	5001.046
max	5465.361

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

*mean*	376.840
σ	33.281
min	303.390
max	395.448

op=pointedIndexFromKvs

rows=400000

*mean*	357.322
σ	0.001
min	357.321
max	357.325

*mean*	562.000
σ	0.000
min	562.000
max	562.000

*mean*	742.054
σ	70.797
min	621.410
max	806.159

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1024.325
σ	0.758
min	1023.851
max	1027.461

*mean*	1052.450
σ	317.258
min	574.000
max	1522.000

*mean*	1.609
σ	0.081
min	1.529
max	1.803

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.305
σ	0.303
min	0.140
max	0.843

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.476
σ	0.316
min	0.328
max	1.040

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.226
σ	0.017
min	0.211
max	0.254

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.337
σ	0.016
min	0.326
max	0.366

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*	435.400
σ	5.177
min	431.000
max	441.000

*mean*	0.544
σ	0.037
min	0.488
max	0.590

name=cdr_enhanced_4k_loc.art

*mean*	885.820
σ	0.002
min	885.819
max	885.823

*mean*	441.000
σ	0.000
min	441.000
max	441.000

*mean*	0.477
σ	0.030
min	0.447
max	0.512

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

*mean*	2.671
σ	0.114
min	2.471
max	3.073

name=record_render_large_syntax_err.art

*mean*	7.657
σ	0.002
min	7.656
max	7.660

*mean*	441.000
σ	0.000
min	441.000
max	441.000

*mean*	2.571
σ	0.082
min	2.456
max	2.932

name=record_render_success.art

*mean*	2.289
σ	0.002
min	2.289
max	2.293

*mean*	441.000
σ	0.000
min	441.000
max	441.000

*mean*	0.307
σ	0.012
min	0.291
max	0.384

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	441.000
σ	0.000
min	441.000
max	441.000

*mean*	0.295
σ	0.007
min	0.282
max	0.329

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.748
σ	1.037
min	298.330
max	301.695

*mean*	446.200
σ	18.879
min	420.000
max	473.000

*mean*	0.579
σ	0.039
min	0.519
max	0.649

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

*mean*	236.678
σ	0.001
min	236.678
max	236.681

*mean*	923.500
σ	9.899
min	899.000
max	927.000

*mean*	210.297
σ	2.800
min	205.853
max	214.727

phase=macro expansion

*mean*	6.130
σ	0.001
min	6.130
max	6.133

*mean*	920.500
σ	18.385
min	875.000
max	927.000

*mean*	9.617
σ	2.410
min	6.358
max	12.930

phase=parser

*mean*	1042.366
σ	0.001
min	1042.363
max	1042.367

*mean*	920.500
σ	18.385
min	875.000
max	927.000

*mean*	532.891
σ	134.973
min	378.332
max	736.681

phase=processProdDef

*mean*	4850.764
σ	0.000
min	4850.764
max	4850.764

*mean*	927.000
σ	0.000
min	927.000
max	927.000

*mean*	5007.418
σ	434.322
min	4259.721
max	5443.490

phase=renaming

*mean*	21.671
σ	0.000
min	21.671
max	21.671

*mean*	920.500
σ	18.385
min	875.000
max	927.000

*mean*	37.800
σ	11.114
min	20.380
max	48.473

phase=type checker

*mean*	990.453
σ	0.072
min	990.344
max	990.567

*mean*	923.375
σ	10.253
min	898.000
max	927.000

*mean*	792.351
σ	114.111
min	661.479
max	922.312

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	293.949
σ	0.028
min	293.916
max	293.988

*mean*	440.400
σ	2.408
min	438.000
max	443.000

*mean*	0.403
σ	0.002
min	0.401
max	0.405

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.358
σ	0.075
min	1320.280
max	1320.442

*mean*	1082.400
σ	163.265
min	888.000
max	1305.000

*mean*	2.301
σ	0.150
min	2.166
max	2.484

iters=5

new-facts=6402

prior-facts=1

*mean*	1560.717
σ	6.243
min	1557.728
max	1571.879

*mean*	622.400
σ	86.584
min	493.000
max	723.000

*mean*	2.214
σ	0.128
min	2.094
max	2.429

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.261
σ	0.044
min	1882.209
max	1882.296

*mean*	1718.000
σ	168.799
min	1473.000
max	1873.000

*mean*	3.116
σ	0.326
min	2.895
max	3.687

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.688
σ	0.093
min	1.595
max	1.822

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	452.153
σ	582.778
min	160.761
max	1326.320

*mean*	102.250
σ	8.500
min	98.000
max	115.000

*mean*	443.000
σ	0.000
min	443.000
max	443.000

*mean*	0.553
σ	0.552
min	0.270
max	1.382

policies=20

*mean*	1607.977
σ	0.439
min	1607.677
max	1608.627

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	451.000
σ	9.238
min	443.000
max	459.000

*mean*	2.720
σ	0.020
min	2.692
max	2.737

policies=200

*mean*	16087.872
σ	0.079
min	16087.822
max	16087.990

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	497.500
σ	3.317
min	494.000
max	502.000

*mean*	27.436
σ	0.105
min	27.285
max	27.511