iters=5 new-facts=1 prior-facts=1 | | mean | 278.838 | | σ | 0.018 | | min | 278.807 | | max | 278.849 |
| | mean | 2700.000 | | σ | 0.000 | | min | 2700.000 | | max | 2700.000 |
| | mean | 0.417 | | σ | 0.008 | | min | 0.410 | | max | 0.429 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.900 | | σ | 0.019 | | min | 2268.877 | | max | 2268.921 |
| | mean | 2700.000 | | σ | 0.000 | | min | 2700.000 | | max | 2700.000 |
| | mean | 2.935 | | σ | 0.045 | | min | 2.897 | | max | 3.012 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.245 | | σ | 0.881 | | min | 4953.689 | | max | 4955.809 |
| | mean | 2700.000 | | σ | 0.000 | | min | 2700.000 | | max | 2700.000 |
| | mean | 8.099 | | σ | 0.459 | | min | 7.722 | | max | 8.694 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.677 | | σ | 0.192 | | min | 5168.413 | | max | 5168.901 |
| | mean | 3368.200 | | σ | 473.088 | | min | 2741.000 | | max | 3996.000 |
| | mean | 9.549 | | σ | 0.264 | | min | 9.117 | | max | 9.824 |
|