iters=5 new-facts=1 prior-facts=1 | | mean | 278.844 | | σ | 0.008 | | min | 278.832 | | max | 278.853 |
| | mean | 2688.000 | | σ | 0.000 | | min | 2688.000 | | max | 2688.000 |
| | mean | 0.412 | | σ | 0.004 | | min | 0.408 | | max | 0.417 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.899 | | σ | 0.008 | | min | 2268.889 | | max | 2268.908 |
| | mean | 2688.000 | | σ | 0.000 | | min | 2688.000 | | max | 2688.000 |
| | mean | 2.985 | | σ | 0.122 | | min | 2.880 | | max | 3.163 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.257 | | σ | 0.841 | | min | 4953.818 | | max | 4955.759 |
| | mean | 2688.000 | | σ | 0.000 | | min | 2688.000 | | max | 2688.000 |
| | mean | 8.094 | | σ | 0.196 | | min | 7.884 | | max | 8.356 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.743 | | σ | 0.190 | | min | 5168.427 | | max | 5168.895 |
| | mean | 3436.400 | | σ | 474.718 | | min | 2843.000 | | max | 4118.000 |
| | mean | 9.228 | | σ | 0.309 | | min | 8.986 | | max | 9.743 |
|