iters=5 new-facts=1 prior-facts=1 | | mean | 278.678 | | σ | 0.012 | | min | 278.661 | | max | 278.693 |
| | mean | 2660.000 | | σ | 0.000 | | min | 2660.000 | | max | 2660.000 |
| | mean | 0.419 | | σ | 0.001 | | min | 0.418 | | max | 0.420 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.848 | | σ | 0.010 | | min | 2268.835 | | max | 2268.858 |
| | mean | 2660.000 | | σ | 0.000 | | min | 2660.000 | | max | 2660.000 |
| | mean | 2.967 | | σ | 0.144 | | min | 2.889 | | max | 3.223 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.232 | | σ | 0.763 | | min | 4951.709 | | max | 4953.578 |
| | mean | 2660.000 | | σ | 0.000 | | min | 2660.000 | | max | 2660.000 |
| | mean | 7.903 | | σ | 0.317 | | min | 7.709 | | max | 8.455 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.953 | | σ | 0.082 | | min | 5166.885 | | max | 5167.043 |
| | mean | 3381.200 | | σ | 480.715 | | min | 2723.000 | | max | 3983.000 |
| | mean | 9.379 | | σ | 0.327 | | min | 9.030 | | max | 9.769 |
|