iters=5 new-facts=1 prior-facts=1 | | mean | 300.685 | | σ | 0.048 | | min | 300.602 | | max | 300.723 |
| | mean | 1666.000 | | σ | 0.000 | | min | 1666.000 | | max | 1666.000 |
| | mean | 0.395 | | σ | 0.007 | | min | 0.390 | | max | 0.404 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1322.861 | | σ | 0.096 | | min | 1322.808 | | max | 1323.031 |
| | mean | 1666.000 | | σ | 0.000 | | min | 1666.000 | | max | 1666.000 |
| | mean | 1.956 | | σ | 0.117 | | min | 1.834 | | max | 2.099 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1561.340 | | σ | 6.834 | | min | 1558.075 | | max | 1573.559 |
| | mean | 1666.000 | | σ | 0.000 | | min | 1666.000 | | max | 1666.000 |
| | mean | 2.319 | | σ | 0.177 | | min | 2.087 | | max | 2.477 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1890.797 | | σ | 0.013 | | min | 1890.784 | | max | 1890.815 |
| | mean | 1781.400 | | σ | 152.462 | | min | 1666.000 | | max | 2020.000 |
| | mean | 2.867 | | σ | 0.085 | | min | 2.721 | | max | 2.943 |
|