edb2c01ff751ecb0b89f79c335349760d60d0b91

Home / Branches / sam/augmented-property / edb2c01ff751ecb0b89f79c335349760d60d0b91

Aggregation: measureAggregations

Factor

allocated MiB

peak allocated MiB

time_s

cache=n

dps=1

iters=10

policies=100

*mean*	35.617
σ	0.053
min	35.595
max	35.768

*mean*	417.300
σ	0.483
min	417.000
max	418.000

*mean*	0.084
σ	0.005
min	0.077
max	0.091

cache=y

dps=1

iters=10

policies=100

*mean*	24.048
σ	0.003
min	24.045
max	24.054

*mean*	418.000
σ	0.000
min	418.000
max	418.000

*mean*	0.069
σ	0.003
min	0.066
max	0.076

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1756.490
σ	0.366
min	1755.916
max	1757.080

*mean*	1656.900
σ	614.091
min	633.000
max	2482.000

*mean*	2.334
σ	0.072
min	2.243
max	2.482

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	324.762
σ	0.060
min	324.656
max	324.797

*mean*	2482.000
σ	0.000
min	2482.000
max	2482.000

*mean*	0.435
σ	0.014
min	0.423
max	0.450

iters=5

new-facts=1

prior-facts=6402

*mean*	1844.998
σ	313.776
min	1283.698
max	1985.327

*mean*	2482.000
σ	0.000
min	2482.000
max	2482.000

*mean*	2.423
σ	0.426
min	1.680
max	2.762

iters=5

new-facts=6402

prior-facts=1

*mean*	4808.949
σ	7.672
min	4805.420
max	4822.673

*mean*	2482.000
σ	0.000
min	2482.000
max	2482.000

*mean*	8.915
σ	0.408
min	8.357
max	9.469

iters=5

new-facts=6402

prior-facts=6402

*mean*	4996.534
σ	0.018
min	4996.513
max	4996.554

*mean*	2941.800
σ	325.585
min	2517.000
max	3245.000

*mean*	8.673
σ	0.135
min	8.474
max	8.842

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.571
σ	0.236
min	1.184
max	1.789

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	462.943
σ	574.252
min	175.812
max	1324.321

*mean*	86.250
σ	8.500
min	82.000
max	99.000

*mean*	2482.000
σ	0.000
min	2482.000
max	2482.000

*mean*	0.537
σ	0.526
min	0.271
max	1.326

policies=20

*mean*	1758.471
σ	0.345
min	1758.237
max	1758.981

*mean*	820.000
σ	0.000
min	820.000
max	820.000

*mean*	2482.000
σ	0.000
min	2482.000
max	2482.000

*mean*	2.718
σ	0.008
min	2.710
max	2.726

policies=200

*mean*	17592.044
σ	0.488
min	17591.755
max	17592.774

*mean*	8200.000
σ	0.000
min	8200.000
max	8200.000

*mean*	2482.000
σ	0.000
min	2482.000
max	2482.000

*mean*	27.481
σ	0.111
min	27.370
max	27.618