iters=5 new-facts=1 prior-facts=1 | | mean | 297.304 | | σ | 0.008 | | min | 297.292 | | max | 297.313 |
| | mean | 1630.000 | | σ | 0.000 | | min | 1630.000 | | max | 1630.000 |
| | mean | 0.380 | | σ | 0.000 | | min | 0.380 | | max | 0.381 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1298.685 | | σ | 0.079 | | min | 1298.546 | | max | 1298.727 |
| | mean | 1630.000 | | σ | 0.000 | | min | 1630.000 | | max | 1630.000 |
| | mean | 2.065 | | σ | 0.242 | | min | 1.873 | | max | 2.447 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1718.871 | | σ | 6.882 | | min | 1715.686 | | max | 1731.179 |
| | mean | 1630.000 | | σ | 0.000 | | min | 1630.000 | | max | 1630.000 |
| | mean | 3.001 | | σ | 0.208 | | min | 2.772 | | max | 3.335 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1981.596 | | σ | 0.017 | | min | 1981.580 | | max | 1981.624 |
| | mean | 1806.400 | | σ | 203.018 | | min | 1630.000 | | max | 2107.000 |
| | mean | 3.265 | | σ | 0.273 | | min | 2.994 | | max | 3.678 |
|