iters=5 new-facts=1 prior-facts=1 | | mean | 278.849 | | σ | 0.005 | | min | 278.845 | | max | 278.858 |
| | mean | 2736.000 | | σ | 0.000 | | min | 2736.000 | | max | 2736.000 |
| | mean | 0.410 | | σ | 0.004 | | min | 0.407 | | max | 0.418 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.903 | | σ | 0.014 | | min | 2268.887 | | max | 2268.918 |
| | mean | 2736.000 | | σ | 0.000 | | min | 2736.000 | | max | 2736.000 |
| | mean | 2.947 | | σ | 0.164 | | min | 2.851 | | max | 3.238 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4953.928 | | σ | 1.133 | | min | 4952.871 | | max | 4955.818 |
| | mean | 2736.000 | | σ | 0.000 | | min | 2736.000 | | max | 2736.000 |
| | mean | 7.993 | | σ | 0.405 | | min | 7.668 | | max | 8.670 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.809 | | σ | 0.084 | | min | 5168.743 | | max | 5168.903 |
| | mean | 3438.600 | | σ | 490.788 | | min | 2796.000 | | max | 4086.000 |
| | mean | 9.415 | | σ | 0.270 | | min | 8.988 | | max | 9.656 |
|