29b65b3dc94dcd95282b654ac515990ad7b5b482

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.082
σ	0.000
min	5.082
max	5.082

AST compact size (parser)

Factor

compact size MiB

phase=parser

*mean*	4.988
σ	0.000
min	4.988
max	4.988

AST compact size (processProdDef Decls)

Factor

compact size MiB

phase=processProdDef Decls

*mean*	4.863
σ	0.000
min	4.863
max	4.863

AST compact size (processProdDef)

Factor

compact size MiB

phase=processProdDef

*mean*	446.102
σ	0.000
min	446.102
max	446.102

AST compact size (renaming)

Factor

compact size MiB

phase=renaming

*mean*	5.238
σ	0.000
min	5.238
max	5.238

AST compact size (type checker)

Factor

compact size MiB

phase=type checker

*mean*	6.395
σ	0.000
min	6.395
max	6.395

Aggregation: measureAggregations

Factor

allocated MiB

peak allocated MiB

time_s

cache=n

dps=1

iters=10

policies=100

*mean*	57.825
σ	0.361
min	57.683
max	58.850

*mean*	419.000
σ	0.000
min	419.000
max	419.000

*mean*	0.146
σ	0.004
min	0.143
max	0.153

cache=y

dps=1

iters=10

policies=100

*mean*	46.899
σ	0.006
min	46.888
max	46.904

*mean*	419.000
σ	0.000
min	419.000
max	419.000

*mean*	0.131
σ	0.004
min	0.126
max	0.137

CSV - indexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on indexed

*mean*	36.606
σ	0.000
min	36.606
max	36.606

*mean*	3958.750
σ	1928.615
min	1330.000
max	7208.000

*mean*	12.072
σ	0.212
min	11.829
max	12.353

op=column_set() on indexed, repeat

*mean*	36.606
σ	0.000
min	36.606
max	36.606

*mean*	3958.750
σ	1928.615
min	1330.000
max	7208.000

*mean*	12.371
σ	0.410
min	11.462
max	12.706

op=table_records(), no indexes

*mean*	41.941
σ	0.002
min	41.939
max	41.943

*mean*	7273.000
σ	69.488
min	7208.000
max	7338.000

*mean*	11.335
σ	0.130
min	11.036
max	11.452

op=table_records(), repeat

*mean*	41.927
σ	0.001
min	41.926
max	41.930

*mean*	3958.750
σ	1928.615
min	1330.000
max	7208.000

*mean*	11.103
σ	0.129
min	10.900
max	11.276

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

*mean*	27.635
σ	0.137
min	27.586
max	27.973

*mean*	3958.750
σ	1928.615
min	1330.000
max	7208.000

*mean*	8.613
σ	0.231
min	8.376
max	8.992

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

*mean*	26.386
σ	0.000
min	26.386
max	26.386

*mean*	3958.750
σ	1928.615
min	1330.000
max	7208.000

*mean*	6.333
σ	0.345
min	5.764
max	6.795

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.665
σ	0.004
min	25.663
max	25.675

*mean*	3958.750
σ	1928.615
min	1330.000
max	7208.000

*mean*	5.882
σ	0.101
min	5.727
max	6.039

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.964
σ	0.001
min	25.963
max	25.965

*mean*	3958.750
σ	1928.615
min	1330.000
max	7208.000

*mean*	5.777
σ	0.077
min	5.686
max	5.919

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.601
σ	0.002
min	1021.598
max	1021.603

*mean*	7273.000
σ	69.488
min	7208.000
max	7338.000

*mean*	347.228
σ	2.393
min	344.125
max	351.592

op=load_product(), with indexes

*mean*	3495.849
σ	0.460
min	3495.686
max	3496.988

*mean*	3321.000
σ	1890.247
min	640.000
max	5296.000

*mean*	1880.134
σ	915.455
min	1398.028
max	3772.269

CSV - unindexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on unindexed, dense, minor warmup

*mean*	107.843
σ	0.000
min	107.842
max	107.843

*mean*	3958.750
σ	1928.615
min	1330.000
max	7208.000

*mean*	129.389
σ	10.223
min	121.825
max	151.907

op=column_set() on unindexed, dense, repeat

*mean*	62.070
σ	0.001
min	62.067
max	62.070

*mean*	3958.750
σ	1928.615
min	1330.000
max	7208.000

*mean*	41.922
σ	1.584
min	40.319
max	44.541

op=vertical_lookup_list() repeated on unindexed missing Int

*mean*	40.928
σ	0.002
min	40.927
max	40.931

*mean*	7273.000
σ	69.488
min	7208.000
max	7338.000

*mean*	22.252
σ	0.674
min	21.476
max	23.584

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	71.295
σ	0.002
min	71.294
max	71.298

*mean*	7273.000
σ	69.488
min	7208.000
max	7338.000

*mean*	56.029
σ	0.946
min	55.021
max	58.086

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	4646.843
σ	0.014
min	4646.838
max	4646.877

*mean*	3958.750
σ	1928.615
min	1330.000
max	7208.000

*mean*	3616.603
σ	955.224
min	2502.540
max	4686.009

op=vertical_lookup_list() on indexed

*mean*	1973.831
σ	0.002
min	1973.830
max	1973.834

*mean*	7273.000
σ	69.488
min	7208.000
max	7338.000

*mean*	942.992
σ	58.198
min	916.202
max	1086.375

op=vertical_lookup_list() on unindexed missing Int, minor warmup

*mean*	905.085
σ	0.002
min	905.083
max	905.088

*mean*	7273.000
σ	69.488
min	7208.000
max	7338.000

*mean*	394.918
σ	4.683
min	385.573
max	400.436

CSV internal benchmark: pointedIndexFromKvs

Factor

allocated MiB

peak allocated MiB

time (ms)

op=pointedIndexFromKvs

rows=200000

*mean*	148.144
σ	0.001
min	148.144
max	148.148

*mean*	475.000
σ	0.000
min	475.000
max	475.000

*mean*	369.526
σ	37.643
min	308.653
max	408.503

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	564.250
σ	1.035
min	563.000
max	565.000

*mean*	770.290
σ	30.411
min	727.722
max	809.892

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	976.919
σ	2.438
min	976.071
max	987.250

*mean*	1046.800
σ	302.736
min	573.000
max	1492.000

*mean*	1.293
σ	0.104
min	1.210
max	1.530

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.399
σ	0.508
min	0.147
max	1.306

name=error_case.art

*mean*	2.346
σ	0.012
min	2.340
max	2.368

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.475
σ	0.311
min	0.318
max	1.030

name=heavy_item.art

*mean*	1.523
σ	0.002
min	1.522
max	1.526

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.213
σ	0.028
min	0.193
max	0.262

name=nested_use.art

*mean*	2.364
σ	0.002
min	2.363
max	2.367

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.333
σ	0.012
min	0.321
max	0.352

Parser: Real World

Factor

allocated MiB

peak allocated MiB

time (sec)

name=aon_gpf25_7k_loc.art

*mean*	964.978
σ	0.009
min	964.973
max	964.995

*mean*	431.600
σ	1.342
min	431.000
max	434.000

*mean*	0.546
σ	0.026
min	0.511
max	0.583

name=cdr_enhanced_4k_loc.art

*mean*	886.000
σ	0.002
min	885.999
max	886.003

*mean*	441.000
σ	0.000
min	441.000
max	441.000

*mean*	0.484
σ	0.030
min	0.445
max	0.529

Parser: Record Parsing

Factor

allocated MiB

peak allocated MiB

time (ms)

name=record_render_large_success.art

*mean*	7.719
σ	0.002
min	7.718
max	7.722

*mean*	441.000
σ	0.000
min	441.000
max	441.000

*mean*	2.667
σ	0.084
min	2.457
max	2.876

name=record_render_large_syntax_err.art

*mean*	7.667
σ	0.002
min	7.666
max	7.670

*mean*	441.000
σ	0.000
min	441.000
max	441.000

*mean*	2.638
σ	0.088
min	2.476
max	2.922

name=record_render_success.art

*mean*	2.290
σ	0.002
min	2.290
max	2.294

*mean*	441.000
σ	0.000
min	441.000
max	441.000

*mean*	0.305
σ	0.008
min	0.292
max	0.352

name=record_render_syntax_err.art

*mean*	2.166
σ	0.002
min	2.165
max	2.169

*mean*	441.000
σ	0.000
min	441.000
max	441.000

*mean*	0.290
σ	0.009
min	0.275
max	0.333

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.733
σ	11.595
min	0.574
max	98.267

*mean*	463.347
σ	19.193
min	409.000
max	480.000

*mean*	0.027
σ	0.028
min	0.001
max	0.235

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	294.049
σ	1.054
min	293.636
max	297.046

*mean*	442.200
σ	17.912
min	415.000
max	467.000

*mean*	0.600
σ	0.013
min	0.580
max	0.621

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

*mean*	106.546
σ	0.000
min	106.546
max	106.546

*mean*	848.000
σ	0.000
min	848.000
max	848.000

*mean*	138.291
σ	13.756
min	111.869
max	155.877

phase=macro expansion

*mean*	5.897
σ	0.000
min	5.897
max	5.897

*mean*	848.000
σ	0.000
min	848.000
max	848.000

*mean*	5.858
σ	0.046
min	5.802
max	5.932

phase=parser

*mean*	1042.133
σ	0.000
min	1042.133
max	1042.133

*mean*	848.000
σ	0.000
min	848.000
max	848.000

*mean*	375.031
σ	3.086
min	369.904
max	378.638

phase=processProdDef

*mean*	2241.195
σ	0.000
min	2241.195
max	2241.195

*mean*	848.000
σ	0.000
min	848.000
max	848.000

*mean*	2724.197
σ	242.979
min	2386.395
max	3130.403

phase=renaming

*mean*	21.430
σ	0.000
min	21.430
max	21.430

*mean*	848.000
σ	0.000
min	848.000
max	848.000

*mean*	37.997
σ	2.432
min	34.778
max	41.063

phase=type checker

*mean*	958.462
σ	0.047
min	958.439
max	958.564

*mean*	848.000
σ	0.000
min	848.000
max	848.000

*mean*	669.220
σ	17.020
min	642.057
max	688.082

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	327.854
σ	0.036
min	327.803
max	327.890

*mean*	441.000
σ	4.301
min	434.000
max	445.000

*mean*	0.434
σ	0.005
min	0.430
max	0.440

iters=5

new-facts=1

prior-facts=6402

*mean*	1313.072
σ	0.144
min	1312.964
max	1313.321

*mean*	1088.200
σ	173.598
min	884.000
max	1304.000

*mean*	1.877
σ	0.090
min	1.762
max	2.003

iters=5

new-facts=6402

prior-facts=1

*mean*	1552.107
σ	3.029
min	1550.563
max	1557.518

*mean*	614.800
σ	93.213
min	494.000
max	734.000

*mean*	2.443
σ	0.261
min	2.155
max	2.719

iters=5

new-facts=6402

prior-facts=6402

*mean*	1875.065
σ	0.045
min	1875.012
max	1875.134

*mean*	1736.000
σ	215.073
min	1447.000
max	1938.000

*mean*	2.988
σ	0.156
min	2.861
max	3.244

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.562
σ	0.104
min	1.428
max	1.692

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	419.412
σ	508.910
min	164.955
max	1182.777

*mean*	101.250
σ	6.500
min	98.000
max	111.000

*mean*	433.000
σ	0.000
min	433.000
max	433.000

*mean*	0.524
σ	0.508
min	0.263
max	1.287

policies=20

*mean*	1649.812
σ	0.379
min	1649.598
max	1650.379

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	446.750
σ	11.295
min	433.000
max	456.000

*mean*	2.660
σ	0.009
min	2.653
max	2.672

policies=200

*mean*	16506.092
σ	0.027
min	16506.066
max	16506.130

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	496.250
σ	6.397
min	489.000
max	503.000

*mean*	26.736
σ	0.106
min	26.619
max	26.834