iters=5 new-facts=1 prior-facts=1 | | mean | 292.429 | | σ | 0.013 | | min | 292.407 | | max | 292.441 |
| | mean | 2837.000 | | σ | 0.000 | | min | 2837.000 | | max | 2837.000 |
| | mean | 0.398 | | σ | 0.002 | | min | 0.395 | | max | 0.401 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1952.972 | | σ | 0.019 | | min | 1952.939 | | max | 1952.988 |
| | mean | 2837.000 | | σ | 0.000 | | min | 2837.000 | | max | 2837.000 |
| | mean | 2.633 | | σ | 0.088 | | min | 2.561 | | max | 2.743 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4778.878 | | σ | 7.634 | | min | 4775.302 | | max | 4792.531 |
| | mean | 2837.000 | | σ | 0.000 | | min | 2837.000 | | max | 2837.000 |
| | mean | 8.684 | | σ | 0.453 | | min | 7.979 | | max | 9.234 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4966.373 | | σ | 0.208 | | min | 4966.030 | | max | 4966.543 |
| | mean | 3038.600 | | σ | 204.071 | | min | 2837.000 | | max | 3317.000 |
| | mean | 8.596 | | σ | 0.254 | | min | 8.369 | | max | 9.008 |
|