iters=5 new-facts=1 prior-facts=1 | | mean | 285.416 | | σ | 0.010 | | min | 285.400 | | max | 285.425 |
| | mean | 1635.000 | | σ | 0.000 | | min | 1635.000 | | max | 1635.000 |
| | mean | 0.385 | | σ | 0.009 | | min | 0.375 | | max | 0.398 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.374 | | σ | 0.128 | | min | 1285.310 | | max | 1285.603 |
| | mean | 1635.000 | | σ | 0.000 | | min | 1635.000 | | max | 1635.000 |
| | mean | 2.094 | | σ | 0.220 | | min | 1.892 | | max | 2.429 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.771 | | σ | 6.972 | | min | 1804.405 | | max | 1820.229 |
| | mean | 1635.000 | | σ | 0.000 | | min | 1635.000 | | max | 1635.000 |
| | mean | 4.356 | | σ | 0.147 | | min | 4.197 | | max | 4.525 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.197 | | σ | 0.014 | | min | 2070.180 | | max | 2070.218 |
| | mean | 1836.000 | | σ | 174.721 | | min | 1635.000 | | max | 2072.000 |
| | mean | 4.513 | | σ | 0.052 | | min | 4.444 | | max | 4.577 |
|