iters=5 new-facts=1 prior-facts=1 | | mean | 272.792 | | σ | 0.008 | | min | 272.780 | | max | 272.801 |
| | mean | 2510.000 | | σ | 0.000 | | min | 2510.000 | | max | 2510.000 |
| | mean | 0.383 | | σ | 0.007 | | min | 0.377 | | max | 0.396 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.228 | | σ | 0.011 | | min | 1933.212 | | max | 1933.240 |
| | mean | 2510.000 | | σ | 0.000 | | min | 2510.000 | | max | 2510.000 |
| | mean | 3.008 | | σ | 0.158 | | min | 2.752 | | max | 3.174 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.903 | | σ | 7.605 | | min | 4753.131 | | max | 4770.502 |
| | mean | 2510.000 | | σ | 0.000 | | min | 2510.000 | | max | 2510.000 |
| | mean | 8.343 | | σ | 0.371 | | min | 7.852 | | max | 8.624 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.455 | | σ | 0.020 | | min | 4944.435 | | max | 4944.480 |
| | mean | 2992.000 | | σ | 276.878 | | min | 2618.000 | | max | 3328.000 |
| | mean | 8.560 | | σ | 0.172 | | min | 8.359 | | max | 8.787 |
|