3d1eb07846c9ff2d1993ead30e379c618aa81567

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

Aggregation: measureAggregations

Factorallocated MiBpeak allocated MiBtime_s
cache=n
dps=1
iters=10
policies=100
mean70.565
σ0.046
min70.540
max70.691
mean413.000
σ0.000
min413.000
max413.000
mean0.158
σ0.004
min0.151
max0.163
cache=y
dps=1
iters=10
policies=100
mean21.287
σ0.003
min21.281
max21.292
mean413.000
σ0.000
min413.000
max413.000
mean0.063
σ0.003
min0.060
max0.072

Marine Hull: transactPolicy

Factorallocated MiBpeak allocated MiBtime
datapoints=1
iterations=20
mean1753.374
σ0.360
min1752.801
max1753.956
mean1650.400
σ639.040
min627.000
max2845.000
mean2.773
σ0.210
min2.253
max2.982

Workflow: transactPolicy

Factorallocated MiBpeak allocated MiBtime
iters=5
new-facts=1
prior-facts=1
mean271.753
σ0.006
min271.748
max271.760
mean2845.000
σ0.000
min2845.000
max2845.000
mean0.384
σ0.008
min0.376
max0.396
iters=5
new-facts=1
prior-facts=6402
mean1932.183
σ0.017
min1932.163
max1932.208
mean2845.000
σ0.000
min2845.000
max2845.000
mean2.856
σ0.269
min2.472
max3.101
iters=5
new-facts=6402
prior-facts=1
mean4752.909
σ0.940
min4752.374
max4754.579
mean2845.000
σ0.000
min2845.000
max2845.000
mean8.601
σ0.542
min7.709
max9.113
iters=5
new-facts=6402
prior-facts=6402
mean4943.230
σ0.209
min4942.997
max4943.397
mean3021.000
σ239.465
min2845.000
max3399.000
mean8.484
σ0.071
min8.405
max8.566

newProductH/cdr_auton/broker

Factortime_s
iterations=5
mean1.025
σ0.139
min0.932
max1.251

policy addition benchmark

Factorallocated MiBdb queriespeak allocated MiBtime
policies=2
mean467.856
σ575.928
min179.890
max1331.749
mean86.250
σ8.500
min82.000
max99.000
mean2845.000
σ0.000
min2845.000
max2845.000
mean0.420
σ0.260
min0.277
max0.809
policies=20
mean1799.184
σ0.381
min1798.925
max1799.746
mean820.000
σ0.000
min820.000
max820.000
mean2845.000
σ0.000
min2845.000
max2845.000
mean2.902
σ0.006
min2.894
max2.908
policies=200
mean17998.544
σ0.449
min17998.244
max17999.211
mean8200.000
σ0.000
min8200.000
max8200.000
mean2845.000
σ0.000
min2845.000
max2845.000
mean28.676
σ0.441
min28.232
max29.188