iters=5 new-facts=1 prior-facts=1 | | mean | 282.195 | | σ | 0.013 | | min | 282.184 | | max | 282.212 |
| | mean | 2507.000 | | σ | 0.000 | | min | 2507.000 | | max | 2507.000 |
| | mean | 0.403 | | σ | 0.009 | | min | 0.396 | | max | 0.417 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.714 | | σ | 0.009 | | min | 2174.708 | | max | 2174.728 |
| | mean | 2507.000 | | σ | 0.000 | | min | 2507.000 | | max | 2507.000 |
| | mean | 2.936 | | σ | 0.095 | | min | 2.787 | | max | 3.019 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5054.444 | | σ | 1.055 | | min | 5053.678 | | max | 5056.302 |
| | mean | 2507.000 | | σ | 0.000 | | min | 2507.000 | | max | 2507.000 |
| | mean | 9.025 | | σ | 0.656 | | min | 8.069 | | max | 9.747 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5185.607 | | σ | 0.205 | | min | 5185.265 | | max | 5185.786 |
| | mean | 3228.600 | | σ | 384.561 | | min | 2711.000 | | max | 3736.000 |
| | mean | 9.956 | | σ | 0.369 | | min | 9.336 | | max | 10.299 |
|