iters=5 new-facts=1 prior-facts=1 | | mean | 272.793 | | σ | 0.006 | | min | 272.785 | | max | 272.801 |
| | mean | 2510.000 | | σ | 0.000 | | min | 2510.000 | | max | 2510.000 |
| | mean | 0.382 | | σ | 0.008 | | min | 0.376 | | max | 0.395 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.210 | | σ | 0.011 | | min | 1933.195 | | max | 1933.223 |
| | mean | 2510.000 | | σ | 0.000 | | min | 2510.000 | | max | 2510.000 |
| | mean | 3.087 | | σ | 0.179 | | min | 2.810 | | max | 3.245 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4757.026 | | σ | 7.521 | | min | 4753.581 | | max | 4770.479 |
| | mean | 2510.000 | | σ | 0.000 | | min | 2510.000 | | max | 2510.000 |
| | mean | 8.112 | | σ | 0.320 | | min | 7.783 | | max | 8.615 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.389 | | σ | 0.163 | | min | 4944.098 | | max | 4944.477 |
| | mean | 2941.400 | | σ | 392.145 | | min | 2510.000 | | max | 3476.000 |
| | mean | 8.529 | | σ | 0.243 | | min | 8.338 | | max | 8.888 |
|