iters=5 new-facts=1 prior-facts=1 | | mean | 300.747 | | σ | 0.027 | | min | 300.701 | | max | 300.770 |
| | mean | 3908.000 | | σ | 0.000 | | min | 3908.000 | | max | 3908.000 |
| | mean | 0.438 | | σ | 0.011 | | min | 0.427 | | max | 0.452 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 3219.725 | | σ | 0.026 | | min | 3219.686 | | max | 3219.748 |
| | mean | 3908.000 | | σ | 0.000 | | min | 3908.000 | | max | 3908.000 |
| | mean | 3.989 | | σ | 0.325 | | min | 3.529 | | max | 4.301 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 6099.757 | | σ | 0.938 | | min | 6099.266 | | max | 6101.431 |
| | mean | 3908.000 | | σ | 0.000 | | min | 3908.000 | | max | 3908.000 |
| | mean | 10.148 | | σ | 0.318 | | min | 9.739 | | max | 10.478 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 6248.728 | | σ | 0.089 | | min | 6248.572 | | max | 6248.788 |
| | mean | 3927.000 | | σ | 42.485 | | min | 3908.000 | | max | 4003.000 |
| | mean | 9.717 | | σ | 0.173 | | min | 9.453 | | max | 9.887 |
|