iters=5 new-facts=1 prior-facts=1 | | mean | 271.758 | | σ | 0.004 | | min | 271.752 | | max | 271.763 |
| | mean | 2896.000 | | σ | 0.000 | | min | 2896.000 | | max | 2896.000 |
| | mean | 0.382 | | σ | 0.005 | | min | 0.377 | | max | 0.390 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.180 | | σ | 0.011 | | min | 1932.163 | | max | 1932.193 |
| | mean | 2896.000 | | σ | 0.000 | | min | 2896.000 | | max | 2896.000 |
| | mean | 2.938 | | σ | 0.181 | | min | 2.629 | | max | 3.107 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.928 | | σ | 0.840 | | min | 4752.430 | | max | 4754.422 |
| | mean | 2896.000 | | σ | 0.000 | | min | 2896.000 | | max | 2896.000 |
| | mean | 8.404 | | σ | 0.460 | | min | 7.666 | | max | 8.938 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.302 | | σ | 0.182 | | min | 4942.978 | | max | 4943.395 |
| | mean | 3079.000 | | σ | 200.821 | | min | 2896.000 | | max | 3383.000 |
| | mean | 8.577 | | σ | 0.112 | | min | 8.463 | | max | 8.701 |
|