iters=5 new-facts=1 prior-facts=1 | | mean | 300.692 | | σ | 0.036 | | min | 300.634 | | max | 300.723 |
| | mean | 1515.000 | | σ | 0.000 | | min | 1515.000 | | max | 1515.000 |
| | mean | 0.396 | | σ | 0.009 | | min | 0.387 | | max | 0.410 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1322.865 | | σ | 0.094 | | min | 1322.818 | | max | 1323.033 |
| | mean | 1515.000 | | σ | 0.000 | | min | 1515.000 | | max | 1515.000 |
| | mean | 1.903 | | σ | 0.070 | | min | 1.827 | | max | 1.989 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1561.312 | | σ | 6.875 | | min | 1558.018 | | max | 1573.605 |
| | mean | 1515.000 | | σ | 0.000 | | min | 1515.000 | | max | 1515.000 |
| | mean | 2.320 | | σ | 0.304 | | min | 1.999 | | max | 2.670 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1890.796 | | σ | 0.023 | | min | 1890.765 | | max | 1890.827 |
| | mean | 1732.600 | | σ | 213.573 | | min | 1515.000 | | max | 2034.000 |
| | mean | 2.935 | | σ | 0.118 | | min | 2.867 | | max | 3.144 |
|