iters=5 new-facts=1 prior-facts=1 | | mean | 294.676 | | σ | 0.012 | | min | 294.656 | | max | 294.688 |
| | mean | 1655.000 | | σ | 0.000 | | min | 1655.000 | | max | 1655.000 |
| | mean | 0.393 | | σ | 0.010 | | min | 0.383 | | max | 0.406 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1316.933 | | σ | 0.099 | | min | 1316.868 | | max | 1317.107 |
| | mean | 1655.000 | | σ | 0.000 | | min | 1655.000 | | max | 1655.000 |
| | mean | 1.958 | | σ | 0.082 | | min | 1.859 | | max | 2.064 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1555.290 | | σ | 6.870 | | min | 1552.011 | | max | 1567.574 |
| | mean | 1655.000 | | σ | 0.000 | | min | 1655.000 | | max | 1655.000 |
| | mean | 2.270 | | σ | 0.199 | | min | 2.142 | | max | 2.619 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1884.775 | | σ | 0.045 | | min | 1884.734 | | max | 1884.853 |
| | mean | 1785.000 | | σ | 166.236 | | min | 1655.000 | | max | 2048.000 |
| | mean | 2.956 | | σ | 0.074 | | min | 2.904 | | max | 3.088 |
|