iters=5 new-facts=1 prior-facts=1 | | mean | 271.598 | | σ | 0.008 | | min | 271.589 | | max | 271.607 |
| | mean | 2425.000 | | σ | 0.000 | | min | 2425.000 | | max | 2425.000 |
| | mean | 0.386 | | σ | 0.008 | | min | 0.380 | | max | 0.398 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.002 | | σ | 0.005 | | min | 1931.993 | | max | 1932.007 |
| | mean | 2425.000 | | σ | 0.000 | | min | 2425.000 | | max | 2425.000 |
| | mean | 2.517 | | σ | 0.061 | | min | 2.470 | | max | 2.605 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.711 | | σ | 0.922 | | min | 4752.229 | | max | 4754.355 |
| | mean | 2425.000 | | σ | 0.000 | | min | 2425.000 | | max | 2425.000 |
| | mean | 8.816 | | σ | 0.329 | | min | 8.335 | | max | 9.137 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.206 | | σ | 0.017 | | min | 4943.185 | | max | 4943.231 |
| | mean | 3018.000 | | σ | 260.986 | | min | 2624.000 | | max | 3315.000 |
| | mean | 8.560 | | σ | 0.128 | | min | 8.434 | | max | 8.735 |
|