iters=5 new-facts=1 prior-facts=1 | | mean | 271.754 | | σ | 0.004 | | min | 271.750 | | max | 271.760 |
| | mean | 2764.000 | | σ | 0.000 | | min | 2764.000 | | max | 2764.000 |
| | mean | 0.379 | | σ | 0.006 | | min | 0.372 | | max | 0.385 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.174 | | σ | 0.021 | | min | 1932.144 | | max | 1932.192 |
| | mean | 2764.000 | | σ | 0.000 | | min | 2764.000 | | max | 2764.000 |
| | mean | 2.902 | | σ | 0.264 | | min | 2.476 | | max | 3.117 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.896 | | σ | 0.930 | | min | 4752.414 | | max | 4754.548 |
| | mean | 2764.000 | | σ | 0.000 | | min | 2764.000 | | max | 2764.000 |
| | mean | 8.568 | | σ | 0.602 | | min | 7.626 | | max | 9.004 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.302 | | σ | 0.159 | | min | 4943.019 | | max | 4943.393 |
| | mean | 2984.600 | | σ | 217.604 | | min | 2764.000 | | max | 3314.000 |
| | mean | 8.553 | | σ | 0.105 | | min | 8.423 | | max | 8.667 |
|