iters=5 new-facts=1 prior-facts=1 | | mean | 277.716 | | σ | 0.011 | | min | 277.702 | | max | 277.730 |
| | mean | 2694.000 | | σ | 0.000 | | min | 2694.000 | | max | 2694.000 |
| | mean | 0.407 | | σ | 0.001 | | min | 0.407 | | max | 0.409 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2267.891 | | σ | 0.005 | | min | 2267.886 | | max | 2267.897 |
| | mean | 2694.000 | | σ | 0.000 | | min | 2694.000 | | max | 2694.000 |
| | mean | 2.963 | | σ | 0.135 | | min | 2.826 | | max | 3.187 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.840 | | σ | 0.964 | | min | 4954.158 | | max | 4956.501 |
| | mean | 2694.000 | | σ | 0.000 | | min | 2694.000 | | max | 2694.000 |
| | mean | 7.817 | | σ | 0.214 | | min | 7.566 | | max | 8.157 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5169.795 | | σ | 0.088 | | min | 5169.694 | | max | 5169.867 |
| | mean | 3369.400 | | σ | 455.081 | | min | 2813.000 | | max | 3986.000 |
| | mean | 9.431 | | σ | 0.262 | | min | 9.097 | | max | 9.776 |
|