iters=5 new-facts=1 prior-facts=1 | | mean | 278.697 | | σ | 0.014 | | min | 278.683 | | max | 278.718 |
| | mean | 2591.000 | | σ | 0.000 | | min | 2591.000 | | max | 2591.000 |
| | mean | 0.420 | | σ | 0.001 | | min | 0.418 | | max | 0.421 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.856 | | σ | 0.029 | | min | 2268.808 | | max | 2268.876 |
| | mean | 2591.000 | | σ | 0.000 | | min | 2591.000 | | max | 2591.000 |
| | mean | 2.950 | | σ | 0.142 | | min | 2.866 | | max | 3.202 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.186 | | σ | 0.875 | | min | 4951.710 | | max | 4953.749 |
| | mean | 2591.000 | | σ | 0.000 | | min | 2591.000 | | max | 2591.000 |
| | mean | 7.925 | | σ | 0.372 | | min | 7.566 | | max | 8.496 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.922 | | σ | 0.010 | | min | 5166.913 | | max | 5166.938 |
| | mean | 3363.600 | | σ | 467.036 | | min | 2802.000 | | max | 4036.000 |
| | mean | 9.222 | | σ | 0.241 | | min | 8.960 | | max | 9.572 |
|