iters=5 new-facts=1 prior-facts=1 | | mean | 303.790 | | σ | 0.059 | | min | 303.694 | | max | 303.848 |
| | mean | 1631.000 | | σ | 0.000 | | min | 1631.000 | | max | 1631.000 |
| | mean | 0.398 | | σ | 0.007 | | min | 0.392 | | max | 0.408 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1326.319 | | σ | 0.117 | | min | 1326.193 | | max | 1326.478 |
| | mean | 1631.000 | | σ | 0.000 | | min | 1631.000 | | max | 1631.000 |
| | mean | 1.967 | | σ | 0.125 | | min | 1.835 | | max | 2.144 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1564.395 | | σ | 6.933 | | min | 1561.041 | | max | 1576.791 |
| | mean | 1631.000 | | σ | 0.000 | | min | 1631.000 | | max | 1631.000 |
| | mean | 2.381 | | σ | 0.306 | | min | 2.034 | | max | 2.784 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1894.288 | | σ | 0.071 | | min | 1894.162 | | max | 1894.328 |
| | mean | 1778.400 | | σ | 119.937 | | min | 1631.000 | | max | 1962.000 |
| | mean | 2.988 | | σ | 0.138 | | min | 2.870 | | max | 3.209 |
|