387009f6786d61d889f5648b324995eabbbf68d8

Home / Branches / cd/2026-04-22-regex-applicative-demo / 387009f6786d61d889f5648b324995eabbbf68d8

AST compact size (buildDeclTree)

Factorcompact size MiB
phase=buildDeclTree
mean0.203
σ0.000
min0.203
max0.203

AST compact size (macro expansion)

Factorcompact size MiB
phase=macro expansion
mean5.301
σ0.000
min5.301
max5.301

AST compact size (parser)

Factorcompact size MiB
phase=parser
mean5.176
σ0.000
min5.176
max5.176

AST compact size (processProdDef Decls)

Factorcompact size MiB
phase=processProdDef Decls
mean5.676
σ0.000
min5.676
max5.676

AST compact size (processProdDef)

Factorcompact size MiB
phase=processProdDef
mean446.883
σ0.000
min446.883
max446.883

AST compact size (renaming)

Factorcompact size MiB
phase=renaming
mean5.488
σ0.000
min5.488
max5.488

AST compact size (type checker)

Factorcompact size MiB
phase=type checker
mean6.645
σ0.000
min6.645
max6.645

Aggregation: measureAggregations

Factorallocated MiBpeak allocated MiBtime_s
cache=n
dps=1
iters=10
policies=100
mean54.859
σ0.360
min54.718
max55.882
mean417.000
σ0.000
min417.000
max417.000
mean0.138
σ0.006
min0.131
max0.147
cache=y
dps=1
iters=10
policies=100
mean43.847
σ0.007
min43.831
max43.854
mean417.000
σ0.000
min417.000
max417.000
mean0.123
σ0.005
min0.117
max0.131

CSV - indexed operations

Factorallocated MiBpeak allocated MiBtime (ms)
op=column_set() on indexed
mean36.617
σ0.000
min36.617
max36.618
mean4578.875
σ2254.437
min1485.000
max7399.000
mean12.655
σ1.983
min11.664
max17.509
op=column_set() on indexed, repeat
mean36.617
σ0.000
min36.617
max36.618
mean4578.875
σ2254.437
min1485.000
max7399.000
mean12.775
σ1.693
min11.518
max16.675
op=table_records(), no indexes
mean41.948
σ0.002
min41.946
max41.951
mean7399.000
σ0.000
min7399.000
max7399.000
mean11.093
σ0.205
min10.856
max11.445
op=table_records(), repeat
mean41.934
σ0.001
min41.933
max41.937
mean4162.875
σ1945.610
min1485.000
max7399.000
mean11.565
σ1.712
min10.899
max15.802
op=vertical_lookup_list() on indexed, after table_records()
mean27.655
σ0.137
min27.606
max27.993
mean4162.875
σ1945.610
min1485.000
max7399.000
mean9.376
σ1.443
min8.001
max12.360
op=vertical_lookup_list() on indexed, after table_records(), repeat
mean26.406
σ0.000
min26.406
max26.406
mean4162.875
σ1945.610
min1485.000
max7399.000
mean7.084
σ1.046
min5.981
max9.541
op=vertical_lookup_row_list() on 2 indexed
mean25.681
σ0.003
min25.680
max25.688
mean4578.875
σ2254.437
min1485.000
max7399.000
mean6.127
σ0.474
min5.822
max7.244
op=vertical_lookup_row_list() on 3 (1 unindexed)
mean25.984
σ0.000
min25.984
max25.985
mean4578.875
σ2254.437
min1485.000
max7399.000
mean6.045
σ0.570
min5.690
max7.409

CSV - loading a lazy table

Factorallocated MiBpeak allocated MiBtime (ms)
op=load_product(), no indexes
mean1021.627
σ0.002
min1021.625
max1021.629
mean7399.000
σ0.000
min7399.000
max7399.000
mean375.411
σ78.030
min343.870
max568.408
op=load_product(), with indexes
mean3495.878
σ0.469
min3495.713
max3497.038
mean3744.000
σ2297.175
min720.000
max7399.000
mean1620.963
σ542.445
min1399.800
max2954.041

CSV - unindexed operations

Factorallocated MiBpeak allocated MiBtime (ms)
op=column_set() on unindexed, dense, minor warmup
mean107.854
σ0.000
min107.854
max107.855
mean4397.500
σ2225.909
min1485.000
max7399.000
mean238.192
σ287.531
min124.725
max948.474
op=column_set() on unindexed, dense, repeat
mean62.082
σ0.000
min62.081
max62.082
mean4578.875
σ2254.437
min1485.000
max7399.000
mean150.039
σ300.385
min39.548
max893.336
op=vertical_lookup_list() repeated on unindexed missing Int
mean40.948
σ0.002
min40.947
max40.950
mean7399.000
σ0.000
min7399.000
max7399.000
mean22.705
σ2.847
min21.532
max29.743
op=vertical_lookup_row_list() on unindexed small unique Int
mean71.308
σ0.002
min71.307
max71.311
mean7399.000
σ0.000
min7399.000
max7399.000
mean271.316
σ605.851
min55.298
max1770.706

CSV - warmup

Factorallocated MiBpeak allocated MiBtime (ms)
op=table_records()
mean4646.850
σ0.013
min4646.845
max4646.883
mean4162.875
σ1945.610
min1485.000
max7399.000
mean3201.896
σ899.054
min2518.075
max4672.478
op=vertical_lookup_list() on indexed
mean1973.851
σ0.002
min1973.849
max1973.854
mean7399.000
σ0.000
min7399.000
max7399.000
mean1087.606
σ301.921
min926.870
max1801.785
op=vertical_lookup_list() on unindexed missing Int, minor warmup
mean905.105
σ0.002
min905.102
max905.108
mean7399.000
σ0.000
min7399.000
max7399.000
mean411.104
σ44.784
min392.124
max521.830

CSV internal benchmark: pointedIndexFromKvs

Factorallocated MiBpeak allocated MiBtime (ms)
op=pointedIndexFromKvs
rows=200000
mean148.144
σ0.001
min148.144
max148.148
mean478.000
σ0.000
min478.000
max478.000
mean358.477
σ46.815
min308.824
max439.750
op=pointedIndexFromKvs
rows=400000
mean308.493
σ0.001
min308.493
max308.497
mean559.000
σ0.000
min559.000
max559.000
mean707.497
σ73.967
min585.615
max803.277

Marine Hull: transactPolicy

Factorallocated MiBpeak allocated MiBtime
datapoints=1
iterations=20
mean1024.565
σ0.759
min1024.094
max1027.704
mean1058.600
σ312.372
min591.000
max1521.000
mean1.394
σ0.126
min1.321
max1.875

Parser: Comma Sep

Factorallocated MiBpeak allocated MiBtime (ms)
name=ambiguous_item.art
mean0.913
σ0.020
min0.903
max0.949
mean402.000
σ0.000
min402.000
max402.000
mean0.402
σ0.502
min0.144
max1.297
name=error_case.art
mean2.340
σ0.012
min2.334
max2.362
mean402.000
σ0.000
min402.000
max402.000
mean0.477
σ0.322
min0.321
max1.053
name=heavy_item.art
mean1.523
σ0.002
min1.521
max1.525
mean402.000
σ0.000
min402.000
max402.000
mean0.222
σ0.023
min0.206
max0.261
name=nested_use.art
mean2.358
σ0.002
min2.357
max2.361
mean402.000
σ0.000
min402.000
max402.000
mean0.341
σ0.015
min0.329
max0.366

Parser: Real World

Factorallocated MiBpeak allocated MiBtime (sec)
name=aon_gpf25_7k_loc.art
mean964.971
σ0.011
min964.965
max964.989
mean431.000
σ0.000
min431.000
max431.000
mean0.522
σ0.055
min0.455
max0.596
name=cdr_enhanced_4k_loc.art
mean885.898
σ0.002
min885.897
max885.901
mean431.000
σ0.000
min431.000
max431.000
mean0.434
σ0.058
min0.379
max0.529

Parser: Record Parsing

Factorallocated MiBpeak allocated MiBtime (ms)
name=record_render_large_success.art
mean7.710
σ0.002
min7.709
max7.713
mean431.000
σ0.000
min431.000
max431.000
mean2.680
σ0.098
min2.450
max2.960
name=record_render_large_syntax_err.art
mean7.658
σ0.002
min7.657
max7.661
mean431.000
σ0.000
min431.000
max431.000
mean2.021
σ0.212
min1.823
max2.737
name=record_render_success.art
mean2.290
σ0.002
min2.289
max2.293
mean431.000
σ0.000
min431.000
max431.000
mean0.304
σ0.008
min0.288
max0.342
name=record_render_syntax_err.art
mean2.165
σ0.002
min2.164
max2.168
mean431.000
σ0.000
min431.000
max431.000
mean0.301
σ0.050
min0.284
max0.786

Revision Creation

Factorallocated MiBpeak allocated MiBtime_s
number of threads=8
revision count=1000
mean11.710
σ11.675
min0.574
max144.180
mean458.695
σ20.985
min408.000
max482.000
mean0.027
σ0.029
min0.001
max0.349

SoV import

Factorallocated MiBpeak allocated MiBtime_s
iters=10
rows=1000
mean298.644
σ0.994
min298.284
max301.473
mean443.100
σ18.888
min415.000
max473.000
mean0.597
σ0.023
min0.555
max0.629

Timed compile per phase

Factorallocated MiBpeak allocated MiBtime (ms)
phase=buildDeclTree
mean173.738
σ0.000
min173.738
max173.738
mean838.000
σ0.000
min838.000
max838.000
mean242.760
σ15.013
min213.009
max255.835
phase=macro expansion
mean6.130
σ0.000
min6.130
max6.130
mean838.000
σ0.000
min838.000
max838.000
mean9.231
σ0.708
min7.484
max9.556
phase=parser
mean1042.431
σ0.000
min1042.431
max1042.432
mean838.000
σ0.000
min838.000
max838.000
mean574.010
σ55.905
min436.003
max600.717
phase=processProdDef
mean2243.978
σ0.000
min2243.978
max2243.978
mean838.000
σ0.000
min838.000
max838.000
mean2521.824
σ379.932
min2120.559
max3040.047
phase=renaming
mean21.675
σ0.000
min21.675
max21.675
mean838.000
σ0.000
min838.000
max838.000
mean38.649
σ4.856
min26.658
max40.946
phase=type checker
mean989.752
σ0.066
min989.654
max989.841
mean838.000
σ0.000
min838.000
max838.000
mean663.789
σ12.167
min634.309
max670.654

Workflow: transactPolicy

Factorallocated MiBpeak allocated MiBtime
iters=5
new-facts=1
prior-facts=1
mean293.820
σ0.037
min293.767
max293.857
mean444.800
σ1.095
min444.000
max446.000
mean0.389
σ0.001
min0.387
max0.391
iters=5
new-facts=1
prior-facts=6402
mean1320.287
σ0.140
min1320.168
max1320.520
mean1092.000
σ169.205
min892.000
max1323.000
mean1.959
σ0.141
min1.844
max2.201
iters=5
new-facts=6402
prior-facts=1
mean1559.308
σ2.951
min1557.739
max1564.572
mean636.600
σ92.878
min496.000
max740.000
mean2.380
σ0.255
min2.101
max2.635
iters=5
new-facts=6402
prior-facts=6402
mean1882.340
σ0.049
min1882.278
max1882.410
mean1732.000
σ177.076
min1474.000
max1891.000
mean2.985
σ0.121
min2.888
max3.192

newProductH/cdr_auton/broker

Factortime_s
iterations=5
mean1.816
σ0.039
min1.778
max1.862

policy addition benchmark

Factorallocated MiBdb queriespeak allocated MiBtime
policies=2
mean419.944
σ518.105
min160.887
max1197.102
mean101.750
σ7.500
min98.000
max113.000
mean444.000
σ0.000
min444.000
max444.000
mean0.528
σ0.525
min0.259
max1.316
policies=20
mean1609.183
σ0.344
min1608.961
max1609.696
mean980.000
σ0.000
min980.000
max980.000
mean447.750
σ7.500
min444.000
max459.000
mean2.579
σ0.028
min2.550
max2.615
policies=200
mean16100.503
σ0.062
min16100.454
max16100.593
mean9800.000
σ0.000
min9800.000
max9800.000
mean498.500
σ5.972
min491.000
max505.000
mean25.996
σ0.048
min25.933
max26.051