iters=5 new-facts=1 prior-facts=1 | | mean | 275.568 | | σ | 0.008 | | min | 275.559 | | max | 275.578 |
| | mean | 2642.000 | | σ | 0.000 | | min | 2642.000 | | max | 2642.000 |
| | mean | 0.397 | | σ | 0.009 | | min | 0.387 | | max | 0.409 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.093 | | σ | 0.012 | | min | 2168.078 | | max | 2168.106 |
| | mean | 2642.000 | | σ | 0.000 | | min | 2642.000 | | max | 2642.000 |
| | mean | 2.882 | | σ | 0.117 | | min | 2.687 | | max | 3.006 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.923 | | σ | 0.981 | | min | 5047.451 | | max | 5049.678 |
| | mean | 2642.000 | | σ | 0.000 | | min | 2642.000 | | max | 2642.000 |
| | mean | 8.907 | | σ | 0.555 | | min | 8.199 | | max | 9.721 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.046 | | σ | 0.083 | | min | 5178.965 | | max | 5179.144 |
| | mean | 3219.600 | | σ | 386.253 | | min | 2686.000 | | max | 3703.000 |
| | mean | 9.875 | | σ | 0.262 | | min | 9.574 | | max | 10.130 |
|