iters=5 new-facts=1 prior-facts=1 | | mean | 301.478 | | σ | 0.046 | | min | 301.408 | | max | 301.524 |
| | mean | 1458.000 | | σ | 0.000 | | min | 1458.000 | | max | 1458.000 |
| | mean | 0.391 | | σ | 0.003 | | min | 0.388 | | max | 0.396 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1324.057 | | σ | 0.133 | | min | 1323.915 | | max | 1324.262 |
| | mean | 1458.000 | | σ | 0.000 | | min | 1458.000 | | max | 1458.000 |
| | mean | 2.050 | | σ | 0.261 | | min | 1.831 | | max | 2.353 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1562.145 | | σ | 6.869 | | min | 1558.948 | | max | 1574.431 |
| | mean | 1458.000 | | σ | 0.000 | | min | 1458.000 | | max | 1458.000 |
| | mean | 2.369 | | σ | 0.276 | | min | 2.131 | | max | 2.684 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1891.970 | | σ | 0.064 | | min | 1891.858 | | max | 1892.018 |
| | mean | 1722.400 | | σ | 229.301 | | min | 1458.000 | | max | 2032.000 |
| | mean | 2.941 | | σ | 0.115 | | min | 2.879 | | max | 3.146 |
|