iters=5 new-facts=1 prior-facts=1 | | mean | 297.312 | | σ | 0.013 | | min | 297.291 | | max | 297.327 |
| | mean | 1518.000 | | σ | 0.000 | | min | 1518.000 | | max | 1518.000 |
| | mean | 0.391 | | σ | 0.006 | | min | 0.387 | | max | 0.402 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1299.003 | | σ | 0.090 | | min | 1298.845 | | max | 1299.066 |
| | mean | 1518.000 | | σ | 0.000 | | min | 1518.000 | | max | 1518.000 |
| | mean | 1.972 | | σ | 0.084 | | min | 1.853 | | max | 2.076 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1719.175 | | σ | 6.942 | | min | 1715.977 | | max | 1731.590 |
| | mean | 1518.000 | | σ | 0.000 | | min | 1518.000 | | max | 1518.000 |
| | mean | 3.112 | | σ | 0.475 | | min | 2.730 | | max | 3.916 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1981.941 | | σ | 0.022 | | min | 1981.910 | | max | 1981.969 |
| | mean | 1738.000 | | σ | 177.979 | | min | 1518.000 | | max | 1976.000 |
| | mean | 3.129 | | σ | 0.039 | | min | 3.093 | | max | 3.193 |
|