iters=5 new-facts=1 prior-facts=1 | | mean | 277.197 | | σ | 0.007 | | min | 277.189 | | max | 277.204 |
| | mean | 2609.000 | | σ | 0.000 | | min | 2609.000 | | max | 2609.000 |
| | mean | 0.407 | | σ | 0.009 | | min | 0.401 | | max | 0.418 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.402 | | σ | 0.052 | | min | 2174.310 | | max | 2174.434 |
| | mean | 2609.000 | | σ | 0.000 | | min | 2609.000 | | max | 2609.000 |
| | mean | 2.829 | | σ | 0.100 | | min | 2.740 | | max | 3.000 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.652 | | σ | 0.995 | | min | 5052.093 | | max | 5054.419 |
| | mean | 2609.000 | | σ | 0.000 | | min | 2609.000 | | max | 2609.000 |
| | mean | 8.642 | | σ | 0.647 | | min | 8.095 | | max | 9.707 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.347 | | σ | 0.208 | | min | 5188.005 | | max | 5188.515 |
| | mean | 3230.800 | | σ | 538.200 | | min | 2609.000 | | max | 3961.000 |
| | mean | 8.843 | | σ | 0.224 | | min | 8.625 | | max | 9.211 |
|