iters=5 new-facts=1 prior-facts=1 | | mean | 272.099 | | σ | 0.007 | | min | 272.090 | | max | 272.109 |
| | mean | 2658.000 | | σ | 0.000 | | min | 2658.000 | | max | 2658.000 |
| | mean | 0.394 | | σ | 0.014 | | min | 0.379 | | max | 0.412 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.514 | | σ | 0.006 | | min | 1932.506 | | max | 1932.523 |
| | mean | 2658.000 | | σ | 0.000 | | min | 2658.000 | | max | 2658.000 |
| | mean | 2.950 | | σ | 0.243 | | min | 2.556 | | max | 3.181 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.278 | | σ | 0.842 | | min | 4752.844 | | max | 4754.782 |
| | mean | 2658.000 | | σ | 0.000 | | min | 2658.000 | | max | 2658.000 |
| | mean | 8.441 | | σ | 0.363 | | min | 7.822 | | max | 8.788 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.717 | | σ | 0.018 | | min | 4943.694 | | max | 4943.736 |
| | mean | 3035.400 | | σ | 290.578 | | min | 2658.000 | | max | 3417.000 |
| | mean | 8.612 | | σ | 0.149 | | min | 8.428 | | max | 8.798 |
|