iters=5 new-facts=1 prior-facts=1 | | mean | 300.687 | | σ | 0.042 | | min | 300.615 | | max | 300.720 |
| | mean | 1514.000 | | σ | 0.000 | | min | 1514.000 | | max | 1514.000 |
| | mean | 0.397 | | σ | 0.006 | | min | 0.390 | | max | 0.404 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1322.879 | | σ | 0.077 | | min | 1322.812 | | max | 1322.964 |
| | mean | 1514.000 | | σ | 0.000 | | min | 1514.000 | | max | 1514.000 |
| | mean | 2.067 | | σ | 0.214 | | min | 1.831 | | max | 2.236 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1561.377 | | σ | 6.842 | | min | 1558.203 | | max | 1573.614 |
| | mean | 1514.000 | | σ | 0.000 | | min | 1514.000 | | max | 1514.000 |
| | mean | 2.381 | | σ | 0.286 | | min | 2.149 | | max | 2.715 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1890.783 | | σ | 0.026 | | min | 1890.747 | | max | 1890.816 |
| | mean | 1731.000 | | σ | 211.258 | | min | 1514.000 | | max | 2026.000 |
| | mean | 2.915 | | σ | 0.103 | | min | 2.857 | | max | 3.099 |
|