iters=5 new-facts=1 prior-facts=1 | | mean | 275.567 | | σ | 0.006 | | min | 275.559 | | max | 275.573 |
| | mean | 2505.000 | | σ | 0.000 | | min | 2505.000 | | max | 2505.000 |
| | mean | 0.389 | | σ | 0.006 | | min | 0.385 | | max | 0.398 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.082 | | σ | 0.022 | | min | 2168.051 | | max | 2168.106 |
| | mean | 2505.000 | | σ | 0.000 | | min | 2505.000 | | max | 2505.000 |
| | mean | 3.039 | | σ | 0.167 | | min | 2.794 | | max | 3.173 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.683 | | σ | 1.116 | | min | 5046.442 | | max | 5049.494 |
| | mean | 2505.000 | | σ | 0.000 | | min | 2505.000 | | max | 2505.000 |
| | mean | 8.873 | | σ | 0.360 | | min | 8.507 | | max | 9.419 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.039 | | σ | 0.089 | | min | 5178.964 | | max | 5179.151 |
| | mean | 3259.200 | | σ | 346.335 | | min | 2748.000 | | max | 3649.000 |
| | mean | 9.581 | | σ | 0.553 | | min | 8.685 | | max | 10.086 |
|