iters=5 new-facts=1 prior-facts=1 | | mean | 294.410 | | σ | 0.019 | | min | 294.386 | | max | 294.437 |
| | mean | 1650.000 | | σ | 0.000 | | min | 1650.000 | | max | 1650.000 |
| | mean | 0.389 | | σ | 0.009 | | min | 0.381 | | max | 0.403 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1316.722 | | σ | 0.064 | | min | 1316.612 | | max | 1316.777 |
| | mean | 1650.000 | | σ | 0.000 | | min | 1650.000 | | max | 1650.000 |
| | mean | 1.898 | | σ | 0.040 | | min | 1.854 | | max | 1.949 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1736.955 | | σ | 6.910 | | min | 1733.698 | | max | 1749.311 |
| | mean | 1650.000 | | σ | 0.000 | | min | 1650.000 | | max | 1650.000 |
| | mean | 3.052 | | σ | 0.398 | | min | 2.600 | | max | 3.588 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1999.636 | | σ | 0.025 | | min | 1999.602 | | max | 1999.660 |
| | mean | 1843.600 | | σ | 198.888 | | min | 1650.000 | | max | 2122.000 |
| | mean | 3.225 | | σ | 0.051 | | min | 3.167 | | max | 3.300 |
|