iters=5 new-facts=1 prior-facts=1 | | mean | 300.706 | | σ | 0.011 | | min | 300.695 | | max | 300.724 |
| | mean | 1432.000 | | σ | 0.000 | | min | 1432.000 | | max | 1432.000 |
| | mean | 0.397 | | σ | 0.007 | | min | 0.390 | | max | 0.403 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1322.888 | | σ | 0.062 | | min | 1322.816 | | max | 1322.956 |
| | mean | 1432.000 | | σ | 0.000 | | min | 1432.000 | | max | 1432.000 |
| | mean | 2.097 | | σ | 0.221 | | min | 1.881 | | max | 2.387 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1561.360 | | σ | 6.860 | | min | 1558.106 | | max | 1573.629 |
| | mean | 1432.000 | | σ | 0.000 | | min | 1432.000 | | max | 1432.000 |
| | mean | 2.295 | | σ | 0.249 | | min | 2.061 | | max | 2.703 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1890.801 | | σ | 0.027 | | min | 1890.781 | | max | 1890.848 |
| | mean | 1750.400 | | σ | 142.642 | | min | 1539.000 | | max | 1934.000 |
| | mean | 2.934 | | σ | 0.219 | | min | 2.719 | | max | 3.249 |
|