iters=5 new-facts=1 prior-facts=1 | | mean | 300.707 | | σ | 0.013 | | min | 300.691 | | max | 300.723 |
| | mean | 1516.000 | | σ | 0.000 | | min | 1516.000 | | max | 1516.000 |
| | mean | 0.396 | | σ | 0.005 | | min | 0.390 | | max | 0.400 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1322.851 | | σ | 0.102 | | min | 1322.760 | | max | 1323.026 |
| | mean | 1516.000 | | σ | 0.000 | | min | 1516.000 | | max | 1516.000 |
| | mean | 1.911 | | σ | 0.040 | | min | 1.875 | | max | 1.964 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1561.307 | | σ | 6.874 | | min | 1558.003 | | max | 1573.597 |
| | mean | 1516.000 | | σ | 0.000 | | min | 1516.000 | | max | 1516.000 |
| | mean | 2.299 | | σ | 0.206 | | min | 2.088 | | max | 2.628 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1890.799 | | σ | 0.018 | | min | 1890.779 | | max | 1890.826 |
| | mean | 1757.000 | | σ | 154.154 | | min | 1523.000 | | max | 1947.000 |
| | mean | 2.948 | | σ | 0.156 | | min | 2.807 | | max | 3.210 |
|