iters=5 new-facts=1 prior-facts=1 | | mean | 301.466 | | σ | 0.065 | | min | 301.367 | | max | 301.530 |
| | mean | 1633.000 | | σ | 0.000 | | min | 1633.000 | | max | 1633.000 |
| | mean | 0.391 | | σ | 0.000 | | min | 0.390 | | max | 0.391 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1324.053 | | σ | 0.102 | | min | 1323.927 | | max | 1324.195 |
| | mean | 1633.000 | | σ | 0.000 | | min | 1633.000 | | max | 1633.000 |
| | mean | 1.912 | | σ | 0.110 | | min | 1.829 | | max | 2.099 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1562.065 | | σ | 6.909 | | min | 1558.774 | | max | 1574.418 |
| | mean | 1633.000 | | σ | 0.000 | | min | 1633.000 | | max | 1633.000 |
| | mean | 2.269 | | σ | 0.219 | | min | 2.078 | | max | 2.604 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1891.977 | | σ | 0.072 | | min | 1891.850 | | max | 1892.021 |
| | mean | 1773.800 | | σ | 172.545 | | min | 1633.000 | | max | 2041.000 |
| | mean | 2.871 | | σ | 0.040 | | min | 2.806 | | max | 2.914 |
|