iters=5 new-facts=1 prior-facts=1 | | mean | 285.250 | | σ | 0.040 | | min | 285.199 | | max | 285.292 |
| | mean | 1643.000 | | σ | 0.000 | | min | 1643.000 | | max | 1643.000 |
| | mean | 0.390 | | σ | 0.011 | | min | 0.381 | | max | 0.404 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.193 | | σ | 0.114 | | min | 1295.064 | | max | 1295.326 |
| | mean | 1643.000 | | σ | 0.000 | | min | 1643.000 | | max | 1643.000 |
| | mean | 2.005 | | σ | 0.257 | | min | 1.826 | | max | 2.450 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1538.070 | | σ | 4.029 | | min | 1536.069 | | max | 1545.268 |
| | mean | 1643.000 | | σ | 0.000 | | min | 1643.000 | | max | 1643.000 |
| | mean | 2.247 | | σ | 0.171 | | min | 2.033 | | max | 2.457 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.108 | | σ | 0.052 | | min | 1857.055 | | max | 1857.180 |
| | mean | 1776.600 | | σ | 134.975 | | min | 1643.000 | | max | 1916.000 |
| | mean | 3.108 | | σ | 0.247 | | min | 2.885 | | max | 3.530 |
|