iters=5 new-facts=1 prior-facts=1 | | mean | 303.785 | | σ | 0.047 | | min | 303.712 | | max | 303.841 |
| | mean | 1635.000 | | σ | 0.000 | | min | 1635.000 | | max | 1635.000 |
| | mean | 0.393 | | σ | 0.002 | | min | 0.391 | | max | 0.395 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1326.340 | | σ | 0.111 | | min | 1326.204 | | max | 1326.471 |
| | mean | 1635.000 | | σ | 0.000 | | min | 1635.000 | | max | 1635.000 |
| | mean | 1.937 | | σ | 0.096 | | min | 1.839 | | max | 2.038 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1564.476 | | σ | 6.870 | | min | 1561.242 | | max | 1576.761 |
| | mean | 1635.000 | | σ | 0.000 | | min | 1635.000 | | max | 1635.000 |
| | mean | 2.469 | | σ | 0.319 | | min | 2.070 | | max | 2.798 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1894.278 | | σ | 0.066 | | min | 1894.163 | | max | 1894.328 |
| | mean | 1785.200 | | σ | 171.523 | | min | 1635.000 | | max | 2026.000 |
| | mean | 3.046 | | σ | 0.123 | | min | 2.872 | | max | 3.188 |
|