iters=5 new-facts=1 prior-facts=1 | | mean | 285.409 | | σ | 0.037 | | min | 285.360 | | max | 285.448 |
| | mean | 1639.000 | | σ | 0.000 | | min | 1639.000 | | max | 1639.000 |
| | mean | 0.386 | | σ | 0.006 | | min | 0.381 | | max | 0.393 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.792 | | σ | 0.099 | | min | 1295.678 | | max | 1295.896 |
| | mean | 1639.000 | | σ | 0.000 | | min | 1639.000 | | max | 1639.000 |
| | mean | 1.946 | | σ | 0.132 | | min | 1.808 | | max | 2.112 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.951 | | σ | 6.843 | | min | 1536.722 | | max | 1552.189 |
| | mean | 1639.000 | | σ | 0.000 | | min | 1639.000 | | max | 1639.000 |
| | mean | 2.129 | | σ | 0.162 | | min | 2.007 | | max | 2.396 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.712 | | σ | 0.062 | | min | 1857.643 | | max | 1857.789 |
| | mean | 1785.400 | | σ | 149.783 | | min | 1639.000 | | max | 1939.000 |
| | mean | 2.939 | | σ | 0.084 | | min | 2.851 | | max | 3.059 |
|