3c172b029e6b8ddb34a90d88f7b1344eac2559f0

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

Aggregation: measureAggregations

Factor

allocated MiB

peak allocated MiB

time_s

cache=n

dps=1

iters=10

policies=100

*mean*	53.914
σ	0.368
min	53.785
max	54.961

*mean*	416.000
σ	0.000
min	416.000
max	416.000

*mean*	0.139
σ	0.005
min	0.132
max	0.146

cache=y

dps=1

iters=10

policies=100

*mean*	43.142
σ	0.005
min	43.135
max	43.150

*mean*	416.000
σ	0.000
min	416.000
max	416.000

*mean*	0.120
σ	0.003
min	0.118
max	0.125

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	991.809
σ	1.252
min	991.259
max	997.081

*mean*	1068.150
σ	322.897
min	569.000
max	1644.000

*mean*	1.549
σ	0.090
min	1.401
max	1.771

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	285.416
σ	0.012
min	285.396
max	285.429

*mean*	1644.000
σ	0.000
min	1644.000
max	1644.000

*mean*	0.383
σ	0.013
min	0.373
max	0.403

iters=5

new-facts=1

prior-facts=6402

*mean*	1285.368
σ	0.119
min	1285.306
max	1285.581

*mean*	1644.000
σ	0.000
min	1644.000
max	1644.000

*mean*	1.894
σ	0.134
min	1.811
max	2.125

iters=5

new-facts=6402

prior-facts=1

*mean*	1807.688
σ	6.984
min	1804.348
max	1820.168

*mean*	1644.000
σ	0.000
min	1644.000
max	1644.000

*mean*	4.124
σ	0.192
min	3.974
max	4.458

iters=5

new-facts=6402

prior-facts=6402

*mean*	2070.195
σ	0.008
min	2070.187
max	2070.208

*mean*	1876.800
σ	191.711
min	1644.000
max	2086.000

*mean*	4.504
σ	0.111
min	4.444
max	4.702

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.086
σ	0.138
min	0.905
max	1.231

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	436.790
σ	572.355
min	150.596
max	1295.322

*mean*	90.250
σ	8.500
min	86.000
max	103.000

*mean*	1644.000
σ	0.000
min	1644.000
max	1644.000

*mean*	0.521
σ	0.544
min	0.246
max	1.336

policies=20

*mean*	1506.258
σ	0.234
min	1506.108
max	1506.606

*mean*	860.000
σ	0.000
min	860.000
max	860.000

*mean*	1644.000
σ	0.000
min	1644.000
max	1644.000

*mean*	2.515
σ	0.020
min	2.490
max	2.537

policies=200

*mean*	15070.351
σ	0.097
min	15070.226
max	15070.431

*mean*	8600.000
σ	0.000
min	8600.000
max	8600.000

*mean*	1644.000
σ	0.000
min	1644.000
max	1644.000

*mean*	25.452
σ	0.076
min	25.367
max	25.537