iters=5 new-facts=1 prior-facts=1 | | mean | 324.016 | | σ | 0.043 | | min | 323.940 | | max | 324.043 |
| | mean | 2778.000 | | σ | 0.000 | | min | 2778.000 | | max | 2778.000 |
| | mean | 0.425 | | σ | 0.004 | | min | 0.422 | | max | 0.433 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1984.580 | | σ | 0.025 | | min | 1984.550 | | max | 1984.606 |
| | mean | 2778.000 | | σ | 0.000 | | min | 2778.000 | | max | 2778.000 |
| | mean | 2.626 | | σ | 0.150 | | min | 2.474 | | max | 2.860 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.180 | | σ | 7.762 | | min | 4804.425 | | max | 4822.062 |
| | mean | 2778.000 | | σ | 0.000 | | min | 2778.000 | | max | 2778.000 |
| | mean | 8.213 | | σ | 0.580 | | min | 7.726 | | max | 9.137 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4995.801 | | σ | 0.020 | | min | 4995.781 | | max | 4995.824 |
| | mean | 3050.000 | | σ | 329.643 | | min | 2778.000 | | max | 3543.000 |
| | mean | 8.487 | | σ | 0.174 | | min | 8.331 | | max | 8.784 |
|