iters=5 new-facts=1 prior-facts=1 | | mean | 278.673 | | σ | 0.012 | | min | 278.663 | | max | 278.693 |
| | mean | 2605.000 | | σ | 0.000 | | min | 2605.000 | | max | 2605.000 |
| | mean | 0.423 | | σ | 0.010 | | min | 0.417 | | max | 0.440 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.839 | | σ | 0.016 | | min | 2268.811 | | max | 2268.852 |
| | mean | 2605.000 | | σ | 0.000 | | min | 2605.000 | | max | 2605.000 |
| | mean | 2.964 | | σ | 0.119 | | min | 2.884 | | max | 3.174 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.317 | | σ | 0.868 | | min | 4951.868 | | max | 4953.866 |
| | mean | 2605.000 | | σ | 0.000 | | min | 2605.000 | | max | 2605.000 |
| | mean | 8.095 | | σ | 0.270 | | min | 7.712 | | max | 8.355 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.979 | | σ | 0.162 | | min | 5166.690 | | max | 5167.065 |
| | mean | 3421.200 | | σ | 458.573 | | min | 2779.000 | | max | 3984.000 |
| | mean | 9.268 | | σ | 0.353 | | min | 8.745 | | max | 9.718 |
|