iters=5 new-facts=1 prior-facts=1 | | mean | 324.707 | | σ | 0.045 | | min | 324.627 | | max | 324.735 |
| | mean | 2449.000 | | σ | 0.000 | | min | 2449.000 | | max | 2449.000 |
| | mean | 0.428 | | σ | 0.007 | | min | 0.424 | | max | 0.441 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.258 | | σ | 0.013 | | min | 1985.244 | | max | 1985.272 |
| | mean | 2449.000 | | σ | 0.000 | | min | 2449.000 | | max | 2449.000 |
| | mean | 2.692 | | σ | 0.136 | | min | 2.547 | | max | 2.876 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.663 | | σ | 7.782 | | min | 4804.760 | | max | 4822.568 |
| | mean | 2449.000 | | σ | 0.000 | | min | 2449.000 | | max | 2449.000 |
| | mean | 8.570 | | σ | 0.627 | | min | 7.878 | | max | 9.477 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.456 | | σ | 0.019 | | min | 4996.430 | | max | 4996.478 |
| | mean | 2943.200 | | σ | 446.030 | | min | 2449.000 | | max | 3546.000 |
| | mean | 8.504 | | σ | 0.111 | | min | 8.431 | | max | 8.700 |
|