dc400bc945ba58aa933367e4d7e6379b06e96b43

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

Aggregation: measureAggregations

Factor

allocated MiB

peak allocated MiB

time_s

cache=n

dps=1

iters=10

policies=100

*mean*	70.781
σ	0.046
min	70.751
max	70.909

*mean*	412.000
σ	0.000
min	412.000
max	412.000

*mean*	0.158
σ	0.003
min	0.152
max	0.162

cache=y

dps=1

iters=10

policies=100

*mean*	21.493
σ	0.002
min	21.490
max	21.496

*mean*	413.000
σ	0.000
min	413.000
max	413.000

*mean*	0.063
σ	0.004
min	0.059
max	0.068

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1754.092
σ	0.361
min	1753.524
max	1754.676

*mean*	1669.050
σ	645.386
min	665.000
max	2655.000

*mean*	2.845
σ	0.131
min	2.528
max	3.135

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	271.955
σ	0.009
min	271.942
max	271.964

*mean*	2655.000
σ	0.000
min	2655.000
max	2655.000

*mean*	0.383
σ	0.007
min	0.379
max	0.396

iters=5

new-facts=1

prior-facts=6402

*mean*	1932.322
σ	0.006
min	1932.313
max	1932.328

*mean*	2655.000
σ	0.000
min	2655.000
max	2655.000

*mean*	2.933
σ	0.309
min	2.391
max	3.145

iters=5

new-facts=6402

prior-facts=1

*mean*	4753.127
σ	0.839
min	4752.588
max	4754.613

*mean*	2655.000
σ	0.000
min	2655.000
max	2655.000

*mean*	8.287
σ	0.526
min	7.581
max	8.971

iters=5

new-facts=6402

prior-facts=6402

*mean*	4943.488
σ	0.146
min	4943.228
max	4943.574

*mean*	3019.200
σ	273.507
min	2655.000
max	3339.000

*mean*	8.556
σ	0.146
min	8.391
max	8.713

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.222
σ	0.271
min	0.924
max	1.646

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	468.657
σ	574.936
min	181.187
max	1331.061

*mean*	88.250
σ	8.500
min	84.000
max	101.000

*mean*	2655.000
σ	0.000
min	2655.000
max	2655.000

*mean*	0.560
σ	0.556
min	0.275
max	1.394

policies=20

*mean*	1812.203
σ	0.375
min	1811.953
max	1812.757

*mean*	840.000
σ	0.000
min	840.000
max	840.000

*mean*	2655.000
σ	0.000
min	2655.000
max	2655.000

*mean*	2.848
σ	0.029
min	2.818
max	2.884

policies=200

*mean*	18129.230
σ	0.433
min	18128.917
max	18129.868

*mean*	8400.000
σ	0.000
min	8400.000
max	8400.000

*mean*	2655.000
σ	0.000
min	2655.000
max	2655.000

*mean*	28.631
σ	0.109
min	28.496
max	28.740