iters=5 new-facts=1 prior-facts=1 | | mean | 266.784 | | σ | 0.007 | | min | 266.777 | | max | 266.794 |
| | mean | 2814.000 | | σ | 0.000 | | min | 2814.000 | | max | 2814.000 |
| | mean | 0.368 | | σ | 0.004 | | min | 0.365 | | max | 0.375 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1927.217 | | σ | 0.011 | | min | 1927.208 | | max | 1927.235 |
| | mean | 2814.000 | | σ | 0.000 | | min | 2814.000 | | max | 2814.000 |
| | mean | 2.976 | | σ | 0.067 | | min | 2.875 | | max | 3.061 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4747.749 | | σ | 0.798 | | min | 4747.279 | | max | 4749.168 |
| | mean | 2814.000 | | σ | 0.000 | | min | 2814.000 | | max | 2814.000 |
| | mean | 8.262 | | σ | 0.754 | | min | 7.649 | | max | 9.396 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4938.162 | | σ | 0.081 | | min | 4938.098 | | max | 4938.252 |
| | mean | 3064.000 | | σ | 316.465 | | min | 2814.000 | | max | 3544.000 |
| | mean | 8.563 | | σ | 0.355 | | min | 8.359 | | max | 9.191 |
|