iters=5 new-facts=1 prior-facts=1 | | mean | 287.360 | | σ | 0.015 | | min | 287.335 | | max | 287.373 |
| | mean | 1632.000 | | σ | 0.000 | | min | 1632.000 | | max | 1632.000 |
| | mean | 0.378 | | σ | 0.006 | | min | 0.372 | | max | 0.386 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1287.323 | | σ | 0.132 | | min | 1287.260 | | max | 1287.559 |
| | mean | 1632.000 | | σ | 0.000 | | min | 1632.000 | | max | 1632.000 |
| | mean | 1.936 | | σ | 0.123 | | min | 1.812 | | max | 2.140 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1809.670 | | σ | 7.002 | | min | 1806.294 | | max | 1822.178 |
| | mean | 1632.000 | | σ | 0.000 | | min | 1632.000 | | max | 1632.000 |
| | mean | 4.221 | | σ | 0.193 | | min | 3.974 | | max | 4.443 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2072.165 | | σ | 0.021 | | min | 2072.153 | | max | 2072.203 |
| | mean | 1837.000 | | σ | 171.971 | | min | 1632.000 | | max | 2074.000 |
| | mean | 4.917 | | σ | 0.052 | | min | 4.837 | | max | 4.978 |
|