iters=5 new-facts=1 prior-facts=1 | | mean | 324.705 | | σ | 0.053 | | min | 324.612 | | max | 324.747 |
| | mean | 2828.000 | | σ | 0.000 | | min | 2828.000 | | max | 2828.000 |
| | mean | 0.424 | | σ | 0.002 | | min | 0.423 | | max | 0.428 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.271 | | σ | 0.007 | | min | 1985.263 | | max | 1985.279 |
| | mean | 2828.000 | | σ | 0.000 | | min | 2828.000 | | max | 2828.000 |
| | mean | 2.611 | | σ | 0.057 | | min | 2.557 | | max | 2.688 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.760 | | σ | 7.715 | | min | 4804.829 | | max | 4822.551 |
| | mean | 2828.000 | | σ | 0.000 | | min | 2828.000 | | max | 2828.000 |
| | mean | 8.863 | | σ | 0.367 | | min | 8.444 | | max | 9.417 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.328 | | σ | 0.332 | | min | 4995.735 | | max | 4996.493 |
| | mean | 3046.600 | | σ | 190.197 | | min | 2828.000 | | max | 3318.000 |
| | mean | 8.678 | | σ | 0.244 | | min | 8.492 | | max | 8.956 |
|