iters=5 new-facts=1 prior-facts=1 | | mean | 272.756 | | σ | 0.008 | | min | 272.747 | | max | 272.765 |
| | mean | 2785.000 | | σ | 0.000 | | min | 2785.000 | | max | 2785.000 |
| | mean | 0.379 | | σ | 0.001 | | min | 0.377 | | max | 0.380 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.167 | | σ | 0.020 | | min | 1933.142 | | max | 1933.190 |
| | mean | 2785.000 | | σ | 0.000 | | min | 2785.000 | | max | 2785.000 |
| | mean | 2.972 | | σ | 0.209 | | min | 2.611 | | max | 3.153 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.797 | | σ | 7.662 | | min | 4752.956 | | max | 4770.495 |
| | mean | 2785.000 | | σ | 0.000 | | min | 2785.000 | | max | 2785.000 |
| | mean | 8.835 | | σ | 0.342 | | min | 8.526 | | max | 9.300 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.324 | | σ | 0.149 | | min | 4944.060 | | max | 4944.415 |
| | mean | 3009.600 | | σ | 289.774 | | min | 2785.000 | | max | 3459.000 |
| | mean | 8.512 | | σ | 0.167 | | min | 8.407 | | max | 8.803 |
|