iters=5 new-facts=1 prior-facts=1 | | mean | 299.772 | | σ | 0.062 | | min | 299.675 | | max | 299.830 |
| | mean | 1654.000 | | σ | 0.000 | | min | 1654.000 | | max | 1654.000 |
| | mean | 0.394 | | σ | 0.009 | | min | 0.386 | | max | 0.406 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1310.211 | | σ | 0.094 | | min | 1310.093 | | max | 1310.314 |
| | mean | 1654.000 | | σ | 0.000 | | min | 1654.000 | | max | 1654.000 |
| | mean | 1.953 | | σ | 0.121 | | min | 1.791 | | max | 2.077 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1554.329 | | σ | 6.890 | | min | 1551.013 | | max | 1566.648 |
| | mean | 1654.000 | | σ | 0.000 | | min | 1654.000 | | max | 1654.000 |
| | mean | 2.329 | | σ | 0.249 | | min | 2.042 | | max | 2.634 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1872.102 | | σ | 0.051 | | min | 1872.039 | | max | 1872.149 |
| | mean | 1764.800 | | σ | 121.298 | | min | 1654.000 | | max | 1948.000 |
| | mean | 2.934 | | σ | 0.078 | | min | 2.859 | | max | 3.047 |
|