iters=5 new-facts=1 prior-facts=1 | | mean | 277.883 | | σ | 0.009 | | min | 277.869 | | max | 277.893 |
| | mean | 2844.000 | | σ | 0.000 | | min | 2844.000 | | max | 2844.000 |
| | mean | 0.403 | | σ | 0.004 | | min | 0.399 | | max | 0.408 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2176.825 | | σ | 0.020 | | min | 2176.797 | | max | 2176.841 |
| | mean | 2844.000 | | σ | 0.000 | | min | 2844.000 | | max | 2844.000 |
| | mean | 3.371 | | σ | 0.186 | | min | 3.093 | | max | 3.537 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5054.581 | | σ | 1.039 | | min | 5053.638 | | max | 5056.360 |
| | mean | 2844.000 | | σ | 0.000 | | min | 2844.000 | | max | 2844.000 |
| | mean | 8.862 | | σ | 0.417 | | min | 8.265 | | max | 9.293 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5192.115 | | σ | 0.093 | | min | 5192.024 | | max | 5192.217 |
| | mean | 3309.800 | | σ | 372.739 | | min | 2844.000 | | max | 3677.000 |
| | mean | 8.826 | | σ | 0.083 | | min | 8.714 | | max | 8.897 |
|