iters=5 new-facts=1 prior-facts=1 | | mean | 277.721 | | σ | 0.010 | | min | 277.708 | | max | 277.732 |
| | mean | 2652.000 | | σ | 0.000 | | min | 2652.000 | | max | 2652.000 |
| | mean | 0.405 | | σ | 0.000 | | min | 0.405 | | max | 0.406 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2267.872 | | σ | 0.007 | | min | 2267.866 | | max | 2267.884 |
| | mean | 2652.000 | | σ | 0.000 | | min | 2652.000 | | max | 2652.000 |
| | mean | 3.162 | | σ | 0.210 | | min | 2.847 | | max | 3.389 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4955.008 | | σ | 0.841 | | min | 4954.543 | | max | 4956.509 |
| | mean | 2652.000 | | σ | 0.000 | | min | 2652.000 | | max | 2652.000 |
| | mean | 8.096 | | σ | 0.420 | | min | 7.656 | | max | 8.605 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5169.650 | | σ | 0.372 | | min | 5168.997 | | max | 5169.858 |
| | mean | 3376.200 | | σ | 518.408 | | min | 2911.000 | | max | 4118.000 |
| | mean | 9.374 | | σ | 0.197 | | min | 9.158 | | max | 9.630 |
|