iters=5 new-facts=1 prior-facts=1 | | mean | 277.697 | | σ | 0.011 | | min | 277.685 | | max | 277.711 |
| | mean | 2638.000 | | σ | 0.000 | | min | 2638.000 | | max | 2638.000 |
| | mean | 0.408 | | σ | 0.002 | | min | 0.406 | | max | 0.410 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2267.868 | | σ | 0.002 | | min | 2267.865 | | max | 2267.870 |
| | mean | 2638.000 | | σ | 0.000 | | min | 2638.000 | | max | 2638.000 |
| | mean | 3.016 | | σ | 0.263 | | min | 2.678 | | max | 3.265 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4951.129 | | σ | 0.503 | | min | 4950.844 | | max | 4952.016 |
| | mean | 2638.000 | | σ | 0.000 | | min | 2638.000 | | max | 2638.000 |
| | mean | 8.027 | | σ | 0.273 | | min | 7.760 | | max | 8.474 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5165.969 | | σ | 0.082 | | min | 5165.900 | | max | 5166.059 |
| | mean | 3398.000 | | σ | 453.544 | | min | 2864.000 | | max | 4066.000 |
| | mean | 9.167 | | σ | 0.298 | | min | 8.898 | | max | 9.669 |
|