98612235197421ac7df5c4c0ca7c8154bb39c7d6

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.776
σ	0.366
min	54.630
max	55.819

*mean*	416.000
σ	0.000
min	416.000
max	416.000

*mean*	0.142
σ	0.004
min	0.139
max	0.149

cache=y

dps=1

iters=10

policies=100

*mean*	43.776
σ	0.008
min	43.766
max	43.789

*mean*	416.000
σ	0.000
min	416.000
max	416.000

*mean*	0.122
σ	0.004
min	0.117
max	0.129

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*	4218.375
σ	1970.004
min	1482.000
max	7435.000

*mean*	12.291
σ	0.331
min	11.933
max	13.069

op=column_set() on indexed, repeat

*mean*	36.617
σ	0.000
min	36.617
max	36.618

*mean*	4444.750
σ	2240.132
min	1482.000
max	7435.000

*mean*	93.403
σ	229.290
min	11.616
max	660.865

op=table_records(), no indexes

*mean*	41.948
σ	0.002
min	41.946
max	41.950

*mean*	7435.000
σ	0.000
min	7435.000
max	7435.000

*mean*	11.372
σ	1.124
min	10.775
max	14.141

op=table_records(), repeat

*mean*	41.933
σ	0.000
min	41.933
max	41.934

*mean*	4218.375
σ	1970.004
min	1482.000
max	7435.000

*mean*	11.484
σ	1.412
min	10.779
max	14.966

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

*mean*	27.655
σ	0.136
min	27.606
max	27.993

*mean*	4218.375
σ	1970.004
min	1482.000
max	7435.000

*mean*	8.853
σ	0.628
min	7.936
max	10.193

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

*mean*	26.406
σ	0.000
min	26.406
max	26.406

*mean*	4218.375
σ	1970.004
min	1482.000
max	7435.000

*mean*	6.978
σ	0.474
min	6.412
max	8.060

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.681
σ	0.003
min	25.680
max	25.688

*mean*	4444.750
σ	2240.132
min	1482.000
max	7435.000

*mean*	6.311
σ	0.504
min	5.993
max	7.514

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.984
σ	0.000
min	25.984
max	25.985

*mean*	4444.750
σ	2240.132
min	1482.000
max	7435.000

*mean*	6.290
σ	1.003
min	5.706
max	8.754

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.629

*mean*	7435.000
σ	0.000
min	7435.000
max	7435.000

*mean*	345.204
σ	1.615
min	342.448
max	347.714

op=load_product(), with indexes

*mean*	3495.878
σ	0.469
min	3495.713
max	3497.038

*mean*	3789.250
σ	2327.708
min	720.000
max	7435.000

*mean*	2021.233
σ	881.639
min	1388.525
max	3471.841

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.854
max	107.854

*mean*	4218.375
σ	1970.004
min	1482.000
max	7435.000

*mean*	131.691
σ	10.617
min	124.834
max	157.203

op=column_set() on unindexed, dense, repeat

*mean*	62.081
σ	0.000
min	62.081
max	62.082

*mean*	4218.375
σ	1970.004
min	1482.000
max	7435.000

*mean*	43.644
σ	1.091
min	41.527
max	45.077

op=vertical_lookup_list() repeated on unindexed missing Int

*mean*	40.948
σ	0.002
min	40.947
max	40.950

*mean*	7435.000
σ	0.000
min	7435.000
max	7435.000

*mean*	22.826
σ	2.951
min	21.421
max	30.047

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	71.308
σ	0.002
min	71.307
max	71.311

*mean*	7435.000
σ	0.000
min	7435.000
max	7435.000

*mean*	121.800
σ	182.910
min	54.994
max	574.394

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*	4218.375
σ	1970.004
min	1482.000
max	7435.000

*mean*	3307.919
σ	632.437
min	2505.747
max	4308.739

op=vertical_lookup_list() on indexed

*mean*	1973.851
σ	0.002
min	1973.849
max	1973.853

*mean*	7435.000
σ	0.000
min	7435.000
max	7435.000

*mean*	1246.660
σ	868.526
min	912.170
max	3392.763

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

*mean*	905.105
σ	0.002
min	905.102
max	905.108

*mean*	7435.000
σ	0.000
min	7435.000
max	7435.000

*mean*	404.858
σ	43.298
min	381.430
max	511.660

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.500
σ	0.756
min	474.000
max	476.000

*mean*	399.363
σ	28.280
min	375.802
max	435.137

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	560.625
σ	2.560
min	556.000
max	562.000

*mean*	723.848
σ	76.551
min	603.942
max	834.949

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	963.973
σ	1.820
min	963.264
max	971.667

*mean*	1057.500
σ	305.394
min	576.000
max	1466.000

*mean*	1.293
σ	0.117
min	1.186
max	1.557

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.498
σ	0.540
min	0.233
max	1.462

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.825
σ	0.520
min	0.574
max	1.754

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.389
σ	0.034
min	0.361
max	0.448

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.029
min	0.561
max	0.633

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

*mean*	0.561
σ	0.110
min	0.448
max	0.746

name=cdr_enhanced_4k_loc.art

*mean*	885.898
σ	0.002
min	885.897
max	885.901

*mean*	444.000
σ	0.000
min	444.000
max	444.000

*mean*	0.471
σ	0.037
min	0.435
max	0.526

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

*mean*	2.589
σ	0.096
min	2.442
max	2.914

name=record_render_large_syntax_err.art

*mean*	7.658
σ	0.002
min	7.657
max	7.661

*mean*	444.000
σ	0.000
min	444.000
max	444.000

*mean*	2.554
σ	0.095
min	2.389
max	2.864

name=record_render_success.art

*mean*	2.290
σ	0.002
min	2.289
max	2.293

*mean*	444.000
σ	0.000
min	444.000
max	444.000

*mean*	0.305
σ	0.009
min	0.289
max	0.362

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.299
σ	0.036
min	0.281
max	0.642

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.829
σ	13.417
min	0.573
max	128.354

*mean*	460.485
σ	19.208
min	406.000
max	476.000

*mean*	0.027
σ	0.033
min	0.001
max	0.308

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	278.616
σ	1.040
min	278.213
max	281.573

*mean*	446.800
σ	18.949
min	418.000
max	471.000

*mean*	0.575
σ	0.027
min	0.509
max	0.609

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

*mean*	209.297
σ	33.791
min	151.291
max	245.121

phase=macro expansion

*mean*	6.133
σ	0.000
min	6.133
max	6.133

*mean*	842.375
σ	1.768
min	838.000
max	843.000

*mean*	9.170
σ	1.029
min	7.522
max	10.327

phase=parser

*mean*	1042.434
σ	0.000
min	1042.434
max	1042.434

*mean*	842.375
σ	1.768
min	838.000
max	843.000

*mean*	566.042
σ	63.780
min	430.422
max	612.081

phase=processProdDef

*mean*	2243.976
σ	0.000
min	2243.976
max	2243.976

*mean*	843.000
σ	0.000
min	843.000
max	843.000

*mean*	2524.513
σ	448.545
min	2010.439
max	3310.723

phase=renaming

*mean*	21.671
σ	0.000
min	21.671
max	21.671

*mean*	842.375
σ	1.768
min	838.000
max	843.000

*mean*	36.465
σ	5.975
min	26.737
max	41.115

phase=type checker

*mean*	989.752
σ	0.066
min	989.654
max	989.841

*mean*	842.375
σ	1.768
min	838.000
max	843.000

*mean*	699.070
σ	39.222
min	666.024
max	778.695

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	282.394
σ	0.036
min	282.338
max	282.425

*mean*	445.000
σ	0.000
min	445.000
max	445.000

*mean*	0.380
σ	0.007
min	0.373
max	0.388

iters=5

new-facts=1

prior-facts=6402

*mean*	1267.109
σ	0.097
min	1266.995
max	1267.258

*mean*	1113.600
σ	170.472
min	898.000
max	1331.000

*mean*	2.014
σ	0.122
min	1.874
max	2.110

iters=5

new-facts=6402

prior-facts=1

*mean*	1506.130
σ	2.953
min	1504.628
max	1511.403

*mean*	629.000
σ	90.446
min	505.000
max	729.000

*mean*	2.357
σ	0.320
min	2.023
max	2.810

iters=5

new-facts=6402

prior-facts=6402

*mean*	1829.112
σ	0.073
min	1829.023
max	1829.216

*mean*	1764.000
σ	213.133
min	1491.000
max	1970.000

*mean*	3.135
σ	0.326
min	2.814
max	3.497

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.683
σ	0.157
min	1.549
max	1.856

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	397.699
σ	518.050
min	138.670
max	1174.774

*mean*	97.750
σ	7.500
min	94.000
max	109.000

*mean*	444.000
σ	0.000
min	444.000
max	444.000

*mean*	0.498
σ	0.518
min	0.235
max	1.274

policies=20

*mean*	1386.836
σ	0.163
min	1386.722
max	1387.078

*mean*	940.000
σ	0.000
min	940.000
max	940.000

*mean*	444.000
σ	0.000
min	444.000
max	444.000

*mean*	2.316
σ	0.006
min	2.309
max	2.323

policies=200

*mean*	13876.812
σ	0.117
min	13876.704
max	13876.933

*mean*	9400.000
σ	0.000
min	9400.000
max	9400.000

*mean*	494.250
σ	3.862
min	490.000
max	498.000

*mean*	23.407
σ	0.138
min	23.275
max	23.574