iters=5 new-facts=1 prior-facts=1 | | mean | 399.323 | | σ | 0.075 | | min | 399.226 | | max | 399.379 |
| | mean | 1628.000 | | σ | 0.000 | | min | 1628.000 | | max | 1628.000 |
| | mean | 0.499 | | σ | 0.008 | | min | 0.493 | | max | 0.511 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1400.875 | | σ | 0.045 | | min | 1400.837 | | max | 1400.935 |
| | mean | 1628.000 | | σ | 0.000 | | min | 1628.000 | | max | 1628.000 |
| | mean | 2.192 | | σ | 0.271 | | min | 1.993 | | max | 2.574 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1923.080 | | σ | 7.088 | | min | 1919.820 | | max | 1935.756 |
| | mean | 1628.000 | | σ | 0.000 | | min | 1628.000 | | max | 1628.000 |
| | mean | 4.372 | | σ | 0.434 | | min | 4.003 | | max | 5.103 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2185.769 | | σ | 0.057 | | min | 2185.694 | | max | 2185.838 |
| | mean | 1796.400 | | σ | 170.594 | | min | 1628.000 | | max | 2041.000 |
| | mean | 4.728 | | σ | 0.268 | | min | 4.553 | | max | 5.203 |
|