iters=5 new-facts=1 prior-facts=1 | | mean | 303.792 | | σ | 0.048 | | min | 303.720 | | max | 303.841 |
| | mean | 1628.000 | | σ | 0.000 | | min | 1628.000 | | max | 1628.000 |
| | mean | 0.391 | | σ | 0.001 | | min | 0.389 | | max | 0.392 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1326.336 | | σ | 0.114 | | min | 1326.197 | | max | 1326.476 |
| | mean | 1628.000 | | σ | 0.000 | | min | 1628.000 | | max | 1628.000 |
| | mean | 1.926 | | σ | 0.080 | | min | 1.835 | | max | 2.021 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1564.401 | | σ | 6.884 | | min | 1561.118 | | max | 1576.710 |
| | mean | 1628.000 | | σ | 0.000 | | min | 1628.000 | | max | 1628.000 |
| | mean | 2.311 | | σ | 0.194 | | min | 2.060 | | max | 2.547 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1894.285 | | σ | 0.072 | | min | 1894.159 | | max | 1894.326 |
| | mean | 1781.600 | | σ | 172.570 | | min | 1628.000 | | max | 2021.000 |
| | mean | 3.129 | | σ | 0.236 | | min | 2.883 | | max | 3.499 |
|