iters=5 new-facts=1 prior-facts=1 | | mean | 278.816 | | σ | 0.006 | | min | 278.812 | | max | 278.826 |
| | mean | 2727.000 | | σ | 0.000 | | min | 2727.000 | | max | 2727.000 |
| | mean | 0.408 | | σ | 0.004 | | min | 0.405 | | max | 0.416 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.868 | | σ | 0.015 | | min | 2268.848 | | max | 2268.885 |
| | mean | 2727.000 | | σ | 0.000 | | min | 2727.000 | | max | 2727.000 |
| | mean | 2.921 | | σ | 0.142 | | min | 2.781 | | max | 3.130 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.240 | | σ | 0.814 | | min | 4953.732 | | max | 4955.687 |
| | mean | 2727.000 | | σ | 0.000 | | min | 2727.000 | | max | 2727.000 |
| | mean | 7.974 | | σ | 0.242 | | min | 7.688 | | max | 8.232 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.784 | | σ | 0.082 | | min | 5168.716 | | max | 5168.876 |
| | mean | 3396.800 | | σ | 487.659 | | min | 2818.000 | | max | 4070.000 |
| | mean | 9.336 | | σ | 0.337 | | min | 9.088 | | max | 9.886 |
|