iters=5 new-facts=1 prior-facts=1 | | mean | 300.698 | | σ | 0.021 | | min | 300.669 | | max | 300.722 |
| | mean | 1633.000 | | σ | 0.000 | | min | 1633.000 | | max | 1633.000 |
| | mean | 0.396 | | σ | 0.008 | | min | 0.388 | | max | 0.407 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1322.864 | | σ | 0.105 | | min | 1322.802 | | max | 1323.051 |
| | mean | 1633.000 | | σ | 0.000 | | min | 1633.000 | | max | 1633.000 |
| | mean | 1.856 | | σ | 0.063 | | min | 1.796 | | max | 1.943 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1561.297 | | σ | 6.863 | | min | 1557.955 | | max | 1573.566 |
| | mean | 1633.000 | | σ | 0.000 | | min | 1633.000 | | max | 1633.000 |
| | mean | 2.331 | | σ | 0.261 | | min | 2.067 | | max | 2.689 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1890.803 | | σ | 0.034 | | min | 1890.782 | | max | 1890.863 |
| | mean | 1779.400 | | σ | 163.725 | | min | 1633.000 | | max | 2034.000 |
| | mean | 2.916 | | σ | 0.083 | | min | 2.798 | | max | 2.996 |
|