iters=5 new-facts=1 prior-facts=1 | | mean | 273.502 | | σ | 0.006 | | min | 273.496 | | max | 273.509 |
| | mean | 2852.000 | | σ | 0.000 | | min | 2852.000 | | max | 2852.000 |
| | mean | 0.378 | | σ | 0.005 | | min | 0.373 | | max | 0.384 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.900 | | σ | 0.013 | | min | 1933.882 | | max | 1933.913 |
| | mean | 2852.000 | | σ | 0.000 | | min | 2852.000 | | max | 2852.000 |
| | mean | 2.995 | | σ | 0.172 | | min | 2.718 | | max | 3.189 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.581 | | σ | 0.914 | | min | 4753.924 | | max | 4756.186 |
| | mean | 2852.000 | | σ | 0.000 | | min | 2852.000 | | max | 2852.000 |
| | mean | 8.272 | | σ | 0.618 | | min | 7.801 | | max | 9.186 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.109 | | σ | 0.015 | | min | 4945.094 | | max | 4945.131 |
| | mean | 3034.000 | | σ | 258.140 | | min | 2852.000 | | max | 3443.000 |
| | mean | 8.436 | | σ | 0.115 | | min | 8.338 | | max | 8.622 |
|