iters=5 new-facts=1 prior-facts=1 | | mean | 285.029 | | σ | 0.037 | | min | 284.986 | | max | 285.071 |
| | mean | 1527.000 | | σ | 0.000 | | min | 1527.000 | | max | 1527.000 |
| | mean | 0.395 | | σ | 0.007 | | min | 0.386 | | max | 0.400 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.424 | | σ | 0.126 | | min | 1295.296 | | max | 1295.597 |
| | mean | 1527.000 | | σ | 0.000 | | min | 1527.000 | | max | 1527.000 |
| | mean | 1.937 | | σ | 0.145 | | min | 1.757 | | max | 2.158 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.525 | | σ | 6.855 | | min | 1536.209 | | max | 1551.781 |
| | mean | 1527.000 | | σ | 0.000 | | min | 1527.000 | | max | 1527.000 |
| | mean | 2.309 | | σ | 0.212 | | min | 1.975 | | max | 2.555 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.319 | | σ | 0.068 | | min | 1857.234 | | max | 1857.410 |
| | mean | 1751.400 | | σ | 167.549 | | min | 1527.000 | | max | 1911.000 |
| | mean | 3.041 | | σ | 0.238 | | min | 2.831 | | max | 3.446 |
|