iters=5 new-facts=1 prior-facts=1 | | mean | 271.756 | | σ | 0.004 | | min | 271.751 | | max | 271.761 |
| | mean | 2846.000 | | σ | 0.000 | | min | 2846.000 | | max | 2846.000 |
| | mean | 0.383 | | σ | 0.009 | | min | 0.377 | | max | 0.399 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.177 | | σ | 0.008 | | min | 1932.166 | | max | 1932.188 |
| | mean | 2846.000 | | σ | 0.000 | | min | 2846.000 | | max | 2846.000 |
| | mean | 2.998 | | σ | 0.131 | | min | 2.845 | | max | 3.207 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.707 | | σ | 1.107 | | min | 4751.319 | | max | 4754.418 |
| | mean | 2846.000 | | σ | 0.000 | | min | 2846.000 | | max | 2846.000 |
| | mean | 8.277 | | σ | 0.462 | | min | 7.756 | | max | 8.896 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.307 | | σ | 0.158 | | min | 4943.025 | | max | 4943.391 |
| | mean | 3048.800 | | σ | 211.795 | | min | 2846.000 | | max | 3352.000 |
| | mean | 8.541 | | σ | 0.131 | | min | 8.459 | | max | 8.768 |
|