iters=5 new-facts=1 prior-facts=1 | | mean | 303.528 | | σ | 0.046 | | min | 303.456 | | max | 303.577 |
| | mean | 1635.000 | | σ | 0.000 | | min | 1635.000 | | max | 1635.000 |
| | mean | 0.395 | | σ | 0.008 | | min | 0.391 | | max | 0.409 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1326.062 | | σ | 0.114 | | min | 1325.923 | | max | 1326.206 |
| | mean | 1635.000 | | σ | 0.000 | | min | 1635.000 | | max | 1635.000 |
| | mean | 1.899 | | σ | 0.074 | | min | 1.816 | | max | 1.989 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1564.097 | | σ | 6.901 | | min | 1560.771 | | max | 1576.436 |
| | mean | 1635.000 | | σ | 0.000 | | min | 1635.000 | | max | 1635.000 |
| | mean | 2.237 | | σ | 0.177 | | min | 2.054 | | max | 2.509 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1894.015 | | σ | 0.086 | | min | 1893.870 | | max | 1894.096 |
| | mean | 1772.200 | | σ | 167.934 | | min | 1635.000 | | max | 2036.000 |
| | mean | 3.007 | | σ | 0.198 | | min | 2.877 | | max | 3.340 |
|