ac6290dac48b10d1e2aaa8017eda9559e4969aa4

Home / Branches / sergeiwinitzki/nex-61-brossa-language-server-should-not-always-give-an-error-for / ac6290dac48b10d1e2aaa8017eda9559e4969aa4

Aggregation: measureAggregations

Factor

allocated MiB

peak allocated MiB

time_s

cache=n

dps=1

iters=10

policies=100

*mean*	70.563
σ	0.045
min	70.541
max	70.691

*mean*	413.800
σ	0.422
min	413.000
max	414.000

*mean*	0.159
σ	0.004
min	0.155
max	0.165

cache=y

dps=1

iters=10

policies=100

*mean*	21.287
σ	0.003
min	21.282
max	21.290

*mean*	414.000
σ	0.000
min	414.000
max	414.000

*mean*	0.062
σ	0.003
min	0.059
max	0.067

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1753.372
σ	0.362
min	1752.805
max	1753.973

*mean*	1660.250
σ	637.270
min	618.000
max	2811.000

*mean*	2.847
σ	0.171
min	2.617
max	3.376

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	271.755
σ	0.006
min	271.746
max	271.762

*mean*	2811.000
σ	0.000
min	2811.000
max	2811.000

*mean*	0.381
σ	0.005
min	0.376
max	0.388

iters=5

new-facts=1

prior-facts=6402

*mean*	1932.188
σ	0.011
min	1932.174
max	1932.203

*mean*	2811.000
σ	0.000
min	2811.000
max	2811.000

*mean*	2.982
σ	0.150
min	2.732
max	3.131

iters=5

new-facts=6402

prior-facts=1

*mean*	4752.830
σ	0.965
min	4752.214
max	4754.530

*mean*	2811.000
σ	0.000
min	2811.000
max	2811.000

*mean*	8.401
σ	0.771
min	7.743
max	9.397

iters=5

new-facts=6402

prior-facts=6402

*mean*	4943.311
σ	0.154
min	4943.038
max	4943.406

*mean*	3028.600
σ	285.246
min	2811.000
max	3462.000

*mean*	8.460
σ	0.138
min	8.362
max	8.702

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.079
σ	0.182
min	0.932
max	1.380

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	467.864
σ	575.931
min	179.890
max	1331.760

*mean*	86.250
σ	8.500
min	82.000
max	99.000

*mean*	2811.000
σ	0.000
min	2811.000
max	2811.000

*mean*	0.484
σ	0.398
min	0.284
max	1.081

policies=20

*mean*	1799.176
σ	0.367
min	1798.912
max	1799.720

*mean*	820.000
σ	0.000
min	820.000
max	820.000

*mean*	2811.000
σ	0.000
min	2811.000
max	2811.000

*mean*	2.823
σ	0.048
min	2.790
max	2.894

policies=200

*mean*	17998.393
σ	0.599
min	17997.993
max	17999.274

*mean*	8200.000
σ	0.000
min	8200.000
max	8200.000

*mean*	2811.000
σ	0.000
min	2811.000
max	2811.000

*mean*	28.177
σ	0.243
min	28.016
max	28.535