iters=5 new-facts=1 prior-facts=1 | | mean | 350.826 | | σ | 0.071 | | min | 350.702 | | max | 350.876 |
| | mean | 2498.000 | | σ | 0.000 | | min | 2498.000 | | max | 2498.000 |
| | mean | 0.451 | | σ | 0.001 | | min | 0.449 | | max | 0.453 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2012.902 | | σ | 0.014 | | min | 2012.885 | | max | 2012.922 |
| | mean | 2498.000 | | σ | 0.000 | | min | 2498.000 | | max | 2498.000 |
| | mean | 2.711 | | σ | 0.039 | | min | 2.666 | | max | 2.763 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4837.895 | | σ | 7.720 | | min | 4834.324 | | max | 4851.704 |
| | mean | 2498.000 | | σ | 0.000 | | min | 2498.000 | | max | 2498.000 |
| | mean | 8.303 | | σ | 0.441 | | min | 8.017 | | max | 9.075 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5025.392 | | σ | 0.019 | | min | 5025.372 | | max | 5025.419 |
| | mean | 2906.000 | | σ | 379.189 | | min | 2498.000 | | max | 3425.000 |
| | mean | 9.430 | | σ | 0.577 | | min | 8.575 | | max | 9.982 |
|