iters=5 new-facts=1 prior-facts=1 | | mean | 273.582 | | σ | 0.007 | | min | 273.573 | | max | 273.589 |
| | mean | 2836.000 | | σ | 0.000 | | min | 2836.000 | | max | 2836.000 |
| | mean | 0.388 | | σ | 0.004 | | min | 0.385 | | max | 0.394 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1934.006 | | σ | 0.016 | | min | 1933.982 | | max | 1934.028 |
| | mean | 2836.000 | | σ | 0.000 | | min | 2836.000 | | max | 2836.000 |
| | mean | 2.847 | | σ | 0.254 | | min | 2.496 | | max | 3.139 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.790 | | σ | 0.827 | | min | 4754.331 | | max | 4756.261 |
| | mean | 2836.000 | | σ | 0.000 | | min | 2836.000 | | max | 2836.000 |
| | mean | 8.291 | | σ | 0.388 | | min | 7.929 | | max | 8.782 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.157 | | σ | 0.163 | | min | 4944.867 | | max | 4945.249 |
| | mean | 3059.200 | | σ | 259.525 | | min | 2836.000 | | max | 3428.000 |
| | mean | 8.427 | | σ | 0.074 | | min | 8.359 | | max | 8.536 |
|