iters=5 new-facts=1 prior-facts=1 | | mean | 278.675 | | σ | 0.013 | | min | 278.659 | | max | 278.688 |
| | mean | 2607.000 | | σ | 0.000 | | min | 2607.000 | | max | 2607.000 |
| | mean | 0.423 | | σ | 0.009 | | min | 0.415 | | max | 0.437 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.846 | | σ | 0.010 | | min | 2268.832 | | max | 2268.859 |
| | mean | 2607.000 | | σ | 0.000 | | min | 2607.000 | | max | 2607.000 |
| | mean | 2.985 | | σ | 0.172 | | min | 2.825 | | max | 3.210 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.174 | | σ | 0.863 | | min | 4951.704 | | max | 4953.714 |
| | mean | 2607.000 | | σ | 0.000 | | min | 2607.000 | | max | 2607.000 |
| | mean | 7.962 | | σ | 0.274 | | min | 7.729 | | max | 8.400 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.900 | | σ | 0.027 | | min | 5166.883 | | max | 5166.948 |
| | mean | 3466.800 | | σ | 465.017 | | min | 2888.000 | | max | 4160.000 |
| | mean | 9.433 | | σ | 0.376 | | min | 9.143 | | max | 10.065 |
|