iters=5 new-facts=1 prior-facts=1 | | mean | 294.674 | | σ | 0.014 | | min | 294.656 | | max | 294.694 |
| | mean | 1657.000 | | σ | 0.000 | | min | 1657.000 | | max | 1657.000 |
| | mean | 0.390 | | σ | 0.009 | | min | 0.383 | | max | 0.404 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1316.981 | | σ | 0.057 | | min | 1316.886 | | max | 1317.032 |
| | mean | 1657.000 | | σ | 0.000 | | min | 1657.000 | | max | 1657.000 |
| | mean | 2.142 | | σ | 0.121 | | min | 2.053 | | max | 2.355 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1555.338 | | σ | 6.820 | | min | 1552.121 | | max | 1567.534 |
| | mean | 1657.000 | | σ | 0.000 | | min | 1657.000 | | max | 1657.000 |
| | mean | 2.317 | | σ | 0.095 | | min | 2.215 | | max | 2.420 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1884.774 | | σ | 0.028 | | min | 1884.753 | | max | 1884.819 |
| | mean | 1791.400 | | σ | 144.936 | | min | 1657.000 | | max | 1944.000 |
| | mean | 3.149 | | σ | 0.336 | | min | 2.876 | | max | 3.722 |
|