iters=5 new-facts=1 prior-facts=1 | | mean | 297.318 | | σ | 0.010 | | min | 297.304 | | max | 297.330 |
| | mean | 1548.000 | | σ | 0.000 | | min | 1548.000 | | max | 1548.000 |
| | mean | 0.389 | | σ | 0.005 | | min | 0.385 | | max | 0.398 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1299.008 | | σ | 0.095 | | min | 1298.840 | | max | 1299.073 |
| | mean | 1548.000 | | σ | 0.000 | | min | 1548.000 | | max | 1548.000 |
| | mean | 1.852 | | σ | 0.025 | | min | 1.817 | | max | 1.880 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1719.184 | | σ | 6.948 | | min | 1715.948 | | max | 1731.609 |
| | mean | 1548.000 | | σ | 0.000 | | min | 1548.000 | | max | 1548.000 |
| | mean | 3.085 | | σ | 0.465 | | min | 2.658 | | max | 3.876 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1981.919 | | σ | 0.038 | | min | 1981.853 | | max | 1981.951 |
| | mean | 1789.600 | | σ | 219.537 | | min | 1548.000 | | max | 2099.000 |
| | mean | 3.346 | | σ | 0.387 | | min | 3.085 | | max | 4.031 |
|