fd4f5c1f9668b25f29ced97531214c8a5d6c0c7b

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

Aggregation: measureAggregations

Factor

allocated MiB

peak allocated MiB

time_s

cache=n

dps=1

iters=10

policies=100

*mean*	53.913
σ	0.366
min	53.778
max	54.955

*mean*	415.000
σ	0.000
min	415.000
max	415.000

*mean*	0.135
σ	0.005
min	0.130
max	0.142

cache=y

dps=1

iters=10

policies=100

*mean*	43.140
σ	0.006
min	43.132
max	43.152

*mean*	415.000
σ	0.000
min	415.000
max	415.000

*mean*	0.121
σ	0.004
min	0.118
max	0.129

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	991.807
σ	1.259
min	991.237
max	997.107

*mean*	1067.700
σ	321.227
min	571.000
max	1634.000

*mean*	1.536
σ	0.080
min	1.456
max	1.760

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	285.413
σ	0.010
min	285.395
max	285.421

*mean*	1634.000
σ	0.000
min	1634.000
max	1634.000

*mean*	0.377
σ	0.006
min	0.374
max	0.388

iters=5

new-facts=1

prior-facts=6402

*mean*	1285.356
σ	0.096
min	1285.307
max	1285.528

*mean*	1634.000
σ	0.000
min	1634.000
max	1634.000

*mean*	1.884
σ	0.088
min	1.821
max	2.039

iters=5

new-facts=6402

prior-facts=1

*mean*	1807.723
σ	6.999
min	1804.327
max	1820.228

*mean*	1634.000
σ	0.000
min	1634.000
max	1634.000

*mean*	4.266
σ	0.313
min	3.796
max	4.626

iters=5

new-facts=6402

prior-facts=6402

*mean*	2070.195
σ	0.007
min	2070.189
max	2070.208

*mean*	1857.400
σ	209.782
min	1634.000
max	2094.000

*mean*	4.623
σ	0.206
min	4.421
max	4.906

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.175
σ	0.242
min	0.915
max	1.549

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	436.787
σ	572.364
min	150.600
max	1295.333

*mean*	90.250
σ	8.500
min	86.000
max	103.000

*mean*	1634.000
σ	0.000
min	1634.000
max	1634.000

*mean*	0.528
σ	0.559
min	0.247
max	1.366

policies=20

*mean*	1506.265
σ	0.231
min	1506.113
max	1506.609

*mean*	860.000
σ	0.000
min	860.000
max	860.000

*mean*	1634.000
σ	0.000
min	1634.000
max	1634.000

*mean*	2.508
σ	0.014
min	2.491
max	2.526

policies=200

*mean*	15070.330
σ	0.039
min	15070.274
max	15070.363

*mean*	8600.000
σ	0.000
min	8600.000
max	8600.000

*mean*	1634.000
σ	0.000
min	1634.000
max	1634.000

*mean*	25.476
σ	0.035
min	25.428
max	25.513