iters=5 new-facts=1 prior-facts=1 | | mean | 278.818 | | σ | 0.004 | | min | 278.812 | | max | 278.823 |
| | mean | 2584.000 | | σ | 0.000 | | min | 2584.000 | | max | 2584.000 |
| | mean | 0.413 | | σ | 0.006 | | min | 0.408 | | max | 0.421 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.870 | | σ | 0.013 | | min | 2268.851 | | max | 2268.882 |
| | mean | 2584.000 | | σ | 0.000 | | min | 2584.000 | | max | 2584.000 |
| | mean | 2.949 | | σ | 0.107 | | min | 2.858 | | max | 3.101 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.185 | | σ | 0.904 | | min | 4953.748 | | max | 4955.802 |
| | mean | 2584.000 | | σ | 0.000 | | min | 2584.000 | | max | 2584.000 |
| | mean | 8.378 | | σ | 0.396 | | min | 7.915 | | max | 8.827 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.791 | | σ | 0.084 | | min | 5168.718 | | max | 5168.884 |
| | mean | 3471.800 | | σ | 493.620 | | min | 2836.000 | | max | 4168.000 |
| | mean | 9.487 | | σ | 0.342 | | min | 9.009 | | max | 9.921 |
|