c99a2396d59e8539aa72d495a74af601462d277a

Home / Branches / jaak/bro-1994-type-checking-of-migration-scripts / c99a2396d59e8539aa72d495a74af601462d277a

Aggregation: measureAggregations

Factor

allocated MiB

peak allocated MiB

time_s

cache=n

dps=1

iters=10

policies=100

*mean*	53.915
σ	0.368
min	53.788
max	54.961

*mean*	413.800
σ	0.422
min	413.000
max	414.000

*mean*	0.139
σ	0.004
min	0.135
max	0.145

cache=y

dps=1

iters=10

policies=100

*mean*	43.139
σ	0.005
min	43.131
max	43.147

*mean*	414.000
σ	0.000
min	414.000
max	414.000

*mean*	0.119
σ	0.003
min	0.115
max	0.124

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	991.814
σ	1.265
min	991.229
max	997.139

*mean*	1064.700
σ	321.838
min	568.000
max	1637.000

*mean*	1.567
σ	0.134
min	1.431
max	2.005

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	285.411
σ	0.011
min	285.393
max	285.421

*mean*	1637.000
σ	0.000
min	1637.000
max	1637.000

*mean*	0.376
σ	0.008
min	0.369
max	0.384

iters=5

new-facts=1

prior-facts=6402

*mean*	1285.367
σ	0.120
min	1285.308
max	1285.582

*mean*	1637.000
σ	0.000
min	1637.000
max	1637.000

*mean*	1.842
σ	0.028
min	1.807
max	1.868

iters=5

new-facts=6402

prior-facts=1

*mean*	1807.731
σ	6.985
min	1804.349
max	1820.208

*mean*	1637.000
σ	0.000
min	1637.000
max	1637.000

*mean*	4.259
σ	0.273
min	3.803
max	4.529

iters=5

new-facts=6402

prior-facts=6402

*mean*	2070.196
σ	0.010
min	2070.184
max	2070.208

*mean*	1847.800
σ	175.952
min	1637.000
max	2093.000

*mean*	4.515
σ	0.119
min	4.425
max	4.649

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.281
σ	0.336
min	0.908
max	1.716

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	436.789
σ	572.361
min	150.600
max	1295.330

*mean*	90.250
σ	8.500
min	86.000
max	103.000

*mean*	1637.000
σ	0.000
min	1637.000
max	1637.000

*mean*	0.515
σ	0.530
min	0.249
max	1.310

policies=20

*mean*	1506.258
σ	0.222
min	1506.112
max	1506.589

*mean*	860.000
σ	0.000
min	860.000
max	860.000

*mean*	1637.000
σ	0.000
min	1637.000
max	1637.000

*mean*	2.500
σ	0.009
min	2.489
max	2.510

policies=200

*mean*	15070.386
σ	0.041
min	15070.354
max	15070.442

*mean*	8600.000
σ	0.000
min	8600.000
max	8600.000

*mean*	1637.000
σ	0.000
min	1637.000
max	1637.000

*mean*	25.466
σ	0.083
min	25.382
max	25.562