iters=5 new-facts=1 prior-facts=1 | | mean | 303.791 | | σ | 0.051 | | min | 303.715 | | max | 303.845 |
| | mean | 1643.000 | | σ | 0.000 | | min | 1643.000 | | max | 1643.000 |
| | mean | 0.393 | | σ | 0.007 | | min | 0.390 | | max | 0.407 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1326.336 | | σ | 0.112 | | min | 1326.196 | | max | 1326.471 |
| | mean | 1643.000 | | σ | 0.000 | | min | 1643.000 | | max | 1643.000 |
| | mean | 1.947 | | σ | 0.108 | | min | 1.825 | | max | 2.040 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1564.423 | | σ | 6.887 | | min | 1561.165 | | max | 1576.739 |
| | mean | 1643.000 | | σ | 0.000 | | min | 1643.000 | | max | 1643.000 |
| | mean | 2.380 | | σ | 0.259 | | min | 2.076 | | max | 2.681 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1894.283 | | σ | 0.071 | | min | 1894.158 | | max | 1894.329 |
| | mean | 1790.000 | | σ | 166.220 | | min | 1643.000 | | max | 2022.000 |
| | mean | 3.057 | | σ | 0.137 | | min | 2.847 | | max | 3.204 |
|