iters=5 new-facts=1 prior-facts=1 | | mean | 294.675 | | σ | 0.014 | | min | 294.660 | | max | 294.698 |
| | mean | 1654.000 | | σ | 0.000 | | min | 1654.000 | | max | 1654.000 |
| | mean | 0.377 | | σ | 0.007 | | min | 0.371 | | max | 0.388 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1316.957 | | σ | 0.095 | | min | 1316.887 | | max | 1317.101 |
| | mean | 1654.000 | | σ | 0.000 | | min | 1654.000 | | max | 1654.000 |
| | mean | 1.910 | | σ | 0.091 | | min | 1.837 | | max | 2.039 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1555.274 | | σ | 6.852 | | min | 1551.932 | | max | 1567.525 |
| | mean | 1654.000 | | σ | 0.000 | | min | 1654.000 | | max | 1654.000 |
| | mean | 2.274 | | σ | 0.280 | | min | 2.053 | | max | 2.756 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1884.769 | | σ | 0.020 | | min | 1884.750 | | max | 1884.801 |
| | mean | 1767.000 | | σ | 126.180 | | min | 1654.000 | | max | 1961.000 |
| | mean | 3.104 | | σ | 0.273 | | min | 2.868 | | max | 3.575 |
|