iters=5 new-facts=1 prior-facts=1 | | mean | 326.574 | | σ | 0.051 | | min | 326.484 | | max | 326.609 |
| | mean | 2821.000 | | σ | 0.000 | | min | 2821.000 | | max | 2821.000 |
| | mean | 0.424 | | σ | 0.002 | | min | 0.422 | | max | 0.428 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.733 | | σ | 0.017 | | min | 1988.710 | | max | 1988.751 |
| | mean | 2821.000 | | σ | 0.000 | | min | 2821.000 | | max | 2821.000 |
| | mean | 2.660 | | σ | 0.079 | | min | 2.555 | | max | 2.779 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.461 | | σ | 7.472 | | min | 4810.078 | | max | 4826.826 |
| | mean | 2821.000 | | σ | 0.000 | | min | 2821.000 | | max | 2821.000 |
| | mean | 8.809 | | σ | 0.307 | | min | 8.332 | | max | 9.093 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.148 | | σ | 0.017 | | min | 5001.123 | | max | 5001.164 |
| | mean | 3025.800 | | σ | 209.028 | | min | 2821.000 | | max | 3315.000 |
| | mean | 9.811 | | σ | 0.547 | | min | 8.914 | | max | 10.391 |
|