iters=5 new-facts=1 prior-facts=1 | | mean | 266.783 | | σ | 0.005 | | min | 266.776 | | max | 266.789 |
| | mean | 2848.000 | | σ | 0.000 | | min | 2848.000 | | max | 2848.000 |
| | mean | 0.366 | | σ | 0.004 | | min | 0.362 | | max | 0.373 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1927.203 | | σ | 0.019 | | min | 1927.176 | | max | 1927.227 |
| | mean | 2848.000 | | σ | 0.000 | | min | 2848.000 | | max | 2848.000 |
| | mean | 2.976 | | σ | 0.099 | | min | 2.875 | | max | 3.109 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4747.690 | | σ | 0.838 | | min | 4747.170 | | max | 4749.173 |
| | mean | 2848.000 | | σ | 0.000 | | min | 2848.000 | | max | 2848.000 |
| | mean | 8.588 | | σ | 0.520 | | min | 7.734 | | max | 9.057 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4938.162 | | σ | 0.095 | | min | 4938.079 | | max | 4938.270 |
| | mean | 3013.000 | | σ | 184.502 | | min | 2848.000 | | max | 3297.000 |
| | mean | 8.436 | | σ | 0.071 | | min | 8.355 | | max | 8.538 |
|