iters=5 new-facts=1 prior-facts=1 | | mean | 285.536 | | σ | 0.039 | | min | 285.479 | | max | 285.575 |
| | mean | 1527.000 | | σ | 0.000 | | min | 1527.000 | | max | 1527.000 |
| | mean | 0.395 | | σ | 0.005 | | min | 0.387 | | max | 0.401 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.922 | | σ | 0.105 | | min | 1295.808 | | max | 1296.047 |
| | mean | 1527.000 | | σ | 0.000 | | min | 1527.000 | | max | 1527.000 |
| | mean | 1.910 | | σ | 0.082 | | min | 1.812 | | max | 2.005 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1540.039 | | σ | 6.868 | | min | 1536.702 | | max | 1552.321 |
| | mean | 1527.000 | | σ | 0.000 | | min | 1527.000 | | max | 1527.000 |
| | mean | 2.280 | | σ | 0.265 | | min | 2.001 | | max | 2.627 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.834 | | σ | 0.062 | | min | 1857.763 | | max | 1857.902 |
| | mean | 1737.800 | | σ | 173.461 | | min | 1527.000 | | max | 1910.000 |
| | mean | 3.014 | | σ | 0.188 | | min | 2.818 | | max | 3.231 |
|