iters=5 new-facts=1 prior-facts=1 | | mean | 297.315 | | σ | 0.005 | | min | 297.308 | | max | 297.321 |
| | mean | 1517.000 | | σ | 0.000 | | min | 1517.000 | | max | 1517.000 |
| | mean | 0.383 | | σ | 0.004 | | min | 0.378 | | max | 0.388 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1299.027 | | σ | 0.056 | | min | 1298.939 | | max | 1299.068 |
| | mean | 1517.000 | | σ | 0.000 | | min | 1517.000 | | max | 1517.000 |
| | mean | 1.867 | | σ | 0.053 | | min | 1.798 | | max | 1.926 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1719.186 | | σ | 6.913 | | min | 1715.971 | | max | 1731.549 |
| | mean | 1517.000 | | σ | 0.000 | | min | 1517.000 | | max | 1517.000 |
| | mean | 3.000 | | σ | 0.389 | | min | 2.548 | | max | 3.581 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1981.940 | | σ | 0.008 | | min | 1981.932 | | max | 1981.950 |
| | mean | 1813.000 | | σ | 176.151 | | min | 1576.000 | | max | 2050.000 |
| | mean | 3.196 | | σ | 0.071 | | min | 3.074 | | max | 3.252 |
|