iters=5 new-facts=1 prior-facts=1 | | mean | 272.019 | | σ | 0.006 | | min | 272.011 | | max | 272.025 |
| | mean | 2896.000 | | σ | 0.000 | | min | 2896.000 | | max | 2896.000 |
| | mean | 0.390 | | σ | 0.012 | | min | 0.378 | | max | 0.407 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.437 | | σ | 0.022 | | min | 1932.413 | | max | 1932.470 |
| | mean | 2896.000 | | σ | 0.000 | | min | 2896.000 | | max | 2896.000 |
| | mean | 2.929 | | σ | 0.277 | | min | 2.455 | | max | 3.175 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.212 | | σ | 0.876 | | min | 4752.695 | | max | 4754.770 |
| | mean | 2896.000 | | σ | 0.000 | | min | 2896.000 | | max | 2896.000 |
| | mean | 8.287 | | σ | 0.464 | | min | 7.736 | | max | 8.934 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.550 | | σ | 0.170 | | min | 4943.246 | | max | 4943.642 |
| | mean | 3063.800 | | σ | 234.536 | | min | 2896.000 | | max | 3432.000 |
| | mean | 8.437 | | σ | 0.082 | | min | 8.373 | | max | 8.576 |
|