iters=5 new-facts=1 prior-facts=1 | | mean | 285.412 | | σ | 0.008 | | min | 285.401 | | max | 285.425 |
| | mean | 1646.000 | | σ | 0.000 | | min | 1646.000 | | max | 1646.000 |
| | mean | 0.381 | | σ | 0.008 | | min | 0.373 | | max | 0.389 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.362 | | σ | 0.108 | | min | 1285.312 | | max | 1285.555 |
| | mean | 1646.000 | | σ | 0.000 | | min | 1646.000 | | max | 1646.000 |
| | mean | 1.877 | | σ | 0.070 | | min | 1.824 | | max | 1.998 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.723 | | σ | 7.014 | | min | 1804.350 | | max | 1820.253 |
| | mean | 1646.000 | | σ | 0.000 | | min | 1646.000 | | max | 1646.000 |
| | mean | 4.228 | | σ | 0.234 | | min | 3.871 | | max | 4.441 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.198 | | σ | 0.011 | | min | 2070.187 | | max | 2070.216 |
| | mean | 1844.800 | | σ | 187.978 | | min | 1646.000 | | max | 2086.000 |
| | mean | 4.521 | | σ | 0.052 | | min | 4.477 | | max | 4.610 |
|