iters=5 new-facts=1 prior-facts=1 | | mean | 278.828 | | σ | 0.004 | | min | 278.822 | | max | 278.833 |
| | mean | 2694.000 | | σ | 0.000 | | min | 2694.000 | | max | 2694.000 |
| | mean | 0.411 | | σ | 0.006 | | min | 0.407 | | max | 0.418 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.868 | | σ | 0.059 | | min | 2268.766 | | max | 2268.910 |
| | mean | 2694.000 | | σ | 0.000 | | min | 2694.000 | | max | 2694.000 |
| | mean | 3.067 | | σ | 0.171 | | min | 2.892 | | max | 3.310 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.186 | | σ | 1.039 | | min | 4953.258 | | max | 4955.958 |
| | mean | 2694.000 | | σ | 0.000 | | min | 2694.000 | | max | 2694.000 |
| | mean | 7.994 | | σ | 0.422 | | min | 7.645 | | max | 8.711 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.827 | | σ | 0.090 | | min | 5168.728 | | max | 5168.906 |
| | mean | 3436.800 | | σ | 473.191 | | min | 2885.000 | | max | 4123.000 |
| | mean | 9.369 | | σ | 0.355 | | min | 9.081 | | max | 9.844 |
|