iters=5 new-facts=1 prior-facts=1 | | mean | 300.724 | | σ | 0.014 | | min | 300.707 | | max | 300.739 |
| | mean | 1625.000 | | σ | 0.000 | | min | 1625.000 | | max | 1625.000 |
| | mean | 0.393 | | σ | 0.007 | | min | 0.388 | | max | 0.402 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1322.887 | | σ | 0.094 | | min | 1322.838 | | max | 1323.054 |
| | mean | 1625.000 | | σ | 0.000 | | min | 1625.000 | | max | 1625.000 |
| | mean | 1.889 | | σ | 0.068 | | min | 1.829 | | max | 1.970 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1561.324 | | σ | 6.877 | | min | 1558.019 | | max | 1573.620 |
| | mean | 1625.000 | | σ | 0.000 | | min | 1625.000 | | max | 1625.000 |
| | mean | 2.312 | | σ | 0.296 | | min | 2.020 | | max | 2.719 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1890.818 | | σ | 0.018 | | min | 1890.802 | | max | 1890.839 |
| | mean | 1767.600 | | σ | 172.471 | | min | 1625.000 | | max | 2032.000 |
| | mean | 2.901 | | σ | 0.043 | | min | 2.867 | | max | 2.972 |
|