iters=5 new-facts=1 prior-facts=1 | | mean | 399.354 | | σ | 0.089 | | min | 399.223 | | max | 399.418 |
| | mean | 1569.000 | | σ | 0.000 | | min | 1569.000 | | max | 1569.000 |
| | mean | 0.495 | | σ | 0.005 | | min | 0.492 | | max | 0.503 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1400.855 | | σ | 0.031 | | min | 1400.835 | | max | 1400.907 |
| | mean | 1569.000 | | σ | 0.000 | | min | 1569.000 | | max | 1569.000 |
| | mean | 2.178 | | σ | 0.235 | | min | 2.043 | | max | 2.595 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1923.095 | | σ | 7.043 | | min | 1919.813 | | max | 1935.687 |
| | mean | 1569.000 | | σ | 0.000 | | min | 1569.000 | | max | 1569.000 |
| | mean | 4.361 | | σ | 0.153 | | min | 4.165 | | max | 4.567 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2185.756 | | σ | 0.017 | | min | 2185.740 | | max | 2185.785 |
| | mean | 1841.200 | | σ | 232.977 | | min | 1569.000 | | max | 2131.000 |
| | mean | 4.707 | | σ | 0.060 | | min | 4.642 | | max | 4.774 |
|