iters=5 new-facts=1 prior-facts=1 | | mean | 275.759 | | σ | 0.008 | | min | 275.748 | | max | 275.768 |
| | mean | 2705.000 | | σ | 0.000 | | min | 2705.000 | | max | 2705.000 |
| | mean | 0.407 | | σ | 0.012 | | min | 0.393 | | max | 0.417 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.283 | | σ | 0.007 | | min | 2168.271 | | max | 2168.287 |
| | mean | 2705.000 | | σ | 0.000 | | min | 2705.000 | | max | 2705.000 |
| | mean | 2.935 | | σ | 0.115 | | min | 2.786 | | max | 3.067 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5048.097 | | σ | 0.910 | | min | 5047.540 | | max | 5049.715 |
| | mean | 2705.000 | | σ | 0.000 | | min | 2705.000 | | max | 2705.000 |
| | mean | 8.719 | | σ | 0.392 | | min | 8.085 | | max | 9.087 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.157 | | σ | 0.190 | | min | 5178.848 | | max | 5179.314 |
| | mean | 3204.200 | | σ | 345.013 | | min | 2716.000 | | max | 3626.000 |
| | mean | 9.765 | | σ | 0.261 | | min | 9.434 | | max | 10.152 |
|