iters=5 new-facts=1 prior-facts=1 | | mean | 285.024 | | σ | 0.035 | | min | 284.979 | | max | 285.061 |
| | mean | 1509.000 | | σ | 0.000 | | min | 1509.000 | | max | 1509.000 |
| | mean | 0.398 | | σ | 0.006 | | min | 0.391 | | max | 0.407 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.413 | | σ | 0.116 | | min | 1295.298 | | max | 1295.558 |
| | mean | 1509.000 | | σ | 0.000 | | min | 1509.000 | | max | 1509.000 |
| | mean | 1.921 | | σ | 0.120 | | min | 1.806 | | max | 2.070 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.525 | | σ | 6.844 | | min | 1536.191 | | max | 1551.761 |
| | mean | 1509.000 | | σ | 0.000 | | min | 1509.000 | | max | 1509.000 |
| | mean | 2.289 | | σ | 0.296 | | min | 1.898 | | max | 2.585 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.309 | | σ | 0.062 | | min | 1857.253 | | max | 1857.390 |
| | mean | 1738.000 | | σ | 215.485 | | min | 1509.000 | | max | 2032.000 |
| | mean | 2.860 | | σ | 0.095 | | min | 2.722 | | max | 2.954 |
|