iters=5 new-facts=1 prior-facts=1 | | mean | 272.002 | | σ | 0.017 | | min | 271.988 | | max | 272.026 |
| | mean | 2768.000 | | σ | 0.000 | | min | 2768.000 | | max | 2768.000 |
| | mean | 0.394 | | σ | 0.003 | | min | 0.392 | | max | 0.400 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.437 | | σ | 0.014 | | min | 1932.427 | | max | 1932.461 |
| | mean | 2768.000 | | σ | 0.000 | | min | 2768.000 | | max | 2768.000 |
| | mean | 2.975 | | σ | 0.172 | | min | 2.687 | | max | 3.144 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.151 | | σ | 0.943 | | min | 4752.638 | | max | 4754.832 |
| | mean | 2768.000 | | σ | 0.000 | | min | 2768.000 | | max | 2768.000 |
| | mean | 8.672 | | σ | 0.553 | | min | 7.872 | | max | 9.304 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.630 | | σ | 0.017 | | min | 4943.609 | | max | 4943.650 |
| | mean | 3034.200 | | σ | 250.400 | | min | 2768.000 | | max | 3376.000 |
| | mean | 8.602 | | σ | 0.183 | | min | 8.417 | | max | 8.853 |
|