d12e421f4925db1fbe6b3cbb581f8fff5a0b3793

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

Aggregation: measureAggregations

Factor

allocated MiB

peak allocated MiB

time_s

cache=n

dps=1

iters=10

policies=100

*mean*	70.566
σ	0.045
min	70.540
max	70.689

*mean*	414.000
σ	0.000
min	414.000
max	414.000

*mean*	0.161
σ	0.004
min	0.157
max	0.167

cache=y

dps=1

iters=10

policies=100

*mean*	21.288
σ	0.003
min	21.283
max	21.291

*mean*	414.000
σ	0.000
min	414.000
max	414.000

*mean*	0.065
σ	0.003
min	0.063
max	0.073

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1753.567
σ	0.360
min	1752.991
max	1754.150

*mean*	1646.900
σ	639.231
min	628.000
max	2876.000

*mean*	2.810
σ	0.156
min	2.418
max	3.030

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	272.017
σ	0.008
min	272.009
max	272.030

*mean*	2876.000
σ	0.000
min	2876.000
max	2876.000

*mean*	0.391
σ	0.009
min	0.379
max	0.402

iters=5

new-facts=1

prior-facts=6402

*mean*	1932.439
σ	0.011
min	1932.421
max	1932.450

*mean*	2876.000
σ	0.000
min	2876.000
max	2876.000

*mean*	2.944
σ	0.140
min	2.796
max	3.121

iters=5

new-facts=6402

prior-facts=1

*mean*	4753.192
σ	0.804
min	4752.749
max	4754.626

*mean*	2876.000
σ	0.000
min	2876.000
max	2876.000

*mean*	8.375
σ	0.412
min	7.716
max	8.728

iters=5

new-facts=6402

prior-facts=6402

*mean*	4943.565
σ	0.167
min	4943.267
max	4943.659

*mean*	3055.000
σ	188.258
min	2876.000
max	3327.000

*mean*	8.791
σ	0.382
min	8.452
max	9.367

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.032
σ	0.140
min	0.940
max	1.260

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	473.076
σ	575.916
min	185.109
max	1336.950

*mean*	88.250
σ	8.500
min	84.000
max	101.000

*mean*	2876.000
σ	0.000
min	2876.000
max	2876.000

*mean*	0.487
σ	0.381
min	0.277
max	1.058

policies=20

*mean*	1851.428
σ	0.374
min	1851.141
max	1851.970

*mean*	840.000
σ	0.000
min	840.000
max	840.000

*mean*	2876.000
σ	0.000
min	2876.000
max	2876.000

*mean*	2.972
σ	0.021
min	2.948
max	2.994

policies=200

*mean*	18520.893
σ	0.465
min	18520.631
max	18521.587

*mean*	8400.000
σ	0.000
min	8400.000
max	8400.000

*mean*	2876.000
σ	0.000
min	2876.000
max	2876.000

*mean*	29.236
σ	0.397
min	28.777
max	29.745