iters=5 new-facts=1 prior-facts=1 | | mean | 294.680 | | σ | 0.013 | | min | 294.661 | | max | 294.695 |
| | mean | 1653.000 | | σ | 0.000 | | min | 1653.000 | | max | 1653.000 |
| | mean | 0.383 | | σ | 0.001 | | min | 0.381 | | max | 0.385 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1316.944 | | σ | 0.083 | | min | 1316.895 | | max | 1317.088 |
| | mean | 1653.000 | | σ | 0.000 | | min | 1653.000 | | max | 1653.000 |
| | mean | 1.907 | | σ | 0.076 | | min | 1.826 | | max | 2.001 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1555.291 | | σ | 6.838 | | min | 1552.005 | | max | 1567.517 |
| | mean | 1653.000 | | σ | 0.000 | | min | 1653.000 | | max | 1653.000 |
| | mean | 2.249 | | σ | 0.115 | | min | 2.106 | | max | 2.377 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1884.784 | | σ | 0.033 | | min | 1884.765 | | max | 1884.843 |
| | mean | 1773.200 | | σ | 131.608 | | min | 1653.000 | | max | 1972.000 |
| | mean | 3.016 | | σ | 0.185 | | min | 2.878 | | max | 3.334 |
|