iters=5 new-facts=1 prior-facts=1 | | mean | 275.565 | | σ | 0.006 | | min | 275.559 | | max | 275.573 |
| | mean | 2843.000 | | σ | 0.000 | | min | 2843.000 | | max | 2843.000 |
| | mean | 0.387 | | σ | 0.002 | | min | 0.384 | | max | 0.389 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.090 | | σ | 0.022 | | min | 2168.059 | | max | 2168.117 |
| | mean | 2843.000 | | σ | 0.000 | | min | 2843.000 | | max | 2843.000 |
| | mean | 2.844 | | σ | 0.129 | | min | 2.673 | | max | 2.995 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.949 | | σ | 0.923 | | min | 5047.372 | | max | 5049.590 |
| | mean | 2843.000 | | σ | 0.000 | | min | 2843.000 | | max | 2843.000 |
| | mean | 8.872 | | σ | 0.641 | | min | 8.091 | | max | 9.533 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.048 | | σ | 0.095 | | min | 5178.958 | | max | 5179.154 |
| | mean | 3283.000 | | σ | 392.859 | | min | 2843.000 | | max | 3848.000 |
| | mean | 9.712 | | σ | 0.588 | | min | 8.795 | | max | 10.177 |
|