iters=5 new-facts=1 prior-facts=1 | | mean | 300.697 | | σ | 0.025 | | min | 300.660 | | max | 300.726 |
| | mean | 1634.000 | | σ | 0.000 | | min | 1634.000 | | max | 1634.000 |
| | mean | 0.399 | | σ | 0.009 | | min | 0.390 | | max | 0.410 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1322.859 | | σ | 0.095 | | min | 1322.810 | | max | 1323.029 |
| | mean | 1634.000 | | σ | 0.000 | | min | 1634.000 | | max | 1634.000 |
| | mean | 1.922 | | σ | 0.124 | | min | 1.827 | | max | 2.133 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1561.314 | | σ | 6.916 | | min | 1558.008 | | max | 1573.679 |
| | mean | 1634.000 | | σ | 0.000 | | min | 1634.000 | | max | 1634.000 |
| | mean | 2.354 | | σ | 0.380 | | min | 2.068 | | max | 2.985 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1890.800 | | σ | 0.026 | | min | 1890.769 | | max | 1890.833 |
| | mean | 1769.800 | | σ | 168.152 | | min | 1634.000 | | max | 2031.000 |
| | mean | 2.931 | | σ | 0.120 | | min | 2.833 | | max | 3.141 |
|