iters=5 new-facts=1 prior-facts=1 | | mean | 285.032 | | σ | 0.037 | | min | 284.980 | | max | 285.066 |
| | mean | 1514.000 | | σ | 0.000 | | min | 1514.000 | | max | 1514.000 |
| | mean | 0.396 | | σ | 0.008 | | min | 0.388 | | max | 0.407 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.411 | | σ | 0.113 | | min | 1295.286 | | max | 1295.543 |
| | mean | 1514.000 | | σ | 0.000 | | min | 1514.000 | | max | 1514.000 |
| | mean | 1.907 | | σ | 0.057 | | min | 1.850 | | max | 1.968 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.530 | | σ | 6.811 | | min | 1536.235 | | max | 1551.709 |
| | mean | 1514.000 | | σ | 0.000 | | min | 1514.000 | | max | 1514.000 |
| | mean | 2.282 | | σ | 0.221 | | min | 2.065 | | max | 2.635 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.318 | | σ | 0.077 | | min | 1857.221 | | max | 1857.411 |
| | mean | 1753.800 | | σ | 173.884 | | min | 1514.000 | | max | 1913.000 |
| | mean | 3.058 | | σ | 0.250 | | min | 2.798 | | max | 3.426 |
|