cae93c8a236952f7b98bc5b8d1669fa6bbb8a38c

Home / Branches / alexjeffery/lan-4-support-unit-type-holes-in-brossa-literals / cae93c8a236952f7b98bc5b8d1669fa6bbb8a38c

Aggregation: measureAggregations

Factor

allocated MiB

peak allocated MiB

time_s

cache=n

dps=1

iters=10

policies=100

*mean*	54.047
σ	0.370
min	53.903
max	55.100

*mean*	416.000
σ	0.000
min	416.000
max	416.000

*mean*	0.135
σ	0.006
min	0.130
max	0.146

cache=y

dps=1

iters=10

policies=100

*mean*	43.341
σ	0.005
min	43.334
max	43.353

*mean*	416.000
σ	0.000
min	416.000
max	416.000

*mean*	0.119
σ	0.005
min	0.113
max	0.126

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1017.199
σ	1.158
min	1016.625
max	1022.038

*mean*	1053.750
σ	310.501
min	562.000
max	1511.000

*mean*	1.530
σ	0.060
min	1.381
max	1.628

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	302.096
σ	0.201
min	301.893
max	302.626

*mean*	1950.000
σ	0.000
min	1950.000
max	1950.000

*mean*	0.575
σ	0.027
min	0.536
max	0.607

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	303.798
σ	0.037
min	303.752
max	303.845

*mean*	1511.000
σ	0.000
min	1511.000
max	1511.000

*mean*	0.391
σ	0.001
min	0.389
max	0.392

iters=5

new-facts=1

prior-facts=6402

*mean*	1326.331
σ	0.116
min	1326.196
max	1326.472

*mean*	1511.000
σ	0.000
min	1511.000
max	1511.000

*mean*	2.003
σ	0.124
min	1.823
max	2.151

iters=5

new-facts=6402

prior-facts=1

*mean*	1564.401
σ	6.929
min	1561.033
max	1576.788

*mean*	1511.000
σ	0.000
min	1511.000
max	1511.000

*mean*	2.382
σ	0.334
min	2.109
max	2.867

iters=5

new-facts=6402

prior-facts=6402

*mean*	1894.281
σ	0.070
min	1894.160
max	1894.332

*mean*	1739.200
σ	163.636
min	1517.000
max	1950.000

*mean*	2.945
σ	0.075
min	2.864
max	3.049

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.620
σ	0.269
min	1.278
max	1.891

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	448.165
σ	581.460
min	157.433
max	1320.355

*mean*	96.250
σ	8.500
min	92.000
max	109.000

*mean*	1511.000
σ	0.000
min	1511.000
max	1511.000

*mean*	0.545
σ	0.560
min	0.261
max	1.385

policies=20

*mean*	1574.607
σ	0.343
min	1574.390
max	1575.119

*mean*	920.000
σ	0.000
min	920.000
max	920.000

*mean*	1511.000
σ	0.000
min	1511.000
max	1511.000

*mean*	2.622
σ	0.009
min	2.614
max	2.635

policies=200

*mean*	15754.240
σ	0.060
min	15754.177
max	15754.322

*mean*	9200.000
σ	0.000
min	9200.000
max	9200.000

*mean*	1511.000
σ	0.000
min	1511.000
max	1511.000

*mean*	26.587
σ	0.173
min	26.440
max	26.780