iters=5 new-facts=1 prior-facts=1 | | mean | 266.779 | | σ | 0.009 | | min | 266.766 | | max | 266.790 |
| | mean | 2472.000 | | σ | 0.000 | | min | 2472.000 | | max | 2472.000 |
| | mean | 0.372 | | σ | 0.018 | | min | 0.364 | | max | 0.405 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1927.207 | | σ | 0.003 | | min | 1927.203 | | max | 1927.211 |
| | mean | 2472.000 | | σ | 0.000 | | min | 2472.000 | | max | 2472.000 |
| | mean | 2.998 | | σ | 0.063 | | min | 2.923 | | max | 3.093 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4747.658 | | σ | 0.862 | | min | 4746.886 | | max | 4749.135 |
| | mean | 2472.000 | | σ | 0.000 | | min | 2472.000 | | max | 2472.000 |
| | mean | 8.014 | | σ | 0.343 | | min | 7.657 | | max | 8.516 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4938.164 | | σ | 0.076 | | min | 4938.101 | | max | 4938.248 |
| | mean | 2957.200 | | σ | 438.021 | | min | 2472.000 | | max | 3545.000 |
| | mean | 8.433 | | σ | 0.133 | | min | 8.303 | | max | 8.651 |
|