iters=5 new-facts=1 prior-facts=1 | | mean | 285.442 | | σ | 0.011 | | min | 285.421 | | max | 285.449 |
| | mean | 1650.000 | | σ | 0.000 | | min | 1650.000 | | max | 1650.000 |
| | mean | 0.382 | | σ | 0.005 | | min | 0.378 | | max | 0.391 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.507 | | σ | 0.091 | | min | 1285.357 | | max | 1285.575 |
| | mean | 1650.000 | | σ | 0.000 | | min | 1650.000 | | max | 1650.000 |
| | mean | 2.001 | | σ | 0.267 | | min | 1.798 | | max | 2.444 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1705.830 | | σ | 6.858 | | min | 1702.648 | | max | 1718.096 |
| | mean | 1650.000 | | σ | 0.000 | | min | 1650.000 | | max | 1650.000 |
| | mean | 2.988 | | σ | 0.206 | | min | 2.810 | | max | 3.270 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1968.421 | | σ | 0.033 | | min | 1968.362 | | max | 1968.443 |
| | mean | 1781.000 | | σ | 142.468 | | min | 1650.000 | | max | 1977.000 |
| | mean | 3.047 | | σ | 0.193 | | min | 2.864 | | max | 3.342 |
|