iters=5 new-facts=1 prior-facts=1 | | mean | 285.025 | | σ | 0.042 | | min | 284.984 | | max | 285.070 |
| | mean | 1634.000 | | σ | 0.000 | | min | 1634.000 | | max | 1634.000 |
| | mean | 0.406 | | σ | 0.016 | | min | 0.386 | | max | 0.424 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.418 | | σ | 0.111 | | min | 1295.300 | | max | 1295.555 |
| | mean | 1634.000 | | σ | 0.000 | | min | 1634.000 | | max | 1634.000 |
| | mean | 1.916 | | σ | 0.104 | | min | 1.795 | | max | 2.009 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1538.335 | | σ | 4.008 | | min | 1536.376 | | max | 1545.498 |
| | mean | 1634.000 | | σ | 0.000 | | min | 1634.000 | | max | 1634.000 |
| | mean | 2.396 | | σ | 0.285 | | min | 2.132 | | max | 2.815 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.329 | | σ | 0.064 | | min | 1857.264 | | max | 1857.416 |
| | mean | 1773.800 | | σ | 122.019 | | min | 1634.000 | | max | 1891.000 |
| | mean | 2.902 | | σ | 0.099 | | min | 2.775 | | max | 3.040 |
|