iters=5 new-facts=1 prior-facts=1 | | mean | 285.251 | | σ | 0.037 | | min | 285.209 | | max | 285.293 |
| | mean | 1647.000 | | σ | 0.000 | | min | 1647.000 | | max | 1647.000 |
| | mean | 0.396 | | σ | 0.012 | | min | 0.386 | | max | 0.412 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.198 | | σ | 0.110 | | min | 1295.079 | | max | 1295.330 |
| | mean | 1647.000 | | σ | 0.000 | | min | 1647.000 | | max | 1647.000 |
| | mean | 1.920 | | σ | 0.108 | | min | 1.803 | | max | 2.024 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.364 | | σ | 6.883 | | min | 1536.081 | | max | 1551.672 |
| | mean | 1647.000 | | σ | 0.000 | | min | 1647.000 | | max | 1647.000 |
| | mean | 2.262 | | σ | 0.135 | | min | 2.108 | | max | 2.442 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.107 | | σ | 0.055 | | min | 1857.051 | | max | 1857.179 |
| | mean | 1765.400 | | σ | 121.593 | | min | 1647.000 | | max | 1893.000 |
| | mean | 3.063 | | σ | 0.234 | | min | 2.846 | | max | 3.447 |
|