iters=5 new-facts=1 prior-facts=1 | | mean | 294.681 | | σ | 0.016 | | min | 294.660 | | max | 294.706 |
| | mean | 1659.000 | | σ | 0.000 | | min | 1659.000 | | max | 1659.000 |
| | mean | 0.385 | | σ | 0.007 | | min | 0.380 | | max | 0.396 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1316.940 | | σ | 0.097 | | min | 1316.891 | | max | 1317.114 |
| | mean | 1659.000 | | σ | 0.000 | | min | 1659.000 | | max | 1659.000 |
| | mean | 1.945 | | σ | 0.084 | | min | 1.858 | | max | 2.034 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1555.289 | | σ | 6.866 | | min | 1551.994 | | max | 1567.566 |
| | mean | 1659.000 | | σ | 0.000 | | min | 1659.000 | | max | 1659.000 |
| | mean | 2.314 | | σ | 0.247 | | min | 2.108 | | max | 2.725 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1884.777 | | σ | 0.025 | | min | 1884.750 | | max | 1884.818 |
| | mean | 1800.400 | | σ | 166.844 | | min | 1659.000 | | max | 2044.000 |
| | mean | 3.072 | | σ | 0.256 | | min | 2.897 | | max | 3.516 |
|