iters=5 new-facts=1 prior-facts=1 | | mean | 350.631 | | σ | 0.068 | | min | 350.512 | | max | 350.678 |
| | mean | 2504.000 | | σ | 0.000 | | min | 2504.000 | | max | 2504.000 |
| | mean | 0.456 | | σ | 0.006 | | min | 0.452 | | max | 0.466 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2012.702 | | σ | 0.024 | | min | 2012.662 | | max | 2012.722 |
| | mean | 2504.000 | | σ | 0.000 | | min | 2504.000 | | max | 2504.000 |
| | mean | 2.754 | | σ | 0.087 | | min | 2.677 | | max | 2.893 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4837.590 | | σ | 7.775 | | min | 4833.748 | | max | 4851.493 |
| | mean | 2504.000 | | σ | 0.000 | | min | 2504.000 | | max | 2504.000 |
| | mean | 8.221 | | σ | 0.421 | | min | 7.881 | | max | 8.955 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5025.193 | | σ | 0.025 | | min | 5025.157 | | max | 5025.218 |
| | mean | 2963.400 | | σ | 420.862 | | min | 2504.000 | | max | 3539.000 |
| | mean | 9.299 | | σ | 0.588 | | min | 8.658 | | max | 9.862 |
|