iters=5 new-facts=1 prior-facts=1 | | mean | 285.439 | | σ | 0.009 | | min | 285.429 | | max | 285.449 |
| | mean | 1529.000 | | σ | 0.000 | | min | 1529.000 | | max | 1529.000 |
| | mean | 0.382 | | σ | 0.008 | | min | 0.376 | | max | 0.393 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.507 | | σ | 0.084 | | min | 1285.363 | | max | 1285.567 |
| | mean | 1529.000 | | σ | 0.000 | | min | 1529.000 | | max | 1529.000 |
| | mean | 1.969 | | σ | 0.244 | | min | 1.814 | | max | 2.400 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1705.838 | | σ | 6.862 | | min | 1702.657 | | max | 1718.109 |
| | mean | 1529.000 | | σ | 0.000 | | min | 1529.000 | | max | 1529.000 |
| | mean | 2.911 | | σ | 0.293 | | min | 2.544 | | max | 3.305 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1968.448 | | σ | 0.014 | | min | 1968.435 | | max | 1968.464 |
| | mean | 1849.400 | | σ | 229.391 | | min | 1565.000 | | max | 2127.000 |
| | mean | 3.279 | | σ | 0.108 | | min | 3.169 | | max | 3.431 |
|