iters=5 new-facts=1 prior-facts=1 | | mean | 294.681 | | σ | 0.015 | | min | 294.659 | | max | 294.702 |
| | mean | 1652.000 | | σ | 0.000 | | min | 1652.000 | | max | 1652.000 |
| | mean | 0.383 | | σ | 0.002 | | min | 0.381 | | max | 0.386 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1316.950 | | σ | 0.094 | | min | 1316.876 | | max | 1317.112 |
| | mean | 1652.000 | | σ | 0.000 | | min | 1652.000 | | max | 1652.000 |
| | mean | 1.959 | | σ | 0.081 | | min | 1.845 | | max | 2.055 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1555.290 | | σ | 6.869 | | min | 1551.959 | | max | 1567.571 |
| | mean | 1652.000 | | σ | 0.000 | | min | 1652.000 | | max | 1652.000 |
| | mean | 2.262 | | σ | 0.195 | | min | 2.124 | | max | 2.599 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1884.781 | | σ | 0.023 | | min | 1884.767 | | max | 1884.822 |
| | mean | 1777.800 | | σ | 132.319 | | min | 1652.000 | | max | 1969.000 |
| | mean | 2.946 | | σ | 0.083 | | min | 2.841 | | max | 3.050 |
|