iters=5 new-facts=1 prior-facts=1 | | mean | 294.677 | | σ | 0.015 | | min | 294.660 | | max | 294.702 |
| | mean | 1435.000 | | σ | 0.000 | | min | 1435.000 | | max | 1435.000 |
| | mean | 0.384 | | σ | 0.006 | | min | 0.381 | | max | 0.395 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1316.943 | | σ | 0.094 | | min | 1316.889 | | max | 1317.109 |
| | mean | 1435.000 | | σ | 0.000 | | min | 1435.000 | | max | 1435.000 |
| | mean | 1.911 | | σ | 0.073 | | min | 1.847 | | max | 2.035 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1555.304 | | σ | 6.850 | | min | 1552.009 | | max | 1567.553 |
| | mean | 1435.000 | | σ | 0.000 | | min | 1435.000 | | max | 1435.000 |
| | mean | 2.335 | | σ | 0.258 | | min | 2.052 | | max | 2.616 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1884.768 | | σ | 0.024 | | min | 1884.739 | | max | 1884.796 |
| | mean | 1722.000 | | σ | 249.070 | | min | 1435.000 | | max | 2075.000 |
| | mean | 2.947 | | σ | 0.196 | | min | 2.690 | | max | 3.233 |
|