iters=5 new-facts=1 prior-facts=1 | | mean | 303.515 | | σ | 0.045 | | min | 303.447 | | max | 303.561 |
| | mean | 1630.000 | | σ | 0.000 | | min | 1630.000 | | max | 1630.000 |
| | mean | 0.389 | | σ | 0.002 | | min | 0.388 | | max | 0.392 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1326.051 | | σ | 0.100 | | min | 1325.926 | | max | 1326.183 |
| | mean | 1630.000 | | σ | 0.000 | | min | 1630.000 | | max | 1630.000 |
| | mean | 1.913 | | σ | 0.109 | | min | 1.817 | | max | 2.077 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1564.127 | | σ | 6.909 | | min | 1560.840 | | max | 1576.482 |
| | mean | 1630.000 | | σ | 0.000 | | min | 1630.000 | | max | 1630.000 |
| | mean | 2.360 | | σ | 0.325 | | min | 2.067 | | max | 2.745 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1894.004 | | σ | 0.069 | | min | 1893.882 | | max | 1894.045 |
| | mean | 1771.800 | | σ | 171.862 | | min | 1630.000 | | max | 2035.000 |
| | mean | 2.904 | | σ | 0.035 | | min | 2.878 | | max | 2.963 |
|