iters=5 new-facts=1 prior-facts=1 | | mean | 270.239 | | σ | 0.004 | | min | 270.232 | | max | 270.242 |
| | mean | 2474.000 | | σ | 0.000 | | min | 2474.000 | | max | 2474.000 |
| | mean | 0.382 | | σ | 0.008 | | min | 0.377 | | max | 0.396 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.698 | | σ | 0.014 | | min | 1930.682 | | max | 1930.715 |
| | mean | 2474.000 | | σ | 0.000 | | min | 2474.000 | | max | 2474.000 |
| | mean | 2.525 | | σ | 0.108 | | min | 2.373 | | max | 2.638 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.184 | | σ | 1.100 | | min | 4750.336 | | max | 4753.066 |
| | mean | 2474.000 | | σ | 0.000 | | min | 2474.000 | | max | 2474.000 |
| | mean | 8.499 | | σ | 0.589 | | min | 7.622 | | max | 9.145 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.869 | | σ | 0.016 | | min | 4941.852 | | max | 4941.887 |
| | mean | 3011.000 | | σ | 313.172 | | min | 2596.000 | | max | 3414.000 |
| | mean | 8.549 | | σ | 0.138 | | min | 8.421 | | max | 8.719 |
|