iters=5 new-facts=1 prior-facts=1 | | mean | 283.476 | | σ | 0.037 | | min | 283.430 | | max | 283.514 |
| | mean | 1634.000 | | σ | 0.000 | | min | 1634.000 | | max | 1634.000 |
| | mean | 0.389 | | σ | 0.007 | | min | 0.386 | | max | 0.402 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1293.464 | | σ | 0.112 | | min | 1293.344 | | max | 1293.600 |
| | mean | 1634.000 | | σ | 0.000 | | min | 1634.000 | | max | 1634.000 |
| | mean | 1.891 | | σ | 0.082 | | min | 1.803 | | max | 1.975 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1536.321 | | σ | 4.075 | | min | 1534.278 | | max | 1543.601 |
| | mean | 1634.000 | | σ | 0.000 | | min | 1634.000 | | max | 1634.000 |
| | mean | 2.356 | | σ | 0.355 | | min | 2.034 | | max | 2.925 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1855.347 | | σ | 0.066 | | min | 1855.275 | | max | 1855.421 |
| | mean | 1776.200 | | σ | 135.491 | | min | 1634.000 | | max | 1915.000 |
| | mean | 3.259 | | σ | 0.449 | | min | 2.866 | | max | 3.751 |
|