iters=5 new-facts=1 prior-facts=1 | | mean | 279.512 | | σ | 0.006 | | min | 279.504 | | max | 279.522 |
| | mean | 2769.000 | | σ | 0.000 | | min | 2769.000 | | max | 2769.000 |
| | mean | 0.411 | | σ | 0.004 | | min | 0.407 | | max | 0.416 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.435 | | σ | 0.015 | | min | 2178.409 | | max | 2178.447 |
| | mean | 2769.000 | | σ | 0.000 | | min | 2769.000 | | max | 2769.000 |
| | mean | 3.401 | | σ | 0.328 | | min | 3.184 | | max | 3.983 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.381 | | σ | 0.984 | | min | 5055.799 | | max | 5058.132 |
| | mean | 2769.000 | | σ | 0.000 | | min | 2769.000 | | max | 2769.000 |
| | mean | 8.970 | | σ | 0.602 | | min | 8.096 | | max | 9.590 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.728 | | σ | 0.122 | | min | 5193.579 | | max | 5193.862 |
| | mean | 3188.000 | | σ | 430.042 | | min | 2769.000 | | max | 3797.000 |
| | mean | 8.729 | | σ | 0.109 | | min | 8.618 | | max | 8.899 |
|