iters=5 new-facts=1 prior-facts=1 | | mean | 273.609 | | σ | 0.006 | | min | 273.599 | | max | 273.615 |
| | mean | 2839.000 | | σ | 0.000 | | min | 2839.000 | | max | 2839.000 |
| | mean | 0.385 | | σ | 0.009 | | min | 0.379 | | max | 0.402 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1934.007 | | σ | 0.013 | | min | 1933.989 | | max | 1934.021 |
| | mean | 2839.000 | | σ | 0.000 | | min | 2839.000 | | max | 2839.000 |
| | mean | 2.994 | | σ | 0.343 | | min | 2.632 | | max | 3.446 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.664 | | σ | 0.907 | | min | 4753.950 | | max | 4756.249 |
| | mean | 2839.000 | | σ | 0.000 | | min | 2839.000 | | max | 2839.000 |
| | mean | 8.509 | | σ | 0.541 | | min | 7.617 | | max | 8.960 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.224 | | σ | 0.017 | | min | 4945.208 | | max | 4945.244 |
| | mean | 3059.600 | | σ | 189.629 | | min | 2839.000 | | max | 3325.000 |
| | mean | 8.605 | | σ | 0.209 | | min | 8.430 | | max | 8.923 |
|