iters=5 new-facts=1 prior-facts=1 | | mean | 399.365 | | σ | 0.081 | | min | 399.227 | | max | 399.418 |
| | mean | 1623.000 | | σ | 0.000 | | min | 1623.000 | | max | 1623.000 |
| | mean | 0.502 | | σ | 0.012 | | min | 0.489 | | max | 0.516 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1400.832 | | σ | 0.008 | | min | 1400.822 | | max | 1400.840 |
| | mean | 1623.000 | | σ | 0.000 | | min | 1623.000 | | max | 1623.000 |
| | mean | 1.985 | | σ | 0.057 | | min | 1.917 | | max | 2.039 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1923.099 | | σ | 7.048 | | min | 1919.827 | | max | 1935.703 |
| | mean | 1623.000 | | σ | 0.000 | | min | 1623.000 | | max | 1623.000 |
| | mean | 4.355 | | σ | 0.109 | | min | 4.209 | | max | 4.473 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2185.756 | | σ | 0.015 | | min | 2185.743 | | max | 2185.782 |
| | mean | 1827.600 | | σ | 170.923 | | min | 1623.000 | | max | 2064.000 |
| | mean | 4.692 | | σ | 0.060 | | min | 4.612 | | max | 4.761 |
|