iters=5 new-facts=1 prior-facts=1 | | mean | 296.632 | | σ | 0.013 | | min | 296.617 | | max | 296.652 |
| | mean | 1669.000 | | σ | 0.000 | | min | 1669.000 | | max | 1669.000 |
| | mean | 0.385 | | σ | 0.004 | | min | 0.382 | | max | 0.391 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1318.893 | | σ | 0.095 | | min | 1318.843 | | max | 1319.062 |
| | mean | 1669.000 | | σ | 0.000 | | min | 1669.000 | | max | 1669.000 |
| | mean | 1.958 | | σ | 0.110 | | min | 1.824 | | max | 2.062 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1557.263 | | σ | 6.852 | | min | 1553.966 | | max | 1569.514 |
| | mean | 1669.000 | | σ | 0.000 | | min | 1669.000 | | max | 1669.000 |
| | mean | 2.341 | | σ | 0.204 | | min | 2.069 | | max | 2.621 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1886.727 | | σ | 0.026 | | min | 1886.698 | | max | 1886.764 |
| | mean | 1792.800 | | σ | 149.802 | | min | 1669.000 | | max | 2012.000 |
| | mean | 2.911 | | σ | 0.045 | | min | 2.861 | | max | 2.964 |
|