iters=5 new-facts=1 prior-facts=1 | | mean | 294.682 | | σ | 0.013 | | min | 294.666 | | max | 294.697 |
| | mean | 1652.000 | | σ | 0.000 | | min | 1652.000 | | max | 1652.000 |
| | mean | 0.378 | | σ | 0.006 | | min | 0.374 | | max | 0.388 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1316.950 | | σ | 0.100 | | min | 1316.896 | | max | 1317.128 |
| | mean | 1652.000 | | σ | 0.000 | | min | 1652.000 | | max | 1652.000 |
| | mean | 1.947 | | σ | 0.085 | | min | 1.849 | | max | 2.020 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1555.284 | | σ | 6.882 | | min | 1551.983 | | max | 1567.588 |
| | mean | 1652.000 | | σ | 0.000 | | min | 1652.000 | | max | 1652.000 |
| | mean | 2.294 | | σ | 0.311 | | min | 2.055 | | max | 2.817 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1884.783 | | σ | 0.038 | | min | 1884.749 | | max | 1884.848 |
| | mean | 1795.000 | | σ | 153.326 | | min | 1652.000 | | max | 1956.000 |
| | mean | 3.111 | | σ | 0.148 | | min | 2.905 | | max | 3.279 |
|