iters=5 new-facts=1 prior-facts=1 | | mean | 285.248 | | σ | 0.043 | | min | 285.187 | | max | 285.289 |
| | mean | 1650.000 | | σ | 0.000 | | min | 1650.000 | | max | 1650.000 |
| | mean | 0.403 | | σ | 0.009 | | min | 0.392 | | max | 0.411 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.198 | | σ | 0.112 | | min | 1295.080 | | max | 1295.338 |
| | mean | 1650.000 | | σ | 0.000 | | min | 1650.000 | | max | 1650.000 |
| | mean | 1.914 | | σ | 0.090 | | min | 1.816 | | max | 2.015 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1538.078 | | σ | 4.047 | | min | 1536.047 | | max | 1545.309 |
| | mean | 1650.000 | | σ | 0.000 | | min | 1650.000 | | max | 1650.000 |
| | mean | 2.257 | | σ | 0.208 | | min | 2.022 | | max | 2.448 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.100 | | σ | 0.056 | | min | 1857.040 | | max | 1857.163 |
| | mean | 1775.200 | | σ | 128.712 | | min | 1650.000 | | max | 1907.000 |
| | mean | 3.016 | | σ | 0.122 | | min | 2.877 | | max | 3.200 |
|