iters=5 new-facts=1 prior-facts=1 | | mean | 297.308 | | σ | 0.034 | | min | 297.248 | | max | 297.332 |
| | mean | 1516.000 | | σ | 0.000 | | min | 1516.000 | | max | 1516.000 |
| | mean | 0.403 | | σ | 0.012 | | min | 0.384 | | max | 0.414 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1299.032 | | σ | 0.064 | | min | 1298.919 | | max | 1299.072 |
| | mean | 1516.000 | | σ | 0.000 | | min | 1516.000 | | max | 1516.000 |
| | mean | 2.051 | | σ | 0.284 | | min | 1.752 | | max | 2.440 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1719.197 | | σ | 6.920 | | min | 1716.007 | | max | 1731.573 |
| | mean | 1516.000 | | σ | 0.000 | | min | 1516.000 | | max | 1516.000 |
| | mean | 2.980 | | σ | 0.257 | | min | 2.760 | | max | 3.414 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1981.930 | | σ | 0.034 | | min | 1981.871 | | max | 1981.957 |
| | mean | 1800.000 | | σ | 233.327 | | min | 1536.000 | | max | 2130.000 |
| | mean | 3.300 | | σ | 0.413 | | min | 2.950 | | max | 4.011 |
|