iters=5 new-facts=1 prior-facts=1 | | mean | 326.573 | | σ | 0.052 | | min | 326.482 | | max | 326.614 |
| | mean | 2648.000 | | σ | 0.000 | | min | 2648.000 | | max | 2648.000 |
| | mean | 0.429 | | σ | 0.007 | | min | 0.425 | | max | 0.441 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.726 | | σ | 0.019 | | min | 1988.704 | | max | 1988.754 |
| | mean | 2648.000 | | σ | 0.000 | | min | 2648.000 | | max | 2648.000 |
| | mean | 2.841 | | σ | 0.284 | | min | 2.607 | | max | 3.330 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.603 | | σ | 7.726 | | min | 4810.079 | | max | 4827.422 |
| | mean | 2648.000 | | σ | 0.000 | | min | 2648.000 | | max | 2648.000 |
| | mean | 8.766 | | σ | 0.471 | | min | 8.016 | | max | 9.241 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.074 | | σ | 0.176 | | min | 5000.760 | | max | 5001.168 |
| | mean | 3035.400 | | σ | 318.069 | | min | 2648.000 | | max | 3338.000 |
| | mean | 9.601 | | σ | 0.534 | | min | 8.817 | | max | 10.312 |
|