iters=5 new-facts=1 prior-facts=1 | | mean | 300.693 | | σ | 0.031 | | min | 300.643 | | max | 300.721 |
| | mean | 1516.000 | | σ | 0.000 | | min | 1516.000 | | max | 1516.000 |
| | mean | 0.398 | | σ | 0.006 | | min | 0.390 | | max | 0.405 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1322.862 | | σ | 0.090 | | min | 1322.816 | | max | 1323.022 |
| | mean | 1516.000 | | σ | 0.000 | | min | 1516.000 | | max | 1516.000 |
| | mean | 1.931 | | σ | 0.106 | | min | 1.827 | | max | 2.072 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1561.398 | | σ | 6.808 | | min | 1558.188 | | max | 1573.573 |
| | mean | 1516.000 | | σ | 0.000 | | min | 1516.000 | | max | 1516.000 |
| | mean | 2.441 | | σ | 0.330 | | min | 2.058 | | max | 2.838 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1890.771 | | σ | 0.042 | | min | 1890.706 | | max | 1890.817 |
| | mean | 1729.400 | | σ | 209.748 | | min | 1516.000 | | max | 2023.000 |
| | mean | 2.873 | | σ | 0.190 | | min | 2.690 | | max | 3.170 |
|