iters=5 new-facts=1 prior-facts=1 | | mean | 294.668 | | σ | 0.022 | | min | 294.635 | | max | 294.688 |
| | mean | 1653.000 | | σ | 0.000 | | min | 1653.000 | | max | 1653.000 |
| | mean | 0.390 | | σ | 0.009 | | min | 0.381 | | max | 0.400 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1316.941 | | σ | 0.105 | | min | 1316.885 | | max | 1317.129 |
| | mean | 1653.000 | | σ | 0.000 | | min | 1653.000 | | max | 1653.000 |
| | mean | 2.025 | | σ | 0.118 | | min | 1.890 | | max | 2.166 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1555.311 | | σ | 6.827 | | min | 1552.005 | | max | 1567.518 |
| | mean | 1653.000 | | σ | 0.000 | | min | 1653.000 | | max | 1653.000 |
| | mean | 2.307 | | σ | 0.104 | | min | 2.162 | | max | 2.424 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1884.782 | | σ | 0.022 | | min | 1884.757 | | max | 1884.816 |
| | mean | 1792.800 | | σ | 151.724 | | min | 1653.000 | | max | 1953.000 |
| | mean | 3.178 | | σ | 0.386 | | min | 2.895 | | max | 3.855 |
|