iters=5 new-facts=1 prior-facts=1 | | mean | 324.021 | | σ | 0.038 | | min | 323.952 | | max | 324.042 |
| | mean | 2788.000 | | σ | 0.000 | | min | 2788.000 | | max | 2788.000 |
| | mean | 0.425 | | σ | 0.001 | | min | 0.423 | | max | 0.427 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1984.598 | | σ | 0.006 | | min | 1984.591 | | max | 1984.605 |
| | mean | 2788.000 | | σ | 0.000 | | min | 2788.000 | | max | 2788.000 |
| | mean | 2.576 | | σ | 0.100 | | min | 2.455 | | max | 2.706 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.231 | | σ | 7.722 | | min | 4804.730 | | max | 4822.045 |
| | mean | 2788.000 | | σ | 0.000 | | min | 2788.000 | | max | 2788.000 |
| | mean | 8.598 | | σ | 0.178 | | min | 8.310 | | max | 8.759 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4995.800 | | σ | 0.019 | | min | 4995.781 | | max | 4995.827 |
| | mean | 3046.200 | | σ | 211.959 | | min | 2788.000 | | max | 3332.000 |
| | mean | 8.577 | | σ | 0.202 | | min | 8.420 | | max | 8.928 |
|