iters=5 new-facts=1 prior-facts=1 | | mean | 345.171 | | σ | 0.057 | | min | 345.070 | | max | 345.204 |
| | mean | 2752.000 | | σ | 0.000 | | min | 2752.000 | | max | 2752.000 |
| | mean | 0.444 | | σ | 0.010 | | min | 0.438 | | max | 0.462 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2007.364 | | σ | 0.011 | | min | 2007.352 | | max | 2007.381 |
| | mean | 2752.000 | | σ | 0.000 | | min | 2752.000 | | max | 2752.000 |
| | mean | 2.767 | | σ | 0.109 | | min | 2.662 | | max | 2.944 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4832.114 | | σ | 7.771 | | min | 4828.236 | | max | 4846.008 |
| | mean | 2752.000 | | σ | 0.000 | | min | 2752.000 | | max | 2752.000 |
| | mean | 8.351 | | σ | 0.499 | | min | 7.875 | | max | 9.148 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5019.707 | | σ | 0.152 | | min | 5019.437 | | max | 5019.797 |
| | mean | 3011.800 | | σ | 306.889 | | min | 2752.000 | | max | 3451.000 |
| | mean | 9.739 | | σ | 0.496 | | min | 8.901 | | max | 10.116 |
|