1cda808f669c58888ab769897c3c9e64e2b04559

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.888
σ	0.358
min	54.752
max	55.906

*mean*	416.000
σ	0.000
min	416.000
max	416.000

*mean*	0.142
σ	0.004
min	0.137
max	0.149

cache=y

dps=1

iters=10

policies=100

*mean*	43.855
σ	0.007
min	43.845
max	43.863

*mean*	416.700
σ	0.483
min	416.000
max	417.000

*mean*	0.122
σ	0.005
min	0.117
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*	4030.875
σ	2001.862
min	1219.000
max	7131.000

*mean*	12.430
σ	0.274
min	11.990
max	12.840

op=column_set() on indexed, repeat

*mean*	36.618
σ	0.002
min	36.616
max	36.620

*mean*	4030.875
σ	2001.862
min	1219.000
max	7131.000

*mean*	12.018
σ	0.661
min	11.403
max	13.104

op=table_records(), no indexes

*mean*	41.930
σ	0.002
min	41.928
max	41.932

*mean*	7131.000
σ	0.000
min	7131.000
max	7131.000

*mean*	14.014
σ	1.317
min	10.918
max	14.994

op=table_records(), repeat

*mean*	41.929
σ	0.002
min	41.927
max	41.932

*mean*	4030.875
σ	2001.862
min	1219.000
max	7131.000

*mean*	12.855
σ	2.056
min	10.355
max	14.987

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

*mean*	27.654
σ	0.136
min	27.604
max	27.991

*mean*	4030.875
σ	2001.862
min	1219.000
max	7131.000

*mean*	8.452
σ	0.320
min	8.033
max	8.972

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

*mean*	26.401
σ	0.002
min	26.400
max	26.404

*mean*	4030.875
σ	2001.862
min	1219.000
max	7131.000

*mean*	6.552
σ	0.167
min	6.208
max	6.739

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.668
σ	0.004
min	25.666
max	25.678

*mean*	4030.875
σ	2001.862
min	1219.000
max	7131.000

*mean*	5.546
σ	0.199
min	5.291
max	5.925

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.970
σ	0.002
min	25.968
max	25.972

*mean*	4030.875
σ	2001.862
min	1219.000
max	7131.000

*mean*	5.315
σ	0.090
min	5.199
max	5.463

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

*mean*	344.838
σ	3.473
min	340.095
max	349.285

op=load_product(), with indexes

*mean*	7917.792
σ	0.469
min	7917.624
max	7918.954

*mean*	3264.375
σ	1816.122
min	810.000
max	5603.000

*mean*	3562.253
σ	915.430
min	3096.349
max	5613.081

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*	4030.875
σ	2001.862
min	1219.000
max	7131.000

*mean*	83.967
σ	16.271
min	70.459
max	109.166

op=vertical_lookup_list() on unindexed missing Int

*mean*	40.946
σ	0.002
min	40.945
max	40.950

*mean*	7131.000
σ	0.000
min	7131.000
max	7131.000

*mean*	173.322
σ	315.543
min	59.572
max	954.218

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	66.688
σ	0.002
min	66.686
max	66.691

*mean*	7131.000
σ	0.000
min	7131.000
max	7131.000

*mean*	103.947
σ	10.151
min	98.336
max	127.815

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	14217.171
σ	4.304
min	14215.576
max	14227.821

*mean*	4030.875
σ	2001.862
min	1219.000
max	7131.000

*mean*	8248.024
σ	1816.687
min	6051.511
max	10818.903

op=vertical_lookup_list() on indexed

*mean*	13159.109
σ	0.002
min	13159.106
max	13159.110

*mean*	7131.000
σ	0.000
min	7131.000
max	7131.000

*mean*	5278.963
σ	685.652
min	4989.558
max	6971.019

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*	385.300
σ	13.060
min	354.024
max	393.884

op=pointedIndexFromKvs

rows=400000

*mean*	357.322
σ	0.001
min	357.321
max	357.325

*mean*	560.000
σ	0.000
min	560.000
max	560.000

*mean*	724.275
σ	70.077
min	596.054
max	783.982

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1024.299
σ	0.759
min	1023.827
max	1027.438

*mean*	1048.450
σ	314.110
min	573.000
max	1512.000

*mean*	1.578
σ	0.084
min	1.494
max	1.780

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.432
σ	0.607
min	0.128
max	1.515

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.474
σ	0.322
min	0.315
max	1.050

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.206
σ	0.024
min	0.189
max	0.247

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.375
σ	0.123
min	0.311
max	0.595

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*	437.200
σ	6.535
min	431.000
max	444.000

*mean*	0.538
σ	0.050
min	0.458
max	0.588

name=cdr_enhanced_4k_loc.art

*mean*	885.820
σ	0.002
min	885.819
max	885.823

*mean*	444.000
σ	0.000
min	444.000
max	444.000

*mean*	0.489
σ	0.048
min	0.427
max	0.535

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

*mean*	2.631
σ	0.086
min	2.477
max	2.905

name=record_render_large_syntax_err.art

*mean*	7.657
σ	0.002
min	7.656
max	7.660

*mean*	444.000
σ	0.000
min	444.000
max	444.000

*mean*	2.619
σ	0.162
min	2.437
max	3.910

name=record_render_success.art

*mean*	2.289
σ	0.002
min	2.289
max	2.293

*mean*	444.000
σ	0.000
min	444.000
max	444.000

*mean*	0.308
σ	0.045
min	0.290
max	0.748

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	444.000
σ	0.000
min	444.000
max	444.000

*mean*	0.292
σ	0.010
min	0.279
max	0.360

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.884
σ	1.011
min	298.486
max	301.757

*mean*	443.400
σ	18.494
min	415.000
max	470.000

*mean*	0.605
σ	0.026
min	0.547
max	0.640

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*	1067.750
σ	26.163
min	1003.000
max	1077.000

*mean*	210.619
σ	3.928
min	203.313
max	215.232

phase=macro expansion

*mean*	6.130
σ	0.000
min	6.130
max	6.130

*mean*	1067.750
σ	26.163
min	1003.000
max	1077.000

*mean*	9.219
σ	2.544
min	6.392
max	13.003

phase=parser

*mean*	1042.360
σ	0.000
min	1042.360
max	1042.361

*mean*	1067.750
σ	26.163
min	1003.000
max	1077.000

*mean*	546.130
σ	116.630
min	407.890
max	721.182

phase=processProdDef

*mean*	4850.768
σ	0.000
min	4850.768
max	4850.769

*mean*	1077.000
σ	0.000
min	1077.000
max	1077.000

*mean*	4871.536
σ	873.161
min	3534.898
max	6084.368

phase=renaming

*mean*	21.675
σ	0.000
min	21.675
max	21.675

*mean*	1067.750
σ	26.163
min	1003.000
max	1077.000

*mean*	34.126
σ	11.807
min	20.388
max	49.508

phase=type checker

*mean*	990.450
σ	0.071
min	990.344
max	990.563

*mean*	1067.750
σ	26.163
min	1003.000
max	1077.000

*mean*	752.121
σ	119.264
min	643.412
max	922.591

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	293.822
σ	0.038
min	293.769
max	293.862

*mean*	443.000
σ	0.000
min	443.000
max	443.000

*mean*	0.400
σ	0.009
min	0.392
max	0.411

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.209
σ	0.048
min	1320.126
max	1320.248

*mean*	1095.400
σ	185.280
min	839.000
max	1316.000

*mean*	2.249
σ	0.118
min	2.161
max	2.454

iters=5

new-facts=6402

prior-facts=1

*mean*	1560.616
σ	6.225
min	1557.635
max	1571.747

*mean*	618.600
σ	81.968
min	494.000
max	714.000

*mean*	2.276
σ	0.131
min	2.189
max	2.507

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.157
σ	0.047
min	1882.108
max	1882.232

*mean*	1720.800
σ	194.066
min	1455.000
max	1904.000

*mean*	3.048
σ	0.120
min	2.888
max	3.208

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.771
σ	0.058
min	1.693
max	1.828

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	452.081
σ	582.722
min	160.718
max	1326.165

*mean*	102.250
σ	8.500
min	98.000
max	115.000

*mean*	442.000
σ	0.000
min	442.000
max	442.000

*mean*	0.538
σ	0.530
min	0.265
max	1.333

policies=20

*mean*	1607.516
σ	0.412
min	1607.234
max	1608.126

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	449.500
σ	8.660
min	442.000
max	457.000

*mean*	2.693
σ	0.023
min	2.672
max	2.725

policies=200

*mean*	16083.509
σ	0.138
min	16083.394
max	16083.704

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	496.500
σ	5.000
min	491.000
max	503.000

*mean*	27.177
σ	0.101
min	27.064
max	27.303