iters=5 new-facts=1 prior-facts=1 | | mean | 300.721 | | σ | 0.020 | | min | 300.696 | | max | 300.748 |
| | mean | 1628.000 | | σ | 0.000 | | min | 1628.000 | | max | 1628.000 |
| | mean | 0.395 | | σ | 0.007 | | min | 0.389 | | max | 0.404 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1322.880 | | σ | 0.088 | | min | 1322.837 | | max | 1323.038 |
| | mean | 1628.000 | | σ | 0.000 | | min | 1628.000 | | max | 1628.000 |
| | mean | 1.882 | | σ | 0.085 | | min | 1.762 | | max | 1.968 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1561.356 | | σ | 6.890 | | min | 1558.054 | | max | 1573.676 |
| | mean | 1628.000 | | σ | 0.000 | | min | 1628.000 | | max | 1628.000 |
| | mean | 2.397 | | σ | 0.341 | | min | 2.053 | | max | 2.826 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1890.808 | | σ | 0.021 | | min | 1890.788 | | max | 1890.844 |
| | mean | 1769.800 | | σ | 172.905 | | min | 1628.000 | | max | 2038.000 |
| | mean | 2.897 | | σ | 0.150 | | min | 2.699 | | max | 3.118 |
|