iters=5 new-facts=1 prior-facts=1 | | mean | 300.719 | | σ | 0.030 | | min | 300.675 | | max | 300.750 |
| | mean | 1629.000 | | σ | 0.000 | | min | 1629.000 | | max | 1629.000 |
| | mean | 0.398 | | σ | 0.008 | | min | 0.389 | | max | 0.405 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1322.892 | | σ | 0.097 | | min | 1322.838 | | max | 1323.064 |
| | mean | 1629.000 | | σ | 0.000 | | min | 1629.000 | | max | 1629.000 |
| | mean | 1.899 | | σ | 0.089 | | min | 1.828 | | max | 2.037 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1561.343 | | σ | 6.894 | | min | 1557.966 | | max | 1573.669 |
| | mean | 1629.000 | | σ | 0.000 | | min | 1629.000 | | max | 1629.000 |
| | mean | 2.357 | | σ | 0.316 | | min | 2.115 | | max | 2.731 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1890.809 | | σ | 0.015 | | min | 1890.791 | | max | 1890.834 |
| | mean | 1767.600 | | σ | 169.212 | | min | 1629.000 | | max | 2025.000 |
| | mean | 2.934 | | σ | 0.105 | | min | 2.868 | | max | 3.122 |
|