iters=5 new-facts=1 prior-facts=1 | | mean | 278.699 | | σ | 0.009 | | min | 278.685 | | max | 278.709 |
| | mean | 2589.000 | | σ | 0.000 | | min | 2589.000 | | max | 2589.000 |
| | mean | 0.420 | | σ | 0.000 | | min | 0.420 | | max | 0.421 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.842 | | σ | 0.018 | | min | 2268.820 | | max | 2268.862 |
| | mean | 2589.000 | | σ | 0.000 | | min | 2589.000 | | max | 2589.000 |
| | mean | 3.354 | | σ | 0.313 | | min | 3.030 | | max | 3.805 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4956.023 | | σ | 0.894 | | min | 4955.562 | | max | 4957.619 |
| | mean | 2589.000 | | σ | 0.000 | | min | 2589.000 | | max | 2589.000 |
| | mean | 8.149 | | σ | 0.386 | | min | 7.736 | | max | 8.771 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5170.767 | | σ | 0.083 | | min | 5170.675 | | max | 5170.834 |
| | mean | 3378.800 | | σ | 462.806 | | min | 2753.000 | | max | 3963.000 |
| | mean | 9.569 | | σ | 0.188 | | min | 9.323 | | max | 9.823 |
|