iters=5 new-facts=1 prior-facts=1 | | mean | 324.714 | | σ | 0.037 | | min | 324.649 | | max | 324.742 |
| | mean | 2825.000 | | σ | 0.000 | | min | 2825.000 | | max | 2825.000 |
| | mean | 0.422 | | σ | 0.002 | | min | 0.421 | | max | 0.425 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.260 | | σ | 0.018 | | min | 1985.236 | | max | 1985.279 |
| | mean | 2825.000 | | σ | 0.000 | | min | 2825.000 | | max | 2825.000 |
| | mean | 2.687 | | σ | 0.079 | | min | 2.595 | | max | 2.782 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4668.264 | | σ | 316.471 | | min | 4102.297 | | max | 4822.545 |
| | mean | 2825.000 | | σ | 0.000 | | min | 2825.000 | | max | 2825.000 |
| | mean | 8.630 | | σ | 0.495 | | min | 7.792 | | max | 9.039 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.485 | | σ | 0.032 | | min | 4996.446 | | max | 4996.526 |
| | mean | 3058.400 | | σ | 238.772 | | min | 2825.000 | | max | 3302.000 |
| | mean | 8.895 | | σ | 0.359 | | min | 8.622 | | max | 9.493 |
|