iters=5 new-facts=1 prior-facts=1 | | mean | 285.249 | | σ | 0.034 | | min | 285.203 | | max | 285.286 |
| | mean | 1651.000 | | σ | 0.000 | | min | 1651.000 | | max | 1651.000 |
| | mean | 0.391 | | σ | 0.007 | | min | 0.384 | | max | 0.401 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.198 | | σ | 0.109 | | min | 1295.074 | | max | 1295.326 |
| | mean | 1651.000 | | σ | 0.000 | | min | 1651.000 | | max | 1651.000 |
| | mean | 1.900 | | σ | 0.090 | | min | 1.803 | | max | 2.022 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1538.081 | | σ | 4.036 | | min | 1536.028 | | max | 1545.290 |
| | mean | 1651.000 | | σ | 0.000 | | min | 1651.000 | | max | 1651.000 |
| | mean | 2.308 | | σ | 0.236 | | min | 2.038 | | max | 2.551 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.111 | | σ | 0.051 | | min | 1857.060 | | max | 1857.188 |
| | mean | 1783.000 | | σ | 130.037 | | min | 1651.000 | | max | 1914.000 |
| | mean | 3.082 | | σ | 0.397 | | min | 2.780 | | max | 3.767 |
|