iters=5 new-facts=1 prior-facts=1 | | mean | 285.412 | | σ | 0.011 | | min | 285.396 | | max | 285.422 |
| | mean | 1637.000 | | σ | 0.000 | | min | 1637.000 | | max | 1637.000 |
| | mean | 0.381 | | σ | 0.007 | | min | 0.376 | | max | 0.391 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.376 | | σ | 0.138 | | min | 1285.308 | | max | 1285.623 |
| | mean | 1637.000 | | σ | 0.000 | | min | 1637.000 | | max | 1637.000 |
| | mean | 1.857 | | σ | 0.068 | | min | 1.799 | | max | 1.968 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.682 | | σ | 7.023 | | min | 1804.316 | | max | 1820.232 |
| | mean | 1637.000 | | σ | 0.000 | | min | 1637.000 | | max | 1637.000 |
| | mean | 4.099 | | σ | 0.238 | | min | 3.807 | | max | 4.401 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.196 | | σ | 0.006 | | min | 2070.190 | | max | 2070.206 |
| | mean | 1847.000 | | σ | 174.581 | | min | 1637.000 | | max | 2090.000 |
| | mean | 4.499 | | σ | 0.096 | | min | 4.433 | | max | 4.666 |
|