iters=5 new-facts=1 prior-facts=1 | | mean | 285.412 | | σ | 0.011 | | min | 285.396 | | max | 285.425 |
| | mean | 1638.000 | | σ | 0.000 | | min | 1638.000 | | max | 1638.000 |
| | mean | 0.381 | | σ | 0.010 | | min | 0.373 | | max | 0.396 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.374 | | σ | 0.136 | | min | 1285.308 | | max | 1285.618 |
| | mean | 1638.000 | | σ | 0.000 | | min | 1638.000 | | max | 1638.000 |
| | mean | 1.884 | | σ | 0.068 | | min | 1.819 | | max | 1.999 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.712 | | σ | 7.005 | | min | 1804.367 | | max | 1820.228 |
| | mean | 1638.000 | | σ | 0.000 | | min | 1638.000 | | max | 1638.000 |
| | mean | 4.162 | | σ | 0.159 | | min | 3.954 | | max | 4.400 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.193 | | σ | 0.009 | | min | 2070.184 | | max | 2070.206 |
| | mean | 1847.000 | | σ | 174.244 | | min | 1638.000 | | max | 2090.000 |
| | mean | 4.454 | | σ | 0.053 | | min | 4.375 | | max | 4.510 |
|