iters=5 new-facts=1 prior-facts=1 | | mean | 275.564 | | σ | 0.007 | | min | 275.555 | | max | 275.573 |
| | mean | 2469.000 | | σ | 0.000 | | min | 2469.000 | | max | 2469.000 |
| | mean | 0.393 | | σ | 0.010 | | min | 0.384 | | max | 0.405 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.086 | | σ | 0.019 | | min | 2168.068 | | max | 2168.114 |
| | mean | 2469.000 | | σ | 0.000 | | min | 2469.000 | | max | 2469.000 |
| | mean | 2.835 | | σ | 0.078 | | min | 2.749 | | max | 2.952 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.684 | | σ | 1.157 | | min | 5046.329 | | max | 5049.525 |
| | mean | 2469.000 | | σ | 0.000 | | min | 2469.000 | | max | 2469.000 |
| | mean | 8.931 | | σ | 0.401 | | min | 8.510 | | max | 9.464 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.042 | | σ | 0.073 | | min | 5178.971 | | max | 5179.123 |
| | mean | 3134.000 | | σ | 472.701 | | min | 2564.000 | | max | 3741.000 |
| | mean | 9.922 | | σ | 0.356 | | min | 9.504 | | max | 10.455 |
|