iters=5 new-facts=1 prior-facts=1 | | mean | 278.695 | | σ | 0.013 | | min | 278.679 | | max | 278.711 |
| | mean | 2663.000 | | σ | 0.000 | | min | 2663.000 | | max | 2663.000 |
| | mean | 0.419 | | σ | 0.001 | | min | 0.418 | | max | 0.420 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.834 | | σ | 0.009 | | min | 2268.825 | | max | 2268.845 |
| | mean | 2663.000 | | σ | 0.000 | | min | 2663.000 | | max | 2663.000 |
| | mean | 3.582 | | σ | 0.173 | | min | 3.408 | | max | 3.816 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4956.057 | | σ | 0.815 | | min | 4955.630 | | max | 4957.511 |
| | mean | 2663.000 | | σ | 0.000 | | min | 2663.000 | | max | 2663.000 |
| | mean | 7.831 | | σ | 0.171 | | min | 7.663 | | max | 8.026 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5170.698 | | σ | 0.222 | | min | 5170.323 | | max | 5170.851 |
| | mean | 3421.800 | | σ | 458.214 | | min | 2826.000 | | max | 4064.000 |
| | mean | 9.303 | | σ | 0.359 | | min | 8.952 | | max | 9.684 |
|