iters=5 new-facts=1 prior-facts=1 | | mean | 274.418 | | σ | 0.010 | | min | 274.403 | | max | 274.428 |
| | mean | 2607.000 | | σ | 0.000 | | min | 2607.000 | | max | 2607.000 |
| | mean | 0.408 | | σ | 0.001 | | min | 0.407 | | max | 0.409 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2264.639 | | σ | 0.018 | | min | 2264.624 | | max | 2264.667 |
| | mean | 2607.000 | | σ | 0.000 | | min | 2607.000 | | max | 2607.000 |
| | mean | 3.157 | | σ | 0.170 | | min | 2.937 | | max | 3.330 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4951.766 | | σ | 0.845 | | min | 4951.333 | | max | 4953.272 |
| | mean | 2607.000 | | σ | 0.000 | | min | 2607.000 | | max | 2607.000 |
| | mean | 8.098 | | σ | 0.284 | | min | 7.910 | | max | 8.597 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.399 | | σ | 0.209 | | min | 5166.052 | | max | 5166.566 |
| | mean | 3367.200 | | σ | 449.649 | | min | 2929.000 | | max | 3827.000 |
| | mean | 9.413 | | σ | 0.114 | | min | 9.221 | | max | 9.507 |
|