iters=5 new-facts=1 prior-facts=1 | | mean | 279.072 | | σ | 0.011 | | min | 279.058 | | max | 279.086 |
| | mean | 2508.000 | | σ | 0.000 | | min | 2508.000 | | max | 2508.000 |
| | mean | 0.393 | | σ | 0.012 | | min | 0.384 | | max | 0.413 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1939.507 | | σ | 0.007 | | min | 1939.494 | | max | 1939.513 |
| | mean | 2508.000 | | σ | 0.000 | | min | 2508.000 | | max | 2508.000 |
| | mean | 3.013 | | σ | 0.116 | | min | 2.879 | | max | 3.195 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4760.028 | | σ | 0.899 | | min | 4759.549 | | max | 4761.631 |
| | mean | 2508.000 | | σ | 0.000 | | min | 2508.000 | | max | 2508.000 |
| | mean | 8.355 | | σ | 0.649 | | min | 7.681 | | max | 9.271 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4950.465 | | σ | 0.074 | | min | 4950.403 | | max | 4950.546 |
| | mean | 2952.800 | | σ | 407.743 | | min | 2508.000 | | max | 3497.000 |
| | mean | 8.457 | | σ | 0.088 | | min | 8.374 | | max | 8.606 |
|