iters=5 new-facts=1 prior-facts=1 | | mean | 300.701 | | σ | 0.024 | | min | 300.672 | | max | 300.732 |
| | mean | 1449.000 | | σ | 0.000 | | min | 1449.000 | | max | 1449.000 |
| | mean | 0.395 | | σ | 0.008 | | min | 0.389 | | max | 0.408 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1322.864 | | σ | 0.087 | | min | 1322.816 | | max | 1323.019 |
| | mean | 1449.000 | | σ | 0.000 | | min | 1449.000 | | max | 1449.000 |
| | mean | 1.941 | | σ | 0.123 | | min | 1.790 | | max | 2.100 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1561.310 | | σ | 6.870 | | min | 1558.026 | | max | 1573.594 |
| | mean | 1449.000 | | σ | 0.000 | | min | 1449.000 | | max | 1449.000 |
| | mean | 2.354 | | σ | 0.334 | | min | 2.069 | | max | 2.756 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1890.789 | | σ | 0.017 | | min | 1890.769 | | max | 1890.815 |
| | mean | 1721.600 | | σ | 234.740 | | min | 1449.000 | | max | 2030.000 |
| | mean | 2.945 | | σ | 0.110 | | min | 2.880 | | max | 3.142 |
|