iters=5 new-facts=1 prior-facts=1 | | mean | 275.753 | | σ | 0.014 | | min | 275.738 | | max | 275.772 |
| | mean | 2505.000 | | σ | 0.000 | | min | 2505.000 | | max | 2505.000 |
| | mean | 0.394 | | σ | 0.009 | | min | 0.387 | | max | 0.408 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.285 | | σ | 0.006 | | min | 2168.279 | | max | 2168.295 |
| | mean | 2505.000 | | σ | 0.000 | | min | 2505.000 | | max | 2505.000 |
| | mean | 2.936 | | σ | 0.127 | | min | 2.762 | | max | 3.092 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5048.042 | | σ | 1.062 | | min | 5046.944 | | max | 5049.809 |
| | mean | 2505.000 | | σ | 0.000 | | min | 2505.000 | | max | 2505.000 |
| | mean | 9.007 | | σ | 0.857 | | min | 8.064 | | max | 10.148 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.245 | | σ | 0.082 | | min | 5179.169 | | max | 5179.341 |
| | mean | 3264.200 | | σ | 378.325 | | min | 2732.000 | | max | 3726.000 |
| | mean | 10.038 | | σ | 0.192 | | min | 9.708 | | max | 10.175 |
|