iters=5 new-facts=1 prior-facts=1 | | mean | 285.025 | | σ | 0.038 | | min | 284.977 | | max | 285.066 |
| | mean | 1646.000 | | σ | 0.000 | | min | 1646.000 | | max | 1646.000 |
| | mean | 0.396 | | σ | 0.008 | | min | 0.386 | | max | 0.405 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.381 | | σ | 0.084 | | min | 1295.287 | | max | 1295.504 |
| | mean | 1646.000 | | σ | 0.000 | | min | 1646.000 | | max | 1646.000 |
| | mean | 1.925 | | σ | 0.200 | | min | 1.787 | | max | 2.246 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.632 | | σ | 6.750 | | min | 1536.490 | | max | 1551.705 |
| | mean | 1646.000 | | σ | 0.000 | | min | 1646.000 | | max | 1646.000 |
| | mean | 2.394 | | σ | 0.292 | | min | 2.144 | | max | 2.898 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.326 | | σ | 0.050 | | min | 1857.268 | | max | 1857.394 |
| | mean | 1779.000 | | σ | 168.935 | | min | 1646.000 | | max | 2030.000 |
| | mean | 2.842 | | σ | 0.056 | | min | 2.775 | | max | 2.927 |
|