8efb885e4a8d0bf522d0807df63d1bd86c172059

Home / Branches / sam/augmented-property / 8efb885e4a8d0bf522d0807df63d1bd86c172059

Aggregation: measureAggregations

Factor

allocated MiB

peak allocated MiB

time_s

cache=n

dps=1

iters=10

policies=100

*mean*	53.705
σ	0.366
min	53.572
max	54.745

*mean*	417.000
σ	0.000
min	417.000
max	417.000

*mean*	0.138
σ	0.003
min	0.135
max	0.143

cache=y

dps=1

iters=10

policies=100

*mean*	42.978
σ	0.005
min	42.967
max	42.986

*mean*	417.000
σ	0.000
min	417.000
max	417.000

*mean*	0.121
σ	0.004
min	0.117
max	0.128

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	994.899
σ	1.206
min	994.366
max	999.956

*mean*	1065.650
σ	321.783
min	570.000
max	1627.000

*mean*	1.464
σ	0.082
min	1.386
max	1.647

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	297.308
σ	0.014
min	297.291
max	297.328

*mean*	1627.000
σ	0.000
min	1627.000
max	1627.000

*mean*	0.394
σ	0.007
min	0.388
max	0.403

iters=5

new-facts=1

prior-facts=6402

*mean*	1298.695
σ	0.059
min	1298.598
max	1298.736

*mean*	1627.000
σ	0.000
min	1627.000
max	1627.000

*mean*	1.894
σ	0.070
min	1.829
max	1.988

iters=5

new-facts=6402

prior-facts=1

*mean*	1718.879
σ	6.897
min	1715.690
max	1731.213

*mean*	1627.000
σ	0.000
min	1627.000
max	1627.000

*mean*	2.940
σ	0.311
min	2.524
max	3.377

iters=5

new-facts=6402

prior-facts=6402

*mean*	1981.592
σ	0.036
min	1981.528
max	1981.612

*mean*	1819.800
σ	202.763
min	1627.000
max	2112.000

*mean*	3.297
σ	0.405
min	2.935
max	3.995

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.266
σ	0.436
min	0.902
max	2.016

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	440.377
σ	572.876
min	153.927
max	1299.692

*mean*	94.250
σ	8.500
min	90.000
max	107.000

*mean*	1627.000
σ	0.000
min	1627.000
max	1627.000

*mean*	0.561
σ	0.592
min	0.264
max	1.450

policies=20

*mean*	1539.543
σ	0.289
min	1539.353
max	1539.973

*mean*	900.000
σ	0.000
min	900.000
max	900.000

*mean*	1627.000
σ	0.000
min	1627.000
max	1627.000

*mean*	2.548
σ	0.016
min	2.527
max	2.563

policies=200

*mean*	15403.539
σ	0.052
min	15403.499
max	15403.615

*mean*	9000.000
σ	0.000
min	9000.000
max	9000.000

*mean*	1627.000
σ	0.000
min	1627.000
max	1627.000

*mean*	25.994
σ	0.168
min	25.852
max	26.219