iters=5 new-facts=1 prior-facts=1 | | mean | 270.227 | | σ | 0.005 | | min | 270.222 | | max | 270.235 |
| | mean | 2849.000 | | σ | 0.000 | | min | 2849.000 | | max | 2849.000 |
| | mean | 0.383 | | σ | 0.004 | | min | 0.380 | | max | 0.389 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.676 | | σ | 0.018 | | min | 1930.649 | | max | 1930.694 |
| | mean | 2849.000 | | σ | 0.000 | | min | 2849.000 | | max | 2849.000 |
| | mean | 2.555 | | σ | 0.127 | | min | 2.428 | | max | 2.744 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.186 | | σ | 0.880 | | min | 4750.707 | | max | 4752.744 |
| | mean | 2849.000 | | σ | 0.000 | | min | 2849.000 | | max | 2849.000 |
| | mean | 8.460 | | σ | 0.465 | | min | 7.843 | | max | 9.088 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.618 | | σ | 0.078 | | min | 4941.547 | | max | 4941.704 |
| | mean | 3081.400 | | σ | 308.260 | | min | 2849.000 | | max | 3560.000 |
| | mean | 8.442 | | σ | 0.096 | | min | 8.336 | | max | 8.584 |
|