iters=5 new-facts=1 prior-facts=1 | | mean | 285.033 | | σ | 0.034 | | min | 284.988 | | max | 285.072 |
| | mean | 1631.000 | | σ | 0.000 | | min | 1631.000 | | max | 1631.000 |
| | mean | 0.399 | | σ | 0.009 | | min | 0.386 | | max | 0.409 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.423 | | σ | 0.116 | | min | 1295.287 | | max | 1295.572 |
| | mean | 1631.000 | | σ | 0.000 | | min | 1631.000 | | max | 1631.000 |
| | mean | 1.846 | | σ | 0.055 | | min | 1.794 | | max | 1.937 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.524 | | σ | 6.835 | | min | 1536.205 | | max | 1551.747 |
| | mean | 1631.000 | | σ | 0.000 | | min | 1631.000 | | max | 1631.000 |
| | mean | 2.265 | | σ | 0.251 | | min | 1.997 | | max | 2.643 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.339 | | σ | 0.053 | | min | 1857.276 | | max | 1857.398 |
| | mean | 1769.600 | | σ | 172.626 | | min | 1631.000 | | max | 2025.000 |
| | mean | 2.886 | | σ | 0.055 | | min | 2.838 | | max | 2.964 |
|