iters=5 new-facts=1 prior-facts=1 | | mean | 295.146 | | σ | 0.005 | | min | 295.141 | | max | 295.154 |
| | mean | 3893.000 | | σ | 0.000 | | min | 3893.000 | | max | 3893.000 |
| | mean | 0.415 | | σ | 0.006 | | min | 0.407 | | max | 0.421 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2981.968 | | σ | 0.015 | | min | 2981.954 | | max | 2981.988 |
| | mean | 3893.000 | | σ | 0.000 | | min | 3893.000 | | max | 3893.000 |
| | mean | 3.936 | | σ | 0.088 | | min | 3.837 | | max | 4.042 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5802.744 | | σ | 1.040 | | min | 5802.171 | | max | 5804.600 |
| | mean | 3893.000 | | σ | 0.000 | | min | 3893.000 | | max | 3893.000 |
| | mean | 9.486 | | σ | 0.476 | | min | 8.712 | | max | 9.984 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 6011.247 | | σ | 0.065 | | min | 6011.156 | | max | 6011.306 |
| | mean | 3893.000 | | σ | 0.000 | | min | 3893.000 | | max | 3893.000 |
| | mean | 9.212 | | σ | 0.181 | | min | 9.030 | | max | 9.421 |
|