iters=5 new-facts=1 prior-facts=1 | | mean | 271.957 | | σ | 0.009 | | min | 271.946 | | max | 271.964 |
| | mean | 2756.000 | | σ | 0.000 | | min | 2756.000 | | max | 2756.000 |
| | mean | 0.386 | | σ | 0.007 | | min | 0.379 | | max | 0.395 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.319 | | σ | 0.006 | | min | 1932.315 | | max | 1932.329 |
| | mean | 2756.000 | | σ | 0.000 | | min | 2756.000 | | max | 2756.000 |
| | mean | 2.997 | | σ | 0.059 | | min | 2.910 | | max | 3.073 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.935 | | σ | 0.998 | | min | 4752.085 | | max | 4754.664 |
| | mean | 2756.000 | | σ | 0.000 | | min | 2756.000 | | max | 2756.000 |
| | mean | 8.779 | | σ | 0.237 | | min | 8.518 | | max | 9.065 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.557 | | σ | 0.018 | | min | 4943.542 | | max | 4943.581 |
| | mean | 2998.800 | | σ | 222.227 | | min | 2756.000 | | max | 3322.000 |
| | mean | 8.508 | | σ | 0.146 | | min | 8.352 | | max | 8.668 |
|