iters=5 new-facts=1 prior-facts=1 | | mean | 348.778 | | σ | 0.062 | | min | 348.667 | | max | 348.810 |
| | mean | 2506.000 | | σ | 0.000 | | min | 2506.000 | | max | 2506.000 |
| | mean | 0.457 | | σ | 0.009 | | min | 0.452 | | max | 0.474 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2009.248 | | σ | 0.004 | | min | 2009.244 | | max | 2009.253 |
| | mean | 2506.000 | | σ | 0.000 | | min | 2506.000 | | max | 2506.000 |
| | mean | 2.935 | | σ | 0.095 | | min | 2.819 | | max | 3.063 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4833.011 | | σ | 7.725 | | min | 4829.435 | | max | 4846.830 |
| | mean | 2506.000 | | σ | 0.000 | | min | 2506.000 | | max | 2506.000 |
| | mean | 8.513 | | σ | 0.514 | | min | 7.815 | | max | 9.152 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5020.352 | | σ | 0.315 | | min | 5019.874 | | max | 5020.592 |
| | mean | 3000.600 | | σ | 393.170 | | min | 2506.000 | | max | 3518.000 |
| | mean | 8.872 | | σ | 0.317 | | min | 8.614 | | max | 9.229 |
|