iters=5 new-facts=1 prior-facts=1 | | mean | 277.713 | | σ | 0.011 | | min | 277.697 | | max | 277.726 |
| | mean | 2670.000 | | σ | 0.000 | | min | 2670.000 | | max | 2670.000 |
| | mean | 0.411 | | σ | 0.001 | | min | 0.410 | | max | 0.413 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2267.889 | | σ | 0.008 | | min | 2267.879 | | max | 2267.899 |
| | mean | 2670.000 | | σ | 0.000 | | min | 2670.000 | | max | 2670.000 |
| | mean | 3.123 | | σ | 0.249 | | min | 2.833 | | max | 3.360 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.833 | | σ | 0.978 | | min | 4954.125 | | max | 4956.522 |
| | mean | 2670.000 | | σ | 0.000 | | min | 2670.000 | | max | 2670.000 |
| | mean | 7.860 | | σ | 0.203 | | min | 7.628 | | max | 8.175 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5169.649 | | σ | 0.215 | | min | 5169.356 | | max | 5169.853 |
| | mean | 3374.400 | | σ | 516.792 | | min | 2910.000 | | max | 4113.000 |
| | mean | 9.367 | | σ | 0.083 | | min | 9.289 | | max | 9.502 |
|