iters=5 new-facts=1 prior-facts=1 | | mean | 278.703 | | σ | 0.014 | | min | 278.689 | | max | 278.724 |
| | mean | 2603.000 | | σ | 0.000 | | min | 2603.000 | | max | 2603.000 |
| | mean | 0.419 | | σ | 0.001 | | min | 0.418 | | max | 0.420 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.877 | | σ | 0.004 | | min | 2268.873 | | max | 2268.884 |
| | mean | 2603.000 | | σ | 0.000 | | min | 2603.000 | | max | 2603.000 |
| | mean | 2.926 | | σ | 0.067 | | min | 2.864 | | max | 3.039 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.346 | | σ | 0.868 | | min | 4951.889 | | max | 4953.894 |
| | mean | 2603.000 | | σ | 0.000 | | min | 2603.000 | | max | 2603.000 |
| | mean | 8.135 | | σ | 0.290 | | min | 7.855 | | max | 8.479 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5167.082 | | σ | 0.021 | | min | 5167.051 | | max | 5167.104 |
| | mean | 3422.400 | | σ | 455.195 | | min | 2807.000 | | max | 3993.000 |
| | mean | 9.081 | | σ | 0.296 | | min | 8.582 | | max | 9.331 |
|