iters=5 new-facts=1 prior-facts=1 | | mean | 399.348 | | σ | 0.089 | | min | 399.225 | | max | 399.416 |
| | mean | 1630.000 | | σ | 0.000 | | min | 1630.000 | | max | 1630.000 |
| | mean | 0.500 | | σ | 0.011 | | min | 0.492 | | max | 0.515 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1400.842 | | σ | 0.018 | | min | 1400.825 | | max | 1400.872 |
| | mean | 1630.000 | | σ | 0.000 | | min | 1630.000 | | max | 1630.000 |
| | mean | 2.055 | | σ | 0.051 | | min | 2.009 | | max | 2.120 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1923.082 | | σ | 7.070 | | min | 1919.774 | | max | 1935.724 |
| | mean | 1630.000 | | σ | 0.000 | | min | 1630.000 | | max | 1630.000 |
| | mean | 4.300 | | σ | 0.263 | | min | 4.061 | | max | 4.635 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2185.753 | | σ | 0.009 | | min | 2185.746 | | max | 2185.768 |
| | mean | 1836.600 | | σ | 172.726 | | min | 1630.000 | | max | 2077.000 |
| | mean | 4.689 | | σ | 0.040 | | min | 4.637 | | max | 4.739 |
|