2e584c96a5dc346e5d5f8b6cd71a281508d78c82

Home / Branches / sam/se-388-augmented-spec-simplify-objects / 2e584c96a5dc346e5d5f8b6cd71a281508d78c82

Aggregation: measureAggregations

Factor

allocated MiB

peak allocated MiB

time_s

cache=n

dps=1

iters=10

policies=100

*mean*	70.684
σ	0.044
min	70.658
max	70.808

*mean*	410.000
σ	0.000
min	410.000
max	410.000

*mean*	0.160
σ	0.003
min	0.157
max	0.165

cache=y

dps=1

iters=10

policies=100

*mean*	21.420
σ	0.003
min	21.416
max	21.424

*mean*	410.000
σ	0.000
min	410.000
max	410.000

*mean*	0.063
σ	0.003
min	0.059
max	0.069

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1754.458
σ	0.359
min	1753.889
max	1755.033

*mean*	1648.200
σ	640.716
min	648.000
max	2871.000

*mean*	2.825
σ	0.131
min	2.556
max	3.053

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	273.505
σ	0.008
min	273.497
max	273.519

*mean*	2871.000
σ	0.000
min	2871.000
max	2871.000

*mean*	0.387
σ	0.003
min	0.385
max	0.392

iters=5

new-facts=1

prior-facts=6402

*mean*	1933.897
σ	0.009
min	1933.886
max	1933.906

*mean*	2871.000
σ	0.000
min	2871.000
max	2871.000

*mean*	3.002
σ	0.147
min	2.787
max	3.188

iters=5

new-facts=6402

prior-facts=1

*mean*	4754.739
σ	0.792
min	4754.335
max	4756.154

*mean*	2871.000
σ	0.000
min	2871.000
max	2871.000

*mean*	7.980
σ	0.256
min	7.839
max	8.435

iters=5

new-facts=6402

prior-facts=6402

*mean*	4945.112
σ	0.014
min	4945.090
max	4945.124

*mean*	3041.600
σ	253.416
min	2871.000
max	3449.000

*mean*	8.432
σ	0.069
min	8.327
max	8.498

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.077
σ	0.238
min	0.936
max	1.488

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	472.574
σ	574.939
min	185.093
max	1334.983

*mean*	88.250
σ	8.500
min	84.000
max	101.000

*mean*	2871.000
σ	0.000
min	2871.000
max	2871.000

*mean*	0.450
σ	0.312
min	0.280
max	0.918

policies=20

*mean*	1851.271
σ	0.378
min	1850.988
max	1851.822

*mean*	840.000
σ	0.000
min	840.000
max	840.000

*mean*	2871.000
σ	0.000
min	2871.000
max	2871.000

*mean*	2.954
σ	0.011
min	2.940
max	2.966

policies=200

*mean*	18519.474
σ	0.489
min	18519.183
max	18520.207

*mean*	8400.000
σ	0.000
min	8400.000
max	8400.000

*mean*	2871.000
σ	0.000
min	2871.000
max	2871.000

*mean*	29.253
σ	0.405
min	28.954
max	29.820