iters=5 new-facts=1 prior-facts=1 | | mean | 285.365 | | σ | 0.038 | | min | 285.310 | | max | 285.401 |
| | mean | 1652.000 | | σ | 0.000 | | min | 1652.000 | | max | 1652.000 |
| | mean | 0.391 | | σ | 0.009 | | min | 0.381 | | max | 0.404 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.745 | | σ | 0.113 | | min | 1295.625 | | max | 1295.883 |
| | mean | 1652.000 | | σ | 0.000 | | min | 1652.000 | | max | 1652.000 |
| | mean | 1.900 | | σ | 0.081 | | min | 1.806 | | max | 1.975 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.900 | | σ | 6.853 | | min | 1536.612 | | max | 1552.154 |
| | mean | 1652.000 | | σ | 0.000 | | min | 1652.000 | | max | 1652.000 |
| | mean | 2.360 | | σ | 0.233 | | min | 2.009 | | max | 2.564 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.657 | | σ | 0.070 | | min | 1857.570 | | max | 1857.751 |
| | mean | 1778.200 | | σ | 120.082 | | min | 1652.000 | | max | 1897.000 |
| | mean | 2.985 | | σ | 0.108 | | min | 2.841 | | max | 3.086 |
|