iters=5 new-facts=1 prior-facts=1 | | mean | 271.597 | | σ | 0.007 | | min | 271.587 | | max | 271.604 |
| | mean | 2704.000 | | σ | 0.000 | | min | 2704.000 | | max | 2704.000 |
| | mean | 0.382 | | σ | 0.004 | | min | 0.378 | | max | 0.387 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1931.995 | | σ | 0.018 | | min | 1931.965 | | max | 1932.008 |
| | mean | 2704.000 | | σ | 0.000 | | min | 2704.000 | | max | 2704.000 |
| | mean | 2.531 | | σ | 0.087 | | min | 2.456 | | max | 2.646 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.739 | | σ | 0.926 | | min | 4752.192 | | max | 4754.366 |
| | mean | 2704.000 | | σ | 0.000 | | min | 2704.000 | | max | 2704.000 |
| | mean | 8.872 | | σ | 0.642 | | min | 8.275 | | max | 9.880 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.207 | | σ | 0.017 | | min | 4943.188 | | max | 4943.222 |
| | mean | 2974.600 | | σ | 233.116 | | min | 2704.000 | | max | 3302.000 |
| | mean | 8.636 | | σ | 0.251 | | min | 8.443 | | max | 9.066 |
|