iters=5 new-facts=1 prior-facts=1 | | mean | 323.999 | | σ | 0.049 | | min | 323.914 | | max | 324.040 |
| | mean | 2771.000 | | σ | 0.000 | | min | 2771.000 | | max | 2771.000 |
| | mean | 0.430 | | σ | 0.003 | | min | 0.427 | | max | 0.435 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1984.593 | | σ | 0.021 | | min | 1984.565 | | max | 1984.611 |
| | mean | 2771.000 | | σ | 0.000 | | min | 2771.000 | | max | 2771.000 |
| | mean | 2.576 | | σ | 0.017 | | min | 2.554 | | max | 2.598 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.228 | | σ | 7.813 | | min | 4804.662 | | max | 4822.204 |
| | mean | 2771.000 | | σ | 0.000 | | min | 2771.000 | | max | 2771.000 |
| | mean | 9.017 | | σ | 0.155 | | min | 8.869 | | max | 9.210 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4995.817 | | σ | 0.021 | | min | 4995.785 | | max | 4995.838 |
| | mean | 3047.000 | | σ | 338.314 | | min | 2771.000 | | max | 3558.000 |
| | mean | 8.539 | | σ | 0.116 | | min | 8.441 | | max | 8.682 |
|