iters=5 new-facts=1 prior-facts=1 | | mean | 285.412 | | σ | 0.014 | | min | 285.391 | | max | 285.424 |
| | mean | 1646.000 | | σ | 0.000 | | min | 1646.000 | | max | 1646.000 |
| | mean | 0.381 | | σ | 0.007 | | min | 0.374 | | max | 0.389 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.376 | | σ | 0.133 | | min | 1285.307 | | max | 1285.614 |
| | mean | 1646.000 | | σ | 0.000 | | min | 1646.000 | | max | 1646.000 |
| | mean | 1.963 | | σ | 0.140 | | min | 1.828 | | max | 2.134 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.717 | | σ | 7.005 | | min | 1804.341 | | max | 1820.232 |
| | mean | 1646.000 | | σ | 0.000 | | min | 1646.000 | | max | 1646.000 |
| | mean | 4.215 | | σ | 0.218 | | min | 3.977 | | max | 4.494 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.195 | | σ | 0.008 | | min | 2070.185 | | max | 2070.205 |
| | mean | 1854.400 | | σ | 187.113 | | min | 1646.000 | | max | 2090.000 |
| | mean | 4.535 | | σ | 0.132 | | min | 4.409 | | max | 4.755 |
|