iters=5 new-facts=1 prior-facts=1 | | mean | 277.197 | | σ | 0.002 | | min | 277.195 | | max | 277.201 |
| | mean | 2661.000 | | σ | 0.000 | | min | 2661.000 | | max | 2661.000 |
| | mean | 0.409 | | σ | 0.009 | | min | 0.405 | | max | 0.425 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.407 | | σ | 0.041 | | min | 2174.341 | | max | 2174.442 |
| | mean | 2661.000 | | σ | 0.000 | | min | 2661.000 | | max | 2661.000 |
| | mean | 2.896 | | σ | 0.192 | | min | 2.750 | | max | 3.110 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.596 | | σ | 0.904 | | min | 5052.069 | | max | 5054.199 |
| | mean | 2661.000 | | σ | 0.000 | | min | 2661.000 | | max | 2661.000 |
| | mean | 8.813 | | σ | 0.480 | | min | 8.151 | | max | 9.393 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.421 | | σ | 0.088 | | min | 5188.351 | | max | 5188.523 |
| | mean | 3218.800 | | σ | 481.181 | | min | 2661.000 | | max | 3872.000 |
| | mean | 8.765 | | σ | 0.175 | | min | 8.633 | | max | 9.049 |
|