iters=5 new-facts=1 prior-facts=1 | | mean | 271.755 | | σ | 0.009 | | min | 271.749 | | max | 271.770 |
| | mean | 2849.000 | | σ | 0.000 | | min | 2849.000 | | max | 2849.000 |
| | mean | 0.383 | | σ | 0.005 | | min | 0.379 | | max | 0.391 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.175 | | σ | 0.009 | | min | 1932.165 | | max | 1932.185 |
| | mean | 2849.000 | | σ | 0.000 | | min | 2849.000 | | max | 2849.000 |
| | mean | 3.056 | | σ | 0.111 | | min | 2.910 | | max | 3.167 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.871 | | σ | 0.909 | | min | 4752.079 | | max | 4754.439 |
| | mean | 2849.000 | | σ | 0.000 | | min | 2849.000 | | max | 2849.000 |
| | mean | 7.983 | | σ | 0.347 | | min | 7.699 | | max | 8.583 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.308 | | σ | 0.149 | | min | 4943.044 | | max | 4943.402 |
| | mean | 3056.400 | | σ | 244.599 | | min | 2849.000 | | max | 3427.000 |
| | mean | 8.453 | | σ | 0.126 | | min | 8.370 | | max | 8.672 |
|