iters=5 new-facts=1 prior-facts=1 | | mean | 285.411 | | σ | 0.011 | | min | 285.394 | | max | 285.425 |
| | mean | 1637.000 | | σ | 0.000 | | min | 1637.000 | | max | 1637.000 |
| | mean | 0.382 | | σ | 0.017 | | min | 0.366 | | max | 0.406 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.374 | | σ | 0.131 | | min | 1285.310 | | max | 1285.608 |
| | mean | 1637.000 | | σ | 0.000 | | min | 1637.000 | | max | 1637.000 |
| | mean | 1.981 | | σ | 0.150 | | min | 1.826 | | max | 2.149 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.712 | | σ | 7.077 | | min | 1804.327 | | max | 1820.357 |
| | mean | 1637.000 | | σ | 0.000 | | min | 1637.000 | | max | 1637.000 |
| | mean | 4.203 | | σ | 0.339 | | min | 3.898 | | max | 4.779 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.194 | | σ | 0.008 | | min | 2070.182 | | max | 2070.202 |
| | mean | 1833.400 | | σ | 173.961 | | min | 1637.000 | | max | 2070.000 |
| | mean | 4.591 | | σ | 0.289 | | min | 4.420 | | max | 5.103 |
|