iters=5 new-facts=1 prior-facts=1 | | mean | 277.693 | | σ | 0.005 | | min | 277.686 | | max | 277.698 |
| | mean | 2837.000 | | σ | 0.000 | | min | 2837.000 | | max | 2837.000 |
| | mean | 0.409 | | σ | 0.008 | | min | 0.401 | | max | 0.418 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2176.663 | | σ | 0.008 | | min | 2176.649 | | max | 2176.671 |
| | mean | 2837.000 | | σ | 0.000 | | min | 2837.000 | | max | 2837.000 |
| | mean | 2.854 | | σ | 0.113 | | min | 2.765 | | max | 3.042 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5046.315 | | σ | 0.948 | | min | 5045.796 | | max | 5048.004 |
| | mean | 2837.000 | | σ | 0.000 | | min | 2837.000 | | max | 2837.000 |
| | mean | 8.667 | | σ | 0.642 | | min | 8.136 | | max | 9.754 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5183.614 | | σ | 0.207 | | min | 5183.266 | | max | 5183.784 |
| | mean | 3237.600 | | σ | 417.728 | | min | 2837.000 | | max | 3829.000 |
| | mean | 8.882 | | σ | 0.302 | | min | 8.652 | | max | 9.359 |
|