iters=5 new-facts=1 prior-facts=1 | | mean | 339.177 | | σ | 0.059 | | min | 339.072 | | max | 339.211 |
| | mean | 2609.000 | | σ | 0.000 | | min | 2609.000 | | max | 2609.000 |
| | mean | 0.432 | | σ | 0.001 | | min | 0.431 | | max | 0.433 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2003.806 | | σ | 0.014 | | min | 2003.793 | | max | 2003.827 |
| | mean | 2609.000 | | σ | 0.000 | | min | 2609.000 | | max | 2609.000 |
| | mean | 3.208 | | σ | 0.071 | | min | 3.148 | | max | 3.317 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4828.554 | | σ | 7.684 | | min | 4825.030 | | max | 4842.298 |
| | mean | 2609.000 | | σ | 0.000 | | min | 2609.000 | | max | 2609.000 |
| | mean | 8.444 | | σ | 0.399 | | min | 7.936 | | max | 8.937 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5016.060 | | σ | 0.329 | | min | 5015.472 | | max | 5016.218 |
| | mean | 2984.400 | | σ | 295.647 | | min | 2609.000 | | max | 3371.000 |
| | mean | 8.634 | | σ | 0.168 | | min | 8.428 | | max | 8.846 |
|