iters=5 new-facts=1 prior-facts=1 | | mean | 271.646 | | σ | 0.010 | | min | 271.635 | | max | 271.657 |
| | mean | 2474.000 | | σ | 0.000 | | min | 2474.000 | | max | 2474.000 |
| | mean | 0.382 | | σ | 0.005 | | min | 0.376 | | max | 0.388 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.098 | | σ | 0.018 | | min | 1932.081 | | max | 1932.122 |
| | mean | 2474.000 | | σ | 0.000 | | min | 2474.000 | | max | 2474.000 |
| | mean | 2.675 | | σ | 0.133 | | min | 2.495 | | max | 2.844 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.237 | | σ | 1.139 | | min | 4751.158 | | max | 4754.147 |
| | mean | 2474.000 | | σ | 0.000 | | min | 2474.000 | | max | 2474.000 |
| | mean | 8.864 | | σ | 0.568 | | min | 7.919 | | max | 9.382 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4942.981 | | σ | 0.205 | | min | 4942.646 | | max | 4943.154 |
| | mean | 3050.400 | | σ | 393.546 | | min | 2493.000 | | max | 3408.000 |
| | mean | 8.622 | | σ | 0.107 | | min | 8.455 | | max | 8.752 |
|