iters=5 new-facts=1 prior-facts=1 | | mean | 303.779 | | σ | 0.064 | | min | 303.675 | | max | 303.835 |
| | mean | 1609.000 | | σ | 0.000 | | min | 1609.000 | | max | 1609.000 |
| | mean | 0.394 | | σ | 0.008 | | min | 0.389 | | max | 0.407 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1326.328 | | σ | 0.100 | | min | 1326.200 | | max | 1326.454 |
| | mean | 1609.000 | | σ | 0.000 | | min | 1609.000 | | max | 1609.000 |
| | mean | 1.937 | | σ | 0.128 | | min | 1.818 | | max | 2.127 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1564.393 | | σ | 6.926 | | min | 1561.108 | | max | 1576.779 |
| | mean | 1609.000 | | σ | 0.000 | | min | 1609.000 | | max | 1609.000 |
| | mean | 2.353 | | σ | 0.344 | | min | 2.060 | | max | 2.745 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1894.278 | | σ | 0.065 | | min | 1894.162 | | max | 1894.315 |
| | mean | 1770.000 | | σ | 190.948 | | min | 1609.000 | | max | 2065.000 |
| | mean | 2.921 | | σ | 0.101 | | min | 2.844 | | max | 3.089 |
|