iters=5 new-facts=1 prior-facts=1 | | mean | 273.612 | | σ | 0.005 | | min | 273.606 | | max | 273.620 |
| | mean | 2503.000 | | σ | 0.000 | | min | 2503.000 | | max | 2503.000 |
| | mean | 0.387 | | σ | 0.007 | | min | 0.381 | | max | 0.398 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1934.002 | | σ | 0.007 | | min | 1933.994 | | max | 1934.013 |
| | mean | 2503.000 | | σ | 0.000 | | min | 2503.000 | | max | 2503.000 |
| | mean | 2.976 | | σ | 0.214 | | min | 2.736 | | max | 3.255 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.703 | | σ | 0.907 | | min | 4754.284 | | max | 4756.325 |
| | mean | 2503.000 | | σ | 0.000 | | min | 2503.000 | | max | 2503.000 |
| | mean | 8.881 | | σ | 0.031 | | min | 8.850 | | max | 8.922 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.222 | | σ | 0.014 | | min | 4945.202 | | max | 4945.240 |
| | mean | 2988.800 | | σ | 286.732 | | min | 2607.000 | | max | 3346.000 |
| | mean | 8.491 | | σ | 0.043 | | min | 8.443 | | max | 8.543 |
|