iters=5 new-facts=1 prior-facts=1 | | mean | 275.759 | | σ | 0.013 | | min | 275.747 | | max | 275.778 |
| | mean | 2647.000 | | σ | 0.000 | | min | 2647.000 | | max | 2647.000 |
| | mean | 0.410 | | σ | 0.017 | | min | 0.394 | | max | 0.434 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.292 | | σ | 0.004 | | min | 2168.289 | | max | 2168.300 |
| | mean | 2647.000 | | σ | 0.000 | | min | 2647.000 | | max | 2647.000 |
| | mean | 3.014 | | σ | 0.163 | | min | 2.782 | | max | 3.235 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.865 | | σ | 0.402 | | min | 5047.585 | | max | 5048.562 |
| | mean | 2647.000 | | σ | 0.000 | | min | 2647.000 | | max | 2647.000 |
| | mean | 8.909 | | σ | 0.531 | | min | 8.034 | | max | 9.453 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.225 | | σ | 0.085 | | min | 5179.134 | | max | 5179.313 |
| | mean | 3212.800 | | σ | 382.877 | | min | 2670.000 | | max | 3687.000 |
| | mean | 9.601 | | σ | 0.574 | | min | 8.697 | | max | 10.203 |
|