iters=5 new-facts=1 prior-facts=1 | | mean | 294.684 | | σ | 0.019 | | min | 294.660 | | max | 294.711 |
| | mean | 1656.000 | | σ | 0.000 | | min | 1656.000 | | max | 1656.000 |
| | mean | 0.388 | | σ | 0.008 | | min | 0.381 | | max | 0.398 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1316.937 | | σ | 0.105 | | min | 1316.850 | | max | 1317.120 |
| | mean | 1656.000 | | σ | 0.000 | | min | 1656.000 | | max | 1656.000 |
| | mean | 1.995 | | σ | 0.055 | | min | 1.899 | | max | 2.037 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1555.324 | | σ | 6.852 | | min | 1552.004 | | max | 1567.576 |
| | mean | 1656.000 | | σ | 0.000 | | min | 1656.000 | | max | 1656.000 |
| | mean | 2.393 | | σ | 0.246 | | min | 2.146 | | max | 2.666 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1884.788 | | σ | 0.043 | | min | 1884.763 | | max | 1884.866 |
| | mean | 1790.600 | | σ | 109.644 | | min | 1656.000 | | max | 1957.000 |
| | mean | 2.988 | | σ | 0.139 | | min | 2.883 | | max | 3.226 |
|