iters=5 new-facts=1 prior-facts=1 | | mean | 294.678 | | σ | 0.011 | | min | 294.664 | | max | 294.694 |
| | mean | 1664.000 | | σ | 0.000 | | min | 1664.000 | | max | 1664.000 |
| | mean | 0.387 | | σ | 0.008 | | min | 0.380 | | max | 0.399 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1316.937 | | σ | 0.101 | | min | 1316.881 | | max | 1317.117 |
| | mean | 1664.000 | | σ | 0.000 | | min | 1664.000 | | max | 1664.000 |
| | mean | 1.980 | | σ | 0.059 | | min | 1.913 | | max | 2.074 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1555.308 | | σ | 6.843 | | min | 1551.998 | | max | 1567.543 |
| | mean | 1664.000 | | σ | 0.000 | | min | 1664.000 | | max | 1664.000 |
| | mean | 2.337 | | σ | 0.167 | | min | 2.104 | | max | 2.575 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1884.776 | | σ | 0.023 | | min | 1884.752 | | max | 1884.813 |
| | mean | 1797.000 | | σ | 144.738 | | min | 1664.000 | | max | 1950.000 |
| | mean | 3.105 | | σ | 0.295 | | min | 2.870 | | max | 3.618 |
|