iters=5 new-facts=1 prior-facts=1 | | mean | 274.418 | | σ | 0.009 | | min | 274.405 | | max | 274.430 |
| | mean | 2601.000 | | σ | 0.000 | | min | 2601.000 | | max | 2601.000 |
| | mean | 0.405 | | σ | 0.000 | | min | 0.404 | | max | 0.405 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2264.667 | | σ | 0.008 | | min | 2264.658 | | max | 2264.677 |
| | mean | 2601.000 | | σ | 0.000 | | min | 2601.000 | | max | 2601.000 |
| | mean | 2.881 | | σ | 0.103 | | min | 2.759 | | max | 3.018 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4951.748 | | σ | 0.862 | | min | 4951.303 | | max | 4953.281 |
| | mean | 2601.000 | | σ | 0.000 | | min | 2601.000 | | max | 2601.000 |
| | mean | 8.133 | | σ | 0.291 | | min | 7.793 | | max | 8.583 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.396 | | σ | 0.201 | | min | 5166.062 | | max | 5166.562 |
| | mean | 3355.800 | | σ | 453.392 | | min | 2753.000 | | max | 3955.000 |
| | mean | 9.219 | | σ | 0.296 | | min | 8.843 | | max | 9.603 |
|