iters=5 new-facts=1 prior-facts=1 | | mean | 324.708 | | σ | 0.032 | | min | 324.651 | | max | 324.726 |
| | mean | 2828.000 | | σ | 0.000 | | min | 2828.000 | | max | 2828.000 |
| | mean | 0.422 | | σ | 0.001 | | min | 0.420 | | max | 0.423 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.238 | | σ | 0.046 | | min | 1985.157 | | max | 1985.268 |
| | mean | 2828.000 | | σ | 0.000 | | min | 2828.000 | | max | 2828.000 |
| | mean | 2.590 | | σ | 0.072 | | min | 2.497 | | max | 2.667 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.626 | | σ | 7.820 | | min | 4804.269 | | max | 4822.587 |
| | mean | 2828.000 | | σ | 0.000 | | min | 2828.000 | | max | 2828.000 |
| | mean | 8.820 | | σ | 0.226 | | min | 8.464 | | max | 9.017 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.465 | | σ | 0.023 | | min | 4996.438 | | max | 4996.489 |
| | mean | 3071.000 | | σ | 230.366 | | min | 2828.000 | | max | 3407.000 |
| | mean | 8.786 | | σ | 0.152 | | min | 8.537 | | max | 8.939 |
|