iters=5 new-facts=1 prior-facts=1 | | mean | 280.216 | | σ | 0.010 | | min | 280.202 | | max | 280.231 |
| | mean | 1650.000 | | σ | 0.000 | | min | 1650.000 | | max | 1650.000 |
| | mean | 0.371 | | σ | 0.003 | | min | 0.369 | | max | 0.376 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1280.279 | | σ | 0.131 | | min | 1280.212 | | max | 1280.514 |
| | mean | 1650.000 | | σ | 0.000 | | min | 1650.000 | | max | 1650.000 |
| | mean | 1.957 | | σ | 0.128 | | min | 1.861 | | max | 2.161 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1802.549 | | σ | 6.980 | | min | 1799.181 | | max | 1815.019 |
| | mean | 1650.000 | | σ | 0.000 | | min | 1650.000 | | max | 1650.000 |
| | mean | 4.267 | | σ | 0.166 | | min | 4.009 | | max | 4.443 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2065.009 | | σ | 0.008 | | min | 2065.000 | | max | 2065.022 |
| | mean | 1851.000 | | σ | 197.803 | | min | 1650.000 | | max | 2076.000 |
| | mean | 4.489 | | σ | 0.060 | | min | 4.412 | | max | 4.553 |
|