iters=5 new-facts=1 prior-facts=1 | | mean | 273.504 | | σ | 0.007 | | min | 273.495 | | max | 273.513 |
| | mean | 2871.000 | | σ | 0.000 | | min | 2871.000 | | max | 2871.000 |
| | mean | 0.376 | | σ | 0.005 | | min | 0.372 | | max | 0.386 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.893 | | σ | 0.011 | | min | 1933.881 | | max | 1933.902 |
| | mean | 2871.000 | | σ | 0.000 | | min | 2871.000 | | max | 2871.000 |
| | mean | 2.955 | | σ | 0.057 | | min | 2.875 | | max | 3.020 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.644 | | σ | 0.805 | | min | 4754.158 | | max | 4756.069 |
| | mean | 2871.000 | | σ | 0.000 | | min | 2871.000 | | max | 2871.000 |
| | mean | 8.687 | | σ | 0.424 | | min | 8.153 | | max | 9.015 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.121 | | σ | 0.013 | | min | 4945.109 | | max | 4945.138 |
| | mean | 3067.200 | | σ | 193.133 | | min | 2871.000 | | max | 3316.000 |
| | mean | 8.646 | | σ | 0.054 | | min | 8.584 | | max | 8.715 |
|