725ab08d3b3cb67001130af5a30666274dd961f8

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 Decls)

Factor

compact size MiB

phase=processProdDef Decls

*mean*	5.676
σ	0.000
min	5.676
max	5.676

AST compact size (processProdDef)

Factor

compact size MiB

phase=processProdDef

*mean*	446.883
σ	0.000
min	446.883
max	446.883

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.837
σ	0.365
min	54.708
max	55.875

*mean*	417.000
σ	0.000
min	417.000
max	417.000

*mean*	0.140
σ	0.004
min	0.137
max	0.148

cache=y

dps=1

iters=10

policies=100

*mean*	43.843
σ	0.004
min	43.838
max	43.848

*mean*	417.000
σ	0.000
min	417.000
max	417.000

*mean*	0.119
σ	0.004
min	0.116
max	0.125

CSV - indexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on indexed

*mean*	36.617
σ	0.000
min	36.617
max	36.618

*mean*	4426.000
σ	2226.296
min	1483.000
max	7406.000

*mean*	12.276
σ	1.921
min	11.269
max	16.912

op=column_set() on indexed, repeat

*mean*	36.617
σ	0.000
min	36.617
max	36.618

*mean*	4605.625
σ	2257.310
min	1483.000
max	7406.000

*mean*	171.439
σ	450.208
min	10.788
max	1285.637

op=table_records(), no indexes

*mean*	41.948
σ	0.002
min	41.946
max	41.951

*mean*	7406.000
σ	0.000
min	7406.000
max	7406.000

*mean*	10.864
σ	0.930
min	10.276
max	13.049

op=table_records(), repeat

*mean*	41.933
σ	0.000
min	41.933
max	41.934

*mean*	4196.875
σ	1953.384
min	1483.000
max	7406.000

*mean*	10.640
σ	1.001
min	9.971
max	13.074

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

*mean*	27.655
σ	0.136
min	27.606
max	27.993

*mean*	4196.875
σ	1953.384
min	1483.000
max	7406.000

*mean*	8.301
σ	0.663
min	7.305
max	9.564

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

*mean*	26.406
σ	0.000
min	26.406
max	26.406

*mean*	4196.875
σ	1953.384
min	1483.000
max	7406.000

*mean*	6.280
σ	0.465
min	5.827
max	7.341

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.681
σ	0.003
min	25.680
max	25.688

*mean*	4605.625
σ	2257.310
min	1483.000
max	7406.000

*mean*	5.981
σ	1.131
min	5.206
max	8.524

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.984
σ	0.000
min	25.984
max	25.985

*mean*	4605.625
σ	2257.310
min	1483.000
max	7406.000

*mean*	5.841
σ	1.252
min	4.818
max	8.635

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.627
σ	0.002
min	1021.625
max	1021.630

*mean*	7406.000
σ	0.000
min	7406.000
max	7406.000

*mean*	344.576
σ	2.369
min	341.158
max	348.368

op=load_product(), with indexes

*mean*	3495.878
σ	0.469
min	3495.713
max	3497.038

*mean*	3770.000
σ	2309.304
min	721.000
max	7406.000

*mean*	1727.588
σ	565.255
min	1389.962
max	2764.414

CSV - unindexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

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

*mean*	107.854
σ	0.000
min	107.853
max	107.854

*mean*	4196.875
σ	1953.384
min	1483.000
max	7406.000

*mean*	132.602
σ	8.238
min	126.752
max	152.555

op=column_set() on unindexed, dense, repeat

*mean*	62.082
σ	0.000
min	62.081
max	62.082

*mean*	4426.000
σ	2226.296
min	1483.000
max	7406.000

*mean*	123.932
σ	232.374
min	40.536
max	699.025

op=vertical_lookup_list() repeated on unindexed missing Int

*mean*	40.948
σ	0.002
min	40.947
max	40.951

*mean*	7406.000
σ	0.000
min	7406.000
max	7406.000

*mean*	129.731
σ	304.054
min	20.998
max	882.200

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	71.308
σ	0.002
min	71.307
max	71.311

*mean*	7406.000
σ	0.000
min	7406.000
max	7406.000

*mean*	58.870
σ	6.256
min	55.348
max	72.955

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	4646.850
σ	0.013
min	4646.845
max	4646.883

*mean*	4196.875
σ	1953.384
min	1483.000
max	7406.000

*mean*	3136.116
σ	645.774
min	2506.511
max	4139.487

op=vertical_lookup_list() on indexed

*mean*	1973.851
σ	0.002
min	1973.849
max	1973.853

*mean*	7406.000
σ	0.000
min	7406.000
max	7406.000

*mean*	1003.366
σ	201.189
min	909.700
max	1485.674

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

*mean*	905.105
σ	0.002
min	905.102
max	905.108

*mean*	7406.000
σ	0.000
min	7406.000
max	7406.000

*mean*	401.976
σ	41.523
min	379.256
max	504.272

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

*mean*	369.618
σ	31.972
min	317.857
max	429.929

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	561.625
σ	0.518
min	561.000
max	562.000

*mean*	759.323
σ	40.728
min	721.069
max	834.557

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	963.974
σ	1.820
min	963.265
max	971.669

*mean*	1042.450
σ	306.046
min	585.000
max	1491.000

*mean*	1.255
σ	0.084
min	1.185
max	1.500

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.509
σ	0.464
min	0.249
max	1.329

name=error_case.art

*mean*	2.340
σ	0.012
min	2.334
max	2.362

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.821
σ	0.520
min	0.566
max	1.749

name=heavy_item.art

*mean*	1.523
σ	0.002
min	1.521
max	1.525

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.386
σ	0.029
min	0.359
max	0.430

name=nested_use.art

*mean*	2.358
σ	0.002
min	2.357
max	2.361

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.590
σ	0.036
min	0.550
max	0.644

Parser: Real World

Factor

allocated MiB

peak allocated MiB

time (sec)

name=aon_gpf25_7k_loc.art

*mean*	964.971
σ	0.011
min	964.965
max	964.989

*mean*	431.000
σ	0.000
min	431.000
max	431.000

*mean*	0.660
σ	0.073
min	0.584
max	0.730

name=cdr_enhanced_4k_loc.art

*mean*	885.898
σ	0.002
min	885.897
max	885.901

*mean*	431.000
σ	0.000
min	431.000
max	431.000

*mean*	0.465
σ	0.035
min	0.423
max	0.510

Parser: Record Parsing

Factor

allocated MiB

peak allocated MiB

time (ms)

name=record_render_large_success.art

*mean*	7.710
σ	0.002
min	7.709
max	7.713

*mean*	431.000
σ	0.000
min	431.000
max	431.000

*mean*	1.977
σ	0.086
min	1.856
max	2.257

name=record_render_large_syntax_err.art

*mean*	7.658
σ	0.002
min	7.657
max	7.661

*mean*	431.000
σ	0.000
min	431.000
max	431.000

*mean*	1.957
σ	0.072
min	1.858
max	2.238

name=record_render_success.art

*mean*	2.290
σ	0.002
min	2.289
max	2.293

*mean*	431.000
σ	0.000
min	431.000
max	431.000

*mean*	0.302
σ	0.008
min	0.290
max	0.344

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	431.000
σ	0.000
min	431.000
max	431.000

*mean*	0.287
σ	0.008
min	0.273
max	0.333

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.868
σ	12.012
min	0.718
max	83.989

*mean*	456.475
σ	18.735
min	407.000
max	478.000

*mean*	0.027
σ	0.029
min	0.001
max	0.199

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	278.685
σ	1.026
min	278.276
max	281.604

*mean*	444.100
σ	16.603
min	418.000
max	468.000

*mean*	0.570
σ	0.024
min	0.536
max	0.612

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

*mean*	173.738
σ	0.000
min	173.738
max	173.738

*mean*	844.000
σ	0.000
min	844.000
max	844.000

*mean*	212.696
σ	27.564
min	180.361
max	251.600

phase=macro expansion

*mean*	6.130
σ	0.000
min	6.130
max	6.130

*mean*	843.375
σ	1.768
min	839.000
max	844.000

*mean*	8.933
σ	0.937
min	7.343
max	9.514

phase=parser

*mean*	1042.435
σ	0.000
min	1042.434
max	1042.435

*mean*	843.375
σ	1.768
min	839.000
max	844.000

*mean*	563.815
σ	44.603
min	489.930
max	607.062

phase=processProdDef

*mean*	2243.976
σ	0.000
min	2243.976
max	2243.976

*mean*	844.000
σ	0.000
min	844.000
max	844.000

*mean*	2952.318
σ	486.164
min	2167.420
max	3460.427

phase=renaming

*mean*	21.671
σ	0.000
min	21.671
max	21.671

*mean*	843.375
σ	1.768
min	839.000
max	844.000

*mean*	36.779
σ	6.366
min	26.312
max	40.772

phase=type checker

*mean*	989.752
σ	0.066
min	989.654
max	989.841

*mean*	843.375
σ	1.768
min	839.000
max	844.000

*mean*	687.420
σ	41.410
min	636.227
max	777.745

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	282.395
σ	0.024
min	282.374
max	282.426

*mean*	442.400
σ	0.548
min	442.000
max	443.000

*mean*	0.378
σ	0.005
min	0.374
max	0.385

iters=5

new-facts=1

prior-facts=6402

*mean*	1267.075
σ	0.087
min	1266.997
max	1267.220

*mean*	1112.600
σ	168.911
min	897.000
max	1322.000

*mean*	1.904
σ	0.072
min	1.827
max	2.015

iters=5

new-facts=6402

prior-facts=1

*mean*	1506.144
σ	2.941
min	1504.655
max	1511.395

*mean*	628.000
σ	90.214
min	504.000
max	727.000

*mean*	2.399
σ	0.335
min	2.069
max	2.801

iters=5

new-facts=6402

prior-facts=6402

*mean*	1829.107
σ	0.062
min	1829.023
max	1829.186

*mean*	1754.600
σ	216.583
min	1464.000
max	1959.000

*mean*	3.115
σ	0.300
min	2.835
max	3.545

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.739
σ	0.095
min	1.624
max	1.845

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	397.699
σ	518.051
min	138.671
max	1174.776

*mean*	97.750
σ	7.500
min	94.000
max	109.000

*mean*	447.000
σ	0.000
min	447.000
max	447.000

*mean*	0.476
σ	0.483
min	0.233
max	1.200

policies=20

*mean*	1386.842
σ	0.164
min	1386.728
max	1387.085

*mean*	940.000
σ	0.000
min	940.000
max	940.000

*mean*	447.000
σ	0.000
min	447.000
max	447.000

*mean*	2.321
σ	0.014
min	2.301
max	2.332

policies=200

*mean*	13876.879
σ	0.050
min	13876.821
max	13876.937

*mean*	9400.000
σ	0.000
min	9400.000
max	9400.000

*mean*	496.000
σ	3.916
min	492.000
max	501.000

*mean*	23.562
σ	0.212
min	23.363
max	23.860