iters=5 new-facts=1 prior-facts=1 | | mean | 273.496 | | σ | 0.009 | | min | 273.482 | | max | 273.508 |
| | mean | 2603.000 | | σ | 0.000 | | min | 2603.000 | | max | 2603.000 |
| | mean | 0.376 | | σ | 0.007 | | min | 0.372 | | max | 0.388 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.894 | | σ | 0.009 | | min | 1933.887 | | max | 1933.909 |
| | mean | 2603.000 | | σ | 0.000 | | min | 2603.000 | | max | 2603.000 |
| | mean | 2.954 | | σ | 0.175 | | min | 2.700 | | max | 3.148 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.670 | | σ | 0.820 | | min | 4754.145 | | max | 4756.127 |
| | mean | 2603.000 | | σ | 0.000 | | min | 2603.000 | | max | 2603.000 |
| | mean | 8.538 | | σ | 0.569 | | min | 7.641 | | max | 9.095 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.977 | | σ | 0.196 | | min | 4944.743 | | max | 4945.143 |
| | mean | 3010.400 | | σ | 262.956 | | min | 2624.000 | | max | 3323.000 |
| | mean | 8.590 | | σ | 0.121 | | min | 8.442 | | max | 8.723 |
|