iters=5 new-facts=1 prior-facts=1 | | mean | 273.506 | | σ | 0.010 | | min | 273.494 | | max | 273.520 |
| | mean | 2860.000 | | σ | 0.000 | | min | 2860.000 | | max | 2860.000 |
| | mean | 0.376 | | σ | 0.004 | | min | 0.373 | | max | 0.382 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.900 | | σ | 0.014 | | min | 1933.882 | | max | 1933.917 |
| | mean | 2860.000 | | σ | 0.000 | | min | 2860.000 | | max | 2860.000 |
| | mean | 2.908 | | σ | 0.257 | | min | 2.467 | | max | 3.118 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.734 | | σ | 0.783 | | min | 4754.325 | | max | 4756.133 |
| | mean | 2860.000 | | σ | 0.000 | | min | 2860.000 | | max | 2860.000 |
| | mean | 7.932 | | σ | 0.316 | | min | 7.693 | | max | 8.480 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.117 | | σ | 0.024 | | min | 4945.087 | | max | 4945.150 |
| | mean | 3052.800 | | σ | 269.777 | | min | 2860.000 | | max | 3481.000 |
| | mean | 8.608 | | σ | 0.348 | | min | 8.306 | | max | 9.182 |
|