iters=5 new-facts=1 prior-facts=1 | | mean | 285.718 | | σ | 0.012 | | min | 285.701 | | max | 285.730 |
| | mean | 1530.000 | | σ | 0.000 | | min | 1530.000 | | max | 1530.000 |
| | mean | 0.376 | | σ | 0.006 | | min | 0.373 | | max | 0.386 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.729 | | σ | 0.035 | | min | 1285.681 | | max | 1285.774 |
| | mean | 1530.000 | | σ | 0.000 | | min | 1530.000 | | max | 1530.000 |
| | mean | 1.838 | | σ | 0.024 | | min | 1.815 | | max | 1.864 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1696.100 | | σ | 6.834 | | min | 1692.940 | | max | 1708.322 |
| | mean | 1530.000 | | σ | 0.000 | | min | 1530.000 | | max | 1530.000 |
| | mean | 2.862 | | σ | 0.283 | | min | 2.518 | | max | 3.262 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1958.717 | | σ | 0.014 | | min | 1958.703 | | max | 1958.738 |
| | mean | 1855.200 | | σ | 248.440 | | min | 1559.000 | | max | 2167.000 |
| | mean | 3.232 | | σ | 0.094 | | min | 3.133 | | max | 3.376 |
|