iters=5 new-facts=1 prior-facts=1 | | mean | 324.762 | | σ | 0.043 | | min | 324.691 | | max | 324.798 |
| | mean | 2839.000 | | σ | 0.000 | | min | 2839.000 | | max | 2839.000 |
| | mean | 0.420 | | σ | 0.010 | | min | 0.415 | | max | 0.438 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.330 | | σ | 0.004 | | min | 1985.325 | | max | 1985.334 |
| | mean | 2839.000 | | σ | 0.000 | | min | 2839.000 | | max | 2839.000 |
| | mean | 2.601 | | σ | 0.058 | | min | 2.522 | | max | 2.661 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.024 | | σ | 7.706 | | min | 4804.974 | | max | 4822.794 |
| | mean | 2839.000 | | σ | 0.000 | | min | 2839.000 | | max | 2839.000 |
| | mean | 8.763 | | σ | 0.818 | | min | 7.684 | | max | 9.963 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.630 | | σ | 0.025 | | min | 4996.589 | | max | 4996.651 |
| | mean | 3048.400 | | σ | 188.558 | | min | 2839.000 | | max | 3320.000 |
| | mean | 8.628 | | σ | 0.132 | | min | 8.483 | | max | 8.788 |
|