f41c31da0bc2b5ef6b0c05561659fb219c32a676

Home / Branches / sam/se-388-augmented-spec-simplify-objects / f41c31da0bc2b5ef6b0c05561659fb219c32a676

Aggregation: measureAggregations

Factor

allocated MiB

peak allocated MiB

time_s

cache=n

dps=1

iters=10

policies=100

*mean*	35.966
σ	0.102
min	35.922
max	36.255

*mean*	413.000
σ	0.000
min	413.000
max	413.000

*mean*	0.077
σ	0.004
min	0.074
max	0.084

cache=y

dps=1

iters=10

policies=100

*mean*	26.209
σ	0.005
min	26.202
max	26.215

*mean*	413.000
σ	0.000
min	413.000
max	413.000

*mean*	0.060
σ	0.004
min	0.056
max	0.069

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1756.315
σ	0.366
min	1755.741
max	1756.912

*mean*	1646.250
σ	634.080
min	609.000
max	2594.000

*mean*	2.432
σ	0.217
min	2.270
max	3.024

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	278.844
σ	0.008
min	278.830
max	278.849

*mean*	2594.000
σ	0.000
min	2594.000
max	2594.000

*mean*	0.413
σ	0.005
min	0.407
max	0.418

iters=5

new-facts=1

prior-facts=6402

*mean*	2268.904
σ	0.018
min	2268.874
max	2268.917

*mean*	2594.000
σ	0.000
min	2594.000
max	2594.000

*mean*	2.956
σ	0.178
min	2.835
max	3.270

iters=5

new-facts=6402

prior-facts=1

*mean*	4954.131
σ	0.964
min	4953.217
max	4955.765

*mean*	2594.000
σ	0.000
min	2594.000
max	2594.000

*mean*	8.048
σ	0.292
min	7.688
max	8.382

iters=5

new-facts=6402

prior-facts=6402

*mean*	5168.811
σ	0.085
min	5168.748
max	5168.909

*mean*	3367.400
σ	461.935
min	2764.000
max	3983.000

*mean*	9.361
σ	0.162
min	9.130
max	9.587

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.321
σ	0.449
min	0.944
max	1.839

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	460.356
σ	572.656
min	174.023
max	1319.340

*mean*	79.500
σ	7.000
min	76.000
max	90.000

*mean*	2594.000
σ	0.000
min	2594.000
max	2594.000

*mean*	0.539
σ	0.539
min	0.267
max	1.349

policies=20

*mean*	1740.501
σ	0.326
min	1740.301
max	1740.988

*mean*	760.000
σ	0.000
min	760.000
max	760.000

*mean*	2594.000
σ	0.000
min	2594.000
max	2594.000

*mean*	2.691
σ	0.011
min	2.677
max	2.701

policies=200

*mean*	17411.956
σ	0.512
min	17411.668
max	17412.722

*mean*	7600.000
σ	0.000
min	7600.000
max	7600.000

*mean*	2594.000
σ	0.000
min	2594.000
max	2594.000

*mean*	27.100
σ	0.070
min	27.031
max	27.195