iters=5 new-facts=1 prior-facts=1 | | mean | 324.709 | | σ | 0.048 | | min | 324.624 | | max | 324.739 |
| | mean | 2824.000 | | σ | 0.000 | | min | 2824.000 | | max | 2824.000 |
| | mean | 0.423 | | σ | 0.001 | | min | 0.423 | | max | 0.424 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.262 | | σ | 0.015 | | min | 1985.238 | | max | 1985.278 |
| | mean | 2824.000 | | σ | 0.000 | | min | 2824.000 | | max | 2824.000 |
| | mean | 2.677 | | σ | 0.113 | | min | 2.550 | | max | 2.792 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.861 | | σ | 7.669 | | min | 4805.404 | | max | 4822.580 |
| | mean | 2824.000 | | σ | 0.000 | | min | 2824.000 | | max | 2824.000 |
| | mean | 8.799 | | σ | 0.141 | | min | 8.614 | | max | 8.931 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.466 | | σ | 0.021 | | min | 4996.431 | | max | 4996.482 |
| | mean | 3059.000 | | σ | 306.841 | | min | 2824.000 | | max | 3533.000 |
| | mean | 8.561 | | σ | 0.296 | | min | 8.406 | | max | 9.089 |
|