589188c8f58ebc5078c9b88effdf03fdae41f710

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

Aggregation: measureAggregations

Factor

allocated MiB

peak allocated MiB

time_s

cache=n

dps=1

iters=10

policies=100

*mean*	53.915
σ	0.367
min	53.788
max	54.959

*mean*	417.000
σ	0.000
min	417.000
max	417.000

*mean*	0.137
σ	0.004
min	0.129
max	0.144

cache=y

dps=1

iters=10

policies=100

*mean*	43.141
σ	0.005
min	43.135
max	43.148

*mean*	417.000
σ	0.000
min	417.000
max	417.000

*mean*	0.118
σ	0.003
min	0.114
max	0.121

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	991.807
σ	1.271
min	991.254
max	997.163

*mean*	1070.950
σ	327.956
min	570.000
max	1645.000

*mean*	1.540
σ	0.093
min	1.455
max	1.783

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	285.410
σ	0.010
min	285.399
max	285.421

*mean*	1645.000
σ	0.000
min	1645.000
max	1645.000

*mean*	0.377
σ	0.002
min	0.374
max	0.380

iters=5

new-facts=1

prior-facts=6402

*mean*	1285.378
σ	0.131
min	1285.316
max	1285.612

*mean*	1645.000
σ	0.000
min	1645.000
max	1645.000

*mean*	1.986
σ	0.239
min	1.793
max	2.396

iters=5

new-facts=6402

prior-facts=1

*mean*	1807.763
σ	6.991
min	1804.341
max	1820.254

*mean*	1645.000
σ	0.000
min	1645.000
max	1645.000

*mean*	4.346
σ	0.283
min	3.951
max	4.595

iters=5

new-facts=6402

prior-facts=6402

*mean*	2070.199
σ	0.021
min	2070.183
max	2070.237

*mean*	1840.400
σ	184.543
min	1645.000
max	2096.000

*mean*	4.481
σ	0.147
min	4.279
max	4.694

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.177
σ	0.279
min	0.918
max	1.637

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	436.785
σ	572.363
min	150.597
max	1295.330

*mean*	90.250
σ	8.500
min	86.000
max	103.000

*mean*	1645.000
σ	0.000
min	1645.000
max	1645.000

*mean*	0.532
σ	0.562
min	0.248
max	1.375

policies=20

*mean*	1506.251
σ	0.235
min	1506.100
max	1506.602

*mean*	860.000
σ	0.000
min	860.000
max	860.000

*mean*	1645.000
σ	0.000
min	1645.000
max	1645.000

*mean*	2.518
σ	0.008
min	2.508
max	2.526

policies=200

*mean*	15070.370
σ	0.062
min	15070.296
max	15070.448

*mean*	8600.000
σ	0.000
min	8600.000
max	8600.000

*mean*	1645.000
σ	0.000
min	1645.000
max	1645.000

*mean*	25.508
σ	0.125
min	25.353
max	25.613